Введение в математическую логику. Том 1
Формальная логика описывает математическое рассуждение средствами символических систем.
Описание
Высказывание представляет собой логико-семантическую единицу, выражающую суждение, которое обладает определенным истинностным значением. В представленных произведениях оно раскрывается через формально-логические исчисления, синтаксические структуры и семантические свойства естественного языка. Высказывание устойчиво связывается с понятиями истинности, пропозициональных функций, логических связок и предикатов. Произведения объединяет рассмотрение условий истинности, формализации логических выводов и семантического анализа языковых выражений.
Произведения
Семантика предложения и нереферентные слова
Нереферентные слова формируют семантическую организацию предложения в системе языкового значения.
Профиль корпуса концепта
Тип реальности
метафизическая150 %
социальная150 %
Модель человека
рациональная2100 %
Тип воздействия
объяснение2100 %
Уровень рассмотрения
Классификация корпуса концепта
Базовый тип текста
оригинальная модель2100 %
Тип знания
теоретическое2100 %
Уровень знания
теоретический2100 %
Культурный контекст
западная традиция2100 %
Традиция
Значения не указаны.
Функция текста
исследовательская2100 %
Статус текста
базовый текст150 %
Форма изложения
монография150 %
Серии
Серии для концепта отсутствуют.
Роль в графе
Специальная роль в графе не выделена.