Статья
Логика смысла и денотата в теории синонимического изоморфизма
И. Микиртумов,
В. Стрельченко
2006
Рассматривается интерпретация системы логики смысла и денотата, реализующей максимально строгий критерий различения смысла, как логики синонимического изоморфизма. Делается вывод о том, что критерий синонимического изоморфизма адекватен логике отношения синонимии, но не логике интенсиональных сущностей. Анализ проблем логики синонимического изоморфизма показывает также, что можно выделить чисто логические критерии отождествления смыслов выражений, для чего необходимо раскрыть специфические свойства субъектов пропозициональных установок.
Микиртумов И., Стрельченко В. Логика смысла и денотата в теории синонимического изоморфизма. Известия Российского государственного педагогического университета им. А.И. Герцена. 2006;(16):34-47.
Цитирование
Список литературы
1. 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
2. Church A. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I) // NOUS. 1973, V. 7. P. 24-33
3. Church A. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II) // NOUS. 1974, V. 8. P. 135-156.
4. Anderson C. A. General Intensional Logic // Handbook of Philosophical Logic. Eds. D. Gabbay, F. Guenthner. D. Reidel Pub. Comp. 1984. Vol. II. P. 355-385.
5. Микиртумов И. Б. Композициональные и некомпозициональные типы в интенсиональной логике // Логические исследования. Вып. 11. М., 2004. С. 200-214.
6. Anderson C. A. Some Models for the Logic of Sense and Denotation with an Application to Alternative (0). (Diss.) UCLA: 1977
7. Anderson C. A. Some new Axioms for the Logic of Sense and Denotation: Alternative (0) // NOUS. 1980. V. 14. P. 217-234
8. Anderson C. A. General Intensional Logic … P. 355-385.
9. Church A. Intensional Isomorphism and Identity of Belief // Philosophical Studies. Vol. 5. 1954. P. 65-73
10. Church A. Comparision of Russell's Resolution of the semantical Antinomies with that of Tarski // Journal of Symbolic Logic. V. 41. 1976. P. 747-760.
11. Myhill J. Problems Arising in the Formalisation of Intentional Logic // Logique et Analyse. 1958. V. 1. P. 78-83.
12. Anderson C. A. Alternative (1*): a Criterion of Identity for Intensional Entities // Logic, meaning and computation: Essays in memory of Alonso Church / Ed. C. A. Anderson, M. Zeleny.
Похожие публикации