Автор:Бессонов А. В. Год: 1985 Издание:Наука. Сибирское отделение Страниц: 112 ISBN: [не указан] Монография посвящена анализу роли концепции предметной области в обосновании логического вывода. На основе критического рассмотрения стандартного метода обоснования вывода развиваются идеи подстановочной семантики языка кванторной логики. С точки зрения задачи обоснования вывода анализируется логико-семантическое понятие истины. Уточняется постановка логической проблемы истины, в связи с чем предлагается общий метод адекватного выражения истины внутри языка без противоречия. Книга рассчитана на специалистов в области философских проблем логики, а также тех, кто интересуется данной проблематикой.