Книга: В. В. Целищев, А. В. Бессонов «Две интерпретации логических систем»

Две интерпретации логических систем

Настоящая монография посвящена анализу философских вопросов, связанных с двумя альтернативными подходами к интерпретации систем современной кванторной логики. Нестандартные семантики языков имеют существенное значение для решения проблем связи логического и онтологического, соотношения теорий значения и указания. В работе обсуждается связь подстановочной интерпретации с основными принципами стандартной логики, выявляются выразительные возможности формальных языков соответствующих типов. Книга адресована специалистам в области логики и методологии науки, философам, студентам соответствующих специальностей, а также всем интересующимсяфилософскими проблемами современной логики.

Издательство: "Красанд" (2010)

Формат: 60x90/16, 272 стр.

ISBN: 978-5-396-00140-4

Купить за 513 руб на Озоне

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Две интерпретации логических системНастоящая монография посвящена анализу философских вопросов, связанных с двумя альтернативными подходами… — Editorial URSS, (формат: 60x90/16, 272 стр.) Подробнее...2017612бумажная книга

См. также в других словарях:

  • Целищев, Виталий Валентинович — Виталий Валентинович Целищев Дата рождения: 21 февраля 1942(1942 02 21) (70 лет) Место рождения: Новосибирск Гражданство: Россия Направление: логика и методология науки …   Википедия

  • Целищев, Виталий Валентинович — (р. 21.02.1942) спец. по логике и методол. науки; д р филос. наук, проф. Род. в Новосибирске. Окончил Новосиб. элек тротехн. ин т (1965) и асп. по логике в ИФ АН Укр. ССР. В наст. вр. зав. отделом филос. науки ИФП СО РАН, проф. кафедры филос.… …   Большая биографическая энциклопедия

  • ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения — Терминология ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа: 9. Абсолютная программа Non relocatable program Программа на машинном языке, выполнение которой зависит от ее… …   Словарь-справочник терминов нормативно-технической документации

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… …   Философская энциклопедия

  • Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»