Валентин Асмус - ЛОГИКА

Рассмотрим как пример применения силлогизмов решение простой геометрической задачи.

Рис. 61

В равнобедренном треугольнике ABC известны основание ВС=а и высота AD=h . Чему будет равна сторона АС ? Начертим равнобедренный треугольник АВС (см. рис. 61), обозначим в нём известные нам элементы буквами h и а . Обозначим неизвестную нам сторону АС посредством буквы x . Из геометрии известно, что во всяком равнобедренном треугольнике высота его делит основание пополам. Треугольник ABC — равнобедренный. Следовательно, в нём высота АD, опущенная из вершины острого угла А, делит основание а пополам. Следовательно, DC=a/2. Рассмотрим теперь треугольник ADC. В нём сторона АD по условию задачи известна и равняется h , сторона DС только что определена и равняется a/2 , а угол ABC — прямой, так как сторона AD есть высота треугольника ABC.Во всяком прямоугольном треугольнике квадрат гипотенузы равняется сумме квадратов катетов. Поэтому в прямоугольном треугольнике ADC, в котором гипотенузаАС=х, а катеты АВ=h и DС=a/2, x 2=h 2+ (a/2) 2. Решая квадратное уравнение, получаем: х = √ ( h 2+ ( a/2 ) 2).

Рассмотрим те части нашего рассуждения, которые выделены курсивом. В каждой из них речь идёт о другом предмете, но самый ход мысли — одинаковый. В первой выделенной курсивом части рассуждения доказывается, что в данном треугольнике ABC высота делит основание пополам, во второй доказывается, что искомая сторона АС может быть найдена как гипотенуза прямоугольного треугольника ADC . Но и в первой и во второй части доказываемые положения устанавливаются при помощи силлогизмов. В первой части из посылок, что «во всяком равнобедренном треугольнике высота его делит основание пополам» и что «данный треугольник ABC — равнобедренный», мы заключили, что, «следовательно, и в данном треугольнике ABC высота АD делит основание пополам».

Во второй части рассуждения, после того как было найдено, что DС=a/2 и что треугольник ADC — прямоугольный, мы умозаключали следующим образом: «Так как во всяком прямоугольном треугольнике квадрат гипотенузы равняется сумме квадратов катетов и так как треугольник ADC есть прямоугольный, то и в нём квадрат гипотенузы равняется сумме квадратов катетов», или « x 2= h 2+ ( a/2 ) 2».

Рассуждение это также есть силлогизм.

По модусу ААА обычно ведётся умозаключение суда на правильно поставленном судебном процессе. Установление факта преступления образует здесь меньшую посылку: «S—М». Закон, определяющий меру наказания для преступления данного состава, образует бо́льшую посылку: «М—Р». Приговор суда, определяющий для доказанного преступления предусмотренную законом меру наказания, образует вывод: «S—Р».

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

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

Barbara, Сelarent, Darii, Ferio.

§ 33.Перейдём к рассмотрению второй фигуры простого категорического силлогизма:

Р—М

S—M

———

S—Р

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

Рассмотрим примеры:

Примеры эти представляют две разновидности второй фигуры силлогизма. В первом примере бо́льшая посылка удостоверяет, что известное свойство М принадлежит всем предметам, входящим в класс Р, а меньшая посылка устанавливает, что предметы класса S не обладают свойством М. Из этого отношения терминов следует вывод, что ни один предмет класса S не может входить в класс предметов Р.