Dummett, M. 1991. Logical Basis of Metaphysics. London: Duckworth. Gentzen, G. 1969. Untersuchungen über das logische Schliessen. In The Collected Papers of Gerhard Gentzen, tr. M. Szabo, 68–131. Amsterdam: North-Holland. Prawitz, D. 1977. Meaning and proofs: on the conflict between intuitionistic and classical logic. Theoria. 43: 2–40. Prior, A. 1960–61. The Runabout inference ticket. Analysis...

The paper contains a review and discussion of Robert Trueman's book Properties Propositions: Metaphysics Higher-Order Logic, Cambridge University Press, 2021, pp. xii + 227. ISBN 978-1-108-81410-2. is focused on the consistency Truema's language-based ontology its value in defending higher-order logic.

Timothy Williamson’s Modal Logic as Metaphysics is, among much else, a detailed and complex defense of the metaphysical view he calls necessitism, the view that necessarily everything necessarily exists (is something), that although it may be a contingent matter how things are, what things there are is entirely a matter of necessity. The majority of contemporary modal metaphysicians reject this...

There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim (about what can be known or conceived), from there to a modal claim (about what is possible or necessary), and f...

Principia Logico-Metaphysica proposes a foundational logical theory for metaphysics, mathematics, and the sciences. It contains a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized by Zalta) that differentiates between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully repr...