Суждение — это форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.
Виды суждений
- простые суждения;
- сложные суждения.
Простые суждения — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия.
Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
Состав простого суждения
В простое суждение входят понятия (термины):
- субъект суждения (S);
- предикат суждения (P);
- логическая связка;
- квантор.
Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
Квантор — указывает, относится ли суждение ко всему объёму понятия.
Классификация простых суждений
- по качеству:
- утвердительное — суждения, которые утверждают что-либо;
- отрицательное — суждения, которые отрицают что-либо;
- по объёму:
- общие — суждения, которые справедливы относительно всего объёма понятия;
- частные — суждения, которые справедливы относительно части объёма понятия;
- по отношению:
- категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение;
- условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием.
Для условных суждений:
- основание — это (предыдущее) суждение, которое содержит условие.
- следствие — это (последующее) суждение, которое содержит следствие.
Простое категорическое суждение - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру.
Виды простых категорических суждений
- A — общеутвердительное;
- E — общеотрицательное;
- I — частноутвердительное;
- O — частноотрицательное.
Структурные схемы
Другие понятия:
Логический закон
Логические функции:
отрицание
дизъюнкция
конъюнкция
разделительная дизъюнкция
импликация
обратная импликация
эквиваленция
стрелка Пирса
штрих Шеффера
полином Жегалкина
Нормальные формы:
совершенная дизъюнктивная нормальная форма
совершенная конъюнктивная нормальная форма
минимальная дизъюнктивная нормальная форма
минимальная конъюнктивная нормальная форма
алгебраическая нормальная форма
Таблица истинности
Карта Карно
Трёхмерная карта Карно
Предикат
Секвенции
Суждение
Умозаключения:
превращение
обращение
противопоставление предикату
противопоставление субъекту
чисто условные умозаключения
силлогизм
условно-категорические умозаключения
разделительно-категорические умозаключения
эквивалентно-категорические умозаключения
Диаграммы:
Ссылки
- Википедия
- Участник:Logic-samara