The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

In the summer of 1980, I was privileged to be on the teaching staff of the Summer Institute on Medieval Philosophy held at Cornell University under the direction of Norman Kretzmann and the auspices of the Council for Philosophical Studies and the National Endowment for the Humanities. While I was giving a series of lectures on supposition theory, I went to my office one morning, and there under the door some anonymous wag from the Institute had slid the pen and (...) ink drawing you see in the graphic. It represents "Supposition" as a dragon, making a rude face at the viewer. The tail of the dragon is divided — not entirely accurately, as it turns out — into the various branches and subbranches of supposition. If the details are not altogether correct, the spirit is certainly understandable. I have absolutely no idea who the inspired artist was, but I have the original framed on the wall in my office. (shrink)

The “dragon” that graces the cover of this volume has a story that goes with it. In the summer of 1980, I was on the teaching staff of the Summer Institute on Medieval Philosophy held at Cornell University under the direction of Norman Kretzmann and the auspices of the Council for Philosophical Studies and the National Endowment for the Humanities. While I was giving a series of lectures there (lectures that contribute to this volume, as it turns out), I went (...) to my office one morning, and there under the door some anonymous wag from the Institute had slid the pen and ink drawing you see in the picture. It represents “Supposition” as a dragon, making a rude face at the viewer. The tail of the dragon is divided — not entirely accurately, as it turns out — into the various branches and subbranches of supposition. If the details are not altogether correct, the spirit is certainly understandable. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians. Content: 1. Pre-Aristotelian Logic 1.1 Syntax and Semantics 1.2 Argument Patterns and Valid Inference 2. Aristotle 2.1 Dialectics 2.2 Sub-sentential Classifications 2.3 Syntax and Semantics of Sentences 2.4 Non-modal Syllogistic 2.5 Modal Logic 3. The early Peripatetics: Theophrastus and Eudemus 3.1 Improvements and Modifications of Aristotle's Logic 3.2 Prosleptic Syllogisms 3.3 Forerunners (...) of Modus Ponens and Modus Tollens 3.4 Wholly Hypothetical Syllogisms 4. Diodorus Cronus and Philo the Logician 5. The Stoics 5.1 Logical Achievements Besides Propositional Logic 5.2 Syntax and Semantics of Complex Propositions 5.3 Arguments 5.4 Stoic Syllogistic 5.5 Logical Paradoxes 6. Epicurus and the Epicureans 7. Later Antiquity. (shrink)

Scholars often assert that Plato and Aristotle share the view that discursive thought is internal speech. However, there has been little work to clarify or substantiate this reading. In this paper I show Plato and Aristotle share some core commitments about the relationship of thought and speech, but cash out TIS in different ways. Plato and Aristotle both hold that discursive thinking is a process that moves from a set of doxastic states to a final doxastic state. The resulting judgments (...) can be true or false. Norms govern these final judgments and, in virtue of that, they govern the process that arrives at those judgments. The principal norm is consistency. However, the philosophers differ on the source of this norm. For Plato, persuasiveness and accuracy ground non-contradiction because internal speech is dialogical. For Aristotle, the Principle of Non-Contradiction grounds a Doxastic Thesis that no judgment can contradict itself. For Aristotle, metaphysics grounds non-contradiction because internal speech is monological. (shrink)

The main aim of my paper is to analyse Aristotle’s theory of language in the context of his Physics I.1 and via an analysis and an interpretation of this part of his Physics I try to show that (i) the study of human language (logos) significantly falls within the competence of Aristotle’s physics (i.e. natural philosophy), (ii) we can find the results of such (physical) inquiry in Aristotle’s zoological writings, stated in the forms of the first principles, causes and elements (...) of the human speech (logos) and (iii) the analogies (Phys. 184b13-14) made by Aristotle at the very end of the first chapter make better sense if we consider them in the broader context in which Aristotle recognizes language as a complex natural phenomenon we are born into and which has to be not only biologically, but also socially developed through our lives. Hence, I aim towards a more naturalistic reading of Aristotle’s views on language. (shrink)

