Прагматические предикаты и эпистемическая динамика в логике смысла (I)


I.B. Mikirtumov


The article discusses the elements of the logic of intensional entities, which is constructed at the crossroad of general intensional logic, epistemic logic and pragmatics. The crucial point of the article is the concept of semantical oracles, which represents the subject’s ability to distinguish between semantical compositional and non-compositional.






Микиртумов И.Б. Композициональные и некомпозициональные типы в интенсиональной логике // Логические исследования. Вып. 11. М., 2004. С. 200-214.
Микиртумов И.Б. Композициональная концептуализация в интенсиональной логике // Логические исследования. Вып. 12. М., 2005. С. 211-224.
Aczel Р. Frege Structures and the Notions of Proposition, Truth and Set // The Kleene Symposium / Eds. J. Barwise, H. J. Keisler, K. Kunen. Dordrecht, 1980. P. 31-59.
Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. Common Knowledge Revisited // Annals of Pure and Applied Logic. 1996. Vol. 96. P. 89-105.
Gardenfors P. Knowledge in Flux. Modeling the Dynamics of Epistemic States. Cambridge (Mass.); London, 1988.
Harman G. Change in View: Principles of Reasoning. Cambridge (Mass.), 1986.
Kripke S. Outline of a Theory of Truth // Journal of Philosophy. 1975. Vol. 72. P. 690-716.