Publications
Are There Iterated Essentialist Truths? (2023)
Analysis 84 (1): 3-12. 2023.
I critically discuss some recent arguments against the existence of iterated essentialist truths.
Fine on the Possibility of Vagueness (2023)
In Federico L. G. Faroldi & Frederik van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic, Springer Verlag. pp. 715-734. 2023.
I develop a challenge to the theory of vagueness presented in Kit Fine's 'The Possibility of Vagueness'.
Essence and Necessity (2022)
Journal of Philosophical Logic, 51(3): 653-690. 2022. doi.org/10.1007/s10992-021-09646-0
I investigate the relation between metaphysical necessity and essence against the background of a novel, higher-order logic of essence, and defend a new reduction of metaphysical necessity to essence.
The Reduction of Necessity to Essence (2020)
Mind, 129 (514): 351–380. 2020. 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. 2016. doi.org/10.1093/pq/pqv115
I present a cross-linguistic challenge to intellectualism about know-how.
Work in progress or under review
E-mail me for drafts.
Ernst Schröder's Calculus of Classes
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.
Higher-Order Essences: Logic and Semantics
I develop a logic of essence in the framework of higher-order logic, providing a general framework for theorizing about the essences of objects, properties, propositions, and logical operations like conjunction, negation, quantification, etc.
Essence and Logical Closure
I develop a systematic account of the closure of essences under logical consequence.
The Hyperintensionality of Essence
I give a general argument against Intensionalism - the view that necessarily equivalent propositions are identical - and the thesis that essence is definable in terms of necessity on the basis of some logical considerations about essence.
Essence and Contingency
I investigate the question of what the relation between essence and necessity is if contingentism is true.
Ernst Schröder's Calculus of Classes
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.
Higher-Order Essences: Logic and Semantics
I develop a logic of essence in the framework of higher-order logic, providing a general framework for theorizing about the essences of objects, properties, propositions, and logical operations like conjunction, negation, quantification, etc.
Essence and Logical Closure
I develop a systematic account of the closure of essences under logical consequence.
The Hyperintensionality of Essence
I give a general argument against Intensionalism - the view that necessarily equivalent propositions are identical - and the thesis that essence is definable in terms of necessity on the basis of some logical considerations about essence.
Essence and Contingency
I investigate the question of what the relation between essence and necessity is if contingentism is true.