Композициональные и некомпозициональные типы в интенсиональной логике.
Article Sidebar
Опубликован:
02.11.2004
Main Article Content
Аннотация
In the article the difference is defined between compositional and non-compositional types of intensional expressions, acting as the meanings in the type-theoretical language in the logic of sense and denotation (LSD). The expressions of compositional types make a system fragment free of paradoxes, while the expressions of non-compositional types may participate in the arising of paradoxes. The procedure is described, where the correspondend compositional meaning (conceptualisation) is given to every atomic expressions of language, and the polymorphical compositional conceptualisation - to the functions.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Микиртумов И. Композициональные и некомпозициональные типы в интенсиональной логике. // Логические исследования / Logical Investigations. 2004. Т. 11. C. 200-214.
Выпуск
Раздел
Статьи
Литература
Aczel Р. Frege Structures arid the notions of Proposition, Truth and Set // The Kleene Symposium / Eds. J. Barwise, H.J. Heisler and K. Kunen. Dordrecht, 1980. P. 31-59.
Anderson C. A. General Intensional Logic // Handbook of Philosophical Logic / Eds. D. Gabbay, F. Guenthner. Dordrecht, 1984. Vol. II. P. 355-385.
Anderson C. A. Semantical Antinomies in the Logic of Sense and Denotation // Notre Dame Journal of Formal Logic. Vol. 28. 1987. P. 99-114.
Church A. A Formulation of the Logic of Sense and Denotation 11 Structure, Method and Meaning. Essays in honor of H.M. Sheffer. New York, 1951. P. 3-24.
Church A. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I) // NOUS. V. 7. 1973. P. 24-33; (Part II) // NOUS. V. 8. 1974. P. 135-156.
Church A. Comparision of Russell’s Resolution of the semantical Antinomies with that of Tarski II Journal of Symbolic Logic. V. 41. 1976. P. 747- 760.
Church A. A Revised Formulation of the Logic of Sense and Denotation. Alternative (1 )//NOUS. V. 27. 1993. P. 141-157.
Kripke S. Outline of a theory of truth // Journal of Philosophy. V. 72, 1975. P.690-716.
MyhillJ. Problems Arising in the Formalisation of Intentional Logic // Logique et Analyse. 1958, V. 1. P. 78-83.
Turner R. Truth and Modality for Knowledge Representation. Cambridge, Mass. 1991.
Монтегю P. Прагматика // Семантика модальных и интенсиональных логик / Пер. с англ, под ред. В.А. Смирнова. М., 1981. С. 254-279.
Монтегю Р. Прагматика и интенсиональная логика // Семантика модальных и интенсиональных логик / Пер. с англ, под ред. В.А. Смирнова. М., 1981. С. 223-253.
Anderson C. A. General Intensional Logic // Handbook of Philosophical Logic / Eds. D. Gabbay, F. Guenthner. Dordrecht, 1984. Vol. II. P. 355-385.
Anderson C. A. Semantical Antinomies in the Logic of Sense and Denotation // Notre Dame Journal of Formal Logic. Vol. 28. 1987. P. 99-114.
Church A. A Formulation of the Logic of Sense and Denotation 11 Structure, Method and Meaning. Essays in honor of H.M. Sheffer. New York, 1951. P. 3-24.
Church A. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I) // NOUS. V. 7. 1973. P. 24-33; (Part II) // NOUS. V. 8. 1974. P. 135-156.
Church A. Comparision of Russell’s Resolution of the semantical Antinomies with that of Tarski II Journal of Symbolic Logic. V. 41. 1976. P. 747- 760.
Church A. A Revised Formulation of the Logic of Sense and Denotation. Alternative (1 )//NOUS. V. 27. 1993. P. 141-157.
Kripke S. Outline of a theory of truth // Journal of Philosophy. V. 72, 1975. P.690-716.
MyhillJ. Problems Arising in the Formalisation of Intentional Logic // Logique et Analyse. 1958, V. 1. P. 78-83.
Turner R. Truth and Modality for Knowledge Representation. Cambridge, Mass. 1991.
Монтегю P. Прагматика // Семантика модальных и интенсиональных логик / Пер. с англ, под ред. В.А. Смирнова. М., 1981. С. 254-279.
Монтегю Р. Прагматика и интенсиональная логика // Семантика модальных и интенсиональных логик / Пер. с англ, под ред. В.А. Смирнова. М., 1981. С. 223-253.