Как возможна динамическая, но ассерторическая логика?

How is dynamic, but assertoric logic possible?

Кислое А.Г.

Уральский федеральный университет, г. Екатеринбург E-mail: aleksey.kislov@list.ru

В современной логике актуально выявление зависимости логических систем от онтологических допущений, а мнение о полной независимости логики от содержания рассуждений (И.

Кант) существенно уточняется: логика, отвлекаясь от конкретных характеристик реальных объектов, опирается на результаты абстрагирования - конструируемые идеальные объекты рассмотрения. Для пропозициональных логик существенны события и ассоциированные с ними концепты. Стандартно принимается упрощенная онтология, лежащая в основе идеи обобщенных пространств и неэкстенсиональных семантик. В логике она наметилась при введении понятия элементарного положения дел (der Sachverhalt), их совокупность задает логическое пространство, точки которого есть возможные миры. Логическое пространство понимается как множество всех возможных миров, а пропозиция (событие) - как его подмножество. «Динамический поворот» (J. van Benthem) в логике предполагает пересмотр онтологических предпосылок путем конструирования и принятия семантикой абстрактных объектов динамического типа. Реляционная версия семантики динамической логики высказываний, индексируя модальные операторы формальными программами, использует в качестве «точек соотнесения» отдельные возможные миры. Для таких семантик возможный мир синтаксически задается полным описанием состояния, т.е. максимальным непротиворечивым (линденбаумовым) множеством формул. Однако известна и металогически перспективная возможность ограничиться неполным описанием с помощью модельного (хинтикковско- го) множества, что позволяет перейти к динамической семантике неэкстенсиональных, но и не модальных (ассерторических) логик с упорядоченными парами миров (переходами из мира в мир) в качестве «точек соотнесения». В качестве логического пространства здесь рассматривается декартово произведение множества возможных миров. Динамическая интерпретация пропозиции (динамического события) расширяется до неабелевого моноида, алгебраической структуры, совмещающей свойства полугруппы и булевой алгебры.

<< | >>

↑

Источник: Философия в современном мире: диалог мировоззрений: Материалы VI Российского философского конгресса (Нижний Новгород, 27-30 июня 2012 г.). В 3 томах. Т. I. — Н. Новгород: Изд-во Нижегородского госуниверситета им. Н.И. Лобачевского,2012. — 565 с.. 2012

Еще по теме Как возможна динамическая, но ассерторическая логика?:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -