This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

Dans son article de 1944, « The Semantic Conception of Truth and the Foundations of Semantics », Alfred Tarski réfère en propres termes à la notion médiévale de « suppositio materialis ». L’interprétation qu’il en suggère, cependant, est historiquement trompeuse et l’inexactitude historique se double, en l’occurrence, de ce que l’on peut tenir pour une malencontreuse erreur philosophique. Dans « “la neige est blanche” est vraie », Tarski voit l’expression « la neige est blanche » comme le nom d’une (...) certaine phrase, alors que les médiévaux y auraient vu plutôt une occurrence de cette phrase elle-même prise dans un usage spécial, la suppositio materialis. L’article montre en quoi les deux approches diffèrent et soutient que la théorie médiévale est philosophiquement préférable, en ce que : 1) elle est descriptivement plus adéquate en ce qui concerne le fonctionnement réel des langues naturelles ; 2) elle est plus appropriée même pour les langages construits qu’elle rend plus fonctionnels et plus intelligibles ; 3) elle repose sur l’identification d’un phénomène important dont la généralité échappe aux sémantiques d’inspiration tarskienne, celui de la dualité de principe entre l’extension d’un terme pris en lui-même et celle qu’il reçoit dans un contexte propositionnel donné.In his 1944 paper “The Semantic Conception of Truth and the Foundations of Semantics”, Alfred Tarski refers in so many words to the medieval idea of “suppositio materialis”. The interpretation he suggests for it, however, is historically misleading, and this historical inaccuracy yields in this case what can be taken to be an unfortunate philosophical mistake. In “ ‘snow is white’ is true ”, Tarski sees the phrase “snow is white” as the name of a certain sentence, while the medieval philosophers would have seen it rather as an occurrence of that very sentence, but taken in a special use, the suppositio materialis . The paper shows how these two approaches differ exactly and argues that the medieval theory is philosophically preferable in that it is descriptively more adequate with respect to natural languages, it is more appropriate even for artificial languages, which it renders both more effective and more intelligible, and it rests upon the identification of an important phenomenon, the generality of which is missed by the Tarskian type semantics, namely the duality of principle between the extension of a term in itself and the extension it receives within a given propositional context. (shrink)

The overarching aim of this excellent book is to demonstrate the common ground between medieval logic and logical theories of the twentieth century by analyzing some important medieval approaches to three important topics in medieval logic and then showing that in each case, once we determine what is really going on in the medieval theory, it can be formalized in such a way as to show how it resembles one or more developments in twentieth-century logical theory. Analysis in terms of (...) modern logical theory has a lot to offer the study of medieval logical theories, the author claims, and twentieth-century theory can learn some interesting lessons from examining its medieval counterparts. Much of the material in these specific discussions has been presented in earlier versions in the author's published articles. "The Philosophy of Formalization" , however, is new. English translations are used in the text, though the Latin is supplied in the footnotes. (shrink)

The question is whether a proper name (e.G., "tom") may be used in a way that parallels that of "man" in "man is a species". "tom is an individual" is the answer proposed, With "individual" functioning as a second order term. A number of difficulties are resolved by showing that "tom is an individual" may be rendered as "a man is (in english) called 'tom' and is so constituted that only he may without ambiguity be called 'tom'. This shows that (...) "tom" in "tom is an individual" is neither purely a first order nor purely a second order term. (shrink)

The Tractatus de suppositionibus, which is cited by Gerald Odonis in his commentary on the Sentences, probably dates from ca. 1315-25. In the Sentences commentary he refers to his treatment of 'suppositio communicabilis' and its species, indicating a type of supposition whose language seems new. This article attempts to find a source for it in contemporary authors and arrives at the conclusion that 'communicabilis' is simply a synonym for 'personalis', the most common form of supposition according to Odonis.

The Tractatus de suppositionibus, which is cited by Gerald Odonis in his commentary on the Sentences, probably dates from ca. 1315-25. In the Sentences commentary he refers to his treatment of 'suppositio communicabilis' and its species, indicating a type of supposition whose language seems new. This article attempts to find a source for it in contemporary authors and arrives at the conclusion that 'communicabilis' is simply a synonym for 'personalis', the most common form of supposition according to Odonis.

The article investigates how the problem of reference is treated in the theology of two pupils of Gilbert of Poitiers by means of suppo* terms. Supposition is for Gilbert an action performed by a speaker, not a property of terms, and he considers language as a system for communication between human beings: key notions are the ‘sense in the author’s mind’ and the ‘interpreter’s understanding’. In contrast, the two Porretans tend to objectify language as a formal system of terms. (...) class='Hi'>Suppositio becomes in the Summa Zwettlensis the name itself as subject term in a proposition, and is divided into many kinds; formal rules are described which govern the influence of the predicate on the subject term’s denotation. In Everard of Ypres’ Dialogus Ratii et Everardi, supponere is a function of the name, and ‘human is a species of individuals’ is, as in some logical treatises and differently from Gilbert, a case of rhetorical transfer. (shrink)

In epoca medievale si è molto discusso su alcuni concetti chiave come prova o giustificazione. La teoria della prova contenuta nei trattati di logica medievale prende il nome tecnico di consequentia, che è un tipo di ragionamento fondato sul passaggio dalla concessione (o negazione) di uno o più enunciati denominati antecedenti alla concessione (o negazione) di uno o più enunciati denominati conseguenti. Questo tipo di teoria ha avuto un correlato a livello dei singoli termini che compongono l’enunciato all'interno della teoria (...) nota come suppositio terminorum. Prende, infatti, il nome di descensus, la regola che permette la verifica del passaggio da un termine maggiore (un termine comune) ad un termine minore (che denota individui). La stessa definizione di alcune ramificazioni della teoria della suppositio è col-legata alla possibilità di ammettere o meno il descensus cioè questa "discesa" da un termine comune ad una congiunzione o disgiunzione di termini singolari. Il presente lavoro intende descrivere la teoria del descensus come un tipo particolare di consequentia mostrandone le connessioni con le moderne tecniche logiche. I trattati che si affronteranno appartengono al XIV e al XV secolo, cioè ad un periodo caratterizzato da una sistemazione della materia che li rende confrontabili con un quadro teorico unitario. (shrink)

This study comments on six notabilia found in the general observations with which Brinkley begins his treatise on supposition in his Summa logicae: i) the logico-metaphysical explanation of the distinction between significatio and suppositio, ii) the ontic division principle of supposition, iii) the relationship between supposita and truth-makers, iv) what seems to be a late resurgence of natural supposition, v) a pragmatic suspension of the regula appellationum and vi) Brinkley’s apparently incompatible claims that there are communicable things and that (...) there are only singular things, a position that is a medieval form of immanent realism. Based on the two manuscripts that contain the treatise on supposition, an appendix offers a provisional edition of part of Brinkley’s Summa, a collaboration between the author and Joël Lonfat. (shrink)

The article investigates how the problem of (linguistic) reference is treated in Gilbert of Poitiers' Commentaries on Boethius' Opuscula sacra. In this text the terms supponere, suppositus,-a,-um , and suppositio mainly concern the act of a speaker (or of the author of a written text) that consists of referring—by choosing a name as subject term in a proposition—to one or more subsistent things as what the speech act (or the written text) is about. Supposition is for Gilbert an action (...) performed by a speaker, not a property of terms, and his `contextual approach' has a pragmatic touch: “we do not predicate in order to supposit as much as we supposit in order to predicate“. Language is considered by Gilbert as a system for communication between human beings, key notions are the `sense in the author's mind' ( sensus mentis eius qui loquitur ) and the `interpreter's understanding' ( intelligentia lectoris ). The phenomenon of `disciplinal' discourse (“man is a species of individuals“) is treated by means of these hermeneutic notions and not by means of a special kind of supposition. (shrink)

