Бежанишвили М.Н. Логика модальностей знания и мнения Изд. стереотип.

Оглавление

Предисловие

В широком понимании эпистемическая логика является разделом модальной логики, изучающим модальности знания и мнения (веры) идеализированного агента (идеализации не всегда бывают одинаковыми). В вышеуказанном смысле этот раздел модальной логики реже называют доксатической. Но в узком понимании эпистемическая логика исследует лишь знание агента, а доксастическая – его мнение (веру). В настоящей работе мы пользуемся этими названиями, без уточнения в каком значении они употребляются, так как это всегда достаточно ясно из контекста.

Долгое время не существовала удовлетворительная семантическая теория логического аналиа модальностей знания и веры. Безуспешными оказались попытки построения их адекватной семантики на основании поиска критериев тождества смыслов и синонимичности имен и предложений.

Для современных, более успешных подходов к логическому анализу эпистемических модальностей характерно рассмотрение альтернативных положений дел, ситуаций, совместимых или несовместимых с знанием, верой (мнением) лица. Разные подходы к экспликации и исследованию эпистемических модальностей в определенной степени обусловлены неформальным, интуитивным пониманием основных особенностей этих понятий.

В предлагаемой работе кроме хорошо известных толкований модальностей знания и веры (рассматриваются минимальная модальная система K и ее эпистемические и доксастические расширения) также излагается один из возможных подходов к семантическому анализу эпистемической и доксатической логики на базе частичных возможных миров. Формулируются соответствующие системы, исследуются их метатеоретические особенности (корректность, полнота и т.д.), способность преодолевать обсуждаемые в литературе трудности, устанавливается связь с другими известными системами.

Автор предполагает, что читатель может выводить формулы классической логики (поэтому соответствующие доказательства в книге всюду опущены), хотя для чтения книги вполне достаточно знакомство лишь с элементами классической логики, а также начальными понятиями теории множеств, обычно используемыми в простейших семантических определениях.

Книга написана для специалистов модальной логики. Ею могут пользоваться также студенты и аспиранты, проходившие подготовку по логике, и представители смежных дисциплин. Введение можно читать независимо от основного текста и оно вполне доступно для более широкого круга читателей, проявляющих интерес не только к символической логике, но и к ее философии.

Ссылками на литературу отмечены научные заимствования.

Литература указана в конце книги. За фамилиями авторов по хронологическому порядку следуют названия их исследований для упрощения ссылок в тексте. Буквами a и b, добавленными к дате, отмечаются дальнейшие названия с той же датой.

Автор благодарен В.К.Финну, склонившему его к опубликованию этой книги и давшему ценные замечания и советы. Он также выражает свою искреннюю признательность Л.И.Мчедлишвили, тщательно просмотревшему рукопись книги и способствовавшему улучшению первоначального текста, автор также благодарен Л.Л.Эсакиа за ценные советы.

Об авторе

Родился 13 апреля 1934 г. в Тбилиси. В 1953 г. поступил в Тбилисский государственный университет имени Ив.Джавахишвили на факультет философии и психологии (специальность "философия"). В 1975 г. защитил кандидатскую диссертацию на тему "О выводимости и опровержимости в логике и логической характеристике принципов рационализма", а 6 июня 2003 г. докторскую - на тему "Семантический анализ логики модальностей знания и веры".

С июля 1959 г. работал в Институте философии АН ГССР - сперва младшим научным сотрудником, а с сентября 1963 г. по июнь 1965 г. был стажером-исследователем кафедры математической логики механико-математического факультета Московского государственного университета им. М.В.Ломоносова. В разные годы был ученым секретарем, старшим научным сотрудником, ведущим научным сотрудником, заместителем директора ИФ АН ГССР. С февраля 2002 г. был директором ИФ АН Грузии им. С.Церетели. С 1993 г. по сегодняшний день является членом редколлегии ежегодника сектора логики ИФ АН России, а с 2002 г. редактором журнала "Известия АН Грузии, серия философии".

Участник многих Международных конгрессов, международных симпозиумов, коллоквиумов и конференций. Автор около ста научных статей и двух монографий в области математической логики.