Теоретико-модельные логики как классификации дефинитных многообразий

Е. Г. Драгалина-Черная

Аннотация


В статье предлагается истолкование теоретико-модельных (абстрактных) логик как классификаций дефинитных многообразий, которые представляют собой предмет логики как формальной онтологии в интерпретации Гуссерля.

Полный текст:

PDF

Литература


Aranda V. Completeness: From Husserl to Carnap. Logica Universalis 16, 2022, рр. 57–83.

Barwise J. Model-Theoretic Logics: Background and Aims. Model-Theoretic Logics / ed. by J. Barwise and S. Feferman. New York: Springer, 1985, p. 3–23.

Barwise J., Seligman J. Information Flow: The Logic of Distributed Systems. Cambridge University Press, 1997.

Garcia-Matos M., Väänänen J. Abstract Model Theory as a Framework for Universal Logic. Logica Universalis: Towards a General Theory of Logic / ed. by J.-Y. Beziau. Basel: Birkhauser Verlag, 2005, p. 19–33.

Hartimo M. Towards Completeness: Husserl on Theories of Manifolds 1890–1901. Synthese 156, 2007, p. 281–310.

Husserl E. Introduction to Logic and Theory of Knowledge. Lectures 1906/07. Springer, 2008.




DOI: https://doi.org/10.52119/LPHS.2024.89.93.003

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2024 Е. Г. Драгалина-Черная

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.