In 1981 I published an article called Early Supposition Theory. Then as now, the magisterial work on the subject was L.M. de Rijk’s Logica Modernorum and then as now any discussion of the topic would have to rely to a great extent on the texts published there. This means that many of the problems that existed then still remain, but a couple of important new studies and several new texts have been published in the meantime, so it may be time (...) to try to take stock of the situation. I will first look at the origin of the term suppositio and then at the chronology of our source texts. (shrink)

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. (shrink)

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. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Anonymus Defensorium Ockham Ms. Romae, bibl. Angelica 1017 ff. 21r-36r Conspectus siglorum: = addendum censeo [....] = delendum censeo«..» = litterae illegibiles factae sive propter codicis corruptionem deperditae [[..]] = scriptor delevit Y.../ = in margine sive supra lineam inserta (?) = lectio incerta t...-t = corrupta esse videntur I22rl = incipit pagina 22 recto codicis«cCapitulum 15. De novem praedicamentis denominativis> Praedicamenta (adn. in mg.: Capitulo 15) alia a (...) substantia sunt quaedam denominationes substantiae. Denominatur enim substantia a qualitate 'qualis', a quantitate 'quanta', a relatione 'relata', \ab/ actione 'agens', et sic de singulis. Unde sicut conceptus ordinati in praedicamento substantiae sunt univoci, habentes univocam praedicationem de substantia prima, ita conceptus ordinati in praedicamentis accidentalibus sunt conceptus denominativi respectu substantiae, habentes praedicationem denominativam de ipsa—licet possunt esse univoci in suo ordine, et de suis inferioribus univoce praedicari. Est autem (adn. in mg.: Quaestio bona quarta) hic investigandum, utrum secundum multitudinem denominationum de substantia sit multitudo realitatum; ut, sicut sunt denominationes secundum novem genera distinctae, ita res et realitates novem generum distinctae. Quae est utrum novem denominantia substantiam sint dispositiones distinctae realiter a substantia, aut sint 111 Franciscan Studies (54) 1994-1997 112ANONYMUS dispositiones distinctae tantum ratione, sicut Commentator1 innuit. (adn. in ima pag.: Utrum secundum multitudinem denominationum de substantia sit multitudo realitatum, id est utrum novem praedicamenta distinctas habent realitates.) Et ista dubitatio de praedicamentis denominativis consimilis est dubitationi superius2 factae de praedicatis univocis et de correspondentia praedicamentorum et realitatum. Et videtur hie conformiter dicendum sicut de praedictis, scilicet quod multitudo rerum non est secundum multitudinem coneeptuum quiditativorum. Et hoc manifestum est, sumentibus nobis suppositiones has: Primo (adn. in mg.: Prima suppositio) quod substantia habet entitatem propriam. Ex illo sequitur evidenter intentum, nam si praedicamenta denominantia substantiam distinguerentur ab ea realiter, circumscriptis illis realitatibus, nulla remaneret realitas substantiae propria. Si enim substantia materialis haberet [[aliunde figuram puta a qualitate]] aliunde extensionem, puta a quantitate, aliunde figuram, puta a qualitate, aliunde positionem, et ita de alus, istis circumscriptis, quaero quid remaneret pro entitate substantiae? Non apparet quod aliquid, nisi fingas totam realitatem substantiae materialis posse habere esse punctuale et in puncto salvari, quod non capit imaginario. Quia de ratione substantiae materialis et corporeae, quae distinguitur contra immaterialem et incorpoream, est quod habeat partem extra partem.3 Et ita videtur quod substantia materialis erit seipsa quanta, et seipsa terminata, et per consequens seipsa figurata. Seipsa, inquam, et per se, perseitate excludente rem aliam. Secunda suppositio (adn. in mg.: Secunda suppositio) est quod non est contradictio realitatem unam esse, realitate ab ea distincta non existente. Patet, quia non est contradictio nisi affirmetur et negetur idem de eodem,4 implicite vel explicite. Et ista suppositio 1Cf. Averroës In Metaph. V com. 14 (1562) 148EF. 2Cf. supra cap. 11 'De univocis'; cf. cap. 12 (f. 24v): Et manifestum est, quoniam non oportet multitudinem esse in conceptibus, sicut nec multitudo in conceptibus sequitur multitudinem eorum quae sunt in vocibus, necessario sumentibus nobis suppositiones has. 3Cf. Guillelmus de Ockham Summa logicae I c. 44 (OPh I 137): quantitas continua permanens nihil aliud est nisi res una habens partem situaliter distantem a parte. 4Cf. Aristot, De interp. 9, 18a29-30: In his ergo quae sunt et facta sunt necesse est affirmationem vel negationem veram vel falsam esse; Anal. post. 1,11 77a30; Tópica VI,6 143bl6: Nam de omni vel affirmatio vel negatio vera est; Metaph. IV,9 1005bl9- THE DEFENSORIUM OCKHAM1 1 3 concludit similiter intentum. Nam quia contradictio est corpus de genere substantiae (id est substantiam materialem) esse, et non esse quantum (id est non habere partem extra partem); ideo quantitas non est alia res a corpore. Item quia contradictio est magnitudinem esse, et ipsam non esse terminatam et figuratam; ideo figura non est alia res a corpore sive magnitudine. Item quia contradictio est totum esse, et non esse maius parvus distinguerentur specie cum sint plures partes materiae in magno quam in parvo. Solet etiam dici quod magnum et parvum non variant speciem. Istae viae (adn. in mg.: Quod quantitas continua non sit res distincta) non concludunt de quantitate continua, quia non repugnaret sibi unitas; nec ex parte sui, quin scilicet possit habere unitatem formae accidentalis convenientem, nec ex parte subiecti, quin scilicet posset habere subiectum unum. Sed sufficienter videtur convinci quod... (shrink)

