SciELO - Scientific Electronic Library Online

 
vol.42 issue2THE CONFLICTUAL CRAFTBOOK REVIEW: LINNEBO, Ø., Philosophy of Mathematics (Princeton Universisty Press, 2017, 216, pages) author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

Share


Manuscrito

Print version ISSN 0100-6045On-line version ISSN 2317-630X

Abstract

FREIRE, ALFREDO ROQUE  and  FREIRE, RODRIGO DE ALVARENGA. The Ontological Import of Adding Proper Classes. Manuscrito [online]. 2019, vol.42, n.2, pp.85-112.  Epub Aug 12, 2019. ISSN 2317-630X.  https://doi.org/10.1590/0100-6045.2019.v42n2.rf.

In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF of the same formula. We argue that the first makes use of a too strong metatheory. Although meaningful, this symmetrical reduction does not equate the ontological content of the theories. The strong metatheory levels the two theories. Moreover, we will modernize Shoenfield’s proof, emphasizing its relation to Herbrand’s theorem and that it can only be seen as a partial type of reduction. In contrast with symmetrical reductions, we believe that asymmetrical relations are powerful tools for comparing ontological content. In virtue of this, we prove that there is no interpretation of NBG in ZF, while NBG trivially interprets ZF. This challenges the standard view that the two systems have the same ontological content.

Keywords : Set theory; Class theory; Formal ontology.

        · text in English     · English ( pdf )