Суждение — различия между версиями

Материал из ALL
Перейти к: навигация, поиск
м
м
Строка 47: Строка 47:
 
* Знак '''"+"''' означает, что термин распределён.
 
* Знак '''"+"''' означает, что термин распределён.
 
* Знак '''"-"''' означает, что термин не распределён.
 
* Знак '''"-"''' означает, что термин не распределён.
== Другие понятия: ==
+
== [[Логические понятия|Другие понятия:]] ==
 
{{Список ЛП}}
 
{{Список ЛП}}
 
== Ссылки ==
 
== Ссылки ==

Версия 05:35, 23 февраля 2018

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

Содержание

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

СУЖ11.JPG

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

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

Логический закон

Логические функции:

отрицание

дизъюнкция

конъюнкция

разделительная дизъюнкция

импликация

обратная импликация

эквиваленция

стрелка Пирса

штрих Шеффера

полином Жегалкина

Нормальные формы:

совершенная дизъюнктивная нормальная форма

совершенная конъюнктивная нормальная форма

минимальная дизъюнктивная нормальная форма

минимальная конъюнктивная нормальная форма

алгебраическая нормальная форма

Таблица истинности

Карта Карно

Трёхмерная карта Карно

Предикат

Секвенции

Суждение

Умозаключения:

превращение

обращение

противопоставление предикату

противопоставление субъекту

чисто условные умозаключения

силлогизм

условно-категорические умозаключения

разделительно-категорические умозаключения

эквивалентно-категорические умозаключения

Диаграммы:

диаграмма Венна

диаграмма Эйлера

Ссылки