The semantics of anaphoric pronouns or _relativa grammaticalia_ played an important role in the treatises of both grammarians and logicians in the middle ages. However only very recently has the theme again received comparable attention in transformational grammar and the analytic school of linguistic philosophy under the influence of Geach. Here philosophers of language take particular interest in the question of how far these expressions can be seen as colloquial counterparts of the bound variables known from predicate logic. This work (...) shows that scholastic theories of _suppositio relativorum_ underwent a development in the 14th century and that the theories which gradually emerged anticipated in important ways the insights of recent linguistic philosophy. This thesis is illustrated by editions of selected texts of the logicians of the new continental universities of Vienna and Prague of the end of the 14th and the beginning of the 15th centuries and make it clear that the often asserted decline of scholasticism had not yet set in in the period after Ockham and Buridan. (shrink)

A general metaphysical account of logic, meaning, and reference that developed from the Greeks through the medievals and up into modem times can be called Aristotelian. “Copernican” claims (Kant, Frege), radically to replace this paradigm as quasi-“Ptolemaic,” actually participated in the prolonged decline of scholasticism, after Aquinas in particular. We need to recognize, or to remember, thepriority of being to truth and not to conflate them. We need to explicate the origin of thinking (abstraction) as at one remove from immediate (...) sense-experience. Syllogistic logic then emerges as a true causal account of reasoning in general; it is not some primitive attempt to outline a formal logical system. An account of suppositio as controlling the analogous uses of our finite store of words in reference to an infinite reality itself shaped by criss-cross patterns of likenesses, governs the general picture supplied here. (shrink)

In his review of my Prelude to Galileo, Ernan McMullin rejects my emendation of Pierre Duhem's “continuity thesis” wherein I develop the case for a pronounced medieval-scholastic influence on Galileo's science based on parallels between Galileo's early Latin compositions and lectures given by contemporary Jesuits at the Collegio Romano. He does so on two grounds: that the evidence of derivation I provide, using textual parallels, is so strong that it refutes the claim for any intellectual influence, being a better instance (...) of mindless copying than one of personal appropriation; and that, in any event, the logical structure of the argument which I attribute to Galileo's mature work is not that of demonstration ex suppositione as understood by Aquinas, and so the example I provide of Galileo's use of suppositio “does not link him in any significant way to the specifically Thomist tradition of natural science”. An adequate reply to this critique would require the introduction of more historical evidence than would be appropriate for the pages of this journal. A few remarks, however, may be in order concerning such evidence which bears directly on McMullin's first ground, and concerning the implications of this evidence for contemporary philosophy of science, which bear on his second. (shrink)

Some fourteenth-century treatises on paradoxes of the liar family offer a promising starting-point for the formulation of full-fledged theories of truth with systematic relevance in their own right. In particular, Bradwardine's thesis that sentences typically say more than one thing gives rise to a quantificational approach to truth, and Buridan's theory of truth based on the notion of suppositio allows for remarkable metaphysical parsimony. Bradwardine's and Buridan's theories both have theoretical advantages, but fail to provide a satisfactory account of (...) truth because both are committed to the thesis, fatal for both, that every sentence signifies/implies its own truth. I close with remarks on Greg Restall's recent model-theoretic formalization of Bradwardine's theory of truth. (shrink)

