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

Beschreibung

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