Предлагаемый вниманию читателей сборник состоит из основополагающих работ зарубежных ученых, посвященных семантике модальных и интенсиональных логик. Авторы публикуемых здесь статей являются крупными специалистами в области современной логики.
Author(s): Смирнов В.А.
Series: Общественные науки за рубежом. Философия и социология
Publisher: Прогресс
Year: 1981
Language: Russian
Pages: 424
City: Москва
Вступительная статья......Page 5
С. А. Крипке. Семантическое рассмотрение модальной логики (Перевод А. Л. Никифорова)......Page 27
Я. Хинтикка. Виды модальности (Перевод А. Л. Никифорова)......Page 41
Я. Хинтикка. Модальность и квантификация (Перевод А. Л. Никифорова)......Page 60
А. Н. Прайор. Временная логика и непрерывность времени (Перевод З. А. Сокулер)......Page 76
Е. Леммон. Алгебраическая семантика для модальных логик I (Перевод А. А. Мучника)......Page 98
Е. Леммон. Алгебраическая семантика для модальных логик II (Перевод А. А. Мучника)......Page 125
С. К. Томасон. Семантический анализ временных логик (Перевод А. А. Мучника)......Page 166
К. Сегерберг. Модальные логики с линейными отношениями альтернативности (Перевод А. Л. Никифорова)......Page 180
Д. М. Габбай. Общий метод фильтрации для модальных логик (Перевод А. А. Мучника)......Page 205
К. Файн. Пропозициональные кванторы в модальной логике (Перевод З. А. Сокулер)......Page 212
Р. Монтегю. Прагматика и интенсиональная логика (Перевод З. А. Сокулер)......Page 223
Р. Монтегю. Прагматика (Перевод З. А. Сокулер)......Page 254
Д. Скотт. Советы по модальной логике (Перевод З. А. Сокулер)......Page 280
Д. М. Габбай. Семантика типа Монтегю для модальных логик с пропозициональными кванторами (Перевод А. А. Мучника)......Page 318
Н. Д. Белнап. Интенсиональные модели для формул первой ступени (Перевод А. Л. Никифорова)......Page 325
Р. Роутлей. Р. Мейер. Семантика следования (Перевод А. Л. Никифорова)......Page 363
СОДЕРЖАНИЕ......Page 424
