Structure by proxy, with an application to grounding

DOI10.1007/S11229-019-02450-ZOpenAlexW2983056585WikidataQ126836038 ScholiaQ126836038MaRDI QIDQ2695390

Peter Fritz

Publication date: 31 March 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-019-02450-z

zbMATH Keywords

higher-order logictype theorygroundingRussell-Myhillstructured propositions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16) Type theory (03B38)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some puzzles of ground
• Model theory for modal logic. III. Existence and predication
• Emptying a paradox of ground
• Why ramify?
• LOGICAL GROUNDS
• The (Metaphysical) Foundations of Arithmetic?
• Russell's way out of the paradox of propositions
• Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate?
• On higher-order logical grounds
• Modal Logic as Metaphysics

This page was built for publication: Structure by proxy, with an application to grounding