|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Линдон Р. — Заметки по логике |
|
|
|
| Предметный указатель |
Абелева группа 62
Адекватность 80 81 84 91 96
Аксиома 14 55 65 66—72 91
Аксиоматизируемость 55—57 64
Алгебра 23
Алгебра абстрактная 23
Алгебра булева 45—47
Алгебра высказываний (algebra of propositions) 36 39 45 46
Алгебра истинностных значений (algebra of truth values) 37
Алгебра Линденбаума 39 48
Алгебра множеств 46
Алгебра подмножеств 46 48
Алгебра подобная 23
Алгебра полиадическая 48
Алгебра свободная 20 23 24 29 48
Алгебра термов 23 29
Алгебра формул 25 36 37 39
Алгебра цилиндрическая 48
Алгорифм 61 101 117
Арифметика 54 55 63 116 117
Ассоциативный закон 18
Атом 48
Атомарная формула 24 35
Базис алгебры 20 23 24 45
Булева алгебра 45—47
Бун 63
Вершина 98
Вещественно-замкнутое поле 62
Внутренность множества 52
Возможность (possibility) 51
Воот 89 90
Вхождение (occurrence) 25—26
Выбора аксиома 75 90
Вывод (derivation) 65 67 92
Вывод естественный (natural inference) 90—108
Выводимость синтаксическая (syntactical implication) 8 11
Выражение (expression) 17—18
Выразимость (expressibility) 113—115
Высказывание (proposition) 39
Высказываний алгебра (algebra of propositions) 39
Вычислительная машина 101
Гейтинг 52
Генкин 64
Генцен 64 90 102—105 107
Гёделев номер 111—122
Гёдель 16 54 55 64 80 109 111 116 121
Гильберт 16 110
Гомоморфизм 19 23 45 46
Гомоморфизм, теорема о гомоморфизме 108
Грамматика 17—21
Группа абелева 62
Группа конечная 82
Двузначная логика (two-valued logics) 49
Дедуктивная непротиворечивость (deductive consistency) 66 71 74—80
Действительные числа 62 90
Дерево 98
Диагональное рассуждение 109—111 113 115 116
Дизъюнктивная приведенная (reduced disjunctive form) 42 44
Дизъюнктивная совершенная (complete disjunctive form) 43 44 47 49 61
Дизъюнктивная форма (disjunctive form) 39—44 61 106
Дизъюнкция (disjunction) 20 40 41
Доказательство (proof) 55 66 92
Дополнение 29
Евклидова геометрия 63
Единственности разложения свойство 19 20
Естественный вывод (natural inference) 90—108
Зависимость 30
Заключение (conclusion) 65
Замкнутое множество 81
Изоморфизм 46 48 88 89 113
Импликация (implication) 51
Импликация материальная (material implication) 51
Импликация строгая (strict implication) 51
Индукции аксиома 87
Интерполяционная теорема 106
Интерпретация 12 13 26—31 33 35 73 83 88
Интерпретация собственная (proper interpretation) 83—85
Интуиционизм 51 52
Интуиционистская логика 51 52
Исключение кванторов (elimination of guantifiers) 57 61 62
Исключенного третьего закон 52
ИСТИНА (TRUE) 20 27
Истинностное значение (truth value) 27 37
Истинность (truth) 113 116
Истинность собственная 83
Каноническое отображение 38
Кантор 90 109
Категоричность 88—90
Квантор 20 62 118—119
Квантор общности 20
Квантор ограниченный (bound quantifier) 118 119
Квантор существования 20
Класс эквивалентности, порожденный элементом 37
Классическая логика 49 53
Коммутативная полугруппа 19
Компактность 80 81 83
Комплексные числа 63
Конгруэнция 38
Конечного пересечения свойство 81
Конструктивный 51 52
Конъюнкция (conjunction) 39
Крипке 51
Крэйг 69 105—108
Лемма Цорна 75 76
Лёвенгейм 85—88
Лжеца парадокс 110 111 115 116 119
Линденбаума алгебра 39 48
Линдон 106
Логика предикатов 54 64 83 118—120
Логика предикатов с равенством 83
Ложь (falce) 20 27
Лоренцен 17
Льюис 51
Лэнгфорд 57
Максимальный элемент 75 76
Материальная импликация 51
Машина вычислительная 101
Метаматематика 16
Метатеория 14—17
Метаязык 14 15
Минимальный элемент 48
Многозначная логика (manyvalued logic) 50
Многочлен 40
Множество 16 81
Множество замкнутое 81
Множество открытое 52
Множество пустое 29
Множество, алгебра множеств 46
Множество, внутренность множества 52
Множество, теория множеств 87 88 109
Модальная логика 51
Модель 33 74 79 88—90
Модель собственная 84—86
Мощность 88 89 90 109
Натуральное число 63 87
| Недоказуемость 116—122
Необходимость 51
Неполнота 116
Непротиворечивость (consistency) 16 56 57 74—80 84 88 116 120—122
Непротиворечивость дедуктивная 66 71 74—80
Непротиворечивость собственная 83—85
Неразрешимость (indecidabllity) 63 116—117
Новиков, П.С. 63
Область 23 27
Обобщения правило 65—71
Общезначимость (validity) 33 35 36 52 99—102 116—118
Объединение 29
Ограниченный квантор 118 119
Омега-непротиворечивость ( -consistency) 120 121
Операция 23 49 50
Определенная формула (definite formula) 117 118
Открытое множество 52
Отношение 16
Отрицание (negation) 20
Парадокс 109—111
Парадокс Кантора 109
Парадокс лжеца 110 111 115 116 119
Парадокс Рассела 110
Парадокс семантический 110
Пеано 87
Переменная 20—22 26 31
Переменная, свободное вхождение (free occurence) 26
Переменная, связанное вхождение (bound occurrence) 26
Пересечение 29 38
Плотный линейный порядок 57—61 90
Подобные алгебры 23
Подстановка (substitution) 30—32
Полиадическая алгебра 48
Полнота (completeness) 56 57
Полнота функциональная 49 50
Полугруппа 18—20
Полугруппа коммутативная 19
Полугруппа с единицей 19
Полугруппа с единицей, проблема тождества для полугрупп 63
Порядок плотный линейный 57 60 61
Пост 63
Посылка (premise) 65
Правило вывода (rule of lnference) 55 65 92 95
Правило обобщения (rule of generalisation) 65 71
Правильная интерпретация 83
Предваренная формула (prenех formula) 102 103 107
Предложение (sentence) 25 35
Предметная теория (object theory) 14 15
Предметный язык (object language) 14 15
Представление 40
Проблема тождества 63
Пропозициональная логика (sentential logic) 34 35 49 50 51 54
Пропозициональный язык (sentential language) 34—36
Простая формула 97
Равенства теория 60—62
Разбиение 37 38
Разнообразности отношение (kernel) 37 38
Разрешимость 36 54—63 116—117
Разрешимость, разрешающий алгоритм (метод, процедура) (decision procedure) 36 57—63 90 101
Ранг 20
Расёва 64
Рассел 64 110
Рекурсивное определение 115
Рефлексивность 37 62
Робинсон 83 90
Роджерс 57
Россер 121
Самоотносимость (self-reference) 110 111
Свободная алгебра 20 23 24 29 45
Свободное вхождение переменной 26
Связанное вхождение переменной 26
Связка (connective) 20 50
Секвенция (sequent) 91—108
Секвенция простая 97
Семантическая непротиворечивость 33
Семантическая эквивалентность 33
Семантический парадокс 110
Семантическое следование 8 11 33—35 53
Семантическое следствие 90
Сикорский 64
Символ 18 35
Символ отношения 20 35 113
Симметричность 37 62
Синтаксическая выводимость (syntactical implication) 8 11
Сколем 85—88
Следование семантическое 8 11 33—35 53
Совместимость (consistency) 65
Стандартная модель 113
Стоун 48
Строгая импликация (strict implication) 51
Структура 12 13 27 29 30 33 35
Схема аксиом 65
Схема вывода 67
Схема доказательства 66
Тарский 16 48 52 62 63 90 111 113—115
Теорема 55 92
Теорема дедукции 72
Теорема о гомоморфизме 108
Теория 14 15
Теория вероятностей 50 51
Теория равенства 60—62
Терм 21—23 30 31
Терм, алгебра термов 23 29
Топологическое пространство 52 53 81 82
Транзитивность 37 62 68
Тьюринг 63
Уайтхед 64
Умножение 18
Факторалгебра 38 39 108
Фактормножество 84
Формула 21 24—26 35 40 73 97
Формула предваренная (prenex formula) 102 103 107
Формула простая 97
Формула, алгебра формул 25 36
Формула, определенная формула 117 118
Функциональная полнота 49 50
Функциональный символ 20—22 94 105 113
Функция 16 22
Халмош 48
Цепь 75 76
Цилиндрическая алгебра 48
Цорн 75 76
Часть 25 26
Чёрч 54 117 119 120
Шеффер 50
Шмелёва 62
Эквивалентность 33 37
Эквивалентность семантическая 33
Эквивалентность элементарная 90
Эквивалентность, отношение эквивалентности 37 38 47 62 84
Эпименид 110
Эрбран 101—105 107
Язык 12 13
Язык, метаязык 14 15
Язык, предметный язык (object language) 14 15
|
|
|
| Реклама |
|
|
|
|
|
О проекте