Лицензионное соглашение об использовании научных материалов.
|
ЛОГИЧЕСКИЕ ОСНОВАНИЯ КАТЕГОРИИ СПИСОК
|
Носов Андрей Валерьевич
Пермский национальный исследовательский политехнический университет
|
Дата поступления рукописи в редакцию:
1 декабря 2016
г.
|
Аннотация.
В статье предпринимается попытка выявить основы и функциональный характер категории СПИСОК, а также определить логическую структуру данной категории, включающую интенсиональные контексты. В результате исследования логических механизмов выделения значения в рамках СПИСКА была определена процедура вычисления семантического значения его членов и границ его контекста. Были установлены логические кванторы СПИСКА, позволяющие комбинировать экстенсиональные элементы с интенсиональными функционалами. Также определены перспективы применения данной модели.
|
Ключевые слова и фразы:
восприятие
понимание
логика
контекст
список
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 Gödel's Theorems. Cambridge: Cambridge University Press, 2005. 162 p.
|
|