Что значит мыслить философски

Всего насчитывается 64 возможных вида заключения: от ааа, аае, aai… до ооо. Тем не менее на основе правил вывода можно рассматривать в качестве действительных только эти 12 модусов заключения. Помимо этого остаются следующие комбинации: ааа, aai, aee, aeo, aii, аоо, еае, еао, eio, iai, ieo, оао. Если мы модифицируем четыре фигуры заключения посредством этих 12 модусов заключения, то в совокупности получится 19 действительных фигур заключения. Для них есть ключевые слова, в которых гласные звуки а, е, i, о относятся к количеству и качеству первых посылок и выводов. Согласные в этих ключевых словах показывают, в каком заключении первой фигуры могут быть преобразованы в заключения трех других фигур заключения и какие шаги для этого преобразования следует сделать. (S согласно гласному звуку требует conversio simplex, которое является смешением субъекта и предиката. Р требует conversio per accidens, смешивания субъекта и предиката при преобразовании суждения а в суждение i, и соответственно, е в о. Если в ключевое слово вставить т, то потребуется metathesis praemissarum, т. е. смешение первых посылок. А с потребует conversio syllogismi, т. е. косвенного доказательства.)

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

Ключевые слова восходят к Петру Испанскому[312] и сформулированы гекзаметром:

I. Barbara, Celarent primae, Darii, Ferioque.

II. Cesare, Caemstrens, Festino, Baroco secundae.

III. Tertia grande sonans recital Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison.

IV. Quartae sunt Bamalip, Calemes, Dimatis, Fesaro, Fresison.

Рассмотрим теперь фигуры заключения, чтобы попутно дать примеры преобразования.

I. Фигура:

В этой фигуре можно сделать выводы согласно логическому квадрату в следующих комбинациях: ааа, eae, aii, eio.

Примером для фигуры заключения Barbara (ааа) будет:

Все люди смертны.

Все афиняне — люди.

Следовательно, все афиняне смертны.

II. Фигура:

Для этой фигуры заключения возможны в следующих комбинациях: eae, aee, eio, аоо.

Примером для фигуры заключения Caemstres (aee) будет:

Все лошади — непарнокопытные.

Ни один вол не является непарнокопытным.

Следовательно, ни один вол не является лошадью.

III. Фигура:

Здесь возможны следующие фигуры заключения: aai, aii, еао, eio, iai, оао.

Примером для фигуры заключения Darapti (aai) будет:

Все скрипки — смычковые инструменты.

Все скрипки — музыкальные инструменты.

Следовательно, некоторые музыкальные инструменты являются смычковыми инструментами.

IV. Фигура:

В этой фигуре могут быть получены заключения в соответствии со следующими комбинациями: aai, aee, iai, еао, eio. Примером для фигуры заключения Bamalip (aai) будет:

Все афиняне — люди.

Все люди смертны.

Следовательно, некоторые смертные — афиняне.

II, III и IV фигуры заключения сводимы к I фигуре заключения и правило, которому здесь нужно следовать, называется соответствующим ключевым словом. Возьмем пример: модус Disamis (iai) III фигуры заключения нужно преобразовать в модус I фигуры. Начальная буква D указывает на то, что модус Disamis следует свести к модусу Darii (aii) первой фигуры заключения. Модус Darii имеет следующий вид:

S в ключевом слове Disamis в соответствии с i требует для первой посылки conversio simplex, т. е. ее следует преобразовать в Ρ i Μ. Μ показывает, что нужно предпринять перестановку посылок. Прежнее преобразование дало бы в качестве вывода Ρ i S. Последняя буква в названии Disamis, s, указывает на то, что также нужно предпринять conversio simplex этого вывода, так что в качестве результата получится: S i Р. Тем самым мы получили силлогизм первой фигуры.

Логика не является теорией истины[313] и не стремится ею быть. С отказом от знания содержания и ограничением своих исследований формой понятий, суждений и заключений она получает возможность позитивно говорить об истине. Для определения истины последовательность суждений и заключений может быть conditio sine qua поп, хотя истина не производится и не устанавливается логикой.

2. ЧТО ТАКОЕ ИСТИНА?