Суждение
Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.
Виды суждений[править]
- простые суждения;
- сложные суждения.
Простые суждения — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия.
Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
Состав простого суждения[править]
В простое суждение входят понятия (термины):
- субъект суждения (S);
- предикат суждения (P);
- логическая связка;
- квантор.
Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
Квантор — указывает, относится ли суждение ко всему объёму понятия.
Классификация простых суждений[править]
- по качеству:
- утвердительное — суждения, которые утверждают что-либо;
- отрицательное — суждения, которые отрицают что-либо;
- по объёму:
- общие — суждения, которые справедливы относительно всего объёма понятия;
- частные — суждения, которые справедливы относительно части объёма понятия;
- по отношению:
- категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение;
- условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием.
Для условных суждений:
- основание — это (предыдущее) суждение, которое содержит условие.
- следствие — это (последующее) суждение, которое содержит следствие.
Простое категорическое суждение - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру.
Виды простых категорических суждений[править]
- A — общеутвердительное;
- E — общеотрицательное;
- I — частноутвердительное;
- O — частноотрицательное.
Структурные схемы[править]
- A ⇔ ∀S+ ⊃ P−
- E ⇔ ∀S+ ⊅ P+
- I ⇔ ∃S− ⊃ P−
- O ⇔ ∃S− ⊅ P+
- Знак «+» означает, что термин распределён.
- Знак «−» означает, что термин не распределён.
Другие понятия[править]
- отрицание;
- дизъюнкция;
- конъюнкция;
- разделительная дизъюнкция;
- импликация;
- обратная импликация;
- эквиваленция;
- стрелка Пирса;
- штрих Шеффера;
- полином Жегалкина;
- Нормальные формы:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;