Формальная философия — 79, C.О. Сперанский, «Об одном модальном подходе к рассуждениям... Ч2

C.О. Сперанский, «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах» Ч.2 / семинар “Формальная философия“, Аннотация: Отталкиваясь от работ Файна, посвящённых «произвольным» — или «генерическим» — объектам, мы обсудим формальные подходы к рассуждениям о такого рода сущностях. В своё время Крипке предложил использовать для этих целей кванторную модальную логику в духе Карнапа, где кванторы бегают по индивидным концептам, т.е. функциям из миров в элементы данного носителя (единого для всех миров). Следуя предложению Крипке и беря за основу структуру арифметики, мы определим формальный язык для рассуждения о «произвольных» натуральных числах. Отличительной чертой этого языка будет то, что он содержит особый предикат «быть конкретным». Мы обсудим как теоретико-модельные, так и сложностные аспекты получающейся «генерической структуры». На основе совместной работы с Леоном Хорстеном.