Алексей Кривоносов - Слово и мысль

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

Простой категорический силлогизм состоит из трёхсуждений (большей посылки, меньшей посылки и заключения) и из трёхтерминов (понятий), — двух крайних (S, P) и одного среднего (M), который всегда стоит между двумя крайними терминами, устанавливая между ними связь, являясь «мостом» между ними. А так как сами эти крайние термины (S, P) могут занимать по отношению друг к другу различные позиции, то средний термин (M), занимая место между ними, сам будет стоять в разных отношениях к крайним терминам. Поэтому в зависимости от положения среднего термина (M) по отношению к крайним терминам (S, P), которые всегда переходят в заключение, различают фигурысиллогизма.

В зависимости от местоположения среднего термина (M) по отношению к крайним терминам (S, P) различают четыре фигурыпростого категорического силлогизма. Но здесь будут рассмотрены только первые две из четырёх фигур, которые в обследованном мною корпусе русского и немецкого языкового материала нашли наибольшую практическую реализацию.

I фигура II фигура

(1) большая посылка: M — — — — P P — — — — M

(2) меньшая посылка: S — — — — M S — — — — M

(3) заключение: S — — — — P S — — — — P

В умозаключениях I фигуры средний термин (M) выступает в функции субъекта (S) большей посылки и предиката (P) меньшей посылки. В умозаключениях II фигуры средний термин (M) — предикат обеих посылок.

Каждая фигура силлогизма, в свою очередь, образована несколькими модусами (лат. слово modus — «способ»), различающихся по типу входящих в силлогизм суждений. Так как в силлогизм входят три суждения (две посылки и заключение), то каждый модус обозначается тремягласными латинскими буквами, каждая из которых обозначает одновременно количество и качество данного суждения и каждая из которых соответствует одному из суждений силлогизма (см. выше типы суждений и их обозначения гласными буквами A, E, I, O). Модусы — это разновидность фигур логического силлогизма, отличающиеся друг от друга одновременно качественной и количественной характеристикой входящих в них посылок и заключения. В каждом силлогизме содержатся три суждения, и каждое из них может быть одним из четырёх типов суждений: A, E, I, O.

В современной формальной логике в четырёх фигурах было доказано 19 правильных простых категорических силлогизмов. Чтобы запомнить все 19 модусов, в средние века логики присвоили им мнемонические названия, в которых все гласныебуквы отражают тип суждения одновременно по качеству и количеству (см. выше «типы сужений»). На материале естественных языков (русский и немецкий) было обнаружено лишь три модуса: два — I фигуры и один — II фигуры, которые обозначаются следующими сочетаниями суждений (и присвоенных им буквенных обозначений).

I фигура: 1 модус: A, A, A (модус Barbara);

2 модус: E, A, E (модус Celarent);

II фигура: 2 модус: A, E, E (модус Camestres).

Каждая фигура силлогизма согласно своей логической структуре, т.е. по наличию тех или иных буквенных символов и по их взаимному расположению имеет определённый смысл в процессе нашего мышления и, следовательно, свои особые правила. Умозаключения I фигуры рассматриваются в логике как образующие основу всей силлогистики. Они образуют аксиому силлогизма: то, что утверждается (отрицается) относительно всехобъектов некоторого множества, должно утверждаться (отрицаться) и относительно каждого объекта данного множества.

Умозаключение в формах естественного языка — один из способов увидеть работу головного мозга. Теперь, рассмотрев природу логических форм, процедуру реального анализа взаимодействия языка и логики, структуру умозаключений и правил их построения, мы переходим к практическому логическому анализу предложений живого языка, а не придуманных логиками искусственных предложений, подобных этому: «Социализм победит во всём мире, и капитализм прекратит своё существование». Эта конъюнкция истинна, так как оба высказывания истинны» [Зегет, 1985: 51].

В лингвистических и логических исследованиях отсутствуют примеры анализа того, как функционируют логические умозаключения в естественном языке. В современной формальной логике различают три вида дедуктивных логических умозаключений:1) простой категорический силлогизм, 2) условно-категорическое умозаключение, 3) разделительно-категорическое умозаключение. Первый из них, который может быть исследован только субъектно-предикатной Аристотелевской логикой, занимает ведущее положение как по его сложности и многообразию видов и типов, так и по частотности фактического функционирования в естественном языке. Условно-категорическое и разделительно-категорическое умозаключения исследуются только средствами логики высказываний, так как в умозаключениях данного типа устанавливаются соотношения только между суждениями, но не понятиями, как в субъектно-предикатной логике (подробно об обязательных признаках умозаключений см. в книге: [Кривоносов 2001: 43 — 51]).

Модус Barbara

Формула модуса Barbara: все суждения — общеутвердительные (a).

Большая посылка: (1) Человек (M) — смертен (P) (a)

Меньшая посылка: (2) Сократ (S) — человек (M) (a)

Заключение: (3) Сократ (S) — смертен (P) (a)

Модель (2) — (3):

Здесь и далее цифровые обозначения в скобках: (1) большая, первая посылка, (2) — меньшая, вторая посылка, (3) — заключение. В квадратных скобках [] помещается опущенное в энтимеме суждение. Выделяются жирным шрифтом все формальные языковые средства логических силлогизмов.

1. Энтимема выражена двумясамостоятельными предложениями: (2) Становилось темно. (3) Далёкие предметы постепенно растворялись во мгле (И. Тургенев) — » (1) [В темноте предметы растворяются]. (2) Становилось темно. (3) Предметы растворялись.

2. Энтимема выражена сложноподчинённымпредложением (союзы так как, поскольку, потому что, ибо, оттого что, судя по тому что, тем более что, тем паче что, под видом того что, под предлогом того что, до того… что, и др.): (2) Так как в комнате было совсем темно, (3) положила руки ему на плечи (А. Толстой) — » (1) [Чтобы не упасть в тёмной комнате, опираются на плечи других]. (2) В комнате было темно. (3) Она положила ему руки на плечи.