Сканирование: Янко Слава [email protected] || http://yanko.lib.ru/ | http://www.chat.ru/~yankos/ya.html | Icq# 75088656 update 5/4/01 Можно сразу проверить наличие шрифта для символов логики Symbol » $ O I E C E I » ?
U U ‘ I a u O ® ~ А.А.Ивин, А.Л.Никифоров Словарь по логике Гуманитарный издательский центр Владос МОСКВА 1998 ББК 87.4я2 И70 © «Гуманитарный издательский центр ВЛАДОС», 1997 © Ивин А.
А., Никифоров А.
Л., 1997 Все права защищены Рецензенты: докт. филос. наук, проф. В.
Н. Перевезенцев; докт. филос. наук, проф.
В.В.
Петров Ивин А. А., Никифоров А. Л. И 70 Словарь по логике — М.: Туманит, изд. центр ВЛАДОС, 1997.
— 384 с. ISBN 5-691-00099-3. Словарь представляет собой справочник, излагающий основные понятия, операции и законы логики. Его задача — познакомить читателя с логикой как одной из теоретических основ информатики. Словарь будет полезен учителям, учащимся старших классов, студентам педагогических институтов, а также всем, интересующимся проблемами логики. ББК 87.4я2 4306010000-112 И———————— Без объявл. 14К(03)-97 ISBN 5-691-00099-3 ОТ РЕДАКЦИИ..
9 A.. 10 АБСОЛЮТИЗАЦИЯ.. 10 АБСОЛЮТНЫЕ И СРАВНИТЕЛЬНЫЕ МОДАЛЬНОСТИ 10 АБСТРАКТНЫЙ ПРЕДМЕТ (англ. — abstract entity) 11 АБСТРАКЦИЯ (от лат. abstractio — отвлечение) 12 АБСУРД (от лат. absurdus — нелепый, глупый) 12 АВТОМАТ (от греч. automatos — самодействующий) 13 АВТОНИМНОЕ УПОТРЕБЛЕНИЕ ВЫРАЖЕНИЙ (от греч. autos-сам, опота — имя) 13 АКСИОЛОГИЧЕСКАЯ МОДАЛЬНОСТЬ (от греч.
axios — ценный, logos — понятие, учение), или: Оценочная модальность,. 14 АКСИОМА (от греч. axioma — значимое, принятое положение) 14 АКСИОМАТИЧЕСКИЙ МЕТОД..
15 АКСИОМАТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ..
16 АЛГЕБРА БУЛЯ.. 16 АЛГОРИТМ (АЛГОРИФМ). 17 АЛОГИЗМ (от греч.
а — не, logos — разум). 17 АМФИБОЛИЯ (от греч. amphibolia — двусмысленность, двойственность) 17 АНАЛИЗ И СИНТЕЗ. А. (от греч. analysis — разложение) 18 АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ (в логике). 18 АНАЛОГИЯ (от греч.
analogia — соответствие) 19 Метафора,. 21 АНТЕЦЕДЕНТ И КОНСЕКВЕНТ (от лат. antecedent — предшествующий, предыдущий и consequens — следствие). 22 АНТИНОМИЯ (от греч. antinomia — противоречие в законе) 22 АНТИНОМИЯ РАССЕЛА.. 23 АНТИТЕЗИС (от греч. antithesis — противоположение) 25 АПОДИКТИЧЕСКИЙ (от греч. apodeiktikos — доказательный, убедительный) 25 АПОРИЯ (от греч. aporia — затруднение, недоумение) 25 АРГУМЕНТ (лат. argumentum). 26 АРГУМЕНТАЦИИ ТЕОРИЯ..
29 АРГУМЕНТАЦИЯ (от лат. argumentatio — приведение аргументов) 33 АРГУМЕНТАЦИЯ КОНТЕКСТУАЛЬНАЯ.. 34 АРГУМЕНТАЦИЯ ТЕОРЕТИЧЕСКАЯ.. 38 АРГУМЕНТАЦИЯ ЭМПИРИЧЕСКАЯ.. 41 АРГУМЕНТ К АВТОРИТЕТУ (от лат. i pse dixit — сам сказал) 44 АРГУМЕНТ К АУДИТОРИИ.. 46 АРГУМЕНТ К ЖАЛОСТИ.. 46 АРГУМЕНТ К НЕЗНАНИЮ, или невежеству,.
46 АРГУМЕНТ К СИЛЕ («палочный» довод).
47 АРГУМЕНТ К СКРОМНОСТИ.. 47 АРГУМЕНТ К ТЩЕСЛАВИЮ… 47 АССЕРТОРИЧЕСКИЙ (от лат. asserto — утверждаю) 48 Б..
48 БЕССМЫСЛЕННОЕ.. 48 «БРИТВА ОККАМА».. 50 В.. 52 ВЕРА.. 52 ВЕРБАЛЬНОЕ ОПРЕДЕЛЕНИЕ.. 52 ВЕРИФИКАЦИЯ (от лат. verificatio — доказательство, подтверждение) 52 ВЕРОЯТНОСТНАЯ ЛОГИКА.. 53 ВЕРОЯТНОСТЬ.. 53 ВОЗМОЖНОСТЬ ЛОГИЧЕСКАЯ.. 54 ВОЗРАЖЕНИЕ.. 55 ВОПРОС.. 55 ВОПРОСОВ ЛОГИКА, или: Эротетическая, интеррогативная логика, 57 ВЫВОД ЛОГИЧЕСКИЙ.. 58 ВЫСКАЗЫВАНИЕ.. 59 ВЫСКАЗЫВАНИЕ ДЕСКРИПТИВНОЕ (от англ.
description — описание), или: Высказывание описательное, 61 ВЫСКАЗЫВАНИЕ КАТЕГОРИЧЕСКОЕ.. 63 ВЫСКАЗЫВАНИЕ (ПРЕДЛОЖЕНИЕ) КОНТРФАКТИЧЕСКОЕ (от лат. contra — против, factum — событие) 63 Г. 65 ГЕРМЕНЕВТИКА (от греч. hermeneuo — разъясняю, истолковываю) 65 ГЁДЕЛЯ ТЕОРЕМА..
65 ГИПОСТАЗИРОВАНИЕ (от греч. hypostasis — сущность, субстанция) 65 ГИПОТЕЗА (от греч. hipothesis — основание, предположение) 66 ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД.. 69 ГИПОТЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ.. 71 ГОМОМОРФИЗМ, ИЗОМОРФИЗМ… 71 Д.. 72 ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН, см.: Закон двойного отрицания.
72 ДВУЗНАЧНАЯ ЛОГИКА.. 72 ДВУЗНАЧНОСТИ ПРИНЦИП..
72 ДЕДУКЦИЯ (от лат. deductio — выведение). 73 ДЕЛЕНИЕ ЛОГИЧЕСКОЕ.. 77 ДЕНОТАТ (от лат. denoto — обозначаю), или: Десигнат, предметное значение, 78 ДЕОНТИЧЕСКАЯ ЛОГИКА (от греч. deon — долг, правильность), 79 ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ (от греч. deon — долг, правильность), 81 ДЕСКРИПЦИЯ ОПРЕДЕЛЕННАЯ (от лат. descriptio — описание) 84 ДИАГРАММЫ ВЕННА.. 84 ДИАЛЕКТИЧЕСКАЯ ЛОГИКА.. 85 ДИЗЪЮНКТИВНЫЙ СИЛЛОГИЗМ, см.: Модус понендо толленс. Модус толлендо поненс. 89 ДИЗЪЮНКЦИЯ (от лат. disjunctio — разобщение, различение) 89 ДИЛЕММА (от греч.
di(s) — дважды и lemma — предположение) 90 ДИСКУРСИВНЫЙ (от лат. discursus — рассуждение, довод, аргумент) 91 ДИСКУССИЯ (от лат. discussio — рассмотрение, исследование) 92 ДИСТРИБУТИВНЫЕ И КОЛЛЕКТИВНЫЕ СВОЙСТВА. Д. с.
93 ДИХОТОМИЯ (от греч, dicha и tome — рассечение на две части) 94 ДОКАЗАТЕЛЬСТВО.. 95 ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ, см.: Конструктивная логика. 97 ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО, см.: Косвенное доказательство.
97 ДОКАЗАТЕЛЬСТВО ПО СЛУЧАЯМ, или: Доказательство разбором случаев, 97 ДОКАЗУЕМОСТЬ, см.: Доказательство.. 98 ДОПОЛНЕНИЕ К МНОЖЕСТВУ.. 98 ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП.. 98 ДОСТАТОЧНОЕ УСЛОВИЕ, см.: Условное высказывание. 100 ДОСТОВЕРНОСТЬ.. 100 З.. 101 ЗАБЛУЖДЕНИЕ.. 101 ЗАКОН АССОЦИАТИВНОСТИ (от лат. associatio — соединение) 102 ЗАКОН ГИПОТЕТИЧЕСКОГО СИЛЛОГИЗМА.. 103 ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ.. 103 ЗАКОН ДЕ МОРГАНА.. 104 ЗАКОН ДИСТРИБУТИВНОСТИ (от англ. distribution — распределение, размещение) 104 ЗАКОН ДУНСА СКОТА.. 105 ЗАКОН ИМПОРТАЦИИ, см.: Закон экспортации — импортации.
106 ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО.. 106 ЗАКОН КЛАВИЯ.. 108 ЗАКОН КОММУТАТИВНОСТИ (от лат.
commutatio — изменение, перемена) 109 ЗАКОН КОММУТАЦИИ (от лат. commutatio — изменение, перемена) 110 ЗАКОН КОМПОЗИЦИИ (от лат. compositio — сочинение, составление) 110 ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА..
111 ЗАКОН ЛОГИКИ, см.: Логический закон.. 111 ЗАКОН МЫШЛЕНИЯ — термин традиционной логики, 111 ЗАКОН ПРОТИВОРЕЧИЯ, см.: Непротиворечия закон. 112 ЗАКОН ЭКСПОРТАЦИИ — ИМПОРТАЦИИ (от лат. exportare -вывозить, importare — ввозить) 112 ЗНАК..
113 ЗНАНИЕ.. 114 ЗНАЧЕНИЕ.. 115 И..
116 ИДЕАЛИЗАЦИЯ.. 116 ИДЕМПОТЕНТНОСТИ ЗАКОН (от лат. idempotens — сохраняющий ту же степень) 116 ИЛЛЮСТРАЦИЯ (от лат.
illustratio — прояснять) 117 ИМПЛИКАЦИЯ (от лат. implicatio — сплетение, от implico — тесно связываю) 118 ИМПЛИКАЦИЯ МАТЕРИАЛЬНАЯ — импликация в трактовке логики классической. 119 ИМЯ..
120 ИНДИВИД (от лат. individuum — неделимое). 122 ИНДУКТИВНАЯ ЛОГИКА.. 123 ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ.. 123 ИНДУКЦИИ КАНОНЫ (от греч. canon — правило, предписание) 124 Метод единственного сходства:.
124 Метод сопутствующих изменений:.
124 Метод остатков..
125 ИНДУКЦИЯ (от лат. inductio — наведение).
125 И.. 128 ИНДУКЦИЯ МАТЕМАТИЧЕСКАЯ, ПОЛНАЯ МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ 128 ИНДУКЦИЯ НЕПОЛНАЯ.. 129 ИНДУКЦИЯ ПОЛНАЯ.. 129 ИНДУКЦИЯ ПОПУЛЯРНАЯ.. 129 ИНТЕНСИОНАЛ И ЭКСТЕНСИОНАЛ.. 129 ИНТЕРПРЕТАЦИЯ (от лат. interpretatio — разъяснение, истолкование) 131 ИНТЕРСУБЪЕКТИВНЫЙ (от лат. inter — между) 133 ИНТУИТИВНАЯ ЛОГИКА.. 133 ИНТУИЦИОНИЗМ… 135 ИНТУИЦИОНИСТСКАЯ ЛОГИКА.. 136 ИНТУИЦИЯ (от лат. intuitio — пристальное, внимательное всматривание, созерцание) 137 ИРРАЦИОНАЛЬНОЕ (от лат. irrationalis — неразумный, бессознательный) 140 ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН, см.: Закон исключенного третьего. 140 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ.. 140 ИСТИНА.. 141 ИСТИННОСТНОЕ ЗНАЧЕНИЕ.. 141 ИСЧИСЛЕНИЕ..
142 К..
142 КАВЫЧКИ.. 142 КАТЕГОРИЧЕСКОЕ СУЖДЕНИЕ..
142 КАТЕГОРИЯ (от греч. kategoria — высказывание, обвинение, признак) 142 КАУЗАЛЬНАЯ МОДАЛЬНОСТЬ, см.: Онтологическая модальность. 143 КЛАСС, МНОЖЕСТВО (В ЛОГИКЕ И МАТЕМАТИКЕ) 143 КЛАССИФИКАЦИЯ.. 143 КЛАССИЧЕСКАЯ ЛОГИКА, см.: Логика классическая.
144 КОНВЕНЦИЯ (от лат. conventio — соглашение) 144 КОННОТАЦИЯ (от лат. connotatio — добавочное значение) 144 КОНСТРУКТИВНАЯ ЛОГИКА.. 144 КОНТЕКСТ (от лат. contextus — сцепление, соединение, связь) 145 КОНТЕКСТУАЛЬНОЕ ОПРЕДЕЛЕНИЕ, см.: Определение контекстуальное. 145 КОНТРАДИКТОРНАЯ ПРОТИВОПОЛОЖНОСТЬ (от лат. contradictorius — противоречащий) 145 КОНТРАПОЗИЦИИ ЗАКОН.. 146 КОНТРАРНАЯ ПРОТИВОПОЛОЖНОСТЬ (от лат.
contrarius — противоположный) 147 КОНЦЕПТ (от лат. conceptus— понятие). 147 КОНЪЮНКЦИЯ (от лат. conjunctio — союз, связь) 147 КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО.. 148 КРУГ В ДОКАЗАТЕЛЬСТВЕ (лат.
— circulus in demonstrando) 148 КРУГ В ОПРЕДЕЛЕНИИ.. 149 Л.. 149 ЛЕММА (от греч. lemma — предположение) 149 «ЛЖЕЦА» ПАРАДОКС.. 149 ЛОГИКА (от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика, 150 ЛОГИКА ВРЕМЕНИ, или: Временная логика,. 155 ЛОГИКА ВЫСКАЗЫВАНИЙ, или: Пропозициональная логика, 157 ЛОГИКА ДЕДУКТИВНАЯ, см.: Дедукция.. 159 ЛОГИКА ИЗМЕНЕНИЯ.. 159 ЛОГИКА КВАНТОВОЙ МЕХАНИКИ.. 161 ЛОГИКА КЛАССИЧЕСКАЯ.. 161 ЛОГИКА КЛАССОВ..
162 ЛОГИКА КОМБИНАТОРНАЯ (от лат. combinare — соединять, сочетать) 162 ЛОГИКА МНОГОЗНАЧНАЯ, см.: Многозначная логика. 162 ЛОГИКА НАУЧНОГО ПОЗНАНИЯ, или: Логика науки, 162 ЛОГИКА НЕКЛАССИЧЕСКАЯ..
167 ЛОГИКА НОРМ, см.: Деонтическая логика.
168 ЛОГИКА ОТНОШЕНИЙ.. 168 ЛОГИКА ПРЕДИКАТОВ, или: Функциональная логика, теория квантификации, кванторная логика, 169 ЛОГИКА ТРАДИЦИОННАЯ, см.: Традиционная логика. 170 ЛОГИКА ЭПИСТЕМИЧЕСКАЯ (от греч. episteme — знание) 170 М… 223 МАТЕМАТИЧЕСКАЯ ЛОГИКА..
223 МАТЕРИАЛЬНАЯ СУППОЗИЦИЯ, см.: Суппозиция. 223 МЕТАМАТЕМАТИКА.. 223 МЕТАТЕОРИЯ (от греч.
meta — после, за, позади) 225 МЕТАФОРА (от греч, metaphora — перенос, образ) 225 МЕТАЯЗЫК (от греч.
meta — после, за, позади) 225 МЕТОД (от греч.
methodos — путь, способ исследования, обучения, изложения) 226 МЕТОДОЛОГИЧЕСКАЯ АРГУМЕНТАЦИЯ.. 227 МЕТОДОЛОГИЯ НАУКИ.. 229 МНОГОЗНАЧНАЯ ЛОГИКА.. 231 МНОГОЗНАЧНОСТИ ПРИНЦИП, см.: Принцип многозначности. 233 МНОГОЗНАЧНОСТЬ. 233 МНОЖЕСТВ ТЕОРИЯ.. 234 МОДАЛЬНАЯ ЛОГИКА..
236 МОДАЛЬНОСТЬ (от лат., modus — мера, способ) 247 МОДЕЛЬ (от лат.
modulus — мера, образец, норма) 264 МОДЕЛЬ СЕМАНТИЧЕСКАЯ.. 270 МОДУС (лат. modus — мера, способ, образ, вид) 272 МОДУС ПОНЕНДО ТОЛЛЕНС (лат. modus ponendo tollens) 275 МОДУС ПОНЕНС (лат. modus ponens) 294 МОДУС ТОЛЛЕНДО ПОНЕНС (лат.
modus tollendo ponens) 325 МОДУС ТОЛЛЕНС (лат. modus tollens) 353 МЫШЛЕНИЕ. 366 Н..
374 НАУКА.. 375 «НЕ ВЫТЕКАЕТ», «НЕ СЛЕДУЕТ» (лат. поп sequitur) 388 «НЕДОКАЗАННОЕ ОСНОВАНИЕ» ДОКАЗАТЕЛЬСТВА 392 НЕЗАВИСИМОСТЬ (в логике и математике) 394 НЕКЛАССИЧЕСКАЯ ЛОГИКА, см.: Логика неклассическая.
404 НЕОБХОДИМОСТЬ (логическая) 405 НЕОБХОДИМЫЕ И ДОСТАТОЧНЫЕ УСЛОВИЯ (в логике и математике) 415 НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ (в традиционной логике) 421 НЕПРАВИЛЬНОЕ УМОЗАКЛЮЧЕНИЕ, см.: Умозаключение. 424 НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ. 427 НЕПРОТИВОРЕЧИВОСТЬ. 430 НЕПРОТИВОРЕЧИЯ ЗАКОН..
437 НЕСОБСТВЕННЫЕ СИМВОЛЫ, см.: Символы собственные и несобственные. 450 НЕЧЕТКОЕ МНОЖЕСТВО.. 461 НЕЯСНОСТЬ. 469 НОМОЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ (от греч.
nomos — закон, logos — учение, понятие) 479 НОРМА, см.: Нормативное высказывание.
482 НОРМАЛЬНОЕ МНОЖЕСТВО, см.: Противоречие в явном определении. 483 НОРМАТИВНАЯ ЛОГИКА, см.: Деонтическая логика. 484 НОРМАТИВНАЯ МОДАЛЬНОСТЬ, см.: Деонтическая модальность. 485 НОРМАТИВНОЕ ВЫСКАЗЫВАНИЕ, или: Деонтическое высказывание, 486 О.. 505 ОБОБЩЕНИЕ (лат. generalisatio). 506 ОБОЗНАЧЕНИЯ ОТНОШЕНИЕ. 514 ОБОСНОВАНИЕ.
521 ОБОСНОВАНИЕ ОЦЕНОК.. 542 ОБРАЗЕЦ.. 580 ОБРАЩЕНИЕ (лат. conversio) 590 ОБЩЕЕ ПОНЯТИЕ, см.: Понятие. 598 ОБЩЕЕ СУЖДЕНИЕ, см.: Суждение.
599 ОБЪЕДИНЕНИЕ (СЛОЖЕНИЕ) КЛАССОВ (МНОЖЕСТВ) 600 ОБЪЕКТИВНОСТЬ. 604 ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК.. 611 ОБЪЯСНЕНИЕ. 613 ОГРАНИЧЕНИЕ ПОНЯТИЯ.. 640 ОМОНИМИЯ (от греч.
homos — одинаковый, опута — имя) 642 ОПЕРАТОР (от лат.
operator — действующий) 644 ОПИСАНИЕ, см.: Высказывание дескриптивное.
652 ОПИСАНИЕ СОСТОЯНИЯ (англ. state description) 653 ОПИСАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ, см.: Высказывание дескриптивное. 656 ОПИСАТЕЛЬНО-ОЦЕНОЧНОЕ ВЫСКАЗЫВАНИЕ, см.: Высказывание дескриптивное, Оценочное высказывание. 657 ОПРЕДЕЛЕНИЕ (лат.
definitio) 658 ОПРЕДЕЛЕНИЕ АКСИОМАТИЧЕСКОЕ.
669 ОПРЕДЕЛЕНИЕ ГЕНЕТИЧЕСКОЕ (от греч. genesis — происхождение, источник) 676 ОПРЕДЕЛЕНИЕ КЛАССИЧЕСКОЕ, или: Определение через род и видовое отличие, 678 ОПРЕДЕЛЕНИЕ НЕЯВНОЕ. 683 ОПРЕДЕЛЕНИЕ НОМИНАЛЬНОЕ. 685 ОПРЕДЕЛЕНИЕ ОПЕРАЦИОНАЛЬНОЕ. 691 ОПРЕДЕЛЕНИЕ ОСТЕНСИВНОЕ (от лат. ostentus — показывание, выставление напоказ) 693 ОПРЕДЕЛЕНИЕ РЕАЛЬНОЕ. 701 ОПРЕДЕЛЕНИЕ ЯВНОЕ. 707 ОПРОВЕРЖЕНИЕ. 715 ОСМЫСЛЕННОСТЬ. 720 ОСНОВАНИЕ И СЛЕДСТВИЕ. 723