
Critical Plural LogicPhilosophia Mathematica. forthcoming.What is the relation between some things and the set of these things? Mathematical practice does not provide a univocal answer. On the one hand, it relies on ordinary plural talk, which is implicitly committed to a traditional form of plural logic. On the other hand, mathematical practice favors a liberal view of definitions which entails that traditional plural logic must be restricted. We explore this predicament and develop a "critical" alternative to traditional plural logic.

108The Overgeneration Argument is a prominent objection against the modeltheoretic account of logical consequence for secondorder languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of secondorder logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a settheore…Read more

92Unrestricted quantification and the structure of type theoryPhilosophy and Phenomenological Research. forthcoming.Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the struc…Read more

109IntroductionNotre Dame Journal of Formal Logic 56 (1): 12. 2015.Introduction to a special issue based on a summer school on set theory and highorder logic.

216Metalogic and the Overgeneration ArgumentMind 128 (511): 761793. 2019.A prominent objection against the logicality of secondorder logic is the socalled Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of secondorder logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on th…Read more

99Plural Logic and Sensitivity to OrderAustralasian Journal of Philosophy 93 (3): 444464. 2015.Sentences that exhibit sensitivity to order (e.g. 'John and Mary arrived at school in that order' and 'Mary and John arrived at school in that order') present a challenge for the standard formulation of plural logic. In response, some authors have advocated new versions of plural logic based on finegrained notions of plural reference, such as serial reference (Hewitt 2012) and articulated reference (BenYami 2013). The aim of this article is to show that sensitivity to order should be accounted…Read more

207On the Innocence and Determinacy of Plural QuantificationNoûs 50 (3). 2016.Plural logic is widely assumed to have two important virtues: ontological innocence and determinacy. It is claimed to be innocent in the sense that it incurs no ontological commitments beyond those already incurred by the firstorder quantifiers. It is claimed to be determinate in the sense that it is immune to the threat of nonstandard interpretations that confronts higherorder logics on their more traditional, setbased semantics. We challenge both claims. Our challenge is based on a Henkin…Read more

222The paradox of idealizationAnalysis 69 (3): 461469. 2009.A wellknown proof by Alonzo Church, first published in 1963 by Frederic Fitch, purports to show that all truths are knowable only if all truths are known. This is the Paradox of Knowability. If we take it, quite plausibly, that we are not omniscient, the proof appears to undermine metaphysical doctrines committed to the knowability of truth, such as semantic antirealism. Since its rediscovery by Hart and McGinn (1976), many solutions to the paradox have been offered. In this article, we presen…Read more

37Introduction to Special Issue: Abstraction PrinciplesPhilosophia Mathematica 25 (1): 12. 2017.Introduction to a special issue on abstraction principles.

200Unrestricted QuantificationPhilosophy Compass 9 (7): 441454. 2014.Semantic interpretations of both natural and formal languages are usually taken to involve the specification of a domain of entities with respect to which the sentences of the language are to be evaluated. A question that has received much attention of late is whether there is unrestricted quantification, quantification over a domain comprising absolutely everything there is. Is there a discourse or inquiry that has absolute generality? After framing the debate, this article provides an overview…Read more

3Logic and PluralsIn Kirk Ludwig & Marija Jankovic (eds.), The Routledge Handbook of Collective Intentionality, Routledge. pp. 451463. 2018.This chapter provides an overview of the philosophical and linguistic debate about the logic of plurals. We present the most prominent singularizing analyses of plurals as well as the main criticisms that such analyses have received. We then introduce an alternative approach to plurals known as plural logic, focusing on the question whether plural logic can count as pure logic.

50What Russell Should Have Said to Burali–FortiReview of Symbolic Logic 10 (4): 682718. 2017.The paradox that appears under BuraliForti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of BuraliForti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some hundred years…Read more

187Set Theory, Type Theory, and Absolute GeneralityMind 123 (489): 157174. 2014.In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the settheoretic universe is openended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are ope…Read more

321Semantics and the Plural Conception of RealityPhilosophers' Imprint 14 120. 2014.According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of…Read more

55Untyped PluralismMind 123 (490): 317337. 2014.In the semantic debate about plurals, pluralism is the view that a plural term denotes some things in the domain of quantification and a plural predicate denotes a plural property, i.e. a property that can be instantiated by many things jointly. According to a particular version of this view, untyped pluralism, there is no type distinction between objects and properties. In this article, I argue against untyped pluralism by showing that it is subject to a variant of a Russellstyle argument put …Read more
Areas of Specialization
Philosophy of Language 
Logic and Philosophy of Logic 
Philosophy of Mathematics 
PhilPapers Editorships
Plural Quantification 
Unrestricted Quantification 
Logical Consequence and Entailment 