Against the dominant view in contemporary Hobbes scholarship, I argue that Hobbes’ philosophy of language implicitly denies that linguistic expressions refer to anything. I defend this thesis both textually, in light of what Hobbes actually said, and contextually, in light of Hobbes’ desertion of the vocabulary of suppositio, which was prevalent in semantics leading up to Hobbes. Hobbes explained away the apparent fact of linguistic reference via a reductive analysis: the relation between words and things wholly reduces to a (...) composite of the relation of signification between words and conceptions on the one hand, and the relation of representation between conceptions and things on the other. Intentionality, for Hobbes, accrues to conceptions, not words. (shrink)

From the Preface: "The majority of the papers contained in this volume was delivered in the fall of 1978 at The Catholic University of America as part of the Machette series of lectures on Aristotle. Although collections of essays on Aristotle are hardly lacking at present, this volume presents new studies which, it is hoped, give some idea of the variety of philosophical perspectives in which Aristotle has held and continues to hold great interest and of the scholarly analysis needed (...) in order to reach a better understanding of a difficult author." • CONTENTS: 1. Categories in Aristotle, Michael Frede • 2. Definitions in Aristotle's Posterior Analytics, Alfonso Gomez-Lobo • 3. Aristotle and Galileo: The Uses of ΥΠΟΘΕΣΙΣ (suppositio) in Scientific Reasoning, William A. Wallace • 4. Aristotle and the History of Greek Scepticism, A. A Long • 5. Aristotle's Metaphysics Viewed by the Ancient Greek Commentators, Gérard Verbeke • 6. ΕΙΔΗ in Aristotle's Earlier and Later Theories of Substance, John A. Driscol • 7. Averroes as Commentator on Aristotle's Theory of the Intellect, Arthur Hyman • 8. Aristotle's Method of Ethics, Terence Irwin • 9. Goodness and Human Aims in Aristotle's Ethics, Nicholas P. White • 10. Aristotle on the Essence of Happiness, Daniel T Devereux • 11. The ΚΑΛΟΝ in Aristotelian Ethics, Joseph Owens • 12. Telos and Teleology in Aristotelian Ethics, Henry B Veatch. (shrink)

The so-called “Trinitarian paralogisms” are apparently legitimate instances of syllogistic inference-schemes with premises and conclusions containing expressions of the language of the Trinity doctrine, which fail to be truth- or acceptability-preserving. The logical problem of the Trinity splits into two levels of analysis. First, the technical aspects of Trinitarian paralogisms are analysed in terms of logical innovations in theories of “suppositio” and “distributio”. Second, the philosophical aspect of Trinitarian paralogisms translates into the question of formality as general applicability of (...) logic. The sixteenth century tradition can be reconstructed as a reaction to the fourteenth century nominalist logical analysis. As opposed to post-medieval scholasticism developing the medieval approach, humanism and reformation criticise scholastic logic in terms of diff erent specifi c anthropological theories. (shrink)

Among the important conceptual innovations introduced in the second scholasticism era and motivated by theological debates following the Council of Trent were the theories of moral necessity and moral implication. As they were centred upon a view of moral necessity as a form of necessity weaker than physical necessity, and moral implication as weaker than physical implication, some interpretations of moral necessity encouraged the logic of statistical hypotheses and probability. Three branches of this debate are studied in this paper: the (...) explanation of moral necessity in terms of suppositio, the confrontation over the interpretation of moral necessity, and the theory of statistical quantification. (shrink)

Les Méditations cartésiennes, en instaurant la métaphysique comme science de l'esprit, permettent de fonder la science physique sur elle. Ce texte montre ainsi la primauté de la science de la mens sur celle des corps : tout d'abord l'esprit, en tournant vers soi son regard , se sait cogitatio, et ensuite alors il comprend le corps comme ce qui est étendu, flexible, muable, ce qui peut être tourné diversement, bref comme son contraire. L'auto-affirmation de l'ego engage l'examen de l'hypothèse « (...) rien n'est », et demande de distinguer l'ordre de l'hypothèse, de la suppositio, de celui de la positio, de la vérité. In the Meditations of Descartes, since metaphysics is established as a science of mind, physics can be based on it. Thus, this text evinces the pre-eminence of the science of mens over that of bodies : first of all, by turning towards itself mind knows itself as cogitatio and threrefore understands the body as being flexible, mutable, having extensity, and being changeable in diverse manners ; in short, as being its opposite. The self-asserting ego implies the consideration of the « nothing exists » hypothesis and asks for a distinction between the order of hypothesis and that of truth. (shrink)

