Предметный указатель

А

антиномия 186 аргумент 39

ассоциативность дизъюнкции 68

конъюнкции 68

объединения 32

пересечения 32

В

введение дизъюнкции 87

импликации 87

конъюнкции 87

общности 114

отрицания 87

существования 114 верификация 154

взаимно обратные отношения 38 вместимость 46 входит 27

вхождение переменной свободное 57

связанное 57

выводимость 85 вычитание множеств 32

Г

график 37, 42

д

дедуктивная эквивалентность формул 98 дерево вывода 90 дефиниция 18

дизъюнктивная нормальная форма 69

дизъюнкция 51, 55

дистрибутивность дизъюнкции по отношению к конъюнкции 68

конъюнкции по отношению к

дизъюнкции 68

объединения по отношению к пе

ресечению 33

пересечения по отношению к объ

единению 33 доказательство от противного 107 дополнение 34

3

зависит 39

задает (функция формулу) 65 задано (отношение на множестве) 37, 41

заключение импликации 53

силлогизма 129 закон 177

достаточного основания 12

исключенного третьего 11, 87

контрапозиции 68, 110

противоречия 11

тождества 10 законы Де Моргана 68 замещение предикатного символа

предикатом 72

И

импликация 53, 55 индукция 144 интуиция 5

истинностное значение 25 истинностные таблицы 50 историцизм 171

исторический детерминизм 171 исчисление естественного вывода 85

К

категорические суждения 123

общеотрицательные 123

общеутвердительные 123

общие 123

отрицательные 123

утвердительные 123

частноотрицательные 123

частноутвердительные 123

частные 123

квантор всеобщности 46

общности 46

существования 46 коммутативность дизъюнкции 68

конъюнкции 68

объединения 32

пересечения 32 конструктивный вывод 106 конъюнкция 50, 55 корень 90

корректная подстановка 113 кортеж 35

критерий демаркации 157 круг в доказательстве 182 определении 183

Л

лексикографический порядок 63 лист 90

зеленый 93

увядший 93 логические исчисления 84

М

математическая модель 171 метод гипотетико-дедуктивный 153

остатков 148

различия 147

сопутствующих изменений 150

сходства 146

методы установления причинных

связей 146 множество 27

значений 37, 42

пустое 30

универсальное 34 модусы силлогизма 130 правильные 130

Н

находятся в отношении 36, 41 не пересекаются 32 неконструктивный вывод 106 непротиворечивость логического исчисления 98

О

область определения 37, 42

отправления 36

прибытия 37 обобщение понятия 16, 17 образ 39

обращение суждения 128 общая часть множеств 31 объединение множеств 31, 32 объем понятия 16 ограничение понятия 17 операция бинарная 55

унарная 55

определена (функция на множестве) 39

определение 18

через ближайший род и видовое

отличие 19 основная часть суждения 127 основные равносильности логики

предикатов 76 предложений 67

свойства пропозициональных свя

зок 67 отношение 36

те-местное 41

бинарное 41

двуместное 41

отношение обратное 38

тернарное 41

трехместное 41

функциональное 39, 42 отрицание 54, 55

внутреннее 128

П

парадокс Верри 187

Кантора 187

лжеца 186

Рассела 187

Ришара 188 паралогизмы 181 переменная зависимая 39

независимая 39

свободная 57

связанная 47 пересечение множеств 31, 32 перечисление элементов множества

29

подмена тезиса 181 подмножество 28

истинное 29

собственное 29

подразумеваемая часть суждения

127 понятие 14

абстрактное 23

видовое 17

единичное 22

конкретное 23

неопределяемое 21

общее 22

родовое 17

собирательное 22 порочный круг 182 посылка импликации 53

силлогизма 129

большая 129

меньшая 129

посылки 83

правила безусловные 92

введения и удаления логических

символов 87

условные 92

правило Дунса Скота 71, 87

перестановки посылок 97

постановки двойного отрицания

107

производное 97

разъединения посылок 97

снятия двойного отрицания 68,

107

соединения посылок 97

транзитивности импликации 97

тривиальной выводимости 87 предвосхищение основания 182 предикат 45, 124

те-местный 45

двуместный 45

многоместный 46

одноместный 45

тождественно истинный 46

ложный 46

предикатный символ 72 представляет (функция формулу) 65 презумпция 125 пресуппозиция 125

суждения 127

префиксная нормальная форма 79 приведение к нелепости 88 принадлежит 27 промежуточное допущение 92 прообраз 39

пропозициональные связки 55 Р

равенство множеств 28 равнозначные понятия 16 равнообъемные понятия 16 равносильность формул логики предикатов 74

предложений 65

разность множеств 31 рассуждение 5

рассуждение дедуктивное 83

по аналогии 164

псевдодедуктивное 168 реализует (функция формулу) 65

С

связаны отношением 36, 41 связывание переменной квантором 47

силлогизм 122 следствие 83

соглашение о порядке действий 56, 57

содержание понятия 15 содержит (в качестве подмножества) 28

(в качестве элемента) 27 содержится 28

соединенный метод сходства и различия 147 софизмы 181 субъект 124

Т

тенденция 178 термин 123

больший 129

меньший 129

средний 129

тождественные преобразования 68, 78

У

увядание 93

удаление дизъюнкции 87

импликации 87

конъюнкции 87

общности 114

отрицания 87

существования 114 универсальное утверждение 160 упорядоченная пара 35

система 35

утверждаемая часть суждения 127

Ф

фальсификация 154 фигура силлогизма 129 формула доказуемая 86

логики предикатов 57

всюду истинная 80

выполнимая 80

замкнутая 57

невыполнимая 80

предложений 56

тождественно истинная 70

ложная 70

функция 39

те переменных 42

булева 65

тождественно истинная 70

ложная 70

X

характеристическое свойство 29 Ч

часть 28

истинная 29

собственная 29

Э

экзистенциальное утверждение 160 элемент 27

элементарные предикаты 57

предложения 55

А

argumentum ad hominem 183 С

circulus in definiendo см. круг в определении

circulus in demonstrando см.

доказательстве circulus vitiosus см.

D

definitio per genus proximum et differentiam specificam см. определение через ближайший род и видовое отличие

М

modus ponens 88 modus tollens 97

P

petitio principii см. предвосхищение основания I

ignoratio elenchi см. подмена тезиса

R

reductio ad absurdum см. приведение к нелепости