Two Semantics for Zalta’s Object Theory
DOI:
https://doi.org/10.12775/LLP.2026.002Słowa kluczowe
object theory, abstract objects, formalized ontology, Edward ZaltaAbstrakt
Niniejsza praca analizuje relację między dwiema semantykami dla Elementarnej Teorii Obiektów (OT) Edwarda Zalty: semantyką zaproponowaną przez Danę Scotta oraz semantyką Petera Aczela. Rekonstruujemy podstawowe motywacje filozoficzne stojące za OT, charakteryzujemy jej monadyczny fragment (MOT) i dowodzimy wybranych tez. Definiujemy struktury Scotta i struktury Aczela, po czym dowodzimy twierdzenia o poprawności MOT względem tych drugich. Wskazujemy następnie klasę struktur Aczela, w której dana formuła jest prawdziwa wtedy i tylko wtedy, gdy jest prawdziwa we wszystkich strukturach Scotta. Analizujemy również dwie formuły: pierwszą, dotyczącą ekstensjonalności identyczności własności, oraz drugą, związaną z tzw. przepełnieniem ekstensji zawierających przedmioty abstrakcyjne, zgodnie z którą, jeśli pewien przedmiot abstrakcyjny egzemplifikuje daną własność, to egzemplifikują ją wszystkie przedmioty abstrakcyjne.
Bibliografia
Kirchner, D. , C. Benzmüller, and E. N. Zalta, 2020, “Mechanizing principia logico-metaphysica in functional type theory”, Review of Symbolic Logic, 13(1): 206–218, DOI: CrossRef
Manzano, M., 1996, Extensions of First Order Logic, Cambridge University Press, New York.
Manzano, M., and M. C. Moreno, 2017, “Identity, equality, nameability and completeness”, Bulletin of the Section of Logic, 46(3/4): 169–195. DOI: CrossRef
Nodelman, U., and E. N. Zalta, 2014, “Foundations for mathematical structuralism”, Mind, 123(489): 39–78. DOI: CrossRef
Nodelman, U., and E. N. Zalta, 2024, “Number theory and infinity without mathematics”, Journal of Philosophical Logic, 53(5): 1161–1197. DOI: CrossRef
Świętorzecka, K., 2017, “Bolzano’s argument for the existence of substances: a formalization with two types of predication”, Acta Analytica, 32: 411–426. DOI: CrossRef
Świętorzecka, K., 2019, “Two formal interpretations of Bolzano’s theory of substances and adherences”, Axiomathes, 29(3): 265–284. DOI: CrossRef
Zalta, E. N., 1983, Abstract Objects: An Introduction to Axiomatic Metaphysics, Dordrecht: D. Kluwer Academic Publishers.
Zalta, E. N., 1988, Intensional Logic and the Metaphysics of Intentionality, Cambridge: MIT Press.
Zalta, E. N., 1997, “The modal object calculus and its interpretation”, pages 249–279 in M. de Rijke (ed.), Advances in Intensional Logic, Dordrecht: Kluwer Academic Publishers.
Zalta, E. N., 1999, “Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege’s grundgesetze in object theory”, Journal of Philosophical Logic, 28: 617–658. DOI: CrossRef
Zalta, E. N., 2025a, “Principia logico-metaphysica”. https://mally.stanford.edu/principia.pdf
Zalta, E. N., 2025b, “The power of predication and quantification”, Open Philosophy, 8(1): 20240059. DOI: CrossRef
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Licencja
Prawa autorskie (c) 2026 Bartłomiej Uzar
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Bez utworów zależnych 4.0 Międzynarodowe.
Statystyki
Liczba wyświetleń i pobrań: 355
Liczba cytowań: 0
