Издательство: | Красанд |
Дата выхода: | январь 2010 |
ISBN: | 978-5-396-00138-1 |
Объём: | 112 страниц |
Настоящая монография посвящена анализу роли концепции предметной области в обосновании логического вывода. На основе критического рассмотрения стандартного метода обоснования вывода развиваются идеи подстановочной семантики языка кванторной логики. С точки зрения задачи обоснования вывода анализируется логико-семантическое понятие истины. Уточняется постановка логической проблемы истины, в связи, с чем предлагается общий метод адекватного выражения истины внутри языка без противоречия.
Книга рассчитана на специалистов в области философских проблем логики, а также всех, кто интересуется данной проблематикой.