<< Пред. стр. 1 (из 17) След. >>
Сканирование: Янко Славаyanko_slava@yahoo.com || 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
<< Пред. стр. 1 (из 17) След. >>