В.Л. Васюков синтезирует Васильева с Яськовским
Доклад В.Л. Васюкова на конференции "Воображаемая логика Н.А. Васильева и современные неклассические логики" (11-15 октября 2010).
В общем-то, это исследование у него уже в книге "Формальная онтология (2006)" есть.
Сначала он эксплицирует идеи Васильева с помощью комбинированной логики В.А. Смирнова, потом строит паранепротиворечивую "внутреннюю логику" в стиле "дискуссивной логики" Станислава Яськовского: модализует онтологию и истолковывает ее с помощью понятия "синтезируемости" Ежи Пежановского. После этого применяет три методологические теоремы Яськовского с помощью расширенного исчисления Смирнова (с оператором "раз-утверждения"), в свою очередь опирающегося на "логику истины" фон Вригта. Рассматриваются различные семантики для полученной системы - семантика возможных миров, алгебраическая семантика "расслоений".
Внушает? ;-) Есть во всем этом что-то алхимическое ))
You can watch this video on www.livejournal.com
В общем-то, это исследование у него уже в книге "Формальная онтология (2006)" есть.
Сначала он эксплицирует идеи Васильева с помощью комбинированной логики В.А. Смирнова, потом строит паранепротиворечивую "внутреннюю логику" в стиле "дискуссивной логики" Станислава Яськовского: модализует онтологию и истолковывает ее с помощью понятия "синтезируемости" Ежи Пежановского. После этого применяет три методологические теоремы Яськовского с помощью расширенного исчисления Смирнова (с оператором "раз-утверждения"), в свою очередь опирающегося на "логику истины" фон Вригта. Рассматриваются различные семантики для полученной системы - семантика возможных миров, алгебраическая семантика "расслоений".
Внушает? ;-) Есть во всем этом что-то алхимическое ))