Librationist cum classical set theories

arXiv2212.11859MaRDI QIDQ6508249FDOQ6508249

Abstract: A librationist set theoretic system Pfund, which is inter alia geared to deal with set theoretic paradoxes in new ways, is developed. It descends from work in a semantic setting, for truth, initiated by by Kripke, Herzberger and Gupta. Pfund extends the author's contribution in Librationist closures of the paradoxes in Logic and Logical Philosophy 21(4), 323-361, 2012. It is shown that Pfund provides an interpretation of a set theory published by D. Scott in More on the axiom of extensionality, in Bar-Hillel et alia, Essays on the foundations of mathematics, North-Holland Publishing Company, 1961, 115-131. Given this, Pfund also obtains an interpretation of ZFC vi results of von Neumann on regularity in 1929, and G"odel on the Axiom og Choice in 1938. However, Pfund offers alternative ways to include choice and regularity by means of principles which are informative, and natural. Pfund retains the idea, of Bj{o}rdal 2012, that the set theoretic universe is countable. But the set within which ZF is interpreted "believes" that there are sets which are not countable. The situation can be resolved much as by Skolem, though one need not suggest that the notion of 'set' is imprecice: for the bijection from the set of finite von Neumann ordinals to the full universe is itself not a member of a classical set theory.

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonclassical and second-order set theories (03E70) Other classical set theory (including functions, relations, and set algebra) (03E20) Other set-theoretic hypotheses and axioms (03E65) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47) Set theory (03E99)

This page was built for publication: Librationist cum classical set theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6508249)