загрузка...
загрузка...
На головну

силогізми

Безпосередні умовиводи.

Дедукція, в якому висновок виводиться з однієї посилки називається безпосереднім. До безпосередніх умовиводів відносяться перетворення, звернення, протиставлення предикату та висновки з відносин між судженнями, або висновки по «логічним квадратом».

перетворення - Безпосереднє умовивід, в укладенні якого встановлюється зв'язок між суб'єктом посилки (S) і поняттям, що суперечить предикату посилки (НЕ-Р): з позитивної посилки слід негативний висновок і навпаки.

звернення - Безпосереднє умовивід, в якому на підставі знання про ставлення суб'єкта до предикату з'ясовується ставлення предиката до суб'єкта, в зв'язку з чим терміни в ув'язненні міняються місцями.

протиставлення предикату - Безпосереднє умовивід, суб'єктом висновку якого є поняття, яке суперечить предикату посилки, а предикатом - суб'єкт посилки.

силогізм - Дедуктивний умовивід, що складається з двох посилок і висновку.

Простий категоричний силогізм (ПКС) - силогізм, в укладенні якого встановлюється відношення між двома поняттями на підставі знання їхнього ставлення до третього поняття. наприклад:

Всі метали (М) - хімічні елементи (Р)

Олово (S) - метал (М)

Олово (S) - хімічні елементи (Р)

Поняття, що входять до складу силогізму - терміни, причому суб'єкт висновку називається меншим терміном (S), предикат висновку - великим терміном (Р) (іноді їх називають крайніми термінами), а поняття, що входить в обидві посилки, але відсутнє у висновку - середнім терміном (М). Посилка, що містить більший термін, називається більшою, а що містить менший термін - менша.

Виходячи з розташування середнього терміна (М), в ПКС виділяють 4 модусу (в книзі подивіться).

Умовно-категоричний силогізм - Умовивід, в якому одна з посилок - умовне (импликативного) судження, а друга - категорична. Він має два модуси - стверджує і заперечує. Кожен з них зустрічається в двох формах: правильної і неправильної. У правильних формах висновки мають необхідний характер, в неправильних - імовірнісний.

Правильна форма стверджує модусу - Хід умовиводи спрямований від затвердження підстави умовної посилки до твердженням слідства умовної посилки.

p®q

p

q

Формула має вигляд ((p®q) Up) ®q

Неправильна форма стверджує модусу - Хід умовиводи спрямований від затвердження слідства до утвердження підстави.

p®q

q

p

Формула має вигляд ((p®q) Uq) ®p

Правильна форма заперечує модусу - Хід умовиводи спрямований від заперечення слідства до заперечення підстави.

p®q

Oq

Op

Формула має вигляд ((p®q) UOq) ®Op

Неправильна форма заперечує модусу - Хід умовиводи спрямований від заперечення підстави до заперечення слідства.

p®q

Op

Oq

Формула має вигляд ((p®q) UOp) ®Oq

Умовивід, в якому одна з посилок - судження еквіваленціі, а друга - категоричне судження, називається еквівалентно-категоричним силогізм. Для еквівалентно-категоричного силогізму всі чотири форми, аналогічні формам умовно-категоричного силогізму є правильними, т. Е. Дають необхідні висновки.

Види умовиводів. «-- попередня | наступна --» Види питань.
загрузка...
© om.net.ua