Суждение

Суждение — это форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.

Виды суждений

• простые суждения;
• сложные суждения.

Простые суждения — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия.

Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.

Состав простого суждения

В простое суждение входят понятия (термины):

• субъект суждения (S);
• предикат суждения (P);
• логическая связка;
• квантор.

Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).

Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).

Квантор — указывает, относится ли суждение ко всему объёму понятия.

Классификация простых суждений

• по качеству:
  • утвердительное — суждения, которые утверждают что-либо;
  • отрицательное — суждения, которые отрицают что-либо;
• по объёму:
  • общие — суждения, которые справедливы относительно всего объёма понятия;
  • частные — суждения, которые справедливы относительно части объёма понятия;
• по отношению:
  • категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение;
  • условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием.

Для условных суждений:

• основание — это (предыдущее) суждение, которое содержит условие.
• следствие — это (последующее) суждение, которое содержит следствие.

Простое категорическое суждение - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру.

Виды простых категорических суждений

• A — общеутвердительное;
• E — общеотрицательное;
• I — частноутвердительное;
• O — частноотрицательное.

Структурные схемы

• Знак "+" означает, что термин распределён.
• Знак "-" означает, что термин не распределён.

Другие понятия:

• Логический закон;
• Логические функции;
• Нормальные формы:
  • совершенная дизъюнктивная нормальная форма;
  • совершенная конъюнктивная нормальная форма;
  • минимальная дизъюнктивная нормальная форма;
  • минимальная конъюнктивная нормальная форма;
  • алгебраическая нормальная форма;
• Таблица истинности;
• Карта Карно;
• Трёхмерная карта Карно;
• Предикат;
• Исчисление высказываний;
• Специальное исчисление высказываний;
• Секвенции;
• Суждение;
• Умозаключения.

Ссылки

• Википедия
• Участник:Logic-samara