Вопрос 59
ВОПРОСОВ ЛОГИКА, или: Эротетическая, интеррогативная логика, 61
ВЫВОД ЛОГИЧЕСКИЙ 62
ВЫСКАЗЫВАНИЕ 63
ВЫСКАЗЫВАНИЕ ДЕСКРИПТИВНОЕ (от англ. description - описание), или: Высказывание описательное, 65
ВЫСКАЗЫВАНИЕ КАТЕГОРИЧЕСКОЕ 67
ВЫСКАЗЫВАНИЕ (ПРЕДЛОЖЕНИЕ) КОНТРФАКТИЧЕСКОЕ (от лат. contra — против, factum — событие) 67
Г 69
ГЕРМЕНЕВТИКА (от греч. hermeneuo - разъясняю, истолковываю) 69
ГЁДЕЛЯ ТЕОРЕМА 69
ГИПОСТАЗИРОВАНИЕ (от греч. hypostasis - сущность, субстанция) 69
ГИПОТЕЗА (от греч. hipothesis - основание, предположение) 71
ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД 74
ГИПОТЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ 76
ГОМОМОРФИЗМ, ИЗОМОРФИЗМ 76
Д 77
ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН, см.: Закон двойного отрицания. 77
ДВУЗНАЧНАЯ ЛОГИКА 77
ДВУЗНАЧНОСТИ ПРИНЦИП 77
ДЕДУКЦИЯ (от лат. deductio — выведение) 77
ДЕЛЕНИЕ ЛОГИЧЕСКОЕ 82
ДЕНОТАТ (от лат. denoto — обозначаю), или: Десигнат, предметное значение, 83
ДЕОНТИЧЕСКАЯ ЛОГИКА (от греч. deon — долг, правильность), 84
ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ (от греч. deon - долг, правильность), 86
ДЕСКРИПЦИЯ ОПРЕДЕЛЕННАЯ (от лат. descriptio - описание) 89
ДИАГРАММЫ ВЕННА 89
ДИАЛЕКТИЧЕСКАЯ ЛОГИКА 90
ДИЗЪЮНКТИВНЫЙ СИЛЛОГИЗМ, см.: Модус понендо толленс. Модус толлендо поненс. 94
ДИЗЪЮНКЦИЯ (от лат. disjunctio — разобщение, различение) 94
ДИЛЕММА (от греч. di(s) - дважды и lemma - предположение) 95
ДИСКУРСИВНЫЙ (от лат. discursus — рассуждение, довод, аргумент) 97
ДИСКУССИЯ (от лат. discussio — рассмотрение, исследование) 98
ДИСТРИБУТИВНЫЕ И КОЛЛЕКТИВНЫЕ СВОЙСТВА. Д. с. 99
ДИХОТОМИЯ (от греч, dicha и tome - рассечение на две части) 100
ДОКАЗАТЕЛЬСТВО 101
ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ, см.: Конструктивная логика. 103
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО, см.: Косвенное доказательство. 103
ДОКАЗАТЕЛЬСТВО ПО СЛУЧАЯМ, или: Доказательство разбором случаев, 103
ДОКАЗУЕМОСТЬ, см.: Доказательство. 104
ДОПОЛНЕНИЕ К МНОЖЕСТВУ 104
ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП 104
ДОСТАТОЧНОЕ УСЛОВИЕ, см.: Условное высказывание. 106
ДОСТОВЕРНОСТЬ 106
З 106
ЗАБЛУЖДЕНИЕ 106
ЗАКОН АССОЦИАТИВНОСТИ (от лат. associatio — соединение) 107
ЗАКОН ГИПОТЕТИЧЕСКОГО СИЛЛОГИЗМА 108
ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ 108
ЗАКОН ДЕ МОРГАНА 109
ЗАКОН ДИСТРИБУТИВНОСТИ (от англ. distribution - распределение, размещение) 109
ЗАКОН ДУНСА СКОТА 110
ЗАКОН ИМПОРТАЦИИ, см.: Закон экспортации — импортации. 111
ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО 111
ЗАКОН КЛАВИЯ 113
ЗАКОН КОММУТАТИВНОСТИ (от лат. commutatio - изменение, перемена) 114
ЗАКОН КОММУТАЦИИ (от лат. commutatio - изменение, перемена) 115
ЗАКОН КОМПОЗИЦИИ (от лат. compositio — сочинение, составление) 115
ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА 116
ЗАКОН ЛОГИКИ, см.: Логический закон. 116
ЗАКОН МЫШЛЕНИЯ - термин традиционной логики, 116
ЗАКОН ПРОТИВОРЕЧИЯ, см.: Непротиворечия закон. 117
ЗАКОН ЭКСПОРТАЦИИ - ИМПОРТАЦИИ (от лат. exportare -вывозить, importare — ввозить) 117
ЗНАК 118
ЗНАНИЕ 119
ЗНАЧЕНИЕ 120
И 121
ИДЕАЛИЗАЦИЯ 121
ИДЕМПОТЕНТНОСТИ ЗАКОН (от лат. idempotens - сохраняющий ту же степень) 122
ИЛЛЮСТРАЦИЯ (от лат. illustratio - прояснять) 123
ИМПЛИКАЦИЯ (от лат. implicatio - сплетение, от implico — тесно связываю) 124
ИМПЛИКАЦИЯ МАТЕРИАЛЬНАЯ - импликация в трактовке логики классической. 125
ИМЯ 126
ИНДИВИД (от лат. individuum - неделимое) 128
ИНДУКТИВНАЯ ЛОГИКА 129
ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ 129
ИНДУКЦИИ КАНОНЫ (от греч. canon — правило, предписание) 130
Метод единственного сходства: 130
Метод сопутствующих изменений: 130
Метод остатков. 131
ИНДУКЦИЯ (от лат. inductio - наведение) 131
И 134
ИНДУКЦИЯ МАТЕМАТИЧЕСКАЯ, ПОЛНАЯ МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ 134
ИНДУКЦИЯ НЕПОЛНАЯ 135
ИНДУКЦИЯ ПОЛНАЯ 135
ИНДУКЦИЯ ПОПУЛЯРНАЯ 135
ИНТЕНСИОНАЛ И ЭКСТЕНСИОНАЛ 135
ИНТЕРПРЕТАЦИЯ (от лат. interpretatio - разъяснение, истолкование) 137
ИНТЕРСУБЪЕКТИВНЫЙ (от лат. inter - между) 139
ИНТУИТИВНАЯ ЛОГИКА 139
ИНТУИЦИОНИЗМ 141
ИНТУИЦИОНИСТСКАЯ ЛОГИКА 142
ИНТУИЦИЯ (от лат. intuitio — пристальное, внимательное всматривание, созерцание) 143
ИРРАЦИОНАЛЬНОЕ (от лат. irrationalis - неразумный, бессознательный) 146
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН, см.: Закон исключенного третьего. 146
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 146
ИСТИНА 147
ИСТИННОСТНОЕ ЗНАЧЕНИЕ 147
ИСЧИСЛЕНИЕ 148
К 149
КАВЫЧКИ 149
КАТЕГОРИЧЕСКОЕ СУЖДЕНИЕ 149
КАТЕГОРИЯ (от греч. kategoria - высказывание, обвинение, признак) 149
КАУЗАЛЬНАЯ МОДАЛЬНОСТЬ, см.: Онтологическая модальность. 150
КЛАСС, МНОЖЕСТВО (В ЛОГИКЕ И МАТЕМАТИКЕ) 150
КЛАССИФИКАЦИЯ 151
КЛАССИЧЕСКАЯ ЛОГИКА, см.: Логика классическая. 152
КОНВЕНЦИЯ (от лат. conventio - соглашение) 152
КОННОТАЦИЯ (от лат. connotatio — добавочное значение) 152
КОНСТРУКТИВНАЯ ЛОГИКА 153
КОНТЕКСТ (от лат. contextus — сцепление, соединение, связь) 154
КОНТЕКСТУАЛЬНОЕ ОПРЕДЕЛЕНИЕ, см.: Определение контекстуальное. 154
КОНТРАДИКТОРНАЯ ПРОТИВОПОЛОЖНОСТЬ (от лат. contradictorius — противоречащий) 154
КОНТРАПОЗИЦИИ ЗАКОН 155
КОНТРАРНАЯ ПРОТИВОПОЛОЖНОСТЬ (от лат. contrarius - противоположный) 156
КОНЦЕПТ (от лат. conceptus— понятие) 156
КОНЪЮНКЦИЯ (от лат. conjunctio - союз, связь) 156
КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО 157
КРУГ В ДОКАЗАТЕЛЬСТВЕ (лат. — circulus in demonstrando) 158
КРУГ В ОПРЕДЕЛЕНИИ 159
Л 159
ЛЕММА (от греч. lemma — предположение) 159
«ЛЖЕЦА» ПАРАДОКС 159
ЛОГИКА (от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика, 160
ЛОГИКА ВРЕМЕНИ, или: Временная логика, 165
ЛОГИКА ВЫСКАЗЫВАНИЙ, или: Пропозициональная логика, 167
ЛОГИКА ДЕДУКТИВНАЯ, см.: Дедукция. 169
ЛОГИКА ИЗМЕНЕНИЯ 169
ЛОГИКА КВАНТОВОЙ МЕХАНИКИ 171
ЛОГИКА КЛАССИЧЕСКАЯ 171
ЛОГИКА КЛАССОВ 172
ЛОГИКА КОМБИНАТОРНАЯ (от лат. combinare — соединять, сочетать) 173
ЛОГИКА МНОГОЗНАЧНАЯ, см.: Многозначная логика. 173
ЛОГИКА НАУЧНОГО ПОЗНАНИЯ, или: Логика науки, 173
ЛОГИКА НЕКЛАССИЧЕСКАЯ 179
ЛОГИКА НОРМ, см.: Деонтическая логика. 180
ЛОГИКА ОТНОШЕНИЙ 180
ЛОГИКА ПРЕДИКАТОВ, или: Функциональная логика, теория квантификации, кванторная логика, 181
ЛОГИКА ТРАДИЦИОННАЯ, см.: Традиционная логика. 182
ЛОГИКА ЭПИСТЕМИЧЕСКАЯ (от греч. episteme - знание) 182
М 198
МАТЕМАТИЧЕСКАЯ ЛОГИКА 198
МАТЕРИАЛЬНАЯ СУППОЗИЦИЯ, см.: Суппозиция. 198
МЕТАМАТЕМАТИКА 198
МЕТАТЕОРИЯ (от греч. meta - после, за, позади) 200
МЕТАФОРА (от греч, metaphora - перенос, образ) 200
МЕТАЯЗЫК (от греч. meta - после, за, позади) 200
МЕТОД (от греч. methodos — путь, способ исследования, обучения, изложения) 201
МЕТОДОЛОГИЧЕСКАЯ АРГУМЕНТАЦИЯ 202
МЕТОДОЛОГИЯ НАУКИ 204
МНОГОЗНАЧНАЯ ЛОГИКА 206
МНОГОЗНАЧНОСТИ ПРИНЦИП, см.: Принцип многозначности. 208
МНОГОЗНАЧНОСТЬ 208
МНОЖЕСТВ ТЕОРИЯ 209
МОДАЛЬНАЯ ЛОГИКА 210
МОДАЛЬНОСТЬ (от лат., modus — мера, способ) 211
МОДЕЛЬ (от лат. modulus — мера, образец, норма) 213
МОДЕЛЬ СЕМАНТИЧЕСКАЯ 214
МОДУС (лат. modus - мера, способ, образ, вид) 214
МОДУС ПОНЕНДО ТОЛЛЕНС (лат. modus ponendo tollens) 214
МОДУС ПОНЕНС (лат. modus ponens) 215
МОДУС ТОЛЛЕНДО ПОНЕНС (лат. modus tollendo ponens) 216
МОДУС ТОЛЛЕНС (лат. modus tollens) 217
МЫШЛЕНИЕ 219
Н 220
НАУКА 220
«НЕ ВЫТЕКАЕТ», «НЕ СЛЕДУЕТ» (лат. поп sequitur) 222
«НЕДОКАЗАННОЕ ОСНОВАНИЕ» ДОКАЗАТЕЛЬСТВА 222
НЕЗАВИСИМОСТЬ (в логике и математике) 222
НЕКЛАССИЧЕСКАЯ ЛОГИКА, см.: Логика неклассическая. 223
НЕОБХОДИМОСТЬ (логическая) 223
НЕОБХОДИМЫЕ И ДОСТАТОЧНЫЕ УСЛОВИЯ (в логике и математике) 224
НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ (в традиционной логике) 225
НЕПРАВИЛЬНОЕ УМОЗАКЛЮЧЕНИЕ, см.: Умозаключение. 225
НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ 226
НЕПРОТИВОРЕЧИВОСТЬ 226
НЕПРОТИВОРЕЧИЯ ЗАКОН 227
НЕСОБСТВЕННЫЕ СИМВОЛЫ, см.: Символы собственные и несобственные. 228
НЕЧЕТКОЕ МНОЖЕСТВО 229
НЕЯСНОСТЬ 231
НОМОЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ (от греч. nomos - закон, logos — учение, понятие) 232
НОРМА, см.: Нормативное высказывание. 232
НОРМАЛЬНОЕ МНОЖЕСТВО, см.: Противоречие в явном определении. 232
НОРМАТИВНАЯ ЛОГИКА, см.: Деонтическая логика. 232
НОРМАТИВНАЯ МОДАЛЬНОСТЬ, см.: Деонтическая модальность. 232
НОРМАТИВНОЕ ВЫСКАЗЫВАНИЕ, или: Деонтическое высказывание, 232
О 235
ОБОБЩЕНИЕ (лат. generalisatio) 235
ОБОЗНАЧЕНИЯ ОТНОШЕНИЕ 235
ОБОСНОВАНИЕ 236
ОБОСНОВАНИЕ ОЦЕНОК 239
ОБРАЗЕЦ 242
ОБРАЩЕНИЕ (лат. conversio) 244
ОБЩЕЕ ПОНЯТИЕ, см.: Понятие. 245
ОБЩЕЕ СУЖДЕНИЕ, см.: Суждение. 245
ОБЪЕДИНЕНИЕ (СЛОЖЕНИЕ) КЛАССОВ (МНОЖЕСТВ) 245
ОБЪЕКТИВНОСТЬ 245
ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК 246
ОБЪЯСНЕНИЕ 246
ОГРАНИЧЕНИЕ ПОНЯТИЯ 250
ОМОНИМИЯ (от греч. homos — одинаковый, опута — имя) 250
ОПЕРАТОР (от лат. operator — действующий) 250
ОПИСАНИЕ, см.: Высказывание дескриптивное. 251
ОПИСАНИЕ СОСТОЯНИЯ (англ. state description) 251
ОПИСАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ, см.: Высказывание дескриптивное. 251
ОПИСАТЕЛЬНО-ОЦЕНОЧНОЕ ВЫСКАЗЫВАНИЕ, см.: Высказывание дескриптивное, Оценочное высказывание. 251
ОПРЕДЕЛЕНИЕ (лат. definitio) 251
ОПРЕДЕЛЕНИЕ АКСИОМАТИЧЕСКОЕ 253
ОПРЕДЕЛЕНИЕ ГЕНЕТИЧЕСКОЕ (от греч. genesis - происхождение, источник) 254
ОПРЕДЕЛЕНИЕ КЛАССИЧЕСКОЕ, или: Определение через род и видовое отличие, 254
ОПРЕДЕЛЕНИЕ НЕЯВНОЕ 255
ОПРЕДЕЛЕНИЕ НОМИНАЛЬНОЕ 255
ОПРЕДЕЛЕНИЕ ОПЕРАЦИОНАЛЬНОЕ 256
ОПРЕДЕЛЕНИЕ ОСТЕНСИВНОЕ (от лат. ostentus - показывание, выставление напоказ) 256
ОПРЕДЕЛЕНИЕ РЕАЛЬНОЕ 257
ОПРЕДЕЛЕНИЕ ЯВНОЕ 258
ОПРОВЕРЖЕНИЕ 259
ОСМЫСЛЕННОСТЬ 260
ОСНОВАНИЕ И СЛЕДСТВИЕ 260
ОТНОШЕНИЕ (в логике) отождествляется с многоместным предикатом. 261
ОТНОШЕНИЕ ВКЛЮЧЕНИЯ КЛАССА В КЛАСС, см.: Множеств теория. 262
ОТНОШЕНИЕ НЕРЕФЛЕКСИВНОЕ (иррефлексивное) 262
ОТНОШЕНИЕ ПРИНАДЛЕЖНОСТИ ЭЛЕМЕНТА КЛАССУ (МНОЖЕСТВУ), см.: Множеств теория. 262
ОТНОШЕНИЕ РЕФЛЕКСИВНОЕ 262
ОТНОШЕНИЕ СИММЕТРИЧНОЕ 262
ОТНОШЕНИЕ ТИПА РАВЕНСТВА 262
ОТНОШЕНИЕ ТРАНЗИТИВНОЕ 263
ОТНОШЕНИЕ ФУНКЦИОНАЛЬНОЕ (ОДНОЗНАЧНОЕ) 263
ОТРИЦАНИЕ 264
ОТРИЦАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ, см.: Отрицание. 264
ОЦЕНКА, см.: Оценочное высказывание. 264
ОЦЕНОК ЛОГИКА 264
ОЦЕНОЧНАЯ МОДАЛЬНОСТЬ, см.: Аксиологическая модальность. 266
ОЦЕНОЧНОЕ ВЫСКАЗЫВАНИЕ 266
ОШИБКА ЛОГИЧЕСКАЯ 268
П 268
ПАРАДИГМА (от греч. paradeigma — пример, образец) 268
ПАРАДОКС (греч. paradoxos) 268
ПАРАДОКСЫ ИМПЛИКАЦИИ 271
ПАРАЛОГИЗМ (от греч. paralogismos — неправильное, ложное рассуждение) 273
ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА 273
ПЕРЕМЕННАЯ 274
ПЕРЕСЕЧЕНИЕ КЛАССОВ (МНОЖЕСТВ) 274
ПОДМЕНА ТЕЗИСА (лат. ignoratio elenchi) 274
ПОДТВЕРЖДЕНИЕ 276
ПОЗНАНИЕ 277
ПОЛЕМИКА 277
ПОЛНОТА (в логике и дедуктивных науках) 278
ПОНИМАНИЕ 278
ПОНЯТИЕ 280
ПОРОЧНЫЙ КРУГ 280
«ПОСЛЕ ЭТОГО ЗНАЧИТ ПО ПРИЧИНЕ ЭТОГО» (лат. post hoc ergo propter hoc) 281
ПОСПЕШНОЕ ОБОБЩЕНИЕ 281
ПРАВИЛО ВЫВОДА 281
ПРАВИЛО ЛОККА 281
ПРАГМАТИКА 282
ПРАВИЛО ОТДЕЛЕНИЯ, см.: Модус поненс. 282
ПРЕВРАЩЕНИЕ (лат. obversio) в традиционной логике 282
«ПРЕДВОСХИЩЕНИЕ ОСНОВАНИЯ» (лат. petitio principii) 282
ПРЕДИКАТ (от лат. praedicatum - сказанное) 283
ПРЕДЛОЖЕНИЕ 283
ПРЕДМЕТНАЯ ОБЛАСТЬ, или: Универсум рассуждения, область теории, 284
ПРЕДПОЧТЕНИЙ ЛОГИКА 284
ПРЕДСКАЗАНИЕ 286
ПРЕСКРИПТИВНОЕ ВЫСКАЗЫВАНИЕ, см.: Нормативное высказывание. 286
ПРИВЕДЕНИЕ К АБСУРДУ, или: Редукция к абсурду, приведение к нелепости (лат. reductio ad absurdum), 286
Частный закон приведения к абсурду 287
ПРИМЕР 287
ПРИНЦИП ВЗАИМОЗАМЕНИМОСТИ 290
ПРИНЦИП МНОГОЗНАЧНОСТИ 290
ПРИНЦИП ОБЪЕМНОСТИ (экстенсиональности) (от лат. extentio — протяжение) 292
ПРИНЦИП ОДНОЗНАЧНОСТИ 293
ПРИНЦИП ПРЕДМЕТНОСТИ 293
ПРИЧИННАЯ СВЯЗЬ 293
ПРИЧИННОСТИ ЛОГИКА 294
ПРОБЛЕМА (от греч. problema — преграда, трудность, задача) 296
ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА 297
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ 297
ПРОТИВОПОЛОЖНОСТЬ ЛОГИЧЕСКАЯ 298
ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ 299
ПРОТИВОРЕЧИЕ 299
Р 300
РАВЕНСТВО 300
РАВНОЗНАЧНОСТЬ (равносильность, эквивалентность) 300
РАВНООБЪЕМНОСТЬ 300
РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ 301
РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ 301
РАЗДЕЛИТЕЛЬНО-УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ, см.: Дилемма. 302
РАЗРЕШАЮЩАЯ ПРОЦЕДУРА, см.: Разрешения проблема. 302
РАЗРЕШЕНИЯ ПРОБЛЕМА, или: Разрешимости проблема, 302
РАЗРЕШИМАЯ ТЕОРИЯ 302
РАЦИОНАЛЬНОСТЬ (от лат. ratio - разум) 302
РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ (от лат. recurso - возвращаюсь) 303
РЕЛЕВАНТНАЯ ИМПЛИКАЦИЯ, см.: Релевантная логика. 304
РЕЛЕВАНТНАЯ ЛОГИКА 304
РЕФЕРЕНТ (от лат. refero — называть, обозначать) 304
РЕФЕРЕНЦИЯ 304
C 305
СВОЙСТВО 305
СВЯЗКА 305
СЕМАНТИКА ЛОГИЧЕСКАЯ 305
СЕМАНТИЧЕСКАЯ КАТЕГОРИЯ 305
СЕМАНТИЧЕСКИЕ ПАРАДОКСЫ, см.: Антиномия. 307
СЕМАНТИЧЕСКОЕ ПОНЯТИЕ ИСТИНЫ 307
СЕМИОТИКА 308
СИЛЛОГИЗМ (от греч. sillogismos) категорический 308
СИМВОЛ (от греч. symbolon — знак, опознавательная примета) 311
СИМВОЛИКА ЛОГИЧЕСКАЯ 314
СИМВОЛИЧЕСКАЯ ЛОГИКА 315
СИМВОЛЫ СОБСТВЕННЫЕ И НЕСОБСТВЕННЫЕ 315
СИНКАТЕГОРЕМАТИЧЕСКОЕ ВЫРАЖЕНИЕ, см.: Символы собственные и несобственные. 317
СИНОНИМИЯ 317
СИНТАКСИС (греч. syntaxis — построение, порядок) 317
СИНТАКСИЧЕСКАЯ КАТЕГОРИЯ 318
СЛЕДОВАНИЕ, см.: Логическое следование. 318
СЛЕДСТВИЕ, см.: Логическое следование. 318
СЛОЖНОЕ ВЫСКАЗЫВАНИЕ 318
СЛУЧАЙНОСТЬ ЛОГИЧЕСКАЯ 318
СМЫСЛ 319
СОВМЕСТИМОСТИ УСЛОВИЕ 319
СОБИРАТЕЛЬНОЕ ПОНЯТИЕ, см.: Понятие. 321
СОВМЕСТИМОСТЬ 321
СОВРЕМЕННАЯ ЛОГИКА 322
1. Методология дедуктивных наук. 324
2. Применение логического анализа к опытному знанию. 324
3. Применение логического анализа к оценочно-нормативному знанию. 324
4. Применение логического анализа в исследовании приемов и операций, постоянно используемых во всех сферах научной деятельности. 324
СОДЕРЖАНИЕ И ФОРМА, см.: Логическая форма. 325
СОДЕРЖАНИЕ ПОНЯТИЯ, см.: Понятие. 325
СОРИТ (от греч. soros - куча) 325
СОФИЗМ 326
СПОР 327
Дискуссия 329
Полемика 329
Эклектика 329
Софистика 329
СРАВНИТЕЛЬНЫЕ МОДАЛЬНОСТИ, см.: Абсолютные и сравнительные модальности. 330
СТРОГАЯ ИМПЛИКАЦИЯ, см.: Импликация, Парадоксы импликации, Логика. 330
СТРОГОСТЬ 330
СУЖДЕНИЕ 332
СУППОЗИЦИЯ (от лат. suppositio — подкладывание, подмена) 333
СУЩЕСТВЕННЫЙ ПРИЗНАК, см.: Определение понятия. 334
СХОДСТВО 334
Т 334
ТАБЛИЦА ИСТИННОСТИ 334
ТАВТОЛОГИЯ 336
ТЕЗИС 337
ТЕОРЕТИЧЕСКОЕ И ЭМПИРИЧЕСКОЕ 338
ТЕОРЕТИЧЕСКОЕ МЫШЛЕНИЕ 339
ТЕОРИЯ (от греч. theoria — наблюдение, рассмотрение, исследование) 340
1. Исходные основания Т. 340
2. Идеализированный объект Т. 340
3. Логика Т. 340
4. Совокупность законов и утверждений, 340
ТЕОРИЯ ПОЗНАНИЯ 341
ТЕРМИН (от лат. terminus — граница, предел, конец ч.-л.) 345
ТЕРМИН ТЕОРЕТИЧЕСКИЙ 346
ТЕРМИН ЭМПИРИЧЕСКИЙ 346
ТЕРМИНЫ СИЛЛОГИЗМА - элементы суждений, входящих в состав силлогизма (см.: Силлогизм). 347
ТИПОВ ТЕОРИЯ 347
ТИПОЛОГИЯ (от греч. tipos — отпечаток, форма) 347
ТОЖДЕСТВА ЗАКОН 348
ТОЖДЕСТВО 349
ТРАДИЦИОННАЯ ЛОГИКА 350
ТРАНЗИТИВНОСТИ ЗАКОН 350
У 353
УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ 353
УМОЗАКЛЮЧЕНИЕ 353
УМОЗАКЛЮЧЕНИЕ СТАТИСТИЧЕСКОЕ 354
УНИВЕРСУМ РАССУЖДЕНИЯ, см.: Предметная область. 355
УСЛОВНОЕ ВЫСКАЗЫВАНИЕ 355
УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ 356
УЧЕТВЕРЕНИЕ ТЕРМИНОВ (лат. quaternio terminorum) 360
Ф 360
ФАКТ (от лат. factum — сделанное, совершившееся) 360
ФАЛЬСИФИКАЦИЯ (от лат. falsus — ложный, facio - делаю) 363
ФИГУРА СИЛЛОГИЧЕСКАЯ, см.: Силлогизм. 364
ФИЗИЧЕСКАЯ МОДАЛЬНОСТЬ, см.: Онтологическая модальность. 364
«ФИЛОСОФСКАЯ ЛОГИКА» 364
ФОРМАЛИЗАЦИЯ (от лат. forma — вид, образ) 365
ФОРМАЛЬНАЯ ЛОГИКА, или: Л о г и к а, 366
ФОРМАЛЬНАЯ СУППОЗИЦИЯ, см.: Суппозиция. 366
ФОРМАЛЬНАЯ ТЕОРИЯ 366
ФОРМЫ МЫСЛИ, или: Формы мышления, 367
ФУНКТОР 367
ФУНКЦИЯ (от лат. functio — осуществление, выполнение) 367
Ц 369
ЦЕЛЕВОЕ ОБОСНОВАНИЕ 369
ЦЕЛЬ-СРЕДСТВО 372
Ч 375
ЧАСТНОЕ СУЖДЕНИЕ 375
Э 375
ЭВРИСТИКА (от греч. heurisko - отыскиваю, открываю) 375
ЭЙЛЕРА КРУГИ 376
ЭКВИВАЛЕНТНОСТЬ, или: Равнозначность, 376
ЭКВИВОКАЦИЯ — логическая ошибка, 376
ЭКЗИСТЕНЦИАЛЬНОЕ ВЫСКАЗЫВАНИЕ (от лат. existentia - существование) 377
ЭКЛЕКТИКА 377
ЭКСПЛИКАЦИЯ (от лат. explicatio - разъяснение) 378
ЭКСТЕНСИОНАЛЬНОСТЬ 379
Экстенсиональный контекст 379
ЭЛЛИПТИЧЕСКОЕ ВЫСКАЗЫВАНИЕ 380
ЭМПИРИЧЕСКОЕ И ТЕОРЕТИЧЕСКОЕ, см.: Теоретическое и эмпирическое. 380
ЭНТИМЕМА (от греч. in thymos — в уме) 380
ЭПИХЕЙРЕМА (от греч. epiheirema — умозаключение) 381
ЭРИСТИКА (от греч. eristika — искусство спора) — искусство ведения спора. 381
Ю 385
«ЮМА ПРИНЦИП» 385
Я 386
ЯЗЫК 386
ЯЗЫКА ФУНКЦИИ, или Употребление языка, 388
ЯЗЫК ЛОГИКИ 390
ЯЗЫК НАУКИ 391
ЯЗЫК СЕМАНТИЧЕСКИ ЗАМКНУТЫЙ 392
ЯСНОСТЬ 392
- Можно сразу проверить наличие шрифта для символов логики Symbol
- Словарь по логике
- 4306010000-112 И———————— Без объявл. 14к(03)-97
- Вопрос 59
- От редакции
- Абсолютизация
- Абсолютные и сравнительные модальности
- Абстрактный предмет (англ. - abstract entity)
- Абстракция (от лат. Abstractio — отвлечение)
- Абсурд (от лат. Absurdus — нелепый, глупый)
- Автомат (от греч. Automatos — самодействующий)
- Автонимное употребление выражений (от греч. Autos-сам, опота — имя)
- Аксиологическая модальность (от греч. Axios - ценный, logos — понятие, учение), или: Оценочная модальность,
- Аксиома (от греч. Axioma — значимое, принятое положение)
- Аксиоматический метод
- Аксиоматическое определение
- Алгебра буля
- Алгоритм (алгорифм)
- Алогизм (от греч. А — не, logos — разум)
- Амфиболия (от греч. Amphibolia — двусмысленность, двойственность)
- Анализ и синтез. А. (от греч. Analysis - разложение)
- Аналитические и синтетические суждения (в логике).
- Аналогия (от греч. Analogia — соответствие)
- Метафора,
- Антецедент и консеквент (от лат. Antecedent - предшествующий, предыдущий и consequens — следствие)
- Антиномия (от греч. Antinomia - противоречие в законе)
- Антиномия рассела
- Антитезис (от греч. Antithesis — противоположение)
- Аподиктический (от греч. Apodeiktikos — доказательный, убедительный)
- Апория (от греч. Aporia — затруднение, недоумение)
- Аргумент (лат. Argumentum)
- Аргументации теория
- Аргументация (от лат. Argumentatio - приведение аргументов)
- Аргументация контекстуальная
- Аргументация теоретическая
- Аргументация эмпирическая
- Аргумент к авторитету (от лат. I pse dixit - сам сказал)
- Аргумент к аудитории
- Аргумент к жалости
- Аргумент к незнанию, или невежеству,
- Аргумент к силе («палочный» довод)
- Аргумент к скромности
- Аргумент к тщеславию
- Ассерторический (от лат. Asserto - утверждаю)
- Бессмысленное
- «Бритва оккама»
- Вербальное определение
- Верификация (от лат. Verificatio — доказательство, подтверждение)
- Вероятностная логика
- Вероятность
- Возможность логическая
- Возражение
- Вопросов логика, или: Эротетическая, интеррогативная логика,
- Вывод логический
- Высказывание
- Высказывание дескриптивное (от англ. Description - описание), или: Высказывание описательное,
- Высказывание категорическое
- Высказывание (предложение) контрфактическое (от лат. Contra — против, factum — событие)
- Герменевтика (от греч. Hermeneuo - разъясняю, истолковываю)
- Гёделя теорема
- Гипостазирование (от греч. Hypostasis - сущность, субстанция)
- Гипотеза (от греч. Hipothesis - основание, предположение)
- Гипотетико-дедуктивный метод
- Гипотетическое утверждение
- Гомоморфизм, изоморфизм
- Двойного отрицания закон, см.: Закон двойного отрицания. Двузначная логика
- Двузначности принцип
- Дедукция (от лат. Deductio — выведение)
- Деление логическое
- Денотат (от лат. Denoto — обозначаю), или: Десигнат, предметное значение,
- Деонтическая логика (от греч. Deon — долг, правильность),
- Деонтическая модальность (от греч. Deon - долг, правильность),
- Дескрипция определенная (от лат. Descriptio - описание)
- Диаграммы венна
- Диалектическая логика
- Дизъюнктивный силлогизм, см.: Модус понендо толленс. Модус толлендо поненс. Дизъюнкция (от лат. Disjunctio — разобщение, различение)
- Дилемма (от греч. Di(s) - дважды и lemma - предположение)
- Дискурсивный (от лат. Discursus — рассуждение, довод, аргумент)
- Дискуссия (от лат. Discussio — рассмотрение, исследование)
- Дистрибутивные и коллективные свойства. Д. С.
- Дихотомия (от греч, dicha и tome - рассечение на две части)
- Доказательство
- Доказательство конструктивное, см.: Конструктивная логика. Доказательство от противного, см.: Косвенное доказательство. Доказательство по случаям, или: Доказательство разбором случаев,
- Доказуемость, см.: Доказательство. Дополнение к множеству
- Достаточного основания принцип
- Достаточное условие, см.: Условное высказывание. Достоверность
- Заблуждение
- Закон ассоциативности (от лат. Associatio — соединение)
- Закон гипотетического силлогизма
- Закон двойного отрицания
- Закон де моргана
- Закон дистрибутивности (от англ. Distribution - распределение, размещение)
- Закон дунса скота
- Закон импортации, см.: Закон экспортации — импортации. Закон исключенного третьего
- Закон клавия
- Закон коммутативности (от лат. Commutatio - изменение, перемена)
- Закон коммутации (от лат. Commutatio - изменение, перемена)
- Закон композиции (от лат. Compositio — сочинение, составление)
- Закон косвенного доказательства
- Закон логики, см.: Логический закон. Закон мышления - термин традиционной логики,
- Закон противоречия, см.: Непротиворечия закон. Закон экспортации - импортации (от лат. Exportare -вывозить, importare — ввозить)
- Значение
- Идеализация
- Идемпотентности закон (от лат. Idempotens - сохраняющий ту же степень)
- Иллюстрация (от лат. Illustratio - прояснять)
- Импликация (от лат. Implicatio - сплетение, от implico — тесно связываю)
- Импликация материальная - импликация в трактовке логики классической.
- Индивид (от лат. Individuum - неделимое)
- Индуктивная логика
- Индуктивное определение
- Индукции каноны (от греч. Canon — правило, предписание)
- Метод единственного сходства:
- Метод сопутствующих изменений:
- Метод остатков.
- Индукция (от лат. Inductio - наведение)
- Индукция математическая, полная математическая индукция
- Индукция неполная
- Индукция полная
- Индукция популярная
- Интенсионал и экстенсионал
- Интерпретация (от лат. Interpretatio - разъяснение, истолкование)
- Интерсубъективный (от лат. Inter - между)
- Интуитивная логика
- Интуиционизм
- Интуиционистская логика
- Интуиция (от лат. Intuitio — пристальное, внимательное всматривание, созерцание)
- Иррациональное (от лат. Irrationalis - неразумный, бессознательный)
- Исключенного третьего закон, см.: Закон исключенного третьего. Искусственный интеллект
- Истинностное значение
- Исчисление
- Кавычки
- Категорическое суждение
- Категория (от греч. Kategoria - высказывание, обвинение, признак)
- Каузальная модальность, см.: Онтологическая модальность. Класс, множество (в логике и математике)
- Классификация
- Классическая логика, см.: Логика классическая. Конвенция (от лат. Conventio - соглашение)
- Коннотация (от лат. Connotatio — добавочное значение)
- Конструктивная логика
- Контекст (от лат. Contextus — сцепление, соединение, связь)
- Контекстуальное определение, см.: Определение контекстуальное. Контрадикторная противоположность (от лат. Contradictorius — противоречащий)
- Контрапозиции закон
- Контрарная противоположность (от лат. Contrarius - противоположный)
- Концепт (от лат. Conceptus— понятие)
- Конъюнкция (от лат. Conjunctio - союз, связь)
- Косвенное доказательство
- Круг в доказательстве (лат. — circulus in demonstrando)
- Круг в определении
- Лемма (от греч. Lemma — предположение)
- «Лжеца» парадокс
- Логика (от греч. Logos — слово, понятие, рассуждение, разум), или: Формальная логика,
- Логика времени, или: Временная логика,
- Логика высказываний, или: Пропозициональная логика,
- Логика дедуктивная, см.: Дедукция. Логика изменения
- Логика квантовой механики
- Логика классическая
- Логика классов
- Логика комбинаторная (от лат. Combinare — соединять, сочетать)
- Логика многозначная, см.: Многозначная логика. Логика научного познания, или: Логика науки,
- Логика неклассическая
- Логика норм, см.: Деонтическая логика. Логика отношений
- Логика предикатов, или: Функциональная логика, теория квантификации, кванторная логика,
- Логика традиционная, см.: Традиционная логика. Логика эпистемическая (от греч. Episteme - знание)
- Математическая логика
- Материальная суппозиция, см.: Суппозиция. Метаматематика
- Метатеория (от греч. Meta - после, за, позади)
- Метафора (от греч, metaphora - перенос, образ)
- Метаязык (от греч. Meta - после, за, позади)
- Метод (от греч. Methodos — путь, способ исследования, обучения, изложения)
- Методологическая аргументация
- Методология науки
- Многозначная логика
- Многозначности принцип, см.: Принцип многозначности. Многозначность
- Множеств теория
- Модальная логика
- Модальность (от лат., modus — мера, способ)
- Модель (от лат. Modulus — мера, образец, норма)
- Модель семантическая
- Модус (лат. Modus - мера, способ, образ, вид)
- Модус понендо толленс (лат. Modus ponendo tollens)
- Модус поненс (лат. Modus ponens)
- Модус толлендо поненс (лат. Modus tollendo ponens)
- Модус толленс (лат. Modus tollens)
- Мышление
- «Не вытекает», «не следует» (лат. Поп sequitur)
- «Недоказанное основание» доказательства
- Независимость (в логике и математике)
- Неклассическая логика, см.: Логика неклассическая. Необходимость (логическая)
- Необходимые и достаточные условия (в логике и математике)
- Непосредственное умозаключение (в традиционной логике)
- Неправильное умозаключение, см.: Умозаключение.
- Непредикативное определение
- Непротиворечивость
- Непротиворечия закон
- Несобственные символы, см.: Символы собственные и несобственные.
- Нечеткое множество
- Неясность
- Номологическое высказывание (от греч. Nomos - закон, logos — учение, понятие)
- Обобщение (лат. Generalisatio)
- Обозначения отношение
- Обоснование
- Обоснование оценок
- Образец
- Обращение (лат. Conversio)
- Общее понятие, см.: Понятие. Общее суждение, см.: Суждение. Объединение (сложение) классов (множеств)
- Объективность
- Объектный (предметный) язык
- Объяснение
- Ограничение понятия
- Омонимия (от греч. Homos — одинаковый, опута — имя)
- Оператор (от лат. Operator — действующий)
- Описание, см.: Высказывание дескриптивное. Описание состояния (англ. State description)
- Описательное высказывание, см.: Высказывание дескриптивное. Описательно-оценочное высказывание, см.: Высказывание дескриптивное, Оценочное высказывание. Определение (лат. Definitio)
- Определение аксиоматическое
- Определение генетическое (от греч. Genesis - происхождение, источник)
- Определение классическое, или: Определение через род и видовое отличие,
- Определение неявное
- Определение номинальное
- Определение операциональное
- Определение остенсивное (от лат. Ostentus - показывание, выставление напоказ)
- Определение реальное
- Определение явное
- Опровержение
- Осмысленность
- Основание и следствие
- Отношение (в логике) отождествляется с многоместным предикатом.
- Отношение включения класса в класс, см.: Множеств теория. Отношение нерефлексивное (иррефлексивное)
- Отношение принадлежности элемента классу (множеству), см.: Множеств теория. Отношение рефлексивное
- Отношение симметричное
- Отношение типа равенства
- Отношение транзитивное
- Отношение функциональное (однозначное)
- Отрицание
- Отрицательное высказывание, см.: Отрицание. Оценка, см.: Оценочное высказывание. Оценок логика
- Оценочная модальность, см.: Аксиологическая модальность. Оценочное высказывание
- Ошибка логическая
- Парадигма (от греч. Paradeigma — пример, образец)
- Парадокс (греч. Paradoxos)
- Парадоксы импликации
- Паралогизм (от греч. Paralogismos — неправильное, ложное рассуждение)
- Паранепротиворечивая логика
- Переменная
- Пересечение классов (множеств)
- Подмена тезиса (лат. Ignoratio elenchi)
- Подтверждение
- Познание
- Полемика
- Полнота (в логике и дедуктивных науках)
- Понимание
- Понятие
- Порочный круг
- «После этого значит по причине этого» (лат. Post hoc ergo propter hoc)
- Поспешное обобщение
- Правило вывода
- Правило локка
- Прагматика
- Правило отделения, см.: Модус поненс. Превращение (лат. Obversio) в традиционной логике
- «Предвосхищение основания» (лат. Petitio principii)
- Предикат (от лат. Praedicatum - сказанное)
- Предложение
- Предметная область, или: Универсум рассуждения, область теории,
- Предпочтений логика
- Предсказание
- Прескриптивное высказывание, см.: Нормативное высказывание. Приведение к абсурду, или: Редукция к абсурду, приведение к нелепости (лат. Reductio ad absurdum),
- Частный закон приведения к абсурду
- Принцип взаимозаменимости
- Принцип многозначности
- Принцип объемности (экстенсиональности) (от лат. Extentio — протяжение)
- Принцип однозначности
- Принцип предметности
- Причинная связь
- Причинности логика
- Проблема (от греч. Problema — преграда, трудность, задача)
- Пропозициональная связка
- Пропозициональная функция
- Противоположность логическая
- Противопоставление предикату
- Противоречие
- Равенство
- Равнозначность (равносильность, эквивалентность)
- Равнообъемность
- Разделительное суждение
- Разделительно-категорическое умозаключение
- Разделительно-условное умозаключение, см.: Дилемма. Разрешающая процедура, см.: Разрешения проблема. Разрешения проблема, или: Разрешимости проблема,
- Разрешимая теория
- Рациональность (от лат. Ratio - разум)
- Рекурсивное определение (от лат. Recurso - возвращаюсь)
- Релевантная импликация, см.: Релевантная логика. Релевантная логика
- Референт (от лат. Refero — называть, обозначать)
- Референция
- Свойство
- Семантика логическая
- Семантическая категория
- Семантические парадоксы, см.: Антиномия. Семантическое понятие истины
- X истинно º р.
- Семиотика
- Силлогизм (от греч. Sillogismos) категорический
- Символ (от греч. Symbolon — знак, опознавательная примета)
- Символика логическая
- Символическая логика
- Символы собственные и несобственные
- Синкатегорематическое выражение, см.: Символы собственные и несобственные. Синонимия
- Синтаксис (греч. Syntaxis — построение, порядок)
- Синтаксическая категория
- Следование, см.: Логическое следование. Следствие, см.: Логическое следование. Сложное высказывание
- Случайность логическая
- Совместимости условие
- Собирательное понятие, см.: Понятие. Совместимость
- Современная логика
- 1. Методология дедуктивных наук.
- 2. Применение логического анализа к опытному знанию.
- 3. Применение логического анализа к оценочно-нормативному знанию.
- 4. Применение логического анализа в исследовании приемов и операций, постоянно используемых во всех сферах научной деятельности.
- Содержание и форма, см.: Логическая форма. Содержание понятия, см.: Понятие. Сорит (от греч. Soros - куча)
- Сравнительные модальности, см.: Абсолютные и сравнительные модальности. Строгая импликация, см.: Импликация, Парадоксы импликации, Логика. Строгость
- Суждение
- Суппозиция (от лат. Suppositio — подкладывание, подмена)
- Существенный признак, см.: Определение понятия. Сходство
- Тавтология
- Теоретическое и эмпирическое
- Теоретическое мышление
- Теория (от греч. Theoria — наблюдение, рассмотрение, исследование)
- 1. Исходные основания т.
- 2. Идеализированный объект т.
- 3. Логика т.
- 4. Совокупность законов и утверждений,
- Теория познания
- Термин (от лат. Terminus — граница, предел, конец ч.-л.)
- Термин теоретический
- Термин эмпирический
- Термины силлогизма - элементы суждений, входящих в состав силлогизма (см.: Силлогизм). Типов теория
- Типология (от греч. Tipos — отпечаток, форма)
- Тождества закон
- Тождество
- Традиционная логика
- Транзитивности закон
- Умозаключения из суждений с отношениями
- Умозаключение
- Умозаключение статистическое
- Универсум рассуждения, см.: Предметная область. Условное высказывание
- Условное умозаключение
- Учетверение терминов (лат. Quaternio terminorum)
- Факт (от лат. Factum — сделанное, совершившееся)
- Фальсификация (от лат. Falsus — ложный, facio - делаю)
- Фигура силлогическая, см.: Силлогизм. Физическая модальность, см.: Онтологическая модальность. «философская логика»
- Формализация (от лат. Forma — вид, образ)
- Формальная логика, или: л о г и к а,
- Формальная суппозиция, см.: Суппозиция. Формальная теория
- Формы мысли, или: Формы мышления,
- Функтор
- Функция (от лат. Functio — осуществление, выполнение)
- Целевое обоснование
- Цель-средство
- Частное суждение
- Эвристика (от греч. Heurisko - отыскиваю, открываю)
- Эйлера круги
- Эквивалентность, или: Равнозначность,
- Эквивокация — логическая ошибка,
- Экзистенциальное высказывание (от лат. Existentia - существование)
- Эклектика
- Экспликация (от лат. Explicatio - разъяснение)
- Экстенсиональность
- Экстенсиональный контекст
- Эллиптическое высказывание
- Эмпирическое и теоретическое, см.: Теоретическое и эмпирическое. Энтимема (от греч. In thymos — в уме)
- Эпихейрема (от греч. Epiheirema — умозаключение)
- Эристика (от греч. Eristika — искусство спора) — искусство ведения спора.
- «Юма принцип»
- Языка функции, или Употребление языка,
- Язык логики
- Язык науки
- Язык семантически замкнутый
- Ясность
- Ивин Александр Архипович, Никифоров Александр Леонидович словарь по логике
- 117571, Москва, проспект Вернадского, 88,