Носов Андрей Валерьевич
Пермский национальный исследовательский политехнический университет
Аннотация. В статье предпринимается попытка выявить основы и функциональный характер категории СПИСОК, а также определить логическую структуру данной категории, включающую интенсиональные контексты. В результате исследования логических механизмов выделения значения в рамках СПИСКА была определена процедура вычисления семантического значения его членов и границ его контекста. Были установлены логические кванторы СПИСКА, позволяющие комбинировать экстенсиональные элементы с интенсиональными функционалами. Также определены перспективы применения данной модели.
Ключевые слова и фразы: восприятие, понимание, логика, контекст, список, perception, understanding, logic, context, list
Открыть полный текст статьи в формате PDF. Бесплатный просмотрщик PDF-файлов можно скачать .
Список литературы:
Ивин А. А. Логика: учебник для гум. фак. М.: Фаир-Пресс, 2002. 320 c.
Эко У. Имя розы. М.: Кн. палата, 1989. 517 с.
Carnap R. Introduction to Semantics. Harvard: Harvard University Press, 1948. 263 p.
Chierchia G., McConnell-Ginet S. Meaning and Grammar. An Introduction to Semantics. Second edition. Cambridge: MIT Press, 2000. 280 p.
Eco U. Il nome della rosa. Milano: Bompiani, 1980. 511 p.
Feferman A. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press, 2008. 432 p.
Frege G. Collected Papers on Mathematics, Logic and Philosophy. Basil: Blackwell Publisher Ltd, 1984. 430 p.
Kripke S. Elementary Recursion Theory and its Applications to Formal Systems. Princeton: Princeton University Press, 1996. 191 p.
Leibniz G. W. Opera philosophica / ed. J. E. Erdmann. Berlin, 1840. 856 p.
Montague R. Formal Philosophy.Yale: Yale University Press, 1974. 345 p.
Peano G. Calcolo geometrico. Torino: Fratelli Bocca Editori, 1888. 170 p.
Smith P. An Introduction to Go?del's Theorems. Cambridge: Cambridge University Press, 2005. 162 p.
English
