DOCSLIB.ORG

John 0 PUBS JULY 2020 Ed

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
John 0 PUBS JULY 2020 Ed November 2020 PUBLICATIONS OF JOHN CORCORAN With links MR: reviewed in Mathematical Reviews. J: available at JSTOR. RG: Researchgate. PP: Philpapers. AC: Academia.edu.: APA Connect Internet https://www.facebook.com/groups/964364967280710 http://philpapers.org/s/john%20corcoran https://www.researchgate.net/profile/John_Corcoran2/ http://buffalo.academia.edu/JohnCorcoran CONTENTS: I. Articles, II. Abstracts, III. Books, IV. Miscellaneous, V. Reviews, VI. Refereeing I. Articles. 1. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. https://www.academia.edu/9855795/Three_logical_theories 2. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 (Co-author: George Weaver), Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). https://www.academia.edu/8842264/ LOGICAL_CONSEQUENCE_IN_MODAL_LOGIC_NATURAL_DEDUCTION_IN_S5_by_JO HN_CORCORAN_and_GEORGE_WEAVER 3. 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. PDF RG AC PP https://www.academia.edu/19842045/ Discourse_Grammars_and_the_Structure_of_Mathematical_Reasoning_I_Mathematical_ Reasoning_and_Stratification_of_Language 4. 1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. PDF AC RG PP 1 https://www.academia.edu/20947028/ Discourse_Grammars_and_the_Structure_of_Mathematical_Reasoning_II_The_Nature_ of_a_Correct_Theory_of_Proof_and_Its_Value 5. 1971. Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof, Journal of Structural Learning 3, #3, 1–24. PDF AC https://www.academia.edu/21589676/Part_III_of_Discourse_grammars_Two_Theories_of_Proof_ 6. 1971. Notes on a Semantic Analysis of Variable Binding Term Operators (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). RG AC https://www.academia.edu/s/d797eb2871/notes-on-a-semantic-analysis-of-variable- binding-term-operators?source=link https://www.academia.edu/19988287/ Notes_on_a_Semantic_Analysis_of_Variable_Binding_Term_Operators 7. 1972. Variable Binding Term Operators, (Co-authors Wm. Hatcher, John Herring) Zeitschrift fr mathematische Logik und Grundlagen der Mathematik 18, 177–82. MR0305970 (46 #5098) Reprinted 2006. Mathematical Logic Quarterly.18: 177–182. PDF RG AC https://www.academia.edu/20042305/1972._Variable_Binding_Term_Operators_Co- authors_Wm._Hatcher_John_Herring_Zeitschrift_f_ur_mathematische_Logik_und_Grun dlagen_der_Mathematik_18_177_82._MR0305970_46_5098_Reprint_2006._Mathemati cal_Logic_Quarterly.18_177_182.R 8. 1972. Conceptual Structure of Classical Logic, Philosophy & Phenomenological Research 33, 25–47. J PDF AC PP RG https://www.academia.edu/24482343/Conceptual_Structure_of_Classical_Logic 9. 1974. Logical Consequence in Modal Logic II: Semantic Systems for S4 (Co-author: George Weaver), Notre Dame Journal of Formal Logic 15, 370–8. MR0249278 (40 #2524). https://www.academia.edu/17888019/ Logical_consequence_in_modal_logic._II._Some_semantic_systems_for_rm_S_4_ 10. 1976. Reprint of revised version of 3 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263.PDF AC PP RG 11. 1976. Reprint of revised version of 4 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15264. PDF AC PP RG 12. 1976. Reprint of revised version of 5 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15265. PDF AC PP RG 13. 1972. Strange Arguments, Notre Dame Journal of Formal Logic 13, 206–210. MR0297513 (45 #6567). PDF 14.J 1973. Discussion: The Switches “Paradox” (Co-author: Susan Wood), Philosophy & Phenomenological Research 34, 102–108. PDF 2 15. 1972. Harris on the Structures of Language, in Transformationelle Analyse ed. Senta Plötz, Athenäum Verlag, Frankfurt, 275–292. PDF AC https://www.academia.edu/8850631/ HARRIS_ON_THE_STRUCTURES_OF_LANGUAGE 16. 1972. Revised version of 3 reprinted in Transformationelle Analyse, (ibid.), 459–476. 17. 1972. Completeness of an Ancient Logic, Journal of Symbolic Logic 37, 696–702. MR0317886 (47 #6435). J PDF RG AC PP https://www.academia.edu/9794723/Completeness_of_an_ancient_logic https://www.academia.edu/s/8893ae42f1/cal-corcorans-1972-syllogistic-completeness- paper?source=link 18. 1973. A Mathematical Model of Aristotle's Syllogistic, Archiv für Geschichte der Philosophie 55, 191–219. MR0444423 (56 #2776). PDF https://www.academia.edu/27468601/Corcorans_Model_of_Aristotles_Syllogistic 19. 1974. Aristotelian Syllogisms: Valid arguments or true generalized conditionals?, Mind 83, 278–81. MR0532928 (58 #27178) J R AC PP https://www.academia.edu/11591305/ Aristotelian_Syllogisms_Valid_arguments_or_true_generalized_conditionals 20. 1973. Gaps between logical theory and mathematical practice, in Methodological Unity of Science, ed. Mario Bunge, Reidel Publishing Co., Dordrecht, 23–50. PDF R AC PP APA https://www.academia.edu/s/22ce169e69?source=link https://www.academia.edu/43482547/WHAT_ARE_MATHEMATICAL_LOGICS https://www.academia.edu/12337042/ Gaps_between_logical_theory_and_mathematical_practice_in_Methodological_Unity_of _Science_ed._Mario_Bunge_Dordrecht_1973_pp.23_50 21. 1972. Weak and Strong Completeness in Sentential Logic, Logique et Analyse 59/60, 429–34. MR0337476 (49 #2245) PDF AC https://www.academia.edu/33304337/Weak_and_Strong_Completeness 22. 1973. Meanings of Implication, Diálogos 9, 59–76. MR95c:03019. PDF R AC RG PP https://www.academia.edu/ 20045248/1973._Meanings_of_Implication_Di%C3%A1logos_9_59_76._SEARCH_and _COPY_PDF https://www.academia.edu/s/643bbf0741/1973-meanings-of-implication-dialogos-9-59-76- searchcopy-pdf?source=link Translations: Spanish. https://www.academia.edu/9031005/Meanings_of_implication_Spanish_translation_ 23. 1974. Aristotle's Natural Deduction System, in Ancient Logic and Its Modern Interpretations, ed. John Corcoran, Reidel, Dordrecht, 85–132. MR0497848 (58 #16077). PDF AC APA https://www.academia.edu/s/ab42105322/aristotles-natural-deduction-system? source=link https://www.academia.edu/9965562/Ancient_Logic_and_Its_Modern_Interpretations_ 3 24. 1974. Remarks on Stoic Deduction, ibid. 169–181. MR0485115 (58 #4970). AC APA https://www.academia.edu/8842157/ REMARKS_ON_STOIC_DEDUCTION_by_JOHN_CORCORAN_1974 25. 1974. Future Research on Ancient Theories of Communication and Reasoning, ibid. 185–187. MR0485116 (58 #4971). APA https://www.academia.edu/9965562/Ancient_Logic_and_Its_Modern_Interpretations_ 26. 1974. String Theory (Co-authors: William Frank, Michael Maloney), Journal of Symbolic Logic 39: 625–37. MR0398771 (53 #2622). J PDF R AC APA https://www.academia.edu/13846218/ String_theory_the_foundation_of_proof_theory_grammar_metamathematics_and_word_ processing 27. 1975. Aristotle on the Underlying Logics of Sciences, 5th International Congress of Logic, Methodology, and Philosophy of Science, XII 11–12. 28. 1975. An Ancient Generic Theory (Co-author: Lee Mohler), 5th International Congress of Logic, Methodology, and Philosophy of Science, XII 37–38. 29. 1978. Crossley on Mathematical Logic (essay review, Co-author: Stewart Shapiro), Philosophia 8, 79–94. PDF AC RG https://www.academia.edu/attachments/56269902/download_file?s=sidebar 30. 1979. Identity Logics. (Co-author: Steven Ziewacz) Notre Dame Journal of Formal Logic 20, 777–84. MR0545427 (80h: 03017) RG PP AC https://www.academia.edu/25932020/IDENTITY_LOGICS 31. 1978. Logical Structures of Ockham's Theory of Supposition (Co-author: J. Swiniarski), Franciscan Studies 38, 161–83. https://www.academia.edu/s/a2d4baadae?source=link https://www.academia.edu/27567205/CORCORAN- SWINIARSKI_ON_OCKHAMS_THEORY_OF_SUPPOSITION 32. 1980. Categoricity, History and Philosophy of Logic 1, 187–207. MR82j:03034. PDF AC PP RG https://www.academia.edu/ 19651797/1980._Categoricity_History_and_Philosophy_of_Logic_1_187_207._MR82j_ 03034 33. 1980. Boole's Criteria of Validity and Invalidity (Co-author: S. Wood) Notre Dame Journal of Formal Logic 21, 609–39. MR0592521 (81j:03003). G PDF R AC COL https://www.academia.edu/s/d1533c702c/booles-criteria-for-validity-and-invalidity? source=link https://www.academia.edu/21731828/Booles_Criteria_for_Validity_and_Invalidity 34. 1980. On definitional equivalence and related notions, History and Philosophy of Logic 1 231–34. MR83j:01002. PDF R https://www.academia.edu/13925814/ A_note_concerning_definitional_equivalence_not_ontological_reducibility_ 35. 1981. A note on categoricity and completeness, History and Philosophy of Logic 2, 113– 19. PDF AC RG PP 4 https://www.academia.edu/23139778/Corcoran_on_categoricity_and_completeness_ 36. 1982. Reprinting of 19 in A. Menne and N. Offenberger, Zur modernen Deutung der Aristotelischen Logik, Georg Olms Verlag, Hildesheim, Vol. 1, 98–104 37. 1982. Reprinting of 27 in A. Menne and N. Offenberger, Zur modernen Deutung der Aristotelischen Logik, Georg Olms Verlag, Hildesheim, Vol. 1, 105–110. 38. 1982. Critical Notice: Contemporary Relevance of Ancient Logical Theory (Co-author: M. Scanlan), Philosophical Quarterly 32, 76–86. PDF J RG AC PP https:// www.academia.edu/8842326/ Contemporary_Relevance_of_Ancient_Logical_Theory_1982_John_Corcoran_and_Mic hael_Scanlan 39. 1983. Editor's introduction to the revised edition. Logic, Semantics, Metamathematics by Alfred Tarski, translated by J. H. Woodger,
Load more

