UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75855
останнє поновлення: 2016-12-09
за 7 днів додано 17

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваУмовивід (реферат)
АвторPetya
РозділЛогіка, формальна логіка, юридична логіка
ФорматWord Doc
Тип документуРеферат
Продивилось18330
Скачало1488
Опис
ЗАКАЧКА
Замовити оригінальну роботу

Реферат на тему:

 

Умовивід

 

План

 

Поняття умовиводу, його види.

 

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

 

Категоричний силогізм та його різновиди. Ентимема.

 

Полісилогізм. Сорит. Епіхейрема.

 

Індуктивні умовиводи. Аналогія.

 

1. Умовивід — це форма мислення, у якій з одного чи кількох істинних

суджень на основі певних правил виводу виводять нове судження.

 

Структура кожного умовиводу включає в себе засновки, висновок, логічний

зв’язок між засновками та висновком.

 

Наприклад:

 

1) а = в

 

2) в = с

 

3) а = с

 

Умовивід буде правильним тоді і тільки тоді, коли в ньому виконуються

основні закони логіки (тотожності, несуперечності, виключеного третього,

закон достатньої підстави).

 

Логічним висновком з цих засновків є таке речення, яке не може бути

хибним, коли ці засновки істинні.

 

Умовиводи поділяються на дедуктивні, індуктивні і умовиводи за

аналогією. Вони можуть бути необхідними та ймовірними (правдоподібними).

 

Дедуктивний умовивід — це умовивід, у якому висновок зроблено

обов’язково із засновків, які виражають знання достатньо великого

ступеня загальності і які самі є знанням меншого ступеня загальності:

 

1) усі ссавці годують своїх дітей молоком;

 

2) собака — ссавець;

 

3) отже, усі собаки годують своїх дітей молоком.

 

Логічне слідування іде від роду до виду, від загального класу до

підкласу.

 

Правила виводу повинні задовольняти ряд вимог:

 

по-перше, з істинних засновків вони повинні давати змогу виводити тільки

істинні судження;

 

по-друге, правила виводу в даній логічній системі повинні бути

несуперечними (сумісними), тобто не можна одним способом з одних і тих

самих засновків виводити висновок «а», а другим способом — «не-а»;

 

по-третє, необхідно виходити з наявності повноти системи, а це означає:

користуючись тільки даними правилами виводу в даній логічній системі,

можна вивести будь-які змістово-істинні висновки, які сформульовані в

термінах даної системи і логічно випливають з даних засновків.

 

Правила прямого виводу дають змогу з наявних істинних засновків одержати

істинний висновок.

 

Правила непрямого виводу дають змогу робити висновок про правомірність

деяких висновків з правомірності інших.

 

2. Безпосередніми умовиводами називаються дедуктивні умовиводи, які

виводять з одного засновку. До них належать: перетворення, обернення,

протиставлення предикатові та умовивід за «логічним квадратом».

 

Перетворення — вид безпосереднього умовиводу, в якому змінюється якість

засновків без зміни їх кількості.

 

Перетворення будуються:

 

а) шляхом подвійного заперечення, яке ставиться перед зв’язкою і перед

предикатом:

 

(S є Р ( S не є не-Р),

 

б) заперечення переноситься з предиката до зв’язки:

 

(S є не-Р ( S не є Р).

 

Перетворенню підлягають усі 4 види суджень А, Е, І, О:

 

— А ( Е (Всі S є Р ( Жодне S не є не-Р)

 

— Е ( А (Жодне S не є Р ( Усі S є не-Р)

 

— І ( О (Деякі S є Р ( Деякі S не є не-Р)

 

— О ( І (Деякі S не є Р ( Деякі S є не-Р)

 

Оберненням називається такий безпосередній умовивід, в якому у висновку

(новому судженні) суб’єктом стає предикат, а предикатом — суб’єкт.

-----> Page:

0 [1] [2] [3] [4]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