Neil Tennant

Christopher Peacocke, in A Study of Concepts, motivates his account of possession conditions for concepts by means of an alleged parallel with the conditions under which numbers are abshacted to give the numerosity of a predicate. There are, however, logical mistakes in Peacocke's treatment of numbers, which undermine his intended analogy. Nevertheless Peacocke's account of possession conditions for concepts is not rendered inadequate simply by virtue of being deprived of the intended analogy and the motivation it was supposed to afford. His account of concepts deserves still to be considered on its own merits, even if it is more idiosyncratic for being isolated from the paradigm case of numerical abstraction. Peacocke's own account of concepts as abstract objects turns out, though, not to have the logical form that he himself was seeking for it. We show how to re-cast it in an equivalent form of the kind he requires. Then we re-formulate it so as to achieve complete generality. This exercise helps to clarify the central theses in Peacocke's account of concepts. It invites the conclusion that his account of content-determination is rather platitudinous and unoriginal — except for a claim of 'doxastic sufficiency' for content-determination, which emerges at the end of the discussion.

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle.