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