ИВИН А А НИКИФОРОВ А Л СЛОВАРЬ ПО ЛОГИКE М ГУМАНИТ ИЗД ЦEНТР ВЛАДОС 1997 384 С

 Сканирование: Янко Слава  [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

Do NOT follow this link or you will be banned from the site! Пролистать наверх