Условно-соединительный силлогизм

Условно-соединительным называется такая связь условно-категори­ческих силлогизмов, которая образует конструкцию из нескольких услов­ных посылок и конъюнктивной категорической посылки с числом конъюнк­тов, равным числу условных посылок.

Например:

Если преступник проник в помещение через дверь (р), то должен быть взломан замок (q).

Если он проник туда через окно (r), то должен был оставить следы на окне (s)

Но замок но взломан (q) и следов на окне не обнаружено (s).

Преступник не проникал в помещение ни через дверь (-p), не через окно (-s).

Структуру этой сложной конструкции можно представить в виде, формулы: ((p – q) ^ (r → s) ^ (-q ^ -s) → (-p ^ -r) [14].

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

Аналогичным образом можно построить рассуждение по правильной форме утверждающего модуса. Например:

Если в пишу добавить уксус (р), то в ней появится кисловатый привкус (q).

Если в нее добавить свежий укроп ®, то в ней будет аппетитный аромат /(s).

В пищу добавили уксус (р) и свежий укроп (r).

———————————————————————————

В пище появился кисловатый привкус (q) и аппетитный аромат (s).

Структуру этого рассуждения можно выявить в формуле:

((р → q) ^ (г → s) ^ (p ^ r) → (q ^ s). [15]

Возможны так;е рассуждения, которые состоят из условно-категори­ческих силлогизмов, построенных по схемам разных форм. например:

Если железные стержень поместить в кузнечные горн (р), то он раскалится добела (q).

Если затем опустить ею в холодную воду (r), то он потеряет ковrость (S).

Стержень был помещен в кузнечный горн (р), но после этого не потерял ковкости (s).

Железный стержень раскалился добела (q), но после этого не был опущен в холодную воду (-г).

Из формулы этого рассуждения

((p → q) ^ (r → s) ^ (p → -s) → (q ^ -r) [16]

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

Не нашли, что искали? Воспользуйтесь поиском: