Условные силлогизмы (виды и правила построения)

Силлогизм, в котором, по крайней мере, одна из посылок – условное суждение, называется условным. Различают чисто условный и условно-категорический силлогизмы.

Силлогизм, в котором обе посылки являются уловными, называется чисто условным. Чисто условный силлогизм выражается формулой:

Если А, то В.

Если В, то С

Следовательно, если А, то С,

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

 

Разновидность условно-категорического силлогизма, в котором ход заключения направлен от утверждения основания к утверждению следствия (т.е. от признания истинности основания к признанию истинности следствия), называется утверждающим модусом. Его формула:

Если А, то В. Если этот металл натрий, то он легче воды.

А. Данный металл – натрий.

В. Данный металл легче воды.

 

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

Этот силлогизм имеет формулу:

Если А, то В. Если река выходит из берегов, то вода заливает прилегающие территории.

Не-В. Вода реки не залила прилегающие территории.

Не-А. Река не вышла из берегов.

 

Та часть посылки, которая начинается словом «если» и стоит перед знаком импликации, называется основанием. Та часть посылки, которая начинается словом «то» и находится после знака импликации, называется следствием.

 

Теория аргументации

Аргументация – способ рассуждения, включающий доказательство и опровержение, в процессе которого создается убеждение в истинности тезиса и ложности антитезиса как у самого доказывающего, так и оппонентов; обосновывается целесообразность принятия тезиса с целью выработки активной жизненной позиции и реализации определенных программ действий, вытекающих из доказываемого положения.

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

Теория аргументации исследует способы формирования убеждений (обоснованных верований) и занимается проблемой истины в той мере, в какой это необходимо для прояснения понятия убеждения.

Таблица истинности суждений

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

Каждое из сложных суждений имеет свою таблицу истинности. В классической логике сводные данные для конъюнкции, дизъюнкции, импликации и эквиваленции имеют следующий вид (И – истинно, Л – ложно):

 

а	b	a ^ b	а ∨ b	а → b	а ≡ b
конъюнкция	дизъюнкция	импликация	эквиваленция
И	И	И	И	И	И
И	Л	Л	И	Л	Л
Л	И	Л	И	И	Л
Л	Л	Л	Л	И	И

 

Таблица истинности позволяет выделить из класса формул нашего языка всегда истинные формулы (тавтологии), всегда ложные формулы, установить отношение логического следования между формулами, их эквивалентность и т. д.

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