Зміст

Вступ............................................................................................................. 6

Модуль 1

Тема 1. Предмет та метод логіки

1.1. Специфіка логіки..................................................................

1.1.1. Визначення логіки як науки.................................. 10

1.1.2. Логіка та реальність............................................... 15

1.1.3. Мова логіки............................................................. 18

1.2. Етапи розвитку та структура логіки................................... 20

1.2.1. Історичний характер логіки................................... 20

1.2.2. Несимволічна та символічна моделі логіки....... 22

1.3. Культурологічне значення логіки....................................... 24

1.3.1. Соціальні функції логіки....................................... 24

1.3.2. Логічна культура мислення................................... 25

Завдання до теми та методики їх розв’язання................................. 28

Модуль 2

Тема 2. Висловлювання та судження

2.1. Дослідження висловлювань засобами

пропозиційної логіки......................................................................... 34

2.1.1. Визначення пропозиційної логіки........................ 34

2.1.2. Мова пропозиційної логіки................................... 39

2.1.3. Інтерпретація формул пропозиційної логіки..... 42

2.1.4. Закони пропозиційної логіки................................ 50

2.1.5. Відношення між формулами

у пропозиційній логіці.............................................................................. 56

2.2. Дослідження суджень засобами атрибутивної логіки.... 60

2.2.1. Визначення атрибутивної логіки..................................................................................................................... 60

2.2.2.

атрибутивних суджень.............................................................................. 74

2.3. Дослідження висловлювань засобами логіки

предикатів........................................................................................... 84

2.3.1. Визначення логіки предикатів............................ 84

2.3.2. Синтаксис логіки предикатів................................ 93

2.3.3. Семантика логіки предикатів................................ 97

2.3.4. Основні закони логіки предикатів..................... 108

Завдання до теми та методики їх розв’язання.............................. 113

Модуль З

Тема 3. Імена та поняття

3.1. Елементи теорії імен в логіці предикатів........................ 128

3.1.1. Загальна характеристика імені............................ 128

3.1.2. Види імен............................................................... 130

3.1.3. Відношення іменування. Принципи теорії

іменування................................................................................................ 132

3.1.4. Операції над обсягами імен як множинами

в логіці класів........................................................................................... 134

3.2. Теоретичний аналіз понять в атрибутивній логіці........ 137

3.2.1. Загальна характеристика поняття. Логічна

структура поняття................................................................................... 137

3.2.2. Види понять та їх логічна характеристика...... 143

3.2.3. Логічні відношення між поняттями................... 146

Завдання до теми та методики їх розв’язання.............................. 151

Модуль 4

Тема 4. Числення та виводи

4.1. Аналіз дедуктивних міркувань засобами логіки

висловлювань................................................................................... 161

4.1.1. Логіка висловлювань як числення.

Натуральне числення висловлювань.....................................................

4.1.2. Виводи логіки висловлювань............................... 169

4.2. Аналіз дедуктивних міркувань засобами атрибутивної

логіки................................................................................................. 175

4.2.1. Виводи атрибутивної логіки. Виводи із

атрибутивних суджень на підставі розподіленості двох термінів 175

4.2.2. Виводи із атрибутивних суджень на підставі

розподіленості грьох термінів........................................................ 180

4.3. Аналіз дедуктивних міркувань засобами логіки

предикатів......................................................................................... 190

4.3.1. Логіка предикатів як числення. Натуральне

числення предикатів................................................................................ 190

4.3.2. Виводи атрибутивної логіки в інтерпретації

логіки предикатів.................................................................................... 193

4.4. Аналіз індуктивних міркувань засобами імовірнісної логіки 196

4.4.1. Визначення імовірнісної логіки........................... 196

4.4.2. Виводи узагальнюючої індукції.......................... 199

4.4.3. Виводи неузагальнюючої індукції...................... 204

Завдання до теми та методики їх розв’язання............................... 207

Модуль 5

Тема 5. Операційні висловлювання та судження

5.1. Загальна характеристика операційних висловлювань

і суджень із перспективи пропозиційної та атрибутивної логіки...... 237

5.1.1. Дивізійні, дихотомічні, класифікаційні

висловлювання і судження в термінах пропозиційної та атрибутивної логіки 245

5.1.2. Дефінітивні висловлювання та судження в

термінах пропозиційної та атрибутивної логіки................................ 250

Завдання до теми та методики їх розв’язання............................... 259

Модуль 6

Тема 6. Аргументація та критика

6.1. Аргументація в термінах пропозиційної, атрибутивної

та імовірнісної логіки....................................................................... 266

6.1.1. Критика в термінах пропозиційної,

атрибутивної та імовірнісної логіки...................................................... 273

6.1.2. Правила аргументації та критики в контексті пропозиційної, атрибутивної та імовірнісної логіки 276

Завдання до теми та методики їх розв’язання............................... 278

Покажчик термінів та персоналій..................................................... 284

Література............................................................................................... 303