PREDICATIVISM AS A FORM OF POTENTIALISM

DOI10.1017/S1755020321000423OpenAlexW3215492057MaRDI QIDQ5880421

Stewart Shapiro, Øystein Linnebo

Publication date: 2 March 2023

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

Full work available at URL: https://doi.org/10.1017/s1755020321000423

zbMATH Keywords

RussellpredicativityPoincaréimpredicativityFeferman

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Potential Infinity and De Re Knowledge of Mathematical Objects

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Predicative foundations of arithmetic
• Inaccessible set axioms may have little consistency strength
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture
• INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
• Proper classes
• Predicative Expansions of Axiomatic Theories
• THE POTENTIAL HIERARCHY OF SETS
• Actual and Potential Infinity
• La prédicativité
• Systems of predicative analysis
• Modal Logic as Metaphysics
• Persistent and invariant formulas relative to theories of higher order
• On the interpretation of intuitionistic number theory