Логіка перегляду переконань: пізнавальні дії як модальні оператори

Козаченко, Надія Павлівна

URI: http://elibrary.kdpu.edu.ua/handle/0564/1731

Date: 2010-12-25

Abstract:

Дисертацію присвячено розробці формального механізму для вивчення динамічних аспектів перегляду переконань із застосуванням апарату динамічної модальної логіки DML. Основою для такої логіки є подання пізнавальних дій (розширення, скорочення, перегляду) як модальних операторів. Проаналізовано основні традиції досліджень перегляду переконань: постулатний підхід AGM і динамічна стратегія DDL. Обґрунтовано можливість поєднання переваг функціонального і динамічного підходів за рахунок подання пізнавальних дій як модальних операторів. Розроблено синтаксис динамічної модальної логіки (DML), в основу якого покладено запропоновану інтерпретацію пізнавальних дій, уточнено ряд понять: динамічна формула, доксастичні зобов’язання, умовна доксастична дія. Формалізовано основні властивості доксастичних операцій. Запропоновано низку логічних систем: логіки розширення (DMLE), логіки скорочення (DMLC), комплексної логіки (DML), у якій розширення і скорочення є незалежними операторами. Найбільш значущими є результати, отримані в рамках розширеної динамічної модальної логіки – DMLEC. Система DMLEC побудована як розширення DMLE шляхом уведення операторів скорочення та ревізії за допомогою редукційних аксіом. Запропоновано варіант семантики можливих світів дозволяє інтерпретувати динамічні формули й довести несуперечливість DMLEC на цій модельній структурі.

Description:

1. Козаченко Н.П. Знання і переконання як категорії логіки та філософії / Н.П. Козаченко // Актуальні проблеми духовності: [ Зб. наук. праць / ред.: Шрамко Я.В.] – Кривий Ріг, 2004. – №5. – С. 128-142. 2. Козаченко Н.П. Побудова динамічної логіки перегляду знань / Н.П. Козаченко // Проблеми гуманітарних наук. Наукові записки ДДПУ. – Дрогобич: Вимір. – 2004. – Вип. 13. – С. 66-75. 3. Козаченко Н.П. Модели изменения убеждений: некоторые открытые проблемы / Н.П. Козаченко // Актуальні проблеми духовності: [ Зб. наук. праць / ред.: Шрамко Я.В.] – Кривий Ріг: Видавничий Дім, 2006. – №7. – С. 218-230. 4. Козаченко Н.П. Проблемы построения доксастических моделей / Н.П. Козаченко // Актуальні проблеми духовності: [ Зб. наук. праць / ред.: Шрамко Я.В.] – Кривий Ріг: Видавничий Дім, 2007. – №8. – С. 245-258. 5. Козаченко Н.П. Динамика познавательных действий: AGM и DDL / Н.П. Козаченко // Актуальні проблеми духовності: [ Зб. наук. праць / ред.: Шрамко Я.В.] – Кривий Ріг: Видавничий Дім, 2008. – №9. – С. 373-390. 6. Козаченко Н.П. Эпистемические модели: принципы построения и структура AGM. / Н.П. Козаченко // Гуманитарное измерение меняющегося мира: [Сборник статей кафедры Философии и Гуманитарных Наук] – М.: Издат. центр ЕАОИ, 2008. – C. 249-263. 7. Козаченко Н.П. Аксиомы сокращения знаний / Н.П. Козаченко // Інформоенергетика ІІІ-го тисячоліття: соціолого-синергетичний та медикоекологічний підход : [ Зб. наук. праць / ред.: Лобанова А.С. та ін.] – Київ - Кривий Ріг, 2003р. – С. 72-74. 8. Козаченко Н.П. Смена убеждений как логико-этическая проблема / Н.П. Козаченко // Роль науки, релігії та суспільства у формуванні моральної особистості: Матеріали ХVI Міжнародної науково-практичної конференції. – Донецьк: ІПШІ «Наука і освіта», 2003. – С. 135-138. 9. Kozachenko N. Doxastic Modal Logic and AGM філософії / Н.П. Козаченко // Шестые смирновские чтения: материалы Международной научной конференции, Москва, 17-19 июня 2009г. [редкол.: В.А. Бочаров, Ю.В. Ивлев, Д.В. Зайцев, А.С. Карпенко, О.М. Григорьев; отв.ред. В.И. Маркин] – М.: Современные тетради, 2009. – С. 18-19.

Show full item record