Название: Семантика модальных и интенсиональных логик
Автор: Смирнов В.А. (сост., общ.ред.)
Издательство: М.: Прогресс
Год: 1981
Страниц: 424
Формат: DJVU
Размер: 3,52 Мб
Качество: отличное
Язык: русский
Серия: Общественные науки за рубежом.
Философия и социология
Исследование модальных, временных, деонтических, эпистемических, релевантных логик и других интенсиональных логических систем — бурно растущая область современной логики. Предлагаемый вниманию читателей сборник состоит из основополагающих работ зарубежных ученых, посвященных семантике модальных и интенсиональных логик. Авторы публикуемых здесь статей являются крупными специалистами в области современной логики. Хотя ни в одной из помещенных статей и не провозглашается принадлежность автора к той или иной философской школе, тем не менее следует иметь в виду, что они так или иначе разделяют различные философские убеждения. В свое время многие западные логики придерживались идей логического позитивизма. Другие ученые, разочарованные установками позитивизма, становятся на позиции «научного реализма». Это относится прежде всего к логикам, группирующимся вокруг журналов «Философская логика» («Journal of philosophical logic») и «Теория» («Theoria») и Общества точной философии. К этому направлению принадлежит ряд авторов публикуемых в настоящем издании переводов. Некоторые из авторов активно сотрудничают с советскими логиками, и их работы опубликованы, например, в журналах «Вопросы философии» и «Философские науки» и в специальных научных изданиях.
СОДЕРЖАНИЕ
Вступительная статья .... ....................................................................................................................... 5
С.А.Крипке. Семантическое рассмотрение модальной логики (Перевод А.Л.Никифорова).........................27
Я.Хинтикка. Виды модальности (Перевод А.Л.Никифорова) ...... ............. .............................................. 41
Я.Хинтикка. Модальность и квантификация (Перевод А.Л.Никифорова)..................................................60
А.Н.Прайор. Временная логика и непрерывность времени (Перевод 3. А. Сокулер).................................76
Е.Леммон. Алгебраическая семантика для модальных логик I (Перевод А. А. Мучника)...........................98
Е.Леммон. Алгебраическая семантика для модальных логик II (Перевод А. А. Мучника)........................125
С.К.Томасон. Семантический анализ временных логик (Перерод А. А. Мучника)....................................166
К.Сегерберг. Модальные логики с линейными отношениями альтернативности (Пер. А.Л. Никифорова)..180
Д.М.Габбай. Общий метод фильтрации для модальных логик (Перевод А. А. Мучника)..........................205
К.Файн. Пропозициональные кванторы в модальной логике (Перевод 3. А. Сокулер) . .........................212
Р.Монтегю. Прагматика и интенсиональная логика (Перевод 3. А. Сокулер)......................................... 223
Р.Монтегю. Прагматика (Перевод 3. А. Сокулер) ................................................................................ 254
Д. Скотт. Советы по модальной логике (Перевод 3. А. Сокулер) .........................................................280
Д.М.Габбай. Семантика типа Монтегю для модальных логик с пропозициональными кванторами (Перевод А.А.Мучника)....... ............................................................................................................318
Н.Д. Белнап. Интенсиональные модели для формул первой ступени (Перевод А. Л. Никифорова)...........325
Р. Роутлей. Р. Мейер. Семантика следования (Перевод А. Л. Никифорова)............................................363
P.S. Специально для platonanet.org.ua. Скан slega. По просьбе администрации ресурса этот редкий сборник выкладывается в открытый доступ
| 
