С. КРИПКЕ: СЕМАНТИКА МОДЕЛЬНОЙ ЛОГИКИ И ТЕОРИЯ РЕФЕРЕНЦИИ
Abstract
References
1. Крипке С. Тождество и необходимость // Новое в зарубежной лингвистике. Вып. 13: Логика и лингвистика (проблемы референции). М.: Радуга, 1982. С. 340-376.
2. ПетровВ.В. Структура значения: логический анализ. Новосибирск: Наука, 1979. 144 с.
3. Смирнова Е.Д. Семантика возможных миров и обоснование логического знания / / Концепция виртуальных миров и научное познание. СПб.: Изд-во Рус. Христианского гум. ин-та, 2000. С. 75-90.
4. Солодухин О.А. Два подхода к проблеме оснований логических модальностей // Логика и онтология. М.: Наука, 1978. С. 128-158.
5. Хинтикка Я. Логика в философии — философия логики // Хинтикка Я. Логикоэпистемологические исследования. М.: Прогресс, 1980. С. 35-67.
6. ЦелищевВ.В. Семантика для пропозициональных установок и «твердые десигнаторы» // Логика и онтология. М.: Наука, 1978. С. 94-127.
7. Целищев В.В. Философские проблемы семантики возможных миров. Новосибирск: Наука, 1977. 190 с.
8. KripkeS. Naming and Necessity. — In Semantics of Natural Language. D. Davidson, G. Harman (Eds.). D. Reidel, Dordreccht, 1972. Р. 253-355.
Review
For citations:
. Bulletin of Siberian State University of Transport. 2011;(25):40-50. (In Russ.)
JATS XML







