Stephen Read

In this article, we discuss the notion of merely confused supposition as it arose in the medieval theory of suppositio personalis. The context of our analysis is our formalization of William of Ockham's theory of supposition sketched in Mind 86 (1977), 109-13. The present paper is, however, self-contained, although we assume a basic acquaintance with supposition theory. The detailed aims of the paper are: to look at the tasks that supposition theory took on itself and to use our formalization to relate them to more modern ideas; to explain the notion of merely confused supposition and to defend it against certain criticisms; and to discuss two issues closely related to the idea of merely confused supposition which we could not broach in a shorter article: the mode of supposition of terms in intensional contexts, and the possible existence of a fourth mode, often called suppositio copulatim

I. SUPPOSITION AND SIGNIFICATIONIn an insightful article on the medieval theory of supposition, Elizabeth Karger noted a remarkable development in the characterization of the material mode of supposition between William of Ockham and his contemporaries in the early fourteenth century and Paul of Venice and others at the turn of the fifteenth century.1. E. Karger, “La Supposition Materielle comme Supposition Significative: Paul de Venise, Paul de Pergula,” in A. Maierú, ed., English Logic in Italy in the 14th and 15th Centuries (Naples, 1982), pp. 331–41. For William, material supposition is explicitly ‘non-significative’, while for Paul, every mode of supposition is a kind of signification.2. Paul of Venice, Logica Magna (Tractatus de Suppositionibus), ed. and trans. A. Perreiah (St. Bonaventure, 1971), p. 4: “nam omnis suppositio est significatio.” In particular, we can set these definitions in opposition.

In his recent study, Concepts, Fodor identifies five nonnegotiable constraints on any theory of concepts. These theses were all shared by the standard medieval theories of concepts. However, those theories were cognitivist, in contrast with Fodor’s: concepts are definitions, a form of natural knowledge. The medieval theories were formed under two influences, from Aristotle by way of Boethius, and from Augustine. The tension between them resulted in the Ockhamist notion of a natural language, concepts as signs. Thus conventional signs, spoken and written, signify things in the world by the mediation of concepts which themselves form a language of thought, signifying those things naturally by their similarity. Indeed, later thinkers realised that everything signifies itself and what is like it naturally in a broad sense by means of the concept of its natural likeness

_ Source: _Page Count 21 Ian Rumfitt has recently drawn our attention to a couple of paradoxes of signification, claiming that although Thomas Bradwardine’s “multiple-meanings” account of truth and signification can solve the first of them, it cannot solve the second. The paradoxes of signification were in fact much discussed by Bradwardine’s successors in the fourteenth century. Bradwardine’s solution appears to turn on a distinction between the principal and the consequential signification of an utterance. However, although such a distinction played an important role in his successors’ theories, it is shown that Bradwardine’s account of signification does not admit any such distinction, no part being prior to the others. Accordingly his solution, unlike those of his successors, does not fall prey to Rumfitt’s paradoxes.

Stephen Read - Johannes Buridanus: Summulae de Practica Sophismatum - Journal of the History of Philosophy 45:1 Journal of the History of Philosophy 45.1 157-158 Muse Search Journals This Journal Contents Reviewed by Stephen Read University of St. Andrews Fabienne Pironet, editor. Johannes Buridanus: Summulae de Practica Sophismatum. Artistarium 10–9. Turnhout: Brepols 2004. Pp. xlix + 193. Paper, €40.00. John Buridan was an unusual figure in fourteenth-century logic and philosophy. Logic was at that time largely the preserve of the young, who would lecture on logic while studying in higher faculties such as theology, before moving on to lecture in their maturity on philosophy and theology. Two notable exceptions are the Englishman Walter Burley and the Frenchman from Picardy, John Buridan. Already active in the Arts Faculty at Paris in the late 1320s, Buridan was still there thirty years later. In the meantime, among other works on metaphysics, ethics, politics, and natural philosophy, he..

Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken elaboration of the notion of harmony, an idea stemming from a remark of Gerhard Gentzen's. The introduction-rules are autonomous if they are taken fully to specify the meaning of the logical constants, and the rules are harmonious if the elimination-rule draws its conclusion from just the grounds stated in the introduction-rule. The key to harmony in classical logic then lies in strengthening the theory of the conditional so that the positive logic contains the full classical theory of the conditional. This is achieved by allowing parametric formulae in the natural deduction proofs, a form of multiple-conclusion logic

Kretzmann and Spade were led by Richard Kilvington’s proposed revisions to the rules of obligations in his discussion of the 47th sophism in his Sophismata to claim that the purpose of obligational disputations was the same as that of counterfactual reasoning. Angel d’Ors challenged this interpretation, realising that the reason for Kilvington’s revision was precisely that he found the art of obligation unsuited to the kind of reasoning which lay at the heart of the sophismatic argument. In his criticism, Kilvington focussed on a technique used by Walter Burley to force a respondent to grant an arbitrary falsehood and similar to Lewis and Langford’s famous defence of ex impossibili quodlibet. Kilvington observes that just as in obligational disputation, one may be obliged to grant a false proposition and deny a true one, so in counterfactual reasoning one may be obliged to doubt a proposition whose truth or falsity one knows, on pain of contradiction.

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification- truth is not compatible with the theory of meaning, are mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong's that modality can reside in non-modal truthmakers.

Thomas Bradwardine makes much of the fact that his solution to the insolubles is in accordance with Aristotle's diagnosis of the fallacy in the Liar paradox as that of secundum quid et simpliciter. Paul Spade, however, claims that this invocation of Aristotle by Bradwardine is purely "honorary" in order to confer specious respectability on his analysis and give it a spurious weight of authority. Our answer to Spade follows Bradwardine's response to the problem of revenge: any proposition saying of itself that it is false says more than does Bradwardine's proposition saying of it that it is false, and so follows from that other proposition only in respect of part of what it says, and not simpliciter.