Switch to: References

Citations of:

The iterative solution to paradoxes for propositions

Philosophical Studies 180 (5-6):1623-1650 (2022)

Add citations

You must login to add citations.

Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) Download Export citation Bookmark 1 citation
Ground by Status.Lisa Vogt - 2024 - Philosophical Studies 181 (2):419-432.details What is the explanatory role of ‘status-truths’ such as essence-truths, necessity-truths and law-truths? A plausible principle, suggested by various authors, is Ground by Status, according to which status truths ground their prejacents. For instance, if it is essential to a that p, then this grounds the fact that p. But Ground by Status faces a forceful objection: it is inconsistent with widely accepted principles regarding the logic of grounding (Glazier in Philos Stud 174(11):2871–2889, 2017a, Synthese 174(198):1409–1424, 2017b; Kappes in Synthese (...) Download Export citation Bookmark

1