Рута», 2008

Орест Гасяк

ПРАКТИЧНА

ЛОГІКА

Чернівці

Міністерство освіти і науки України

Чернівецький національний університет

імені Юрія Федьковича

Орест Гасяк

ПРАКТИЧНА ЛОГІКА

Алгоритми і зразки розв’язкових процедур

Навчальний посібник

Чернівці

«Рута»

ББК 87.4в2я7

П 693

Г 229

Друкується за ухвалою редакційно-видавничої ради

Чернівецького національного університету

імені Юрія Федьковича

Гасяк О.С.Практична логіка: Навчальний посібник. – Чернівці: «Рута», 2008. – 240 с.

Навчальний посібник містить алгоритми і зразки (взірці) розв’язкових процедур, передбачених 1,5 кредитним курсом логіки.

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

Посібник адресовано студентам гуманітарних факультетів й усім небайдужим до розширення горизонту логічної культури мислення.

ББК 87.4в2я7

П 693

Г 229

Рута», 2008

© Гасяк О.С., 2008

ЗМІСТ

Передмова__________________________________________________________________

1. Мова логіки____________________________________________________________________

1.0.Формалізовані мови та мови логічних систем___________________________________

1.1. Мова логіки класів (множин)_______________________________________________

1.1.1.Питання для самоконтролю_________________________________________________

1.1.2.Підсумкові вправи та завдання______________________________________________

1.1.3.Тест____________________________________________________________________

1.1.4.Література_______________________________________________________________

1.2. Мова класичної логіки висловлень___________________________________________

1.2.1.Питання для самоконтролю_________________________________________________

1.2.2.Підсумкові вправи та завдання______________________________________________

1.2.3.Тест____________________________________________________________________

1.2.4.Література_______________________________________________________________

1.3. Мова класичної логіки предикатів___________________________________________

1.3.1.Питання для самоконтролю_________________________________________________

1.3.2.Підсумкові вправи та завдання______________________________________________

1.3.3.Тест____________________________________________________________________

1.3.4.Література_______________________________________________________________

2. Логічний аналіз поняття______________________________________________________

2.1. Мовні форми вираження поняття____________________________________________

2.2. Логічна характеристика поняття_____________________________________________

2.3. Логічний аналіз відношень між поняттями____________________________________

2.4. Логічна дія над змістом понять______________________________________________

2.5. Логічні дії над обсягами понять_____________________________________________

2.5.1.Операції обмеження і узагальнення понять____________________________________

2.5.2.Операція поділу понять____________________________________________________

2.5.3.Логічні операції над класами (множинами) понять_____________________________

2.5.4.Питання для самоконтролю_________________________________________________

2.5.5.Підсумкові вправи та завдання______________________________________________

2.5.6.Тест____________________________________________________________________

2.5.7.Література_______________________________________________________________

3. Логічний аналіз суджень (висловлень)__________________________________________

3.1. Логічний аналіз простих суджень____________________________________________

3.2. Логічний аналіз складних суджень___________________________________________

3.2.1.Метод таблиць істинності або метод семантичних таблиць______________________

3.2.2.Метод аналітичних таблиць________________________________________________

3.2.3.Логічний аналіз відношень між складними судженнями_________________________

3.3. Питання для самоконтролю_________________________________________________

3.4. Підсумкові вправи та завдання______________________________________________

3.5. Тест____________________________________________________________________

3.6. Література_______________________________________________________________

4. Логічні закони _______________________________________________________________

4.1. Закони традиційної логіки__________________________________________________

4.1.1.Закон тотожності_________________________________________________________

4.1.2.Закон суперечності________________________________________________________

4.1.3.Закон виключеного третього________________________________________________

4.1.4.Закон достатньої підстави__________________________________________________

4.2. Закони нетрадиційних логічних систем_______________________________________

4.2.1.Закони логіки класів_______________________________________________________

4.2.2.Закони логіки висловлень _______________

4.2.3.Закони логіки предикатів_____________________________ _________

4.3. Питання для самоконтролю____________________________ _________

4.4. Підсумкові вправи та завдання_______________________________________

4.4.1.Закон тотожності_________________________________________________________

4.4.2.Закон суперечності________________________________________________________

4.4.3.Закон виключеного третього________________________________________________

4.4.4.Закон достатньої підстави__________________________________________________

4.5. Тест____________________________________________________________________

4.6. Література_______________________________________________________________

5. Логічний аналіз умовиводів___________________________________________________

5.1. Дедуктивні умовиводи_____________________________________________________

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

5.1.2.Опосередковані умовиводи_________________________________________________

5.1.3.Складні, скорочені та складноскорочені умовиводи____________________________

5.1.4.Виводи із складних суджень________________________________________________

5.2. Індуктивні умовиводи_____________________________________________________

5.3. Аналогія як традуктивний умовивід__________________________________________

5.4. Питання для самоконтролю_________________________________________________

5.5. Підсумкові вправи та завдання______________________________________________

5.6. Тест____________________________________________________________________

5.7. Література_______________________________________________________________

6. Логічні основи аргументації___________________________________________________

6.1. Доведення і спростування засобами традиційної логіки_________________________

6.1.1.Доведення та його види____________________________________________________

6.1.2.Спростування та його види_________________________________________________

6.2. Доведення і спростування засобами сучасної логіки____________________________

6.2.1.Доведення і спростування засобами логіки висловлень__________________________

6.2.1.1.Обґрунтування вивідності тези з аргументів методом таблиць істинності_________

6.2.1.2.Обґрунтування вивідності тези з аргументів методом аналітичних таблиць_______

6.2.1.3.З’ясування коректності (некоректності) доведення за допомоги числення у системі натурального виводу (СНВ) логіки висловлень за кратною імплікацією___

6.2.1.4. Розв’язкові процедури з’ясування коректності доведення чи спростування методом зведення формул, що їх репрезентують, до нормальних форм та їхніх модусів – КНФ, ДНФ, ДКНФ, ДДНФ, СКНФ та СДНФ_________________________________________________________________

6.2.2.Доведення і спростування засобами логіки предикатів__________________________

6.2.2.1. Розв’язкова процедура для дедуктивних форм обґрунтування вивідності тези з аргументів_____________________________________________________________

6.2.2.2. Розв’язкова процедура обґрунтування вивідності тези з аргументів у системі натурального виводу (НВ)__________________________________________________

6.2.2.3. Розв’язкова процедура визначення коректності форм доведення (спростування) методом аналітичних таблиць_______________________________________________

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

6.2.2.4. _

6.2.2.5.Інтерпретація як засіб обґрунтування коректності доведення і спростування _____

6.3. Питання для самоконтролю_________________________________________________

6.4. Підсумкові вправи та завдання______________________________________________

6.5. Тест____________________________________________________________________

6.6. Література_______________________________________________________________

7. Підсумковий тест_____________________________________________________________

Додатки_____________________________________________________________________

Розум без розсудку – ніщо, а розсудок без розуму – щось.

Гегель

Поиск по сайту: