Никифоров А. Л., 1997 Все права защищены

Рецензенты: докт. филос. наук, проф. В. Н. Перевезенцев;докт. филос. наук, проф. В. В. Петров

Ивин А. А., Никифоров А. Л.

И 70 Словарь по логике - М.: Туманит, изд. центр ВЛАДОС, 1997. - 384 с.

ISBN 5-691-00099-3.

Словарь представляет собой справочник, излагающий основ­ные понятия, операции и законы логики. Его задача — познакомить читателя с логикой как одной из теоретических основ информатики. Словарь будет полезен учителям, учащимся старших классов, сту­дентам педагогических институтов, а также всем, интересующимся проблемами логики.

ББК 87.4я2

И———————— Без объявл. 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

ОТНОШЕНИЕ (в логике) отождествляется с многоместным предикатом. 729

ОТНОШЕНИЕ ВКЛЮЧЕНИЯ КЛАССА В КЛАСС, см.: Множеств теория. 734

ОТНОШЕНИЕ НЕРЕФЛЕКСИВНОЕ (иррефлексивное) 735

ОТНОШЕНИЕ ПРИНАДЛЕЖНОСТИ ЭЛЕМЕНТА КЛАССУ (МНОЖЕСТВУ), см.: Множеств теория. 737

ОТНОШЕНИЕ РЕФЛЕКСИВНОЕ.. 738

ОТНОШЕНИЕ СИММЕТРИЧНОЕ.. 740

ОТНОШЕНИЕ ТИПА РАВЕНСТВА.. 742

ОТНОШЕНИЕ ТРАНЗИТИВНОЕ.. 748

ОТНОШЕНИЕ ФУНКЦИОНАЛЬНОЕ (ОДНОЗНАЧНОЕ) 750

ОТРИЦАНИЕ.. 755

ОТРИЦАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ, см.: Отрицание. 758

ОЦЕНКА,см.: Оценочное высказывание. 759

ОЦЕНОК ЛОГИКА.. 760

ОЦЕНОЧНАЯ МОДАЛЬНОСТЬ,см.: Аксиологическая модальность. 779

ОЦЕНОЧНОЕ ВЫСКАЗЫВАНИЕ.. 780

ОШИБКА ЛОГИЧЕСКАЯ.. 795

П.. 800

ПАРАДИГМА (от греч. paradeigma — пример, образец) 801

ПАРАДОКС (греч. paradoxos) 803

ПАРАДОКСЫ ИМПЛИКАЦИИ.. 822

ПАРАЛОГИЗМ (от греч. paralogismos — неправильное, ложное рассуждение) 837

ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА.. 839

ПЕРЕМЕННАЯ.. 844

ПЕРЕСЕЧЕНИЕ КЛАССОВ (МНОЖЕСТВ) 848

ПОДМЕНА ТЕЗИСА (лат. ignoratio elenchi) 849

ПОДТВЕРЖДЕНИЕ.. 855

ПОЗНАНИЕ.. 865

ПОЛЕМИКА.. 868

ПОЛНОТА (в логике и дедуктивных науках) 876

ПОНИМАНИЕ.. 880

ПОНЯТИЕ.. 894

ПОРОЧНЫЙ КРУГ.. 898

«ПОСЛЕ ЭТОГО ЗНАЧИТ ПО ПРИЧИНЕ ЭТОГО» (лат. post hoc ergo propter hoc) 903

ПОСПЕШНОЕ ОБОБЩЕНИЕ.. 905

ПРАВИЛО ВЫВОДА.. 907

ПРАВИЛО ЛОККА.. 909

ПРАГМАТИКА.. 916

ПРАВИЛО ОТДЕЛЕНИЯ, см.: Модус поненс. 918

ПРЕВРАЩЕНИЕ (лат. obversio)в традиционной логике 919

«ПРЕДВОСХИЩЕНИЕ ОСНОВАНИЯ» (лат. petitio principii) 921

ПРЕДИКАТ (от лат. praedicatum -сказанное) 926

ПРЕДЛОЖЕНИЕ.. 930

ПРЕДМЕТНАЯ ОБЛАСТЬ, или: Универсум рассуждения, область теории, 938

ПРЕДПОЧТЕНИЙ ЛОГИКА.. 941

ПРЕДСКАЗАНИЕ.. 961

ПРЕСКРИПТИВНОЕ ВЫСКАЗЫВАНИЕ, см.: Нормативное высказывание. 964

ПРИВЕДЕНИЕ К АБСУРДУ, или: Редукция к абсурду, приведение к нелепости (лат. reductio ad absurdum), 965

Частный закон приведения к абсурду. 973

ПРИМЕР. 977

ПРИНЦИП ВЗАИМОЗАМЕНИМОСТИ.. 992

ПРИНЦИП МНОГОЗНАЧНОСТИ.. 995

ПРИНЦИП ОБЪЕМНОСТИ (экстенсиональности)(от лат. extentio — протяжение) 1010

ПРИНЦИП ОДНОЗНАЧНОСТИ.. 1015

ПРИНЦИП ПРЕДМЕТНОСТИ.. 1017

ПРИЧИННАЯ СВЯЗЬ.. 1019

ПРИЧИННОСТИ ЛОГИКА.. 1031

ПРОБЛЕМА (от греч. problema — преграда, трудность, задача) 1049

ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА.. 1059

ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ.. 1066

ПРОТИВОПОЛОЖНОСТЬ ЛОГИЧЕСКАЯ.. 1076

ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ.. 1082

ПРОТИВОРЕЧИЕ.. 1087

Р.. 1095

РАВЕНСТВО.. 1096

РАВНОЗНАЧНОСТЬ (равносильность, эквивалентность) 1099

РАВНООБЪЕМНОСТЬ.. 1101

РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ.. 1106

РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ 1109

РАЗДЕЛИТЕЛЬНО-УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ, см.: Дилемма. 1118

РАЗРЕШАЮЩАЯ ПРОЦЕДУРА,см.: Разрешения проблема. 1119

РАЗРЕШЕНИЯ ПРОБЛЕМА, или: Разрешимости проблема, 1120

РАЗРЕШИМАЯ ТЕОРИЯ.. 1125

РАЦИОНАЛЬНОСТЬ (от лат. ratio - разум) 1128

РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ (от лат. recurso -возвращаюсь) 1135

РЕЛЕВАНТНАЯ ИМПЛИКАЦИЯ, см.: Релевантная логика. 1145

РЕЛЕВАНТНАЯ ЛОГИКА.. 1146

РЕФЕРЕНТ (от лат. refero — называть, обозначать) 1152

РЕФЕРЕНЦИЯ.. 1154

C.. 1156

СВОЙСТВО.. 1157

СВЯЗКА.. 1160

СЕМАНТИКА ЛОГИЧЕСКАЯ.. 1165

СЕМАНТИЧЕСКАЯ КАТЕГОРИЯ.. 1168

СЕМАНТИЧЕСКИЕ ПАРАДОКСЫ, см.: Антиномия. 1178

СЕМАНТИЧЕСКОЕ ПОНЯТИЕ ИСТИНЫ... 1179

СЕМИОТИКА.. 1188

СИЛЛОГИЗМ (от греч. sillogismos) категорический. 1191

СИМВОЛ (от греч. symbolon — знак, опознавательная примета) 1234

СИМВОЛИКА ЛОГИЧЕСКАЯ.. 1258

СИМВОЛИЧЕСКАЯ ЛОГИКА.. 1281

СИМВОЛЫ СОБСТВЕННЫЕ И НЕСОБСТВЕННЫЕ 1284

СИНКАТЕГОРЕМАТИЧЕСКОЕ ВЫРАЖЕНИЕ,см.: Символы собственные и несобственные. 1295

СИНОНИМИЯ.. 1296

СИНТАКСИС (греч. syntaxis — построение, порядок) 1299

СИНТАКСИЧЕСКАЯ КАТЕГОРИЯ.. 1304

СЛЕДОВАНИЕ, см.: Логическое следование. 1307

СЛЕДСТВИЕ, см.: Логическое следование. 1308

СЛОЖНОЕ ВЫСКАЗЫВАНИЕ.. 1309

СЛУЧАЙНОСТЬ ЛОГИЧЕСКАЯ.. 1312

СМЫСЛ.. 1323

СОВМЕСТИМОСТИ УСЛОВИЕ.. 1325

СОБИРАТЕЛЬНОЕ ПОНЯТИЕ, см.: Понятие. 1341

СОВМЕСТИМОСТЬ.. 1342

СОВРЕМЕННАЯ ЛОГИКА.. 1349

1. Методология дедуктивных наук. 1362

2. Применение логического анализа к опытному знанию. 1364

3. Применение логического анализа к оценочно-нормативному знанию. 1366

4. Применение логического анализа в исследовании приемов и операций, постоянно используемых во всех сферах научной деятельности. 1368

СОДЕРЖАНИЕ И ФОРМА,см.: Логическая форма. 1377

СОДЕРЖАНИЕ ПОНЯТИЯ, см.: Понятие. 1378

СОРИТ (от греч. soros -куча) 1379

СОФИЗМ... 1407

СПОР. 1424

Дискуссия. 1430

Полемика. 1432

Эклектика. 1434

Софистика. 1436

СРАВНИТЕЛЬНЫЕ МОДАЛЬНОСТИ, см.: Абсолютные и сравнительные модальности. 1444

СТРОГАЯ ИМПЛИКАЦИЯ, см.: Импликация, Парадоксы импликации, Логика. 1445

СТРОГОСТЬ.. 1446

СУЖДЕНИЕ.. 1456

СУППОЗИЦИЯ (от лат. suppositio — подкладывание, подмена) 1464

СУЩЕСТВЕННЫЙ ПРИЗНАК,см.: Определение понятия. 1474

СХОДСТВО.. 1475

Т.. 1479

ТАБЛИЦА ИСТИННОСТИ.. 1480

ТАВТОЛОГИЯ.. 1498

ТЕЗИС.. 1506

ТЕОРЕТИЧЕСКОЕ И ЭМПИРИЧЕСКОЕ.. 1513

ТЕОРЕТИЧЕСКОЕ МЫШЛЕНИЕ.. 1521

ТЕОРИЯ (от греч. theoria — наблюдение, рассмотрение, исследование) 1528

1. Исходные основания Т. 1531

2. Идеализированный объект Т. 1533

3. Логика Т. 1535

4. Совокупность законов и утверждений, 1537

ТЕОРИЯ ПОЗНАНИЯ.. 1544

ТЕРМИН (от лат. terminus — граница, предел, конец ч.-л.) 1570

ТЕРМИН ТЕОРЕТИЧЕСКИЙ.. 1575

ТЕРМИН ЭМПИРИЧЕСКИЙ.. 1577

ТЕРМИНЫ СИЛЛОГИЗМА- элементы суждений, входящих в состав силлогизма (см.: Силлогизм). 1583

ТИПОВ ТЕОРИЯ.. 1584

ТИПОЛОГИЯ (от греч. tipos — отпечаток, форма) 1586

ТОЖДЕСТВА ЗАКОН.. 1591

ТОЖДЕСТВО.. 1605

ТРАДИЦИОННАЯ ЛОГИКА.. 1611

ТРАНЗИТИВНОСТИ ЗАКОН.. 1614

У.. 1628

УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ 1629

УМОЗАКЛЮЧЕНИЕ.. 1634

УМОЗАКЛЮЧЕНИЕ СТАТИСТИЧЕСКОЕ.. 1648

УНИВЕРСУМ РАССУЖДЕНИЯ,см.: Предметная область. 1659

УСЛОВНОЕ ВЫСКАЗЫВАНИЕ.. 1660

УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ.. 1672

УЧЕТВЕРЕНИЕ ТЕРМИНОВ (лат. quaternio terminorum) 1721

Ф... 1729

ФАКТ (от лат. factum — сделанное, совершившееся) 1730

ФАЛЬСИФИКАЦИЯ (от лат. falsus — ложный, facio - делаю) 1741

ФИГУРА СИЛЛОГИЧЕСКАЯ, см.: Силлогизм. 1750

ФИЗИЧЕСКАЯ МОДАЛЬНОСТЬ, см.: Онтологическая модальность. 1751

«ФИЛОСОФСКАЯ ЛОГИКА». 1752

ФОРМАЛИЗАЦИЯ (от лат. forma — вид, образ) 1757

ФОРМАЛЬНАЯ ЛОГИКА, или: Л о г и к а, 1767

ФОРМАЛЬНАЯ СУППОЗИЦИЯ, см.: Суппозиция. 1769

ФОРМАЛЬНАЯ ТЕОРИЯ.. 1770

ФОРМЫ МЫСЛИ, или: Формы мышления, 1778

ФУНКТОР. 1780

ФУНКЦИЯ (от лат. functio — осуществление, выполнение) 1783

Ц.. 1787

ЦЕЛЕВОЕ ОБОСНОВАНИЕ.. 1788

ЦЕЛЬ-СРЕДСТВО.. 1821

Ч.. 1842

ЧАСТНОЕ СУЖДЕНИЕ.. 1843

