Структура значения и компетентность субъекта в логике смысла и денотата.
Main Article Content
Аннотация
The main issue of the paper is the realisation of Alternative (0) within the logic of sense and denotation (LSD). The structural analysis of meaning and the notion of logical (semantical) competence of subject are suggested as the approaches for solution, that provide epistemic character for the interpretation of LSD.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Микиртумов И. Структура значения и компетентность субъекта в логике смысла и денотата. // Логические исследования / Logical Investigations. 2002. Т. 9. C. 131-146.
Выпуск
Раздел
Статьи
Литература
Aczel Р. Frege Structures and the Notions of Proposition, Truth and Set // The Kleene Symposium / Eds. J.Barwise, H.J.Heisler and K.Kunen. North-Holland P.C. 1980. P. 31-59.
Anderson C A . General Intensional Logic // Handbook of Philosophical Logic / Eds. D.Gabbay, F.Guenthner. D.Reidel P.C. 1984. Vol. II. P. 355-385.
Church A. A Formulation of the Logic of Sense and Denotation (Abstract) II Journal of Symbolic Logic. V. 11. 1946. P. 31.
Church A. A Formulation of the Logic of Sense and Denotation // Structure, Method and Meaning. Essays in honor of H.M.Sheffer. New York: The Liberal Arts Press. 1951. P. 3-24.
Church A. A Revised Formulation of the Logic of Sense and Denotation. Alternative (1 )//NOUS. V. 27. 1993. P. 141-157.
Church A. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part _) // NOUS. V. 7. 1973. P. 24-33; (Part II) // NOUS. V. 8. 1974. P. 135-156.
Church _. A Formulation of the simply Theory of Types // Journal of Symbolic Logic. V. 5. 1940. P. 56-67.
Henkin L. Completeness in the Theory of Types // Journal of Symbolic Logic. V. 15. 1950. P. 81-91.
Lewis D. General semantics // Semantics of natural language / Eds. D.Davidson, G.Harman. D.Reidel P.C. North-Holland. 1977. P. 169-218.
Parsons C. Intensional logic in extensional language // Journal of Symbolic Logic. V. 47. 1982. P.289-328.
Turner R. Truth and modality for knowledge representation. MIT Press. Cambridge, Mass., 1991.
Anderson C A . General Intensional Logic // Handbook of Philosophical Logic / Eds. D.Gabbay, F.Guenthner. D.Reidel P.C. 1984. Vol. II. P. 355-385.
Church A. A Formulation of the Logic of Sense and Denotation (Abstract) II Journal of Symbolic Logic. V. 11. 1946. P. 31.
Church A. A Formulation of the Logic of Sense and Denotation // Structure, Method and Meaning. Essays in honor of H.M.Sheffer. New York: The Liberal Arts Press. 1951. P. 3-24.
Church A. A Revised Formulation of the Logic of Sense and Denotation. Alternative (1 )//NOUS. V. 27. 1993. P. 141-157.
Church A. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part _) // NOUS. V. 7. 1973. P. 24-33; (Part II) // NOUS. V. 8. 1974. P. 135-156.
Church _. A Formulation of the simply Theory of Types // Journal of Symbolic Logic. V. 5. 1940. P. 56-67.
Henkin L. Completeness in the Theory of Types // Journal of Symbolic Logic. V. 15. 1950. P. 81-91.
Lewis D. General semantics // Semantics of natural language / Eds. D.Davidson, G.Harman. D.Reidel P.C. North-Holland. 1977. P. 169-218.
Parsons C. Intensional logic in extensional language // Journal of Symbolic Logic. V. 47. 1982. P.289-328.
Turner R. Truth and modality for knowledge representation. MIT Press. Cambridge, Mass., 1991.