Условен (хипотетичен) силогизъм - Същност на съждението - Философия

В хипотетичен силогизъм предпоставките (съждения, от които се прави заключение) включват съждение под формата p®q и едно от съждениятаp

. Заключението е или относително къмp

или спрямоq

Има четири типа (модуса) условни силогизми:

1. Условен силогизъм, наречен твърдение за предпоставката. Има следната структура

- някои мнения. Можете да прочетете този израз така: „Ако отp

също вярно." Пример за такъв силогизъм може да бъде следното разсъждение: „Ако в стаята се запали печка, ще стане топло. В стаята беше запалена печката. Стаята ще бъде топла." Истинността на този силогизъм е лесна за проверка с помощта на таблицата

((p®q)Ùp)®q

1 0 1

1 1 1

0 0 1

1 1 1

(В тази таблица, в името на пространството, стойностите на истината са поставени директно под свързващите елементи.)

2. Модусът по следствие има структурата:

Този режим е фалшив, т.е. не винаги е вярно. Това може да се провери с помощта на таблицата на истината:

(p ® q) Ù q ® p

1 0 1

1 1 0

0 0 1

1 1 1

Например от колетите „Ако ключалката е счупена, значи вратата е отворена. Вратата е отворена, не може непременно да се заключи, че ключалката е счупена.

3. Режимът, наречен "отрицание по предпоставка", също ще бъде фалшив. Има следната структура:

Всъщност в таблицата на истинската му стойност

((p ® q) Ù ` ) ®`q

1 1 1

1 1 0

0 0 1

1 0 1

има стойности на променливи, за които е невярно. От колетите „Ако съм в Луганск, значи съм в Украйна. не съм вътреЛуганск“, не може непременно да се заключи, че „не съм в Украйна“.

4. Модусът „отричане чрез следствие“, който има следната структура

винаги вярно. Това се вижда от неговата таблица на истината. Изглежда като:

((p ® q) Ù `q ) ®`p

1 1 1

1 0 1

0 0 1

1 0 1

Пример за този режим би било следното разсъждение: „Ако огледалото падне, то ще се счупи. Огледалото не се счупи. Така че не е паднал."

По този начин, използвайки хипотетични силогизми, ние разсъждаваме правилно, или потвърждавайки предпоставката, или отричайки основата.

---