AGAINST CUMULATIVE TYPE THEORY

DOI10.1017/S1755020321000435MaRDI QIDQ5046602zbMATH OpenFDO

Authors Tim Button, Robert Trueman

Publication date 8 November 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2108.04582

zbMATH Keywords

absolute generalitycumulative type theoryFregean semanticsset theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Type theory (03B38)

Recommendations

• Cumulative versus noncumulative ramified types
• scientific article; zbMATH DE number 3313431
• scientific article; zbMATH DE number 3853032
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• scientific article; zbMATH DE number 4037856

Cites work

• Believing the axioms. I
• Conceptions of Set and the Foundations of Mathematics
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• Gödel's unpublished papers on foundations of mathematics
• scientific article; zbMATH DE number 5374963 (Why is no real title available?)
• scientific article; zbMATH DE number 3499760 (Why is no real title available?)
• scientific article; zbMATH DE number 2107962 (Why is no real title available?)
• scientific article; zbMATH DE number 6393568 (Why is no real title available?)
• Modal Logic as Metaphysics
• Must we believe in set theory?
• Nominalism Through De‐Nominalization
• Philosophy and model theory
• Properties and Propositions
• The Frege reader. Selected philosophical writings. Edited by Michael Beaney
• The Many and the One

Cited in

(4)

• Against Cumulative Type Theory
• Finitary upper logicism
• Manyism as mereologicism
• What are extremal axioms?

This page was built for publication: AGAINST CUMULATIVE TYPE THEORY

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