Логика. Ч.1. Попов Ю.П. - 57 стр.

Сырье данного завода перевозят в цистернах.

В принципе может быть и множество других комбинаций силлогизмов и суждений. Все их нельзя
было бы перебрать. Логика указывает только на наиболее распространенные. Их усвоение помогает
овладеть правилами логики, вырабатывает навыки самостоятельного их использования в повседнев-
ной деятельности, в научной работе, в творчестве.
§21. (2) Условные и условно-категорические силлогизмы
И в науке, и в обиходе приходится часто отмечать зависимость тех или иных явлений, событий, про-
цессов от всякого рода обстоятельств: факторов, способных изменить течение дел, причинных воз-
действий, порождающих известные события, внешних влияний, которые удерживают ход вещей в
известных рамках. Короче, речь идет об условиях, определяющих все, что происходит вокруг нас.
Обычно условия задаются с помощью оборота "Если..., то...": "Если работа окончена, то мы можем
идти", "Если орудие железное, то оно не относится к каменному веку". Суждения, в которых зада-
ются такого рода связи, называют условными, а в символической логике импликативными, или им-
пликациями.
Условные суждения и вместе с ними условные умозаключения стали изучаться еще в Древней Гре-
ции философами стоической школы. Правила оперирования такими умозаключениями довольно
просты и легко устанавливаются.
Условные силлогизмы подразделяются на собственно условные и условно-категорические. Кроме
того, они могут комбинироваться с другими умозаключениями, например с разделительными, о ко-
торых речь впереди.
Собственно условные умозаключения содержат и в посылках, и в заключении одни только условные
суждения:
Если выпускается много денежных знаков, то растут денежные доходы.
Если растут денежные доходы населения, то растет покупательная способность.
Если растет покупательная способность, то растут цены.
Если растут цены, то растет инфляция.
Следовательно, если выпускается много денежных знаков, то растет инфляция.
Выражение "Если..., то..." удобно заменять стрелкой, а сами высказывания - буквами a, b, c,... Тогда
получается простая символическая запись, которая означает: если a, то b, если b, то c...

a => b.
b => c.
a => c.

Условно-категорическое умозаключение имеет одну из посылок и заключение, выражаемые катего-
рическими суждениями. У него два правильных модуса, которые имеют латинские названия - modus
ponens (утверждающий) и modus tollens (отрицающий). Первый из них выглядит следующим обра-
зом:

Если алмаз огранен, то он - бриллиант. a => b
Данный алмаз огранен.                    a
Данный алмаз - бриллиант.                b
Modus ponens

В нем от наличия основания условной связи делают вывод о наличии следствия. Название "утвер-
ждающий" происходит от того, что этим модусом условно-категорического силлогизма утверждается
то, о чем говорит следствие в его посылке. Но это вовсе не означает, будто его заключение может
быть только утвердительным суждением. В том случае, когда следствие в условной посылке является
отрицательным, то тогда и вывод тоже звучит как отрицание. Например, возьмем утверждение, сде-
ланное в виде такой условной посылки: "Если температура ниже нуля, то лед не тает". Добавим сюда
еще одну посылку: "Температура ниже нуля". Тогда нам придется делать такой вывод по схеме ут-
верждающего модуса, который, однако, выражается отрицательным суждением: "Лед не тает".




                                                57