URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Бежанишвили М.Н. Логика модальностей знания и мнения
Id: 47943
 
312 руб.

Логика модальностей знания и мнения

URSS. 2007. 288 с. Мягкая обложка. ISBN 978-5-484-00779-0.

 Аннотация

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

Книга адресована логикам, философам и специалистам в области искусственного интеллекта.


 Оглавление

Предисловие к русскому изданию
Предисловие
Введение
I Некоторые нормальные и монотонные модальные логики
 1.Пропозициональная модальная система K
  1.1.Формальный язык
  1.2.Теория доказательств
  1.3.Семантика
  1.4.Корректность
  1.5.Семантические таблицы
  1.6.Семантическая полнота
 2.Некоторые расширения K
  2.1.Теория доказательств
  2.2.Редукция модальностей
  2.3.Семантика
  2.4.Семантические таблицы
  2.5.Семантическая полнота
  2.6.Разрешимость
 3.Нормальная и монотонная эпистемическая предикатная система S4
  3.1.Формальный язык
  3.2.Теория доказательств
  3.3.Семантика
  3.4.Корректность
  3.5.Семантические таблицы
  3.6.Семантическая полнота
II Ненормальные и немонотонные эпистемические и доксастические пропозициональные логики
 1.Формальный язык
 2.Теория доказательств
 3.Семантика частичных возможных миров
 4.Корректность
  4.1.Сохранение общезначимости в модели
  4.2.Дальнейшие теоремы
 5.Критерий Роуза
 6.Взаимозаменимость
 7.Редукция модальностей в Dx5 и Ep5
 8.Семантические таблицы
  8.1.Правила таблиц для EpT и Ep4
  8.2.Правила таблиц для DxT и Dx4
  8.3.Характеристические и ассоциированные формулы
 9.Семантическая полнота
  9.1.Семантическая полнота систем EpT и Ep4
  9.2.Полнота систем Dx5 и Ep5
 10.Разрешимость
 11.Полимодальности
III Ненормальные и немонотонные эпистемические предикатные логики
 1.Табличное исчисление Ep4
  1.1.Теория доказательств
  1.2.Семантика
  1.3.Корректность Ep4
  1.4.Семантическая полнота Ep4
 2.Исчисления частичных предикатов Хао Вана
  2.1.Пропозициональные фрагменты исчислений PP ш EP
  2.2.Критерии доказуемости формул в PPS ш EPS
  2.3.Аналоги теоремы Крэйга для PP и EP
 3.Эпистемическая логика и исчисления частичных предикатов Хао Вана
 4.Табличное исчисление E4
  4.1.Теория доказательств табличного исчисления E4
  4.2.Семантика табличного исчисления E4
  4.3.Корректность и полнота предикатной версии табличного исчисления E4
  4.4.Об обобщении исчислений частичных предикатов Хао Вана, допускающем итерации импликации
Заключение
Литература
Summary
Contents

 Предисловие

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

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

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

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

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

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

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

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

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

М.Н.Бежанишвили
Июнь 2005 г.

 Об авторе

Михаил Николаевич Бежанишвили

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

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

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

 
© URSS 2016.

Информация о Продавце