En su defensa del Principio de no-contradicción, Aristóteles discute con varios interlocutores, desde los presocráticos hasta el sofista Protágoras, este último ampliamente conocido en la Antigüedad por trastocar el concepto de verdad con su doctrina del “homo mensura”, declarando así la imposibilidad del discurso falso. Consideramos que una lectura atenta del Libro Γ que rescate la figura del abderita puede mostrar cómo la crítica del sofista es clave para la constitución del pensamiento aristotélico en torno al problema de la verdad. (...) En la primera sección expondré algunas consideraciones sobre el PNC que son relevantes para entender las motivaciones detrás de las críticas aristotélicas al sofista. A continuación, analizaré dos de los argumentos aristotélicos contra los adversarios que discuten de mala fe: por una parte, la “refutación” de Metaph. Γ. 4 y, por otra parte, el “argumento de las apariencias contrarias” de Metaph. Γ. 5. Mi hipótesis es que algunos elementos teóricos esbozados en Γ. 4 permiten reconstruir una crítica aristotélica seria contra Protágoras en Γ. 5. Finalmente expondré una síntesis del camino recorrido y ofreceré algunas conclusiones. (shrink)

Intersemiotic translation (IT) was defined by Roman Jakobson (The Translation Studies Reader, Routledge, London, p. 114, 2000) as “transmutation of signs”—“an interpretation of verbal signs by means of signs of nonverbal sign systems.” Despite its theoretical relevance, and in spite of the frequency in which it is practiced, the phenomenon remains virtually unexplored in terms of conceptual modeling, especially from a semiotic perspective. Our approach is based on two premises: (i) IT is fundamentally a semiotic operation process (semiosis) and (ii) (...) IT is a deeply iconic-dependent process. We exemplify our approach by means of literature to dance IT and we explore some implications for the development of a general model of IT. (shrink)

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

Early in the 1240s the University of Paris hired a recent graduate from Oxford, Roger Bacon by name, to teach the arts and introduce Aristotle to its curriculum. Along with eight sets of questions on Aristotle's natural works and the Metaphysics he claims to have authored another eight books before he returned to Oxford around 1247. Within the prodigious output of this period we find a treatise on logic titled Summulae dialectices, and it is this that is here annotated and (...) presented in translation. The book is unique in several respects. First, there is the breadth of its sources. Not only do we find explicit reference to the usual authors such as Aristotle, Plato, Boethius, Porphyry, Cicero, and Priscian, we also find unexpected reference to Augustine, Bernardus Silvestris, Donatus, Terence, and Themistius, along with mention of the Muslim philosophers Algazel and Ibn Rushd. Second, it is clear that Bacon is drawing on or reacting to an extraordinarily wide variety of medieval sources: Garland the Computist, Hugh of St. Victor, Master Hugo, Hugutius of Pisa, Isidore of Seville, Nicholas of Damas, Nicholas of Paris, Richard of Cornwall, Robert Kilwardby, Robert of Lincoln, and Robert the Englishman. Third, it unexpectedly presents a full-blown treatment of Aristotle's theory of demonstration. And finally, Bacon reveals a highly unorthodox view of the signification of common terms. Bacon, here, takes his students and us deeper into medieval sources and controversy than any of his rivals do. (shrink)

cause other than the very individual itself, and thus there is no ‘metaphysical’ problem of individuation at all—individuality, unlike generality, is primitive and needs no explanation. He supports this view in two ways. First, he argues that there are no nonindividual entities, whether existing in their own right or as metaphysical constituents either of things or in things, and hence that no real principle or cause of individuality (other than the individual itself) is required. Second, he offers a ‘semantic’ interpretation (...) of what appear to be metaphysical difficulties about individuality by recasting the issues in the formal mode, as issues within semantics, such as how a referring expression can pick out a single individual. Yet although there is no ‘metaphysical’ problem of individuation, Buridan discusses two associated problems at some length: the identity of individuals over time and the discernibility of individuals. (shrink)

The studies that make up this book were written and brought together to honor the memory of Jan Pinborg. His unexpected death in 1982 at the age of forty-five shocked and saddened students of medieval philosophy everywhere and left them with a keen sense of disappoint ment. In his fifteen-year career Jan Pinborg had done so much for our field with his more than ninety books, editions, articles, and reviews and had done it all so well that we recognized him (...) as a leader and counted on many more years of his scholarship, his help, and his friendship. To be missed so sorely by his international colleagues in an academic field is a mark of Jan's achievement, but only of one aspect of it, for historians of philosophy are not the only scholars who have reacted in this way to Jan's death. In his decade and a half of intense productivity he also acquired the same sort of special status among historians of linguistics, whose volume of essays in his memory is being G. L. Bursill-Hall almost simultane published under the editorship of ously with this one. Sten Ebbesen, Jan's student, colleague, and successor as Director of the Institute of Medieval Greek and Latin Philology at the University of Copenhagen, has earned the gratitude of all of us by memorializing Jan 1 in various biographical sketches, one of which is accompanied by a 2 complete bibliography of his publications. (shrink)

“The problem of universals” in general is a historically variable bundle of several closely related, yet in different conceptual frameworks rather differently articulated metaphysical, logical, and epistemological questions, ultimately all connected to the issue of how universal cognition of singular things is possible. How do we know, for example, that the Pythagorean theorem holds universally, for all possible right triangles? Indeed, how can we have any awareness of a potential infinity of all possible right triangles, given that we could only (...) see a finite number of actual ones? How can we universally indicate all possible right triangles with the phrase ‘right triangle’? Is there something common to them all signified by this phrase? If so, what is it, and how is it related to the particular right triangles? The medieval problem of universals is a logical, and historical, continuation of the ancient problem generated by Plato's (428-348 B.C.) theory answering such a bundle of questions, namely, his theory of Ideas or Forms. (shrink)

Aquinas’ famous comments in his early Scriptum on the Sentences (In I Sent., d. 38, q. 1, a. 3) regarding the intellect’s apprehension of essence and esse have traditionally been interpreted as grounding Aquinas’ doctrine on the judgment of esse. For Aquinas, it appears, what the intellect apprehends in a simple concept is essence. Since esse, for him, is not an essence, it cannot, on the received view, be the object of conceptualization. Therefore, esse is grasped by the intellect only (...) in judgment. The claim that no genuine concept of esse is possible, however, is inconsistent with Aquinas’ theory of signification. A term’s signification is constituted, at least in part, in its “signing relation” with some “concept” in the mind. If, as on the traditional reading, there is no concept of esse, the term ‘esse’ is left without signification. To respond that the term ‘esse’ signs, not a concept, but the judgment in which esse is apprehended is in direct conflict with Aquinas’ claim elsewhere that no term, including ‘ens’ and ‘esse’, signifies a judgment. I propose an alternative interpretation to In I Sent., d. 38, q. 1, a. 3, one that allows for the possibility of a conceptual apprehension of esse. The alternative reading explains Aquinas’ remarks there in light of the theoretical context of the discussion, in particular the theory of propositions and their objects. I show how and why Aquinas develops a distinctive theory of the object of the proposition, that it is concerned with “the esse of a thing” as a complex. Although this complex includes the simple act of being, as for the traditional position (contrary to its major critics), it cannot be reduced to anything simple. Despite the Sentences’ affirmation of a real distinction between a thing’s esse and essence, to which correspond two different operations of the intellect, it does not follow that the human intellect cannot conceive esse, just as it conceives essences, in a simple conception. (shrink)

The goal of this paper is a reassessment of Peirce’s doctrine of symbol. The paper discusses a common reading of Peirce’s doctrine, according to which all and only symbols are conventional signs. Against this reading, it is argued that neither are all Peircean symbols conventional, nor are all conventional signs Peircean symbols. Rather, a Peircean symbol is a general sign, i. e., a sign that represents a general object.

This article presents a detailed exploration of what Sextus and Pyrrhonists regarded as mnemonic signs, where one experience reminds us of another, such as seeing smoke reminds us of a fire that is not yet evident to our present observations. For the skeptic the use of mnemonic signs obviates the need for reasoned, theoretical interpretations or elaborated belief formation. It allows the skeptic or the theory-free physician, for that matter, to live a life or practice symptomatic medicine without the need (...) for philosophizing. (shrink)