Э.. 1847

ЭВРИСТИКА (от греч. heurisko -отыскиваю, открываю) 1848

ЭЙЛЕРА КРУГИ.. 1850

ЭКВИВАЛЕНТНОСТЬ, или: Равнозначность,. 1851

ЭКВИВОКАЦИЯ — логическая ошибка, 1856

ЭКЗИСТЕНЦИАЛЬНОЕ ВЫСКАЗЫВАНИЕ (от лат. existentia -существование) 1858

ЭКЛЕКТИКА.. 1860

ЭКСПЛИКАЦИЯ (от лат. explicatio -разъяснение) 1868

ЭКСТЕНСИОНАЛЬНОСТЬ.. 1874

Экстенсиональный контекст. 1876

ЭЛЛИПТИЧЕСКОЕ ВЫСКАЗЫВАНИЕ.. 1881

ЭМПИРИЧЕСКОЕ И ТЕОРЕТИЧЕСКОЕ,см.: Теоретическое и эмпирическое. 1883

ЭНТИМЕМА (от греч. in thymos — в уме). 1884

ЭПИХЕЙРЕМА (от греч. epiheirema — умозаключение) 1892

ЭРИСТИКА (от греч. eristika — искусство спора) — искусство ведения спора. 1897

Ю... 1923

«ЮМА ПРИНЦИП».. 1924

Я.. 1933

ЯЗЫК.. 1934

ЯЗЫКА ФУНКЦИИ, или Употребление языка, 1948

ЯЗЫК ЛОГИКИ.. 1962

ЯЗЫК НАУКИ.. 1972

ЯЗЫК СЕМАНТИЧЕСКИ ЗАМКНУТЫЙ.. 1978

ЯСНОСТЬ.. 1980

ОТ РЕДАКЦИИ

Цель издания словаря — дать широкому читателю доходчивый, удобный в пользовании справочник, разъясняющий основные, наи­более употребительные понятия и термины современной логики. Словарь рассчитан прежде всего на преподавателей средней шко­лы, но будет полезен студентам, школьникам и всем тем, кто стре­мится самостоятельно овладеть основами логики.

Специфика словаря наложила определенные ограничения на полноту словника. В результате многие узкоспециальные понятия либо не вошли в словарь, либо включены в статьи более общего характера. Главное внимание уделено раскрытию фундаменталь­ных понятий, операций и законов логики, описанию основных раз­делов современной логики, совершенствованию практических на­выков последовательного и доказательного мышления.

Статьи словаря позволяют читателю получить относительно полный объем сведений, относящихся к интересующему его пред­мету. В состав словаря включен ряд терминов, используемых как в логической литературе, так и в философии, педагогике, методоло­гии научного познания и т. д.

В словаре применяются обычные для справочных изданий со­кращения (их список приводится ниже). Вместо полного названия статьи в ее тексте приводятся лишь первые буквы составляющих это название слов. Ссылки на другие статьи даются курсивом.

Редакция будет благодарна читателям за отзывы и пожелания, которые помогут ей в дальнейшей работе над словарем.

СПИСОК СОКРАЩЕНИЙ, ПРИНЯТЫХ В СЛОВАРЕ

н. э. — нашей эры

ок. — около

р.— родился

рис. — рисунок

рус. — русский

см. — смотри

совр. — современный

ср. — сравни

ср. века — средние века

т. е. — то есть

т. к. — так как

т.наз. — так называемый

т. о. — таким образом

ч.-л. — что-либо

ум. — умер

амер. — американский англ. — английский антич. — античный в. (вв.) — век (века) г. (гг.) - год (годы) гл. обр. — главным образом греч. — древнегреческий язык и др. — и другие и т. д. — и так далее и т. п. — и тому подобное к.-л. — какой-либо лат. — латинский язык наз. — называется, называемый напр. — например

A

АБСОЛЮТИЗАЦИЯ

— мыслительный прием, суть которого зак­лючается в том, что в качестве точного принимается такой пре­дел приближения к действительности, который обусловлен по­требностями практики. В процессе А. относительно точное в рамках решаемой задачи рассматривается как точное в некотором абсо­лютном смысле. Напр., требуется купить скатерть на стол. Для это­го следует измерить площадь стола. Однако ясно, что измерять пло­щадь стола с точностью до микрона не имеет смысла. Приближенные, огрубленные результаты измерения рассматриваются как истинные в некотором абсолютном смысле.