Логика/Умозаключения

< Логика

Medius terminus — «средний термин» — умозаключение, состоящее в нахождении взаимного соответствия (несоответствия) двух идей при помощи третьей.

НУ непосредственное умозаключение





ПКС простой категорический силлогизм



Определения

В силлогизме различают три термина:

  • Субъект заключения называется меньшим термином (S)
  • Предикат заключения называется бoльшим термином (Р)
  • Понятие, которое присутствует в обеих посылках, но отсутствует в заключении называется средним термином (М). Его функция - связать посылки.


  • Суждение, в которое входит бoльший термин, называется бoльшей посылкой.
  • Суждение, в которое входит меньший термин, называется мeньшей посылкой.


Правила

  • Термин должен быть не Пустым
  • Термин должен быть не Универсальным (т.е. объем термина не совпадает с объемом универсума)
  • Субъект и Предикат Термина должны быть из одного Универсума
  • Термины в Силлогизме должны быть из одного Универсума (это следует из общности Среднего Термина)
  • Средний термин должен быть Распределен хотя бы в одной из Посылок. Термин считается распределенным (обозначается"+"), если он взят в полном объеме. Например, "Все студенты нашей группы сдали зачет по логике"





УКС условно-категорический силлогизм





  • Термины в Условном Силлогизме НЕ обязательно должны быть из одного Универсума (это следует, например, из Модуса Поненс или Толенс)



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