Richard Martin's thoroughly philosophical as well as thoroughly tech nical investigations deserve continued and appreciative study. His sympathy and good cheer do not obscure his rigorous standard, nor do his contemporary sophistication and intellectual independence obscure his critical congeniality toward classical and medieval philosophers. So he deals with old and new; his papers, in his neat self-descriptions, consist of reminders, criticisms, and constructions. They might also be seen as studies in the understanding of truth, ramifying as widely in mathematics, logic, (...) and epistemology as well as metaphysics, as such understanding has required. For us it is a pleasant occasion to welcome Richard Martin's new Boston Studies, and to note his continuously con collection to the structive and critical interventions at the Boston Colloquium for the of Science. Philosophy Boston University Center for the R. S. COHEN Philosophy and History of Science M. W. WARTOFSKY July 1979 vii TABLE OF CONTENTS EDITORIAL PREFACE vii PREFACE xi ACKNOWLEDGEMENTS xv I. Truth and Its Illicit Surrogates II. Some Reminders concerning Truth, Satisfaction, and Reference 17 III. On Disquotation and Intensionality 30 IV. On Truth, Belief, and Modes of Description 42 V. The Pragmatics of Self-Reference 55 VI. On Suppositio and Denotation 72 VII. Of Time and the Null Individual 82 VIII. Existence and Logical Form 95 IX. Tense, Aspect, and Modality 110 X. Of 'Of' 130 XI. Events and Actions: Brand and Kim 144 XII. Why I Am Not a Montague Grammarian 160 XIII. (shrink)

It is a common view that Ockham’s critique of Scotus’s position on the issue of contingency is “devastating,” for it seems obvious that a possibility that does notactualize is simply no possibility. This rejection however does not commit Ockham to necessitarism, for the consideration of the temporal discontinuity of volitions should suffice to save contingency. But does it? Is it the case that diachronic volitions (which Scotus also acknowledges) are sufficient?This essay argues that (1) the debate between Ockham and Scotus (...) is not to be reduced to a logical disagreement (Scotus’s and Ockham’s modal logics are actually substantially similar) but is properly ontological inasmuch as it concerns the reduction and eventual identification of being with actuality and of actuality with reality in the sense of manifest; (2) the retrograding movement of truth from the present (Ockham’s 3rd suppositio) entails a temporal gap between present and future; and (3) Ockham’s solution depends on a conception of the will that cannot simply be identified with, and accounted for in terms of successive volitions. (shrink)

This article is the result of research on the occurrences of the terms suppositio, supponere and their linguistic derivations in the literature on fallacies of the second half of the thirteenth century. The authors analysed are Albert the Great, Giles of Rome, Simon of Faversham, the so-called Incerti Auctores, the Anonymous of Prague and John Duns Scotus. The central elements that emerge are the role played by the notion of suppositum and by the linguistic context to determine the denotation (...) of an expression, and the importance of the metaphysical problem of the unity and identity of suppositum in both the theory of predication and the theory of inference. Both subjects, obviously, are closely connected. (shrink)

For the past three decades the theory of supposition (suppositio) has been a crux of scholarship in Medieval logic. Although supposition was one of the banner doctrines of the logic modernorum, its nature and purpose have remained elusive to modern interpreters. In this paper I outline an alternative approach to supposition theory. (edited).

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical discussions (...) as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (shrink)

