dc.contributor.author	Козаченко, Надія Павлівна
dc.date.accessioned	2018-01-16T06:50:23Z
dc.date.available	2018-01-16T06:50:23Z
dc.date.issued	2010-12-25
dc.identifier.citation	Козаченко Н. П. Логіка перегляду переконань: пізнавальні дії як модальні оператори : автореф. дис ... канд. філос. наук: 09.00.06 / Надія Павлівна Козаченко. – Київ, 2010. – 16 с.	uk
dc.identifier.uri	http://elibrary.kdpu.edu.ua/handle/0564/1731
dc.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.
dc.description.abstract	Дисертацію присвячено розробці формального механізму для вивчення динамічних аспектів перегляду переконань із застосуванням апарату динамічної модальної логіки DML. Основою для такої логіки є подання пізнавальних дій (розширення, скорочення, перегляду) як модальних операторів. Проаналізовано основні традиції досліджень перегляду переконань: постулатний підхід AGM і динамічна стратегія DDL. Обґрунтовано можливість поєднання переваг функціонального і динамічного підходів за рахунок подання пізнавальних дій як модальних операторів. Розроблено синтаксис динамічної модальної логіки (DML), в основу якого покладено запропоновану інтерпретацію пізнавальних дій, уточнено ряд понять: динамічна формула, доксастичні зобов’язання, умовна доксастична дія. Формалізовано основні властивості доксастичних операцій. Запропоновано низку логічних систем: логіки розширення (DMLE), логіки скорочення (DMLC), комплексної логіки (DML), у якій розширення і скорочення є незалежними операторами. Найбільш значущими є результати, отримані в рамках розширеної динамічної модальної логіки – DMLEC. Система DMLEC побудована як розширення DMLE шляхом уведення операторів скорочення та ревізії за допомогою редукційних аксіом. Запропоновано варіант семантики можливих світів дозволяє інтерпретувати динамічні формули й довести несуперечливість DMLEC на цій модельній структурі.	uk
dc.language.iso	uk	uk
dc.subject	модальна логіка	uk
dc.subject	динамічна модальна логіка DML	uk
dc.subject	доксастична модель	uk
dc.subject	пізнавальні дії	uk
dc.subject	перегляд переконань	uk
dc.subject	стан переконань	uk
dc.subject	динамічна формула	uk
dc.subject	доксастичні зобов’язання	uk
dc.subject	постулати AGM	uk
dc.subject	динамічна доксастична логіка DDL	uk
dc.title	Логіка перегляду переконань: пізнавальні дії як модальні оператори	uk
dc.type	Other	uk