 |
Простой категорический силлогизм
|
|
|
|
Аристотель в своей «Первой аналитике» даёт такое определение силлогизму: «Силлогизм есть речь, в которой если нечто полагается, то вытекает с необходимостью иное, чем положенное и именно из того, что оно есть; под выражением «из того, что оно есть», я разумею, что вследствие его вытекает, «вследствие его вытекает» значит, что для возникновения необходимости не требуется никакого постороннего термина. Совершенным я называю силлогизм, не нуждающийся ни в чём другом, кроме принятого для обнаружения необходимости; несовершенным же – нуждающися для этого <другом> одном или многом, что хотя и необходимо <следует> из данных терминов, но <прямо> в посылках не принято». [1]
Во многих учебниках по традиционной логике дают примерно такое орпеделение силлогизма: «Силлогизм есть такая форма умозаключения, в которой из двух суждений необходимо вытекает третье, причём одно из двух данных суждений является обще-утвердительным или обще-отрицательным.» Силлогизм, таким образом, представляет собой умозаключение от общего. Полученное суждение ни в коем случае не будет более общим, чем суждения, из которых оно выводится.
Например, нам даются два суждения:
Все растения суть организмы.
Сосны суть растения.
Из них следует, что «сосны суть организмы».
Этот пример показывает, что, если нам даются два суждения, из них необходимо получается новое суждение. Мы не входим в рассмотрение того, истинны ли эти суждения или нет, но раз только мы допустим их, то тотчас же необходимо следует новое суждение.
Части силлогизма.
Данные суждения называются предпосылками или посылками (praemissae), а новое суждение, которое получается из сопоставления посылок, называется заключением (conclusio). Те понятия, которые входят в заключение и предпосылки, называются терминами (termini). Подлежащее заключения («сосны») называется меньшим термином (terminus minor), сказуемое заключения («организмы») называется большим термином (terminus major), а термин («растение»), который не входит в заключение, называется средним термином (terminus medius). Обозначение, терминов большими или меньшими находится зависимости от того, какой объём им присущ в одном из типичных случаев силлогистического вывода, как в только что приведённом. Самый больший объём приходится на долю сказуемого («организмы»), самый меньший — на долю меньшего термина, подлежащего заключения («сосны»), а средний — на долю среднего термина («растения»), который не входит в заключение. Это наглядно обнаруживается, если изобразить отношение между терминами схематически.
|
|
|
Средний термин называется средним также потому, что он служит посредствующим связующим элементом между большим и меньшим терминами. Средний термин служит для сравнения большего термина с меньшим. Сами по себе эти термины не могут быть сравниваемы. Сравнение может происходить через посредство среднего термина. Мы не могли бы связать термин «сосны» с термином «организмы», если бы у нас не было термина «растения», который связывается, с одной стороны, с термином «организмы», с другой стороны, с термином «сосны» и, таким образом, служит связующим звеном между термином «сосны» и термином «организмы».
Суждение, в которое входит больший термин, называется большей посылкой; суждение, в которое входит меньший термин, называется меньшей посылкой.
Форма и содержание силлогизма.
В силлогизме нужно отличать содержание от формы. Содержание — это термины, которые имеются налицо. Форма есть связь, которая придаётся нами терминам посылок. В силлогизме мы можем не обращать никакого внимания на истинность или ложность посылок. Для нас важно только сделать правильный вывод, совершить правильное умозаключение, правильно связать больший термин с меньшим, а это и есть форма силлогизма. Поэтому иногда посылки могут быть ложными, а заключение будет всё-таки истинным, как это можно видеть из следующего силлогизма, посылки которого состоят из очевидно ложных суждений:
|
|
|
Львы суть травоядные.
Коровы суть львы.
Коровы суть травоядные.
Аксиома силлогизма.
Силлогистическое умозаключение таково, что раз мы допустили посылки, то из них необходимо будет вытекать заключение. Но почему же происходит то, что при наличности известных посылок заключение вытекает из них необходимо? Такого рода отношение между посылками и заключением объясняется следующим положением: «если одна вещь находится в другой, а эта другая находится в третьей, то первая находится в третьей», или «если одна вещь находится в другой, 'а эта другая находится вне третьей, то и первая также находится вне третьей».
Наиболее общая формула этой аксиомы называется в логике dictum de omni et de nullo. Полное выражение этой аксиомы будет: «quidquid de omni valet, valet etiam de quibusdam et de singulis. Quidquid de nullo valet, nec de quibusdam valet, nec de singulis». Смысл этой аксиомы заключается в следующем: Всё, что утверждается относительно целого класса, утверждается и относительно каждой вещи, которая содержится в этом классе, и наоборот: всё, что отрицается относительно целого класса, отрицается относительно всего, что содержится в этом классе. Это положение называется аксиомой, потому что оно очевидно; аксиомой же силлогизма оно называется потому, что на нём основывается необходимость вывода заключения силлогизма из данных предпосылок.
Правила силлогизма.
Рассмотрим, какие правила мы должны соблюсти при построении силлогизма, чтобы он был правилен, или, другими словами, каким условиям должен удовлетворять силлогизм, чтобы заключение было правильно. Первое правило:
|
|
|
