Смирнов В.А. (отв ред.), Вригт Г.Х., Хинтикка Я., Бочвар Д.А., Карпенко А.С., Сидоренко Е.А., Войшвилло Е.К. и др. Модальные и интенсиональные логики и их применение к проблемам методологии науки

Оглавление

Предисловие

Часть I

МОДАЛЬНЫЕ, ВРЕМЕННЫЕ И МНОГОЗНАЧНЫЕ ЛОГИКИ

Диахронические и синхронические модальности

Г. X. Вригт

Определение модальных операторов через временные

В. А. Смирнов

Возможна ли алетическая модальная логика?

Я. Хинтикка

Логические системы с модальными временными

операторами

В. А. Смирнов

«После» и «во время» в динамической логике

К. Сегерберг

Интерполяционные свойства суперинтуиционистских, позитивных и модальных логик

Л. Л. Максимова

Некоторые обобщения теоремы о нормальной форме

в кванторной модальной логике

О. Ф. Серебрянников

Некоторые аспекты исследования парадоксов реи-

фикации

Д. А. Бочвар

Аристотель, Лукасевич и фактор-семантика

А. С. Карпенко

Фактор-семантика для n-значных логик

А. С. Карпенко

Оглавление

Интенсиональные принципы у Аристотеля (разбиение совокупности предикатов и интенсио-

нальность)

3. Н. Мнкеладзс

Изменение модальной парадигмы в поздней средневековой философии

С. Кнууттила

Часть II РЕЛЕВАНТНЫЕ ЛОГИКИ И ПРОБЛЕМА ЛОГИЧЕСКОГО СЛЕДОВАНИЯ

Релевантность и импликации

Е. А. Сидоренко

Логическое следование и семантика обобщенных

описаний состояний

Е. К. Войшвилло

Семантический и синтаксический анализ ямпли-кативно-негативного фрагмента системы RM

В. М. Попов

Семантика невозможных миров и логическое всеведение

В. Рантала

Окрестностные семантики для эпистемических

логик

И. А. Герасимова

Часть III ИНТЕНСИОНАЛЬНЫЕ ЛОГИКИ И ЛОГИЧЕСКИЙ АНАЛИЗ ЕСТЕСТВЕННЫХ ЯЗЫКОВ

Интенсиональная логика без интенсиональных

переменных

И. Ружа

Подход к семантике первопорядковой интенсиональной логики

Е. Д. Смирнова

Являются ли суждения объектами пропозициональных установок?

Е. Саариыен

Оглавление

От Фреге до современной интенсиональной логики А. Мадарас

Моделирование естественного языка в работах

Р. Монтегю

А. Саболчи

Значение и интенсионал

II. Пёрн

Дизъюнктивные разрешения и условные высказывания с дизъюнктивным антецедентом

Р. Хилпинен

Заметки о логике восприятия

И. Ниинилуото

Порождение действия

Р. Туомела

Модальность и вероятность — средства выражения

категории неопределенности

Б. В. Пятницын

Об авторах

Смирнов Владимир Александрович

Доктор философских наук, профессор. Родился 2 марта 1931 г. в Москве. Учился на философском факультете Московского государственного университета имени М. В. Ломоносова (1949–1954) и закончил аспирантуру этого же университета по кафедре логики в 1957 г. Руководителем его дипломной и кандидатской работы был известный российский философ и логик В. Ф. Асмус. Некоторые разделы логики В. А. Смирнов слушал у С. А. Яновской, а затем у выдающегося российского логика А. А. Маркова, первого заведующего кафедрой математической логики на математическом факультете Московского университета. В 1957–1961 гг. работал старшим преподавателем кафедры философии Томского политехнического института, где была опубликована его первая научная работа под названием «Является ли классическая логика универсальной?» (1958). В 1961 г., возвратившись в Москву, начал работать в Институте философии Академии наук СССР (ныне РАН), где и проработал до конца своих дней. В 1962 г. им была защищена кандидатская диссертация на тему «Дедуктивный метод и построение научной теории». С 1970 г. и до конца жизни В. А. Смирнов работал преподавателем, а затем, с 1979 г., профессором кафедры логики философского факультета Московского университета, где читал наиболее сложные и важные специальные курсы по формальной логике. Основал ежегодник «Логические исследования» и был его главным редактором, а также членом редколлегии журнала «Вопросы философии».

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

Карпенко Александр Степанович

Родился в 1946 г. в Куйбышеве. Доктор философских наук, заведующий сектором логики Института философии РАН, профессор кафедры логики философского факультета МГУ имени М. В. Ломоносова. Ответственный редактор ежегодника «Логические исследования». Автор более 150 научных работ, опубликованных в нашей стране и за рубежом. Среди них монографии: «Фатализм и случайность будущего. Логический анализ» (URSS); «Многозначные логики» (Серия «Логика и компьютер». Вып. 4); «Логики Лукасевича и простые числа» (URSS); «Lukasiewicz Logics and Prime Numbers».

Войшвилло Евгений Казимирович

Крупнейший отечественный специалист в области логики. Заслуженный профессор МГУ. Лауреат Ломоносовской премии.

Е. К. Войшвилло внес значительный вклад в разработку многих разделов современной логики: релевантной логики, теории понятия, логики научного познания, теории натурального вывода, модальной логики, силлогистики, логической семиотики. Им опубликовано более 100 научных статей в отечественных и зарубежных изданиях, 4 монографии, 5 учебников и учебных пособий, в том числе «Понятие как форма мышления» и написанные в соавторстве с М. Г. Дегтяревым «Логика», «Логика как часть теории познания и научной методологии», «Логика с элементами эпистемологии и научной методологии». За работу «Понятие как форма мышления: Логико-гносеологический анализ» удостоен премии имени М. В. Ломоносова первой степени.