Resumen En este artículo, busco clarificar algunos aspectos de la teoría del nombre de fray Luis de León contenida al comienzo de De los nombres de Cristo mediante una comparación con obras de lógica escolástica, particularmente las Summulae de Pedro Hispano y el tratado homónimo de Domingo de Soto. Procuraré mostrar que dicha teoría solo puede comprenderse acabadamente desde esta perspectiva, sin negar la relevancia de otras, en una medida mayor que la que hasta ahora han presentado los investigadores. Me (...) ocuparé especialmente de la presencia de los conceptos de “término simple”, “suppositio” y “significatio”, y del modo en que fray Luis los articula de tal forma que resulten claramente reconocibles en sus detalles por quien está versado en ellos y, al mismo tiempo, pone su sentido filosófico originario al servicio de la intención fundamental de su obra.In this article, I seek to clarify some features of fray Luis de León ’s theory of names which he presents in a passage at the beginning of De los nombres de Cristo by making a comparison between thatpassage and some scholastic treatises on logic, especially the Summulae by Peter of Spain and the homonymous work by Domingo de Soto. Specifically, I expect to show that the theory can be fully understood only on these grounds. I shall dealparticularly with the concepts of “simple term”, “suppositio” and “significatio”, and the way in which fray Luis articulates them, with the result that the scholastic elements can be clearly recognized by those who are acquainted with them and, at the same time, contribute with their essentialphilosoph- ical meaning to the fundamental objectives of the work. (shrink)

This paper looks into the contents of the Tractatus suppositionum terminorum by Master Franquera, in the context of the teaching of logic in Salamanca in the fifteenth century. Franquera’s work is characterised by its explicit realist bias and its rejection of Ockhamist theses, i.e., by its recognition of the existence of a natura communis or a universale in re, which is evident in all discussions related to suppositio simplex and the theory of significatio. But, apart from this, Franquera’s discussion (...) of the theory of suppositio stands out as a strange mixture of different doctrines: some of them are derived from thirteenth-century analyses, others from fourteenth-century developments; realist goals are reached by means of instruments that, while not being nominalist, are definitely inspired by terminism. While upholding the theses of realist schools, Franquera adopts the definitions and rules of nominalist authors. (shrink)

Édition du troisième sophisma « Omnis homo de necessitate est animal » du ms. Paris, BnF Lat. 16135. Le texte anonyme, contenu aux f. 99rb-103vb, appartient à la seconde collection de sophismata transmis dans ce codex légué à l’Université de Paris par Étienne de Genève socius du Collège de Sorbonne, après avoir été maître ès arts à Paris dans les années 1270. Il offre un panorama des principales positions soutenues au xiiie siècle par les Antiqui et les Moderni sur la (...) sémantique des termes vides, la distinction entre l’esse essentiae et l’esse existentiae, l’être effectif et l’être logique, le temps et la modalité. (shrink)

The paper focuses on some aspects of the early modern aftermath of supposition theory within the framework of the protestant logical tradition. Due to the growing influence of Humanism, supposition theory from the third decade of the sixteenth century was the object of general neglect and contempt. While in the late sixteenth-century a number of standard textbooks of post-Tridentine scholastic logic reintegrated this doctrine, although in a bowdlerized version, it remained for a century out of the scope of Protestant logic. (...) The situation changed when the Strasburg Lutheran theologian J.C. Dannhauer, who in 1630 developed and propagated the program of a new discipline which he called ‘general hermeneutics’, accentuating the importance of supposition theory as an indispensable device for the purpose of textual interpretation. Due to Dannhauer’s influence on later developments of hermeneutics, which in the seventeenth and early eighteenth centuries was regarded as a logical discipline, supposition theory is still present in several logical treatises of the eighteenth century. The explication of the underlying views on the notion of supposition and its logico-semantic function may give at least some clues as to how to answer the question of what supposition theory was all about. (shrink)

In his commentaries on Porphyry and Aristotle’s Organon and in his other works, John Duns Scotus shows his knowledge of both the modistic theory of language and the theory of supposition. My contribution sheds some light on the relationship between Scotus’ philosophy of language and the theory of supposition, collecting and commenting on all the passages in which he makes use of it or discusses some theoretical points. I take into special account the almost unknown commentary on the Topics, which (...) is preserved in a Vatican manuscript. (shrink)

Jerónimo Pardo's analysis of the problems raised by some popular trinitarian paralogisms is studied in this paper. The purpose is to show how the notions employed by the theologians in order to solve theological problems were introduced into a textbook on logic to deal with some genuinely logical problems. First, the problem, common to all logical approaches, of achieving a fine-grained analysis of the logical form of syllogistical inferences. Second, the problem, typical of the terminist approach to logic, of guaranteeing (...) that Latin is an adequate vehicle for logical analysis. (shrink)