|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Бочаров В.А., Маркин В.И. — Основы логики |
|
|
Предметный указатель |
Абстракция изолирующая 250
Абстракция обобщающая 250
Аксиома 144
Активность причины 284
Алгоритм построения таблиц истинности 58
Алфавит 39
Алфавит логики высказываний 49
Алфавит логики предикатов 89 93
Алфавит силлогистики 176
Анализ вывода 150
Аналитическая таблица 128 136
Аналитическая таблица для проверки логического следования 136
Аналитическая таблица для проверки общезначимости 136
Аналитическая таблица замкнутая 136
Аналогия 319
Аналогия научная 321
Аналогия по отношениям 322
Аналогия по свойствам 320
Аналогия по сходству функций 323
Аналогия популярная 321
Антецедент 46
Аргумент 21
Атрибут (свойство) 173
Базис индукции 253 275
Базис рекурсии 255
Вероятность 267
Вероятность классическая (априорная) 268
Вероятность статистическая (апостериорная) 269
Вероятность условная 270
Видовое отличие 209
Возможная реализация языка (модель) 110
Вхождение переменной в формулу свободное 102
Вхождение переменной в формулу связанное 102
Выборка 277
Выборка репрезентативная 278
Выборка случайная 281
Вывод 149
Вывод в исчислении предикатов 166
Вывод в логике высказываний 149
Вывод завершенный 167
Вывод косвенный (от противного) 156
Вывод прямой 155
Выражение 50
Выражение, правильно построенное 50
Высказывание 19
Высказывание атрибутивное 172
Высказывание единичное 173
Высказывание единичноотрицательное 172
Высказывание единичноутвердительное 172
Высказывание категорическое 172
Высказывание логически истинное 36 63 123
Высказывание логически ложное 36 63 123
Высказывание логически недетерминированное 37 63 123
Высказывание множественное 173
Высказывание общее 173
Высказывание общеотрицательное 172
Высказывание общеутвердительное 172
Высказывание отрицательное 173
Высказывание утвердительное 173
Высказывание частное 173
Высказывание частноотрицательное 172
Высказывание частноутвердительное 172
Генеральная совокупность 277
Гипосгазирование 251
Гипотеза 309
Гипотеза ad hoc 311
Гипотеза конкурирующая 318
Гипотеза общая 317
Гипотеза теоретическая 317
Гипотеза частная 317
Гипотеза эмпирическая 317
Гипотетико-дедуктивный метод 308 311
Главный знак формулы 51
Действие (следствие) 283
Декартово произведение, n-ая декартова степень 109
Декартово произведение, вторая декартова степень 108
Декартово произведение, третья декартова степень 109
Деление понятий 234
Деление понятий дихотомическое 235
Деление понятий мереологическое 237
Деление понятий по видоизменению основания 236
Деление понятий, правильность деления 235
Делимое понятие 235
Детерминация (обусловленность) 284
Диагональные соотношения 186
Дилемма 77
Дилемма простая деструктивная 78
Дилемма простая конструктивная 78
Дилемма сложная деструктивная 78
Дилемма сложная конструктивная 78
Диспозиционный предикат 250
Доказательство 150 167
Доказательство, завершенное 167
Древо Порфирия 239
Заключение правила 147
Заключение рассуждения 143
Закон ассоциативности 73
Закон больших чисел 269
Закон введения двойного отрицания 74
Закон введения дизъюнкции 73
Закон введения кванторов 141
Закон введения конъюнкции 74
Закон введения отрицания 74
Закон взаимовыразимости кванторов 142
Закон де Моргана 74
Закон дистрибутивности 73
Закон Дунса Скота 74
Закон идемпотентности 73
Закон импортации 73
Закон исключенного третьего 72
Закон коммутативности 73
Закон конграпозиции 74
Закон контрарного противоречия 185
Закон логики высказываний 61
Закон логики предикатов 120 141
Закон монотонности 74
Закон непустоты предметной области 141
Закон обратного отношения между объемами и содержаниями понятий 231
Закон обратной контрапозиции 74
Закон отрицания антецедента 74
Закон отрицания импликации 74
Закон отрицания кванторов 142
Закон перестановки кванторов 142
Закон перестановочности антецедентов 73
Закон Пирса 73
Закон поглощения 73
Закон подчинения 141
Закон пронесения кванторов 142
Закон противоречия 72
Закон противоречия для a и o 186
Закон противоречия для e и i 186
Закон самодистрибутавности 73
Закон силлогистики 182
Закон силлогистического тождества 182
Закон сложной контрапозиции 74
Закон снятия двойного отрицания 74
Закон субконтрарного исключенного третьего 185
Закон тождества 72
Закон транзитивности 73
Закон удаления кванторов 141
Закон удаления конъюнкции 72
Закон утверждения консеквента 73
Закон экспортации 74
Знак 15
Знак выводимости 150
Знак каузальной импликации 283
Знак логического следования 62 65
Знак неописательный 17
Знак непустой 16
Знак Нико 53
| Знак описательный 17
Знак правдоподобного следования 265
Знак пустой (мнимый) 16
Знак равенства по дефиниции 245
Знак эквивалентности по дефиниции 245
Значение знака (экстенсионал) 16
Значение универсалии 211
Имена 89
Имена простые (имена-ярлыки, собственные) 90
Имена сложные 90
Индивид 219
Индуктивное обобщение 277
Индуктивное предположение 275
Индуктивный шаг 253 275
Индукция установления причинных связей См. "Исключающая индукция"
Интенсивная величина 300
Интенсивность (степень) 299
Интерпретатор знака 16
Интерпретационная функция 107
Интерпретация 34 55
Интерпретация индивидных (предметных) переменных 111
Интерпретация категорических атрибутивных высказываний 177
Интерпретация параметров 28
Интерпретация предикаторных констант 108
Интерпретация предметно-функциональных констант 109
Интерпретация предметных констант 107
Интерпретация пропозициональных переменных 55
Интерпретация термов 111
Интерпретация формул 111
Исключающая индукция 282 292
Исключающая индукция различия 295
Исключающая индукция совместного сходства и различия 297
Исключающая индукция сопутствующих изменений 298
Исключающая индукция статистическая 302
Исключающая индукция сходства 293
Истина 19
Истина условная 144
Исход массового события 266
Исход массового события благоприятный исход 269
Исчисление 145
Исчисление высказываний 143 145
Исчисление натуральное 145
Исчисление предикатов первого порядка 145 160
Качество высказывания 173
Квадрат логический 184
Квантор общности 93
Квантор существования 93
Классификация 238
Классификация дихотомическая 239
Классификация естественная 240
Классификация искусственная 240
Классификация по видоизменению основания 239
Классификация предельная 239
Количество высказывания 173
Конвенция (соглашение) 244
Консеквент 46
Концепция индетерминизма 305
Круги Эйлера 229
Логика 14
Логика высказываний 42
Логика дедуктивная 20 38
Логика классическая 41
Логика неклассическая 49
Логика предикатов 88
Логическая связка бинарная 43
Логическая связка дизъюнкция 44
Логическая связка истинностно-функциональная 47
Логическая связка модальная 49
Логическая связка предицирующая 173
Логическая связка пропозициональная 42
Логическая связка унарная 43
Логическая связка, конъюнкция 43
Логическая связка, материальная импликация 45
Логическая связка, материальная эквиваленция 46
Логическая связка, отрицание 43
Логическая связка, релевантная импликация 48
Логическая связка, строгая дизъюнкция 45
Логическая форма 26 33
Логический закон 36
Логическое следование 28 34 35
Логическое следование в логике высказываний 67
Логическое следование в логике предикатов 124
Логическое следование в силлогистике 181
Ложь 19
Мереологическое ограничение 233
Мереологическое членение 237
Местность предикатора 93
Местность терма 103
Местность формулы 103
Местность функции 90
Метод корреляции 306
Моделирование 323
Модель см. "Возможная реализация языка"
Модель содержательных рассуждений 145
Модельная схема 177 229
Модус фигуры силлогизма 189
Модус фигуры силлогизма неправильный 193
Модус фигуры силлогизма правильный 193
Наблюдение 290
Набор значений пропозициональных переменных 55
Непрямой способ аргументации 22 79
Неявные определения 253
Неявные определения аксиоматические 255
Неявные определения индуктивные 253
Неявные определения рекурсивные 254
Неявные определения фундаментальные 259
Неявные определения через контекст 256
Нормативный характер логики 23
Область действия квантора 101
Обобщающая индукция 273
Обобщающая индукция научная 277
Обобщающая индукция неполная 276
Обобщающая индукция полная математическая 275
Обобщающая индукция полная по построению 274
Обобщающая индукция полная эмпирическая 273
Обобщающая индукция популярная 276
Обобщающая индукция статистическая 279
Обоснование (верификация) гипотезы 309
Обращение 186
Обращение с ограничением 187
Обращение чистое 187
Общие правила силлогизма 193
Общие правила силлогизма для посылок 193
Общие правила силлогизма для терминов 193
Объем понятия 211
Объем сказывания 180
Оператор объемности (множественности) 211
Операции с понятиями 224
Операции с понятиями, булевы операции 224
Операции с понятиями, взятие дополнения 226
Операции с понятиями, вычитание 225
Операции с понятиями, деление 234
Операции с понятиями, классификация 238
Операции с понятиями, обобщение 234
Операции с понятиями, объединение 225
Операции с понятиями, ограничение 232
Операции с понятиями, пересечение 224
Операции с понятиями, симметрическая разность 226
Описание предмета 263
Определение 242
Определение номинальное 257
Определение реальное 258
Определение родовидовое 259
Определение тавтологичное 262
Определение явное См. "Явные определения"
Определяемая часть определения 245
Определяемый термин 245
Определяющая часть определения 245
Опровержение (фальсификация) гипотезы 309 312
Основание деления 235
|
|
|
Реклама |
|
|
|