Предметная область в логической семантике
Бессонов А.В.
Настоящая монография посвящена анализу роли концепции предметной области в обосновании логического вывода. На основе критического рассмотрения стандартного метода обоснования вывода развиваются идеи подстановочной семантики языка кванторной логики. С точки зрения задачи обоснования вывода анализируется логико-семантическое понятие истины. Уточняется постановка логической проблемы истины, в...
ISBN: 978-5-396-00882-3
Издательство:
Красанд
Дата выхода: сентябрь 2018
Найденных опечаток пока нет
Добавить запись