Введение в математическую логику. Том 1
Формальная логика описывает математическое рассуждение средствами символических систем.
Описание
Логический вывод представляет собой процедуру получения нового знания из имеющихся суждений и посылок на основе установленных правил. В произведениях этот процесс раскрывается через дедуктивные и индуктивные модели мышления, методы криптоанализа, философские концепции познания, а также аналитические практики расследования. Логический вывод устойчиво связывается со строгими системами формальной логики, эмпирическими наблюдениями, вероятностной оценкой гипотез и поиском скрытых закономерностей. Произведения объединяет рассмотрение познавательных возможностей разума, способов обоснования истины и применения рациональных методов для разрешения сложных интеллектуальных задач.
Произведения
Золотой жук
Легран раскрывает тайну клада посредством логического анализа.
Классическая йога («Йога-сутры» Патанджали и «Вьяса-бхашья»)
Йога прекращает колебания сознания ради освобождения пуруши.
Логика научного исследования
Диалектическая логика описывает построение научного знания в процессе исследования.
Основы философии (о теле, о человеке, о гражданине). Человеческая природа. О свободе и необходимости. Левиафан
Гоббс объясняет государство как искусственное единство людей, учреждённое договором ради самосохранения.
Тайна Мари Роже
Дюпен реконструирует убийство Мари Роже посредством рационального анализа свидетельств.
Убийство на улице Морг
Дюпен раскрывает убийство на улице Морг аналитическим методом.
Профиль корпуса концепта
Классификация корпуса концепта
Базовый тип текста
исходный текст457,1 %
оригинальная модель342,9 %
Тип знания
теоретическое457,1 %
аналитическое342,9 %
Уровень знания
мировоззренческий571,4 %
теоретический228,6 %
Культурный контекст
западная традиция685,7 %
индийская традиция114,3 %
Традиция
Функция текста
Статус текста
Форма изложения
Серии
| Серия | Произведений |
|---|---|
| Рассказы об Огюсте Дюпене | 2 |