Papers
Fine on the Possibility of Vagueness (forthcoming)
Outstanding Contributions to Logic: Kit Fine. Federico Faroldi and Frederik Van de Putte (eds)
I develop a challenge to the theory of vagueness presented in Kit Fine's 'The Possibility of Vagueness'.
The Reduction of Necessity to Essence (2020)
Mind, 129 (514): 351–380. doi.org/10.1093/mind/fzz045
I examine the thesis that metaphysical necessity is reducible to essence and conclude that it motivates the revisionary consequence that the logic of metaphysical necessity is S4, and not S5.
Why Intellectualism Still Fails (2016)
Philosophical Quarterly, 66 (264): 500-515. doi.org/10.1093/pq/pqv115
I present a cross-linguistic challenge to intellectualism about know-how.
Ernst Schröder's Calculus of Classes (Under review)
I provide a new formal reconstruction and philosophical interpretation of the logical calculus in volume I of Ernst Schröder's Vorlesungen über die Algebra der Logik, a work that is sometimes considered as the culmination and most comprehensive treatment of the algebra of logic tradition in the 19th century.
Outstanding Contributions to Logic: Kit Fine. Federico Faroldi and Frederik Van de Putte (eds)
I develop a challenge to the theory of vagueness presented in Kit Fine's 'The Possibility of Vagueness'.
The Reduction of Necessity to Essence (2020)
Mind, 129 (514): 351–380. doi.org/10.1093/mind/fzz045
I examine the thesis that metaphysical necessity is reducible to essence and conclude that it motivates the revisionary consequence that the logic of metaphysical necessity is S4, and not S5.
Why Intellectualism Still Fails (2016)
Philosophical Quarterly, 66 (264): 500-515. doi.org/10.1093/pq/pqv115
I present a cross-linguistic challenge to intellectualism about know-how.
Ernst Schröder's Calculus of Classes (Under review)
I provide a new formal reconstruction and philosophical interpretation of the logical calculus in volume I of Ernst Schröder's Vorlesungen über die Algebra der Logik, a work that is sometimes considered as the culmination and most comprehensive treatment of the algebra of logic tradition in the 19th century.
In progress
A Theory of Essence
I articulate and defend a new theory of essence and use it to propose a novel essentialist account of metaphysical necessity. The theory provides a general framework for reasoning about the nature of objects, properties, propositions as well as logical operations like conjunction, negation, quantification and so on.
Semantics for a Theory of Essence
I provide a sound model-theoretic semantics for the theory developed in 'A Theory of Essence', use it to prove the consistency of some essentialist theories, and consider some further applications of the semantics that don't concern essence.
The Hyperintensionality of Essence
I use the theory of essence developed in 'A Theory of Essence' to provide a general argument against Intensionalism - the view that necessarily equivalent propositions are identical - and the thesis that essence is definable in terms of necessity.
Essence and Contingency
I investigate the question of what the relation between essence and necessity is if contingentism is true.
I articulate and defend a new theory of essence and use it to propose a novel essentialist account of metaphysical necessity. The theory provides a general framework for reasoning about the nature of objects, properties, propositions as well as logical operations like conjunction, negation, quantification and so on.
Semantics for a Theory of Essence
I provide a sound model-theoretic semantics for the theory developed in 'A Theory of Essence', use it to prove the consistency of some essentialist theories, and consider some further applications of the semantics that don't concern essence.
The Hyperintensionality of Essence
I use the theory of essence developed in 'A Theory of Essence' to provide a general argument against Intensionalism - the view that necessarily equivalent propositions are identical - and the thesis that essence is definable in terms of necessity.
Essence and Contingency
I investigate the question of what the relation between essence and necessity is if contingentism is true.
Drafts available on request.