Покажчик термінів та персоналій
А
Абеляр П’єр 74
Абстрагування 12, 141, 142
Абстрактне мислення 17
Абстрактні об’єкти 15, 18
Абстрактні поняття 145
Адресант 267
Адресат 267
Айдукевич Казимир 6
Аксіоматичне визначення 255
Аксіоматичне числення логіки висловлювань 163
Аксіоматичне числення логіки предикатів 191
Алгоритмічно побудована мова 19
Алфавіт 14
Алфавіт атрибутивної логіки 75
Алфавіт логіки висловлювань 39
Алфавіт логіки предикатів 93
Аналіз 142
Аналітична істина 36
Аналітична таблиця 101
Аналогійна аргументація 269
Аналогія відношень 205
Аналогія властивостей 204
Аргументатор 266
Аргументація 266
Аргументи 267
Аристотель 6, 21, 74
Арно Антуан 74
Апагогічна аргументація 270
Атрибутивна логіка 65, 74
Атрибутивне судження 65
Атрибутивний закон виключеного третього для А та O 84
Атрибутивний закон виключеного третього для E та І 84
Атрибутивний закон несуперечності для А та O 84
Атрибутивний закон несуперечності для E та І 84
Атрибутивний закон підпротилежного виключеного третього 84
Атрибутивний закон протилежної несуперечності 84
Атрибутивно-реляційне визначення 253
Аудиторія аргументації 266
Б
Багатозначне ім’я 131
Багатомісний предикат 62, 90
Балей Степан 6
Безвідносні поняття 145
Безпосередній силогістичний вивід 176
Бекон Френсіс 199
Бентам Ієремія 74
Більший засновок 181
Більший термін силогізму 181
Боецій Северин 74
Бочаров Вячеслав 74
Буль Джордж 38
Буницький Євген 7
Буридан Жан 74
В
Венн Джон 21
Вивід за схемою «доведення від протилежного» 175
Вивід за схемою «зведення до абсурду» 174
Виводи 16, 17, 163
Виводи за аналогією 198, 204
Виводи за логічним квадратом 177
Виводи із понять 141
Видові ознаки 140
Визначення поняття 250
Визначення через вказівку на протилежність 252
Визначення через рід і видову відмінність 252
Виконувана формула логіки предикатів 99
Виконувані формули в логіці висловлювань 48
Висновок 161
Відмітні ознаки 139
Віднімання класів 136
Відносні поняття 145
Відношення 15
Відношення іменування 132
Відношення логічного випливання в атрибутивній логіці 83
Відношення логічного випливання в логіці висловлювань 59
Відношення логічного випливання в логіці предикатів 100
Відношення логічної рівносильності в логіці висловлювань 58
Зідношення логічної сумісності в логіці висловлювань 56
Відношення перетину 148
Відношення підпорядкування 147
Відношення протилежності 149
Відношення співпідпорядкування 148
Відношення суперечності 149
Відношення тотожності 146
Відношення частини та цілого 147
Відчуття 16
Відповідь 242
Вітгенштейн Людвіг 38
Властивості 15
Войшвилло Євген 5
Г
Газалі Мухаммед 6
Генетичне визначення 254
Гільберт Давид 93
Гоббс Томас 74
Гогоцький Сильвестр 6
Головна логічна константа формули 41, 95
д
Дедуктивна аргументація 268
Дедуктивне міркування 162, 197
Демокріт 199
Деструктивна дилема 172
Деструктивно-конструктивна композиція 276
Деструктивна критика 273
Дефенієндум 251
Дефінієнс 251
Дефінітивне висловлювання 258
Дефінітивне судження 258
Дивізійне висловлювання 248
Дивізійне судження 248
Диз’юнктивне запитання 241
Дихотомічне висловлювання 249
Дихотомічний поділ 249
Дихотомічне судження 249
Діадор Кронос 38
Діалог 240
Діахронний виклад логіки 8
Додавання класів 134
Доповнюючі запитання 240
Достатня властивість 139
Друга фігура силогізму 183
Другий закон атрибутивного підпорядкування 84
Другий закон атрибутивної тотожності 83
Другий закон де Моргана 55
Другий закон простої контрапозиції 53
Другий закон складної контрапозиції 54
ε
Евбулід із Мегари 38
Евдем із Родоса 74
Ейлер Леонард 61
Еквівалентні судження 81
Еквіваленція 39,46
Екзистенційні судження 85
Екстенсійний котекст 133
Елемент обсягу поняття 140
Емпірична аргументація 272
Емпіричні об’єкти 15, 18
Ентимема 186
Епікур 199
Епісилогізм 188
Епіхейрема 187
є
Єгиптянин Мойсей 6
З
Загальні поняття 144
Загальні правила простого силогізму 185, 186
Загальні судження 68
Загальнозаперечне судження 69
Загальноствердне судження 68
Закон асоціативності 54
Закон атрибутивної логіки 83
Закон введення квантора існування 108
Закон введення подвійного заперечення 51
Закон взаємовираженості кванторів 109
Закон виключеного третього 50
Закон дистрибутивності 55
Закон дистрибутивності квантора існування для знака диз’юнкції 110 Закон дистрибутивності квантора існування для знака імплікації 111 Закон дистрибутивності квантора існування для знака кон’юнкції 109 Закон дистрибутивності квантора спільності для знака диз’юнкції 110 Закон дистрибутивності квантора спільності для знака імплікації 111 Закон дистрибутивності квантора спільності для знака кон’юнкції 109 Закон достатньої підстави 266
Закон Дунса Скота 52
Закон зняття подвійного заперечення 51
Закон ідемпотентності 51
Закон комутативності 52
Закон Клавія 51
Закон логіки предикатів 108
Закон непорожнечі універсуму логічного квадрата 109
Закон несуперечності 50, 109
Закон несуперечності в логіці предикатів 109
Закон оберненого відношення між змістом і обсягом поняття 141
Закон підпорядкування кванторів 108
Закон тотожності 50
Закон усунення квантора спільності 108
Закони заперечення кванторів 112
Закони перестановки кванторів 111
Заміна диз’юнкції 103
Заміна заперечення диз’юнкції 103
Заміна заперечення заперечення 104
Заміна заперечення імплікації 104
Заміна заперечення квантора існування 106
Заміна заперечення квантора спільності 105
Заміна заперечення кон’юнкції 102
Заміна імплікації 103
Заміна квантора існування 106
Заміна квантора спільності 105
Заміна кон’юнкції 102
Замкнена аналітична таблиця 101
Заперечні судження 67
Заперечення 34, 43
Запитання 238
Засновки 161
Збірні загальні поняття 144
Збірні одиничні поняття 144
Збірні поняття 144
Звичайне контекстуальне визначення 254
Зв’язана змінна 96
Зв’язка 62
Зенон із Кітіона 38
Зміст імені 130
Зміст міркування 11
Зміст поняття 138
Знак 18, 128
Знаки-індекси 129
Знаки-символи 129
Знакова система 18
І
!конічні знаки 129
Імовірнісний вивід 198
Імовірнісна логіка 198
Імплікація 39, 45
Імплікативне запитання 242
Ім’я 87, 129
Ім’я власне 87, 132
Ім’я загальне 87, 132
Індуктивний вивід 198
Індуктивне міркування 162, 197
Інтенсійний контекст 133
Інтерпретація формул логіки висловлювань 42
Інтерпретація формули логіки предикатів 98
Інтуїтивна логіка 25
Істинна відповідь 242
Істинне висловлювання 35
Істиннісна таблиця, таблиця істинності 42
Істинність міркування 11
K
Кампанелла Томаззо 199
Кант Іммануїл 14, 74
Карнап Рудольф 199
Карпов Василь 6
Категоричний силогізм 181
Квантифікація 63, 96
Квантор 63, 91
Квантор існування 63, 91
Квантор спільності 63, 91
Кількість атрибутивного судження 67
Класична логіка 22
Класифікаційне висловлювання 250
Класифікаційне судження 250
Класифікація 249
Козлов Олексій 7
Колотілова Наталія 8
Комбінована критика 276
Конверсія 179
Конверський Анатолій 8
Кониський Григорій 6
Конкретні поняття 145
Кононович-Горбацький Иосиф 6
Конструктивна дилема 172
Конструктивна критика 275
Конструктивно-деструктивна композиція 276
Контекст запитання 240
Контрапозиція 179
Кон’юнктивне запитання 241
Кон’юнктивно-диз’юнктивне запитання 242
Кон’юнкція 39, 43
Копнін Павло 8
Котарбінський Тадеуш 6
Критика 273
Критика аргументів 274
Критика тези 273
Критика тези за схемою «зведення до абсурду» 273
Критика тези шляхом обгрунтування антитези 274
Критика форми 275
Кудрявцев Петро 6
Л
Лейбніц Готфрід 21
Лєснєвський Станіслав 6
Ліницький Петро 6
Логіка висловлювань 38, 59
Логіка запитань і відповідей 244
Логіка інформаційних технологій 24
Логіка класів 130
Логіка предикатів 92
Логіка предикатів другого порядку 92
Логіка предикатів першого порядку 92
Логіка предикатів третього порядку 92
Логіка як наука 10, 11, 14
Логічна культура мислення 25
Логічна операція над поняттями 237
Логічна прагматика 20
Логічна семантика 20
Логічна форма 12
Логічне випливання 39
Логічне числення 14
Логічний аналіз мови 24
Логічний закон 13,48
Логічний квадрат 79
Логічний синтаксис 20
Логічні закони логіки висловлювань 48
Логічні операції 37, 237
Логічні помилки 26
Логічні протиріччя логіки висловлювань 48
Логічні сполучники 37
Логічні терміни 12
Логічно істинна формула логіки предикатів 99
Логічно коректне запитання 239
Логічно некоректне запитання 239
Логічно правильне міркування 14
Логічно хибна формула логіки предикатів 99
Лодій Петро 6
Лукасевич Ян 6, 74
Луллій Раймунд 38
M
Маймон Соломон 21
Маркін Володимир 74
Математика 10
Математична логіка 21
Менший засновок 181
Менший термін силогізму 181
Мереологічний поділ 246
Металогіка 20
Метамова 19
Метапроблеми логіки 24
Метод залишків 203
Метод єдиної різниці 202
Метод єдиної схожості 201
Метод супровідних змін 202
Мілль Джон Стюарт 199
Міркування 11, 18, 161
Міхневич Йосип 6
Множинна аргументація 272
Множення класів 135
Мова 18
Мова логіки 19
Мова атрибутивної логіки 74
Мова логіки висловлювань 19, 39
Мова логіки предикатів 13, 93
Мовне мислення 17
Мовні знаки 129
Модель аналогії 204
Модельна схема 76
Модуси 184
H
Навроцький Володимир 8
Натуральне числення логіки висловлювань 163
Натуральне числення логіки предикатів 191
Наука 11
Наукова індукція 201
Неалгоритмічно побудована мова 18
Невиконувана формула 99
Невідмітні ознаки 138
Негативна силогістика 176
Негативні поняття 145
Негативний термін 176
Незалежні судження 82
Незбірні поняття 145
Некласична логіка 22
Нелогічні терміни 12
Неповна відповідь 243
Неповна індукція 200
Непорівнювані поняття 146
Непорівнювані судження 80
Непорожні поняття 144
Неправильна відповідь 243
Неправильне міркування 12, 162
Непряма відповідь 243
Непрямий дедуктивний вивід 169
Необхідна властивість 139
Неописове ім’я 131
Нереєструючі загальні поняття 144
Нерелевантна відповідь 243
Несимволічна логіка 22
Неспецифікована мова 18
Несумісні поняття 146
Несумісні судження 80
Несуттєві ознаки 139
Неточне ім’я 130
Нетривіально некоректне запитання 239
Неузагальнююча індукція 198
Неявне визначення поняття 254
Неявна критика 273
Неясне ім’я 131
Ніколя П’єр 74
Новицький Орест 7
Номінальне визначення поняття 253
Нормальна форма судження 63, 70
Нормативні науки 11
O
Обверсія 176
Обгрунтування 266
Об’єднаний метод схожості та різниці 202
Об’єкти 15
Об’єктивна логіка 10
Об’єктна мова 19
Область дії квантора 95
Область дії логічного сполучника 41, 95
Обмеження 142
Обсяг імені 130
Обсяг поняття 140
Обсяги термінів судження 61
Одиничні індивідуальні поняття 144
Одиничні збірні поняття 144
Одиничні поняття 144
Одиничні судження 68
Однозначне ім’я 131
Одномісний предикат 62, 90
Односторонньо підпорядковані судження 81
Ознака предмета 138
Ознаки 15
Оккам Вільям 38
Операційне визначення 254
Операційне висловлювання 244
Операційне судження 244
Опис 257
Описове ім’я 131
Описове висловлювання 34, 37
Описові науки 11
Опосередкований силогістичний вивід 176
Основні ознаки 139
Особливі правила фігур 185, 186
Остенсивне визначення 255
П
Павлов Василь 8
Паралогізми 27
Пеано Джузеппе 93
Передумова запитання 240
Періодизація 246
Перша фігура 182
Перший закон атрибутивного підпорядкування 84
Перший закон атрибутивної тотожності 83
Перший закон де Моргана 55
Перший закон простої контрапозиції 53
Перший закон складної контрапозиції 54
Петро Іспанський 38
Підрядна аргументація 271
Підстава поділу 245
Пірс Чарльз Сандерс 38
Платон 6, 74
Побічна аргументація 270
Побічне запитання 238
Повна відповідь 243
Повна індукція 199
Повна контрапозиція 180
Поділ за видозміною ознаки 246
Поділ поняття 245
Подільне поняття 245
Позамовні знаки 129
Позитивна силогістика 176
Позитивні поняття 145
Полісилогізм 188
Поняття 16, 17, 138
Попович Мирослав 8
Популярна індукція 201
Порівнювані поняття 146
Порівнювані судження 80
Порівняння 142, 258
Порожні гіпотетичні поняття 143
Порожні необхідні поняття 143
Порожні поняття 143
Порожні хибні поняття 143
Потебня Олександр 6
Похідні ознаки 139
Правдоподібна аргументація 269
Правила виведення висновку із засновків 161
Правила виведення натурального числення 164
Правила відповідей 244
Правила запитань 244
Правила засновків 186
Правила інтерпретації 14
Правила термінів 186
Правила узагальнення та обмеження 142
Правила утворення 14
Правило введення диз’юнкції 165
Правило введення еквівалентності 167
Правило введення квантора існування 192
Правило введення квантора спільності 193
Правило введення кон’юнкції 164
Правило введення подвійного заперечення 168
Правило визначеності 276
Правило взаємного виключення 248
Правило відповідності для визначення поняття 255
Правило відповідності для поділу поняття 247
Правило достовірності 277
Правило заборони кола у визначенні 256
Правило єдиної підстави 247
Правило інтерпретації пропозиційиих зв’язок 42
Правило інтерпретації пропозиційиих змінних 42
Правило несуперечності 257
Правило однозначності 256
Правило послідовності 248
Правило підтвердження 277
Правило самостійності 277
Правило тотожності 276
Правило усунення диз’юнкції 166
Правило усунення еквівалентності 167
Правило усунення імплікації 167
Правило усунення квантора існування 193
Правило усунення квантора спільності 191
Правило усунення кон’юнкції 165
Правило усунення подвійного заперечення 168
Правильна відповідь 242
Правильне міркування 12, 162
Практична логіка 23
Предикат 61, 90, 193
Предметна змінна 88
Предметна логіка 20
Предметна постійна 88
Предметне значення знака 128
Предметне значення імені 129
Предметне значення описового висловлювання 36
Предмети 15
Принцип взаємозамінюваності 133
Принцип двозначності 36
Принцип однозначності 132
Принцип предметності 132
Природна класифікація 249
Природні мови 18
Припущення бівалентності 92
Припущення екстенсіональності 91
Припущення непорожнечі універсуму 91
Причинна аргументація 269
Причинний зв’язок 196
Прогресивна аргументація 268
Прогресивний полісилогізм 188
Прогресивний сорит 189
Прокопович Феофан 6
Пропозиційна логіка 34, 40, 47
Просилогізм 188
Проста аргументація 271
Проста деструктивна дилема і 73
Проста дилема 172
Проста конструктивна дилема 172
Просте запитання 241
Просте ім’я 131
Просте описове висловлювання 35, 38
Просте судження 64
Простий силогізм 181, 182
Протилежні судження 82
Прототип аналогії 204
Процеси 15
Пряма аргументація 270
Пряма відповідь 243
Пряме запитання 238
Прямий дедуктивний вивід 169
Псьолл Михайло 74
П’ятницин Будамир199
P
Рассел Бертран 93
Реальна визначення 251
Регресивна аргументація 268
Регресивний полісилогізм 188
Регресивний сорит 190
Редукція кванторів 98
Реєструючі загальні поняття 144
Рейхенбах Ганс 199
Рема запитання 238
Речі 15
Рефлексія 18
Родові ознаки 140
Розділова аргументація 270
Розділово-категоричний вивід 170
Розповідне речення 34
Розподіленість термінів 70
Розрізнення 258
C
Семантика атрибутивної логіки 75
Семантика логіки висловлювань 39
Семантика логіки предикатів 97
Семіотика 10
Середній термін силогізму 182
Силогістика 175
Сильна диз’юнкція 39, 45
Символічна логіка 21, 22
Симптоматична аргументація 269
Синтаксис атрибутивної логіки 75
Синтаксис логіки висловлювань 39
Синтаксис логіки предикатів 93
Синтез 142
Синтетична істина 36
Синхронний виклад логіки 9
Складна аргументація 271
Складна деструктивна дилема 174
Складна дилема 172
Складна конструктивна дилема 173
Складне запитання 241
Складне ім’я 131
Складне описове висловлювання 35, 38
Складне судження 64
Скот Дуне 38
Слабка диз’юнкція 39, 44
Слєшинський Іван 7
Словесне мислення 17
Смислове значення знака 128
Смислове значення імені 1 ЗО
Смислове значення описового висловлювання 36
Сорит 189
Софізми 27
Специфікована мова 18
Сприйняття 16
Ствердні судження 67
Суб’єкт судження 61
Суб’єктивна логіка 10
Суботі н Олександр 74
Судження 16, 17, 61
Сумісні поняття 146
Сумісні судження 80
Суперечні судження 82
Сурядна аргументація 271
Суттєві ознаки 139
Сутність предмета 139
Суто умовний вивід 169
Сучасна логіка 21
T
Тавтологічна відповідь 243
Тарський Альфред 6
Твардовський Казимир 6
Тема запитання 238
Теоретична аргументація 272
Теоретична логіка 23
Теофраст 74
Терм 88
Терміни судження 61
Тимченко Іван 7
Типологія 250
Титов Володимир 8
Точка зору 267
Традиційна логіка 20
Традуктивні виводи 198
Третій закон простої контрапозиції 53
Третя фігура силогізму 183
Тривіально некоректне запитання 239
У
Уайтхед Альфред 93
Уйомов Авенір 74
Узагальнююча індукція 198
Узагальнення 141, 142
Умови правильності підстановки 40, 88, 96
Умовно-категоричний вивід 170
Умовно-розділовий вивід 172
Універсум міркування в логіці предикатів 87
Уточнюючі запитання 240
Уявлення 16, 143
Ф
Фігура силогізму 182
Філософська логіка 23
Формалізація 19
Формалізована мова 19
Формальна логіка 14
Форма міркування 11
Формула атрибутивної логіки 75
Формула логіки предикатів 94
Формули логіки висловлювань 40
Фреге Готлоб 21, 38
Функтор 237
Функція 88
Функція інтерпретаційна 89
Функція пропозиційна 88
X
Характеристика 257
Хибне висловлювання 35
Хибна відповідь 242
Хибність міркування 11
Хінтикка Яаакко 199
Хоменко Ірина 8
ц
Цалін Степан 8
Ч
Часткова контрапозиція 179
Часткові судження 68
Частковозаперечне судження 69
Частковоствердне судження 69
Частково сумісні судження 82
Челпанов Григорій 7
Четверта фігура силогізму 184
Четвертий закон простої контрапозиції 53
Числення 163
Члени поділу поняття 245
Чорч Алонзо 93
Чуттєве пізнання 16
IlI
Шатуновський Сергій 7
Шервуд Вільям 74
Штучна класифікація 249
Штучні мови 18
Ю
Юркевич Памфіл 6
Я
Явна критика 273
Явне визначення 253
Яворський Стефан 6
Якість 139
Якість атрибутивного судження 67
Яновська Софія 7