Структура умозаключения

Истинность и правильность мысли.

Истинность заключения обусловлена двумя факторами: во-первых, истинностью посылок, во-вторых, формальной правильностью связи между посылками - правильной формой соответствующего умозаключения.
Истинным является мышление, адекватно отражающее фрагмент действительности, а "правильным" называется мышление, не нарушающее правил и законов формальной логики.

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

Традиционный древнегреческий силлогизм:

[посылка] Все люди - смертны.
[посылка] Все греки - люди.

[заключение] Следовательно, все греки смертны

Логическим основанием выведения нового суждения является смысловая связь посылок. Они состоят из суждений, состоящих из одинаковых терминов, т. е. связанных по содержанию. Если взять разные по содержанию суждения, то вывод из них невозможен. Например, из суждений "Все планеты - небесные тела" и "Ручка - канцелярский прибор" нельзя сделать заключение. Ни в действительности, ни логически они не связаны.
В зависимости от последовательности движения мысли и логической обоснованности выводного суждения умозаключения делятся на виды:
1) дедуктивные: от более общего знания к менее общему; заключение с логической необходимостью вытекает из посылок, оно ими обосновано полностью и однозначно;
2) индуктивные: от менее общего знания к более общему; заключение имеет чаще всего вероятностный характер;
3) умозаключения по аналогии: от частного знания к частному; заключение носит вероятностный характер.
Дедуктивные умозаключения дают чисто формальные выводы, т.е. по существу лишь раскрывают в новой форме информацию, изначально заложенную в посылках.
Индуктивные выводы и аналогии уступают дедукции в точности, но имеют преимущество в том, что только в них появляется принципиально новое знание.

2. ПКС: определение, структура, общие правила.

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

Почему эти термины получили такое название легко увидеть, если изобразить отношение терминов приведенного выше силлогизма при помощи кругов Эйлера. "греки" - S, "люди" - М, "смертны" - Р. Из диаграммы видно, что названия терминов соответствуют их объемам
Традиционно в силлогизмах сначала указывается бoльшая, а затем мeньшая посылка