Сводный каталог книг

w10=
Найдено документов в текущей БД: 1
   Ю43
   Ц342

    Две интерпретации логических систем
[Текст] : монография / В. В. Целищев, А. В. Бессонов ; ред. А. Н. Кочергин. - 2-е изд. - Москва : URSS, 2010. - 266 с. - Библиогр.: с. 264-267. - ISBN 978-5-396-00140-4 : 279.90 р.
ГРНТИ
ББК Ю433
Рубрики:
кванторная логика
Кл.слова (ненормированные):
Интерпретация (филос.) -- Логика

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бессонов, Александр Владимирович; Кочергин, А.Н. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)