На головну

Умовивід - Філософія

Умовивід

Чому з брехні слід все, що завгодно? Правильна відповідь тут той, що розглядається не змістовне, а формальне слідування, перша рядок не менш загадкова - чому істинно висловлювання "Якщо 2 + 2 = 4, то Волга впадає в Каспійське море"? Чим воно краще висловлювання "Якщо 2 + 2 = 7, то Волга впадає в Каспійське море"? Цитата з блаж. Августина ("Про благодаті і вільному произволением") воздасться БОГ сповна і ЗЛОМ ЗА ЗЛО, БО праведний ОН; І ДОБРОМ ЗА ЗЛО, ОСКІЛЬКИ БЛАГ ОН; І ДОБРОМ ЗА ДОБРО, бо добрий ОН та праведний; ЛИШЕ ЗЛОМ ЗА ДОБРО НЕ воздасться, АДЖЕ НІ В нього неправду Саме це "ні в ньому неправди" і відповідає за найважливішу рядок таблиці - другу, з істини ніяк не може слідувати брехня.

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

Структура умовиводу 1) Початкове знання, яке виражається в посилках;

2) Обгрунтовує зв'язок, яка виражається в правилах умовиводів

3) Вивідне знання, яке виражається в укладенні

Посилками умовиводи називаються вихідні відомі судження, з яких виводиться нове судження. Висновком називається нове судження, отримане логічним шляхом з посилок. Логічний перехід від посилок до висновку називається висновком. Наприклад: «Найближчі родичі не зобов'язані давати свідчення проти підсудного. (1) Діти - найближчі родичі. (2) Діти підсудного не зобов'язані давати свідчення. (3) »В цьому умовиводі 1 і 2 - посилки, 3 - висновок.

Схема умовиводи

A 1

...

(посилки)

...

A n

--------- (правила виводу)

B (висновок)

Види умовиводів

1) Дедуктивні (Істинність посилок гарантує істинність висновку)

2) Імовірнісні (істинність посилок дає правдоподібне умовивід) - індуктивні (від часткового до загального) - по-аналогії (ступінь спільності не змінюється)

Логіка суджень (висловлювань)

Існує група дедуктивних умовиводів, для логічного аналізу яких досить розглядати входять до них судження що не розчленовані на складові частини (на суб'єкт і предикат і пр.), т. е. без урахування внутрішньої структури цих суджень. Такі умовиводи будуються з урахуванням логічних зв'язків між окремими судженнями. Вони називаються висновками логіки суджень (висловлювань) .Логіка суджень Схеми умовиводів (правила умовиводів) логіки суджень діляться на основні і похідні. Основні схеми задаються аксіоматично. Похідні схеми виводяться з основних за допомогою правил виводу.

«Аксіоми» логіки суджень

Безпосередні умовиводи - умовиводи з однієї посилки

Умовиводи допомогоюперетворення суджень -

перетворення - перетворення атрибутивного судження в укладенні якого встановлюється зв'язок між суб'єктом посилки і поняттям, що суперечить предикату посилки. S - PS - НЕ P Можна перетворювати все судження. A-> E, E-> A, I-> O, O-> I

звернення - перетворення судження, в результаті якого суб'єкт посилки стає предикатом висновку, а предикат посилки - суб'єктом укладення A- > I E-> E I-> IO не звертався.

протиставлення предикату - перетворення судження, в результаті якого суб'єктом укладення стає поняття, що суперечить предикату посилки, а предикатом висновку стає суб'єкт вихідного судження AE; E-I; I НЕ перетвориться; OI

Логічний квадрат AO, IE - Контрадикторні AE - контрарность IO - субконтрарность AI, EO - підпорядкування

Заперечення суджень Заперечення судження - це операція, що полягає в такому перетворенні логічного змісту, в результаті якого отримують судження, яке перебуває у відношенні контрадикторности до вихідного

© 8ref.com - українські реферати
8ref.com