Гладкий А.В. — Введение в современную логику :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Гладкий А.В. — Введение в современную логику

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Введение в современную логику

Автор: Гладкий А.В.

Аннотация:

Книга представляет собой учебное пособие, в котором начала логики впервые в отечественной учебной литературе излагаются на современном научном уровне и при этом в форме, доступной студентам гуманитарных факультетов высших учебных заведений. Наряду с формальной логикой излагаются элементы логики научного познания. Отдельно рассмотрены особенности рассуждений, используемых в гуманитарных областях знания.
Книга может служить такясе пособием для гимназий и лицеев.

Язык:

Рубрика: Математика/

Серия: Библиотечка «Квант»

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2001

Количество страниц: 200

Добавлена в каталог: 04.03.2006

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

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

Argumentum ad hominem      183
Circulus in definiendo      см. «Круг в определении»
Circulus in demonstrando      см. «Круг в доказательстве»
Circulus vitiosus      см. «Порочный круг»
Definitio per genus proximum et differentiam specificam      см. «Определение через ближайший род и видовое отличие»
Ignoratio elenchi      см. «Подмена тезиса»
modus ponens      88
Modus Tollens      97
Petitio principii      см. «Предвосхищение основания»
Reductio ad absurdum      см. «Приведение к нелепости»
Антиномия      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
Зависит      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
Отношение n-местное      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
Предикат n-местный      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
Функция n переменных      42
Функция булева      65
Функция булева тождественно истинная      70
Функция булева тождественно ложная      70
Характеристическое свойство      29
Часть      28
Часть истинная      29
Часть собственная      29
Экзистенциальное утверждение      160
Элемент      27
Элементарные предикаты      57
Элементарные предложения      55

О проекте