Георгий Челпанов - Учебник логики

П1: Все злодеяния совершаются из добрых побуждений

П2: Все подлости являются злодениями.

З: Все подлости совершаются из добрых побуждений.

Однако это заключение противоречит посылке «Некоторые подлости не совершаются из добрых побуждений». Следовательно, истинно заключение «Некоторые подлости не являются злодеяниями».

Фигура 3. Модус Darapti

П1: Все свиньи прожорливы.

П2: Все свиньи ленивы.

З: Некоторые ленивые твари прожорливы.

Буква «p» после второй гласной говорит нам о том, что нужно обратить вторую посылку.

П1: Все свиньи прожорливы.

П2: Некоторые ленивые твари являются свиньями.

З: Некоторые ленивые твари прожорливы.

Фигура 3. Модус Disamis

П1: Некоторые эротические картинки являются произведениями искусства.

П2: Все эротические картинки аморальны.

З: Некоторые аморальные вещи являются произведениями искусства.

Буквы «s» говорят о необходимости прямо обратить первую посылку и заключение. Буква «m» говорит о необходимости поменять посылки местами.

П1: Все эротические картинки аморальны.

П2: Некоторые произведения искусства являются эротическими картинками.

З: Некоторые произведения искусства аморальны.

Фигура 3. Модус Datisi

П1: Все воры в законе являются заядлыми картёжниками.

П2: Некоторые воры в законе являются грузинами.

З: Некоторые грузины являются заядлыми картёжниками.

Буква «s»: надо обратить второе суждение.

П1: Все воры в законе являются заядлыми картёжниками.

П2: Некоторые грузины являются ворами в законе.

З: Некоторые грузины являются заядлыми картёжниками.

Фигура 3. Модус Felapton

П1: Ни один содомит не может служить в армии США.

П2: Все гомосексуалисты — творческие люди.

З: Некоторые творческие люди не могут служить в армии США.

Буква «p» — надо преобразовать вторую посылку.

П1: Ни один гомосексуалист не может служить в армии США.

П2: Некоторе творческие люди — гомосексуалисты.

З: Некоторые творческие люди не могут служить в армии США.

Фигура 3. Модус Bokardo

П1: Некоторые настоящие мужики не умеют читать.

П2: Все настоящие мужики храбрецы.

З: Некоторые храбрецы не умеют читать.

Буква «k» показывает, что надо приводить «к нелепому».

Допустим, что верно обратное заключению высказывание: «Все храбрецы умеют читать». Буква «k» стоит после первой посылки, значит менять на обратную надо именно её. Получим:

П1: Все храбрецы умеют читать.

П2: Все настоящие мужики храбрецы.

З: Все настоящие мужики умеют читать.

Пришли к нелепости.

Фигура 3. Ferison

П1: Ни один оборотень в погонах не заслуживает снисхождения.

П2: Некоторые оборотни в погонах являются многодетными отцами.

З: Некоторые многодетные отцы не заслуживают снисхождения.

Буква «s» — прямо обращаем вторую посылку.

П1: Ни один оборотень в погонах не заслуживает снисхождения.

П2: Некоторые многодетные отцы являются оборотнями в погонах.

З: Некоторые многодетные отцы не заслуживают снисхождения.

Фигура 4. Модус Bramantip

П1: Все военные носят мундир.

П2: Все носящие мундир люди молодцевато выглядят.

З: Некоторые молодцевато выглядящие люди — военные.

Буква «p» — преобразовываем заключение, буква «m» — меняем местами посылки.

П1: Все носящие мундир люди молодцевато выглядят.

П2: Все военные носят мундир.

З: Все военные молодцевато выглядят.

Фигура 4. Модус Camenes

П1: Все проститутки сладкоежки.

П2: Ни одна сладкоежка не соблюдает пост.

З: Ни одна женщина, которая соблюдает пост, не является проституткой.

Буквы «m» и «s» — меняем местами посылки и прямо обращаем заключение.

П1: Ни одна сладкоежка не соблюдает пост.

П2: Все проститутки сладкоежки.

З: Ни одна проститутка не соблюдает пост.

Фигура 4. Модус Dimaris

П1: Некоторые учителя физкультуры — садисты.

П2: Все садисты мерзко улыбаются.

З: Некоторые мерзко улыбающиеся люди — учителя физкультуры.

Буква «m» — меняем местами посылки. Буква «s» — обращаем заключение.

П1: Все садисты мерзко улыбаются.

П2: Некоторые учителя физкультуры — садисты.

З: Некоторые учителя физкультуры мерзко улыбаются.

Фигура 4. Модус Fesapo

П1: Ни один витамин не является наркотиком.

П2: Все наркотики вредны для здоровья.

З: Некоторые вредные для здоровья вещества не являются витаминами.

Прямо обращаем первую посылку (s) и преобразуем вторую (p).

П1: Ни один наркотик не является витамином.

П2: Некоторые вредные для здоровья вещества являются наркотиками.

З: Некоторые вредные для здоровья вещества не являются витаминами.

Фигура 4. Модус Fresison

П1: Ни один монах Шаолиня не является толстяком.

П2: Некоторые толстяки являются шахматистами.

З: Некоторые шахматисты не являются монахами Шаолиня.

Буква «s» стоит после первой и второй гласной. Это значит, что нужно преобразовать первое и второе суждение:

П1: Ни один толстяк не является монахом Шаолиня.

П2: Некоторые шахматисты являются толстяками.

З: Некоторые шахматисты не являются монахами Шаолиня.

Условное суждение выглядит так: «Если А есть В, то С есть D». Например: «Если нос холодный, животное здорово».

Таким образом, условный силлогизм — это силлогизм, одной из посылок которого является условное суждение. Условные силлогизмы делятся на два типа.

П1: Если А есть B, то С есть D.

П2: A есть В.

З: C есть D.

Например:

П1: Если человек зол, он не может мыслить трезво.

П2: Игнат зол.

З: Игнат не может мыслить трезво.

Название «Modus ponens» идёт от латинского глагола «ponere» — «вставить». Cуть в том, что мы утверждаем основание и, исходя из этого, утверждаем следствие. (Правда, я не очень понял, какое к этому отношению имеет слово «вставить»).

Латинский глагол «tollere» значит «уничтожать». В отличие от modus ponens, мы отрицаем основание и, следовательно, отрицаем следствие.