Recommended publications
  • Publications of John Corcoran OCT 04
    OCTOBER 2004 PUBLICATIONS OF JOHN CORCORAN I. Articles. MR indicates review in Mathematical Reviews. J indicates available at JSTOR. G indicates available at Google by entering John Corcoran plus the complete title. 1.J Three Logical Theories, Philosophy of Science 36 (1969) 153-77. 2. Logical Consequence in Modal Logic: Natural Deduction in S5 (co-author G. Weaver), Notre Dame Journal of Formal Logic 10 (1969) 370-84. 3. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and the Stratification of Language, Journal of Structural Learning 3 (1971) #1, 55-74. 4. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3 (1971) #2, 1-16. 5. Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof, Journal of Structural Learning 3 (1971) #3, 1-24. 6. Notes on a Semantic Analysis of Variable Binding Term Operators (co-author John Herring), Logique et Analyse 55 (1971) 646-57. MR46#6989. 7. Variable Binding Term Operators, (co-authors Wm. Hatcher, John Herring) Zeitschrift fu"r mathematische Logik und Grundlagen der Mathematik 18 (1972) 177-82. MR46#5098. 8.J Conceptual Structure of Classical Logic, Philosophy & Phenomenological Research 33 (1972) 25-47. 9. Logical Consequence in Modal Logic: Some Semantic Systems for S4 (co-author G. Weaver), Notre Dame Journal of Formal Logic 15 (1974) 370-78. MR50#4253. 10, 11, and 12. Revisions of 3, 4 and 5 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon and Breach Science Publishers, New York (1976).
    [Show full text]
  • Sentence, Proposition, Judgment, Statement, and Fact: Speaking About the Written English Used in Logic John Corcoran
    Sentence, Proposition, Judgment, Statement, and Fact: Speaking about the Written English Used in Logic John Corcoran Dedication: for Professor Newton da Costa, friend, collaborator, co-discoverer of the Truth-set Principle, and co-creator of the Classical Logic of Variable-binding Term Operators-on his eightieth birthday. abstract. The five ambiguous words|sentence, proposition, judg- ment, statement, and fact|each have meanings that are vague in the sense of admitting borderline cases. This paper discusses sev- eral senses of these and related words used in logic. It focuses on a constellation of recommended primary senses. A judgment is a pri- vate epistemic act that results in a new belief; a statement is a public pragmatic event involving an utterance. Each is executed by a unique person at a unique time and place. Propositions and sentences are timeless and placeless abstractions. A proposition is an intensional entity; it is a meaning composed of concepts. A sentence is a linguistic entity. A written sentence is a string of characters. A sentence can be used by a person to express meanings, but no sentence is intrinsically meaningful. Only propositions are properly said to be true or to be false|in virtue of facts, which are subsystems of the universe. The fact that two is even is timeless; the fact that Socrates was murdered is semi-eternal; the most general facts of physics|in virtue of which propositions of physics are true or false|are eternal. As suggested by the title, this paper is meant to be read aloud. 1 Introduction The words|sentence, proposition, judgment, statement, and fact|are am- biguous in that logicians use each of them with multiple normal meanings.
    [Show full text]
  • Winter 2011 Department of Philosophy
    Department of Philosophy Noûsletter Number 19 - Winter 2011 No. 19 · Fall 2011 noûsletter Page 2 Table of Contents IGERT Fellowship Work .................................................... 21 Letter from the Chair .............................................................. 3 Perry Awards for Best Dissertation ............................. 21 Letter from the Director of Graduate Studies ............ 5 2011 Steinberg Essay Prize Winners .......................... 22 In Remembrance ............................................................................ 6 2011 Whitman Scholarship Winner ............................ 22 Peter Hewitt Hare (1935-2008) ....................................... 6 People Who Made It Possible ............................................... 22 Kenneth Barber (1940-2008) ............................................ 7 The Peter Hare Award ........................................................ 22 Kenneth K. Inada (1924-2011) ......................................... 7 The Hourani Lectures ......................................................... 23 Faculty Updates .............................................................................. 8 The Steinberg Award........................................................... 25 Introducing David Braun ...................................................... 8 The Romanell Award ........................................................... 25 Introducing Richard Cohen ................................................. 8 The Perry Award ..................................................................
    [Show full text]
  • Volume 12, Number 5 May 2018
    Volume 12, Number 5 May 2018 thereasoner.org ISSN 1757-0522 matics and I realized that I had met his name some years earlier Contents when I had borrowed from the University Library of Patras his edition of George Boole’s “Laws of Thought”. Guest Editorial 37 Athanasios Christacopoulos Features 37 Hellenic Open University News 39 What’s Hot in . 41 Features Events 43 Courses and Programmes 43 Interview with John Corcoran Jobs and Studentships 44 Athanasios Christacopoulos: First of all I must say that it is an honour to have an interview with one of the leading personali- ties in logic. I would like to begin our conversation with your first scientific interests: those that shaped your way to research on logic –mathematical, historical, and philosophical– till the Guest Editorial moment you said to yourself “I have something new to say”. John Corcoran is an eminent John Corcoran: This sort of question would get different logician, philosopher, math- answers, all tentative, at different times. Today, I think back ematician, linguist, and his- to the late 1960s. My first published paper “Three logical the- torian of logic. He has ories”, offers rationales for logical-system properties such as been member of the IBM Re- weak completeness, strong completeness, deductive complete- search Center’s Linguistics ness, various forms of compactness, consistency, and sound- Group and teacher of logic ness, and the like. at the Universities of Cali- I wrote early drafts of what became “Three logical theories” fornia, Pennsylvania, Michi- for my graduate logic courses. One goal was to take the alien- gan, and Buffalo.
    [Show full text]
  • Logic in the 21St Century: Advice for Young Logicians
    Felsefe Arkivi Archives of Philosophy Felsefe Arkivi - Archives of Philosophy, Sayı/Issue: 51, 2019 DOI: 10.26650/arcp2019-5122 Deneme / Essay Logic in The 21st Century: Advice For Young Logicians John Corcoran1 ABSTRACT By logic I mean the subject Aristotle started in Prior Analytics. Logic studies demonstration and everything necessary for demonstration, and also many things that come to mind in the course of such studies—including axiomatic method as described in my short “Axiomatic method”. By young I mean less than about 40 years old. By logicians I mean people who have dedicated their lives to 1Prof. Dr., University of Buffalo, SUNY, Department of Philosophy, Buffalo, New advancing and criticizing logic: to discovering and establishing new additions and York, USA also to clarifying and correcting what has or had been accepted. More specifically, my advice is for people who have already embarked on their careers: from fresh ORCID: J.C. 0000-0001-7481-2894 PhDs, instructors, and assistant professors to young professors looking forward to reaping the fruits of their long years of study and research. My advice is for people Sorumlu yazar/Corresponding author: who have mastered logic and who want to improve their mastery. I would write John Corcoran, University of Buffalo, SUNY, Department of something very different for students, something along the lines of my “Logic Philosophy, Buffalo, New York, USA teaching in the 21st century”. E-mail/E-posta: [email protected] Some of the things I recommend you have already done. Please do not think that my recommending something suggests that I think you have not already done it.
    [Show full text]
  • Bibliography of Ancient Logic in the Hellenistic Period
    Bibliography of Ancient Logic in the Hellenistic Period https://www.historyoflogic.com/biblio/logic-ancient-biblio-one.htm History of Logic from Aristotle to Gödel by Raul Corazzon | e-mail: [email protected] Bibliography of Ancient Logic in the Hellenistic Period SELECTED BIBLIOGRAPHY ON HELLENISTIC LOGIC 1. Alessandrelli, Michele, and Nasti de Vincentis, Mauro, eds. 2009. La Logica Nel Pensiero Antico. Napoli: Bibliopolis. Atti del Colloquio, Roma, 28-29 novembre 2000. Indice: Mauro Nasti de Vincentis: Premessa 9; Francesco Ademollo: Un'interpretazione del Cratilo di Platone 15; Fabio Acerbi: Osservazioni sulle origini aritmetiche della teoria aristotelica del sillogismo 75; Luca Castagnoli: Sunártesis crisippea e tesi di Aristotele 105; Mauro Nasti de Vincentis: Dalla tesi di Aristotele alla tesi di Boezio: una tesi per l'implicazione crisippea? 165; Anna Maria Schiaparelli: La fallacia della composizione e della divisione in Aristotele e in Galeno 249; Indice delle fonti 281; Indice dei nomi antichi 291; Indice degli autori moderni 293-295. 2. Algra, Keimpe, Barnes, Jonathan, Mansfeld, Jaap, and Schofield, Malcolm, eds. 1999. The Cambridge History of Hellenistic Philosophy. Cambridge: Cambridge University Press. Part II. Logic and language. Chapter 4: Introduction by Jonathan Barnes 65; Chapter 5: Logic by Jonathan Barnes, Susanne Bobzien and Mario Mignucci; 5.I The Peripatetics 77; 5.II The 'Megarics' 83; 5.II The Stoics; Chapter 6: Language by Dirk M. Schenkeveld; 6.I Linguistics 177; 6.II Rhetoric 216; 6.III Poetics 221-225. 3. Allen, James. 2001. Inference from Signs. Ancient Debates About the Nature of Evidence. New York: Oxford University Press. 4. Baldassarri, Mariano. 1990.
    [Show full text]
  • [email protected] 052815 JUNE 2015 a BIBLIOGRAPHY
    [email protected] 052815 JUNE 2015 A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran Indeed, one of the great strides forward in the modern study of Aristotle’s syllogistic was the realization that it is a system of natural deduction. —Kevin Flannery, SJ [2001, 219]. Corcoran […] has convincingly shown that the best formalization of Aristotle’s reductio ad impossibile is by means of a natural deduction system. —Mario Mignucci [1991, 12]. The most radical opponent of Lukasiewicz is J. Corcoran. —Tadeusz Kwiatkowski [1980, 188]. Contents Abstract I. Articles II. Abstracts III. Books IV. Reviews V. Discussions VI. Alternatives VII. Acknowledgements Abstract This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in- retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade.
    [Show full text]
  • Aristotle's Demonstrative Logic
    HISTORY AND PHILOSOPHY OF LOGIC, 30 (February 2009), 1–20 Aristotle’s Demonstrative Logic JOHN CORCORAN Department of Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA Received 17 December 2007 Revised 29 April 2008 Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle’s two- volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle’s general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction- chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. Introduction This expository paper on Aristotle’s demonstrative logic is intended for a broad audience that includes non-specialists. Demonstrative logic is the study of demonstration as opposed to persuasion.
    [Show full text]
  • Aristotle's Logic: General Survey and Introductory Readings
    Aristotle's Logic: General Survey and Introductory Readings https://www.historyoflogic.com/logic-aristotle.htm History of Logic from Aristotle to Gödel by Raul Corazzon | e-mail: [email protected] Aristotle's Logic: General Survey and Introductory Readings A SUMMARY OF ARISTOTLE' SYLLOGISTIC "We have identified five aspects of Aristotle’s syllogistic to highlight the remarkable modernity of his logical investigations: 1) Aristotle took logic to be a formal part of epistemology. A logic is an instrument for establishing knowledge of logical consequence; this is a principal concern of the science of logic. 2) Prior Analytics is a metalogical treatise on the syllogistic deduction system. Aristotle exhaustively treated all possible combinations of elemental “syllogistic” argument patterns to determine which have only valid argument instances. 3) Aristotle recognised the epistemic efficacy of certain elemental argument patterns having only valid instances, and he explicitly formulated them as rules of natural deduction in corresponding sentences. 4) Prior Analytics is a proof-theoretic treatise in which Aristotle described a natural deduction system and demonstrated certain of the logical relationships among syllogistic rules. In fact, Aristotle modelled his syllogistic in a rudimentary way for this purpose. One important metasystematic result is to have established the independence of a set of deduction rules. Finally, 5) Aristotle worked with a notion of substitution sufficient for distinguishing logical syntax and semantics. In this connection he also distinguished validity from deducibility sufficiently well to note the completeness of his logic. Our reading of Prior Analytics takes Aristotle to have treated the process of deduction much as modern mathematical logicians do and not to have been confused about some fundamental matters of logic.
    [Show full text]
  • 1 JOHN CORCORAN, Aristotle's Underlying Logics
    JOHN CORCORAN, Aristotle’s Underlying Logics: A Three-hour Tutorial. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: [email protected] This tutorial on Aristotle’s underlying logics begins with a treatment of his demonstrative logic, the principal motivation for his interest in the field. It ends with a faithful translation of Aristotle’s categorical syllogistic into a Hilbert-style many-sorted logic. Demonstrative logic, or apodictics, studies demonstration as opposed to persuasion. It presupposes the Socratic knowledge/opinion distinction—between knowledge (beliefs that are known) and opinion (those that are not known). Every demonstration produces (or confirms) knowledge of (the truth of) its conclusion for every person who comprehends the demonstration. Persuasion merely produces opinion. Aristotle was the first to see that every demonstrative science presupposes for its deductions what Church called an underlying logic. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations not just to those that are complete categorical syllogisms. According to him, a demonstration is an extended argumentation that begins with premises known to be truths and involves a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. For Aristotle, starting with premises known to be true and a conclusion not known to be true, the knower demonstrates the conclusion by deducing it from the premises. As Tarski emphasized, modern formal proof resulted from refinement and “formalization” of traditional Aristotelian demonstration. Aristotle’s general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics.
    [Show full text]
  • THE STORY of PRAGMATISM* Hilary PUTNAM
    THE STORY OF PRAGMATISM* Hilary PUTNAM Abstract This paper examines the first of William James’ Lowell lectures, the lectures that became his famous book Pragmatism; A New Name for Some Old Ways of Thinking, and particularly the way in which that lecture connects the idea of philosophy as a way of life with the important role of temperament in forming philosophical systems. The way in which Dewey left Idealism to become James’ successor as the leader of the pragmatist movement is then recounted, and the way in which Dewey was already a philosopher of education in his idealist period is emphasized. The essay closes by ex- plaining how neither James nor Dewey were «Rortian relativists», and by emphasizing James’ realism. Key words: James, Dewey, philosophy as a way of life, role of temperament, failings of rationalism. Dewey as James’ successor, Dewey as philosopher of education, realism, idealism, relativism. In Boston, in November and December of 1906, William James delivered the Low- ell Lectures which were published the following year under the title, Pragmatism: a New Name for Some Old Ways of Thinking. The opening Lowell lecture bears the dry title, «The present dilemma in philosophy». But that lecture is anything but dry; con- sidered on its literary merits alone, it must surely be one of the finest examples of philosophical prose written in this country. And its contents are certainly provocative. Yet it has received remarkably little discussion; even James’s most hostile critics, who might expect to be infuriated by it, generally pass over it in silence. I shall speculate about why this is the case.
    [Show full text]
  • Wholistic Reference, Truth-Values, Universe of Discourse
    CDD: 149.94 WHOLISTIC REFERENCE, TRUTH-VALUES, UNIVERSES OF DISCOURSE, AND FORMAL ONTOLOGY: TRÉPLICA TO OSWALDO CHATEAUBRIAND JOHN CORCORAN Philosophy Department, University of Buffalo, BUFFALO, NY 14260-4150 USA [email protected] Abstract: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as “5 + 7 = 12”, refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, and its relevance to some of Oswaldo Chateaubriand’s work are discussed in my 2004 paper “The Principle of Wholistic Reference” in Essays on Chateaubriand’s “Logical Forms”. In Chateaubriand’s réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truth- values, universes of discourse, and formal ontology. This paper is self- contained: it is not necessary to have read the above-mentioned works. Key-words: Boole. Chateaubriand. Church. Frege. Gödel. Tarski. Who- listic. Refers. Denotes. Sentence. Proposition. Truth-value. Universe of discourse. Ontology. Epistemology. The principle of wholistic reference (PWR) was first put forth by George Boole in 1847 when he espoused a monistic fixed-universe viewpoint similar to the one Frege and Russell espoused throughout their careers. Later, Boole elaborated PWR in 1854 from the pluralistic multiple-universes perspective.
    [Show full text]