ЛОГИЧЕСКИЕ ОСНОВАНИЯ КАТЕГОРИИ СПИСОК
Аннотация
В статье предпринимается попытка выявить основы и функциональный характер категории СПИСОК, а также определить логическую структуру данной категории, включающую интенсиональные контексты. В результате исследования логических механизмов выделения значения в рамках СПИСКА была определена процедура вычисления семантического значения его членов и границ его контекста. Были установлены логические кванторы СПИСКА, позволяющие комбинировать экстенсиональные элементы с интенсиональными функционалами. Также определены перспективы применения данной модели.
Источники
- Ивин А. А. Логика: учебник для гум. фак. М.: Фаир-Пресс, 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.
Информация об авторах
Информация о статье
История публикации
- Опубликована: 1 декабря 2016.
Ключевые слова
- восприятие
- понимание
- логика
- контекст
- список
- perception
- understanding
- logic
- context
- list
Copyright
© 2016 Автор(ы)
© 2016 ООО Издательство «Грамота»