Peter Simons

George Boolos's employment of plurals to give an ontologically innocent interpretation of monadic higher‐order quantification continues and extends a minority tradition in thinking about quantification and ontological commitment. An especially prominent member of that tradition is Stanislaw Leśniewski, and shall first draw attention to this work and its relation to that of Boolos. Secondly I shall stand up briefly for plurals as logically respectable expressions, while noting their limitations in offering ontologically deflationary accounts of higher‐order quantification. Thirdly I shall focus on the key idea of ontological commitment and investigate its connection with the idea of truth‐making. Fourthly I shall consider how different interpretations of quantification may sideline Boolos's work, but finally I shall largely support his analysis of quantification involving nominal expressions, while arguing, in the spirit of Arthur Prior, that non‐nominal quantification is non‐committing

The philosophies of late Brentano and early Wittgenstein can be brought closer in two ways. One way discovers a surprising amount of part-whole theory in the Tractatus if we see states of affairs (not wholly wilfully) as thinglike rather than factlike. This throws up a modal analogue to Chisholm's entia successiva in the form of situations. The other way sees all propositions as truth-functions of existential propositions, supporting Brentano's view that existentials are primary, and incidentally yielding a reistic semantics for the Tractatus. I draw a quick moral, that we should beware of excessive simplicity in metaphysics, and apply it to Chisholm's views on part and whole.

What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (illocutionary modes, mass/count, indexical/descriptive) to the controversial (moment/fundament, transparent/opaque) and the arcane (modes of class delimitation, taxonomic rank, aspects of designators). Any such list is speculative and tentative, but the test of this one will be in its implementation, a new departure for philosophical category theories.