Формальные онтологии как абстрактные логики.

##plugins.themes.bootstrap3.article.main##

E.G. Dragalina-Chernaya

Abstract

Abstract logics are interpreted as formal ontologies both in phenomenological and ontological engineering senses.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

[Аристотель, 1975] Аристотель. Метафизика // Аристотель. Соч.: В 4 т. М.: Мысль, 1975. Т. 1.
[Гайденко, 1997] Гайденко _ П. Бытие и разум // Вопросы философии, 1997, №7, С. 114-135.
[Гуссерль, 1998] Гуссерль Э. Картезианские размышления. СПб.: Наука, 1998.
[Гуссерль, 1999] Гуссерль Э. Идеи к чистой феноменологии и феноменологической философии. М.: Дом интеллектуальной книги, 1999.
[Драгалина-Черная, 2004] Драгалина-Черная Е.Г Онтология обобщенной квантификации // Труды научно-исследовательского семинара логического центра Института философии РАН. Выпуск XVII, М.: ИФ РАН, 2004. С. 53-61.
[Карпенко, 2004] Карпенко А. С. Предмет логики в свете основных тенденций ее развития // Логические исследования. Вып. 11, М.: Наука, 2004. С. 149-172.
[Клини, 1957] Клини С. Введение в метаматематику. М.: Изд-во иностранной литературы, 1957.
[Рубашкин, Лахути, 2005] Рубашкин В.Ш., Лахути Д.Г. Онтология: от натурфилософии к научному мировоззрению и инженерии знаний // Вопросы философии. 2005, № 1. С. 64 - 81.
[Barwise, 1985] Barwise, J. Me del-Theoretic Logic: Background and Aims // Barwise J. and Feferman S., eds. Model-Theoretic Logic. New York, 1985. P. 3-23.
[Feferman, 1999] Feferman, S. Logic, Logics and Logicism // Notre Dame Journal of Formal logic. Vol. 40, 1999, P. 31-54.
[Husserl, 1969] Husserl, E. Formal and Transcendental Logic. Dordrecht, 1969.
[Lindstrom, 1966] Lindstrom, P. First Order Predicate Logic with Generalized Quantifiers // Theoria. Vol. 35, 1966.
[McGee, 1996] McGee, V. Logical Operations // Journal of Philosophical Logic. Vol. 25, 1996, P. 567-580.
[Mostowski, 1957] Mostowski, A. On a Generalization of Quantifiers // Fundamenta Matematicae. Vol. 44, 1957.
[Quine, 1986] [Quine, W.V. Philosophy of Logic. Cambridge, 1986.
[Routley 1980] Routley, R. Exploring Meinong’s Jungle and Beyond. An Investigation of Noneism and the Theory of Items. Canberra, 1980.
[Shapiro, 1991] Shapiro, S. Foundations without Foundationalism: A Case for Second-Order Logic. Oxford, 1991.
[Tarski, 1986] Tarski, A. What are Logical Notions? // History and Philosophy of Logic. Vol. 7, 1986.
[van Benthem, 1989] van Benthem, J. Logical Constants Across Varying Types // Notre Dame Journal of Formal Logic. Vol. 30, 1989, P. 315-342.
[Welty, Smith, 2001] Welty, C. and Smith B., eds. Formal Ontology in Information Systems. New York, 2001.