John Corcoran State University of New York, Buffalo
Contact

Affiliations
  • Faculty, State University of New York, Buffalo
  • PhD, Johns Hopkins University, 1963.

Areas of specialization

Areas of interest

My philosophical views


blank
About me
John Corcoran taught logic at Berkeley, Penn, Michigan, Santiago de Compostela, and, most recently, Buffalo--from 1970 to 2010. His writings are on history and philosophy of logic, mathematical logic, epistemology, and linguistics. His most important contributions to history of logic concern his reconstruction of Aristotle’s logic as a natural deduction system. His work in history of logic also treats the Stoics, Ockham, Saccheri,Boole,Lewis,Church,Quine,and Tarski. He has worked in several areas of mathematical logic including proof theory, model theory, string theory, and variable-binding term-operators. He edited the 1983 second edition of Tarski’s 1956 LOGIC, SEMANTICS, METAMATHEMATICS. He also edited the 1993 second edition of the 1934 Cohen-Nagel INTRODUCTION TO LOGIC. His signature 1989 article “Argumentations and Logic”, which appeared in ARGUMENTATION, has been translated into Spanish, Portuguese, and Farsi. Corcoran headed the committee that organized the 1990 Alonzo Church Symposium and that successfully petitioned the University of Buffalo to award the Doctor Honoris Causa to Alonzo Church.
My works
89 items found.
Sort by:
  1. John Corcoran, Publications by John Corcoran on Aristotle.
    PUBLICATIONS OF JOHN CORCORAN ON ARISTOTLE -/- 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 I. (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. John Corcoran (forthcoming). Tarski’s Convention T: Condition Beta. SOUTH AMERICAN JOURNAL OF LOGIC 1 (1).
    Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. John Corcoran & Hassan Masoud (forthcoming). Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions. History and Philosophy of Logic:1-23.
    Contrary to common misconceptions, today’s logic is not devoid of existential import: the universalized conditional "Ax [S(x) ® P(x)] implies its corresponding existentialized conjunction Ex [S(x) & P(x)], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: "Ax [S(x) ® P(x)] implies Ex [S(x) & P(x)] iff Ex S(x) is logically true. -/- The antecedent S(x) of the universalized conditional alone determines whether the universalized conditional has existential import, i.e., whether it implies its (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. John Corcoran (2014). INVESTIGATING KNOWLEDGE AND OPINION. In A. Buchsbaum A. Koslow (ed.), The Road to Universal Logic. Vol. I. SPRINGER. 95-126.
    This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to be true. Some but (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. John Corcoran (2012). A Farewell Letter To My Students. Philosophy Now 92:18-18.
  6. J. Corcoran & G. Boger (2011). Protasis in Prior Analytics: Proposition or Premise. Bulletin of Symbolic Logic 17:151 - 2.
    The word pro-tasis is etymologically a near equivalent of pre-mise, pro-position, and ante-cedent—all having positional, relational connotations now totally absent in contemporary use of proposition. Taking protasis for premise, Aristotle’s statement (24a16) -/- A protasis is a sentence affirming or denying something of something…. -/- is not a definition of premise—intensionally: the relational feature is absent. Likewise, it is not a general definition of proposition—extensionally: it is too narrow. This paper explores recent literature on these issues.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. John Corcoran (2011). Contra-Argumento/Contraejemplo. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 137--141.
    A universal proposition is shown false by a known counterexample. A premise-conclusion argument is shown invalid by a known counterargument. The failure to distinguish counterexample from counterargument is like the failure to distinguish falsehood from invalidity.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. John Corcoran (2011). Deducción/Deducibilidad. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 168--169.
    Following Quine [] and others we take deductions to produce knowledge of implications: a person gains knowledge that a given premise-set implies a given conclusion by deducing—producing a deduction of—the conclusion from those premises. How does this happen? How does a person recognize their desire for that knowledge of a certain implication, or that they lack it? How do they produce a suitable deduction? And most importantly, how does their production of that deduction provide them with knowledge of the implication. (...)
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. John Corcoran (2011). Forma lógica/Formalización. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 257--258.
    The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text expressing (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. John Corcoran (2011). Hare and Others on the Proposition. Principia 15 (1):51-76.
    A História atesta diferentes abordagens da “proposição”. A proposição tem sido considerada como objeto de crença, descrença e de dúvida: geralmente como objeto de atitudes proposicionais , aquilo do qual pode se dizer ser acreditado, desacreditado, entendido, etc. Também tem sido tomada como sendo o objeto de apreensão, julgamento, suposição, afirmação, denegação, e de investigação: geralmente como o objeto das ações proposicionais , aquilo que pode ser dito ser apreendido, ser julgado verdadeiro ou falso, ser assumido para fins de raciocínio, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. John Corcoran (2011). Valor de Verdad. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 627--629.
    Down through the ages, logic has adopted many strange and awkward technical terms: assertoric, prove, proof, model, constant, variable, particular, major, minor, and so on. But truth-value is a not a typical example. Every proposition, even if false, no matter how worthless, has a truth-value:even “one plus two equals four” and “one is not one”. In fact, every two false propositions have the same truth-value—no matter how different they might be, even if one is self-contradictory and one is consistent. It (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. John Corcoran & José Miguel Sagüillo (2011). The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper. History and Philosophy of Logic 32 (4):359 - 374.
    This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. John Corcoran (2010). Peter Hare on the Proposition. Transactions of the Charles S. Peirce Society 46 (1):21-34.
    Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. John Corcoran (2010). Review of Striker Translation of Aristotle's PRIOR ANALYTICS. [REVIEW] Notre Dame Philosophical Reviews.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. John Corcoran (2009). Aristotle's Demonstrative Logic. History and Philosophy of Logic 30 (1):1-20.
    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 (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. John Corcoran (2009). Aristotle's Logic at the University of Buffalo's Department of Philosophy. Ideas Y Valores 140 (140):99-117.
    We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. John Corcoran (2009). La lógica de Aristóteles en el departamento de filosofía de la Universidad de Búfalo. Ideas y Valores: Revista Colombiana de Filosofía 140:5.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  18. J. Corcoran (2008). Aristotle's Many-Sorted Logic. Bulletin of Symbolic Logic 14:155-156.
     
    My bibliography  
     
    Export citation  
  19. John Corcoran (2008). Meanings of Form. Manuscrito 31 (1).
    The expressions ‘form’, ‘structure’, ‘schema’, ‘shape’, ‘pattern’, ‘figure’, ‘mold’, and related locutions are used in logic both as technical terms and in metaphors. This paper juxtaposes, distinguishes, and analyses uses of [FOR these PUT such] expressions by logicians. No [FOR such PUT similar] project has been attempted previously. After establishing general terminology, we present a variant of traditional usage of the expression ‘logical form’ followed by a discussion of the usage found in the two-volume Chateaubriand book Logical Forms (2001 and (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. John Corcoran, Schema. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. John Corcoran (2008). 2007-2008 Winter Meeting of the Association for Symbolic Logic-San Diego Convention Center, San Diego, CA-January 8-9, 2008-Abstracts. [REVIEW] Bulletin of Symbolic Logic 14 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. John Corcoran, Timothy Madigan & Alexander Razin (2008). Remembering Peter Hare 1935-2008. Philosophy Now. 66 (March/April):50-2.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. John Corcoran (2007). 2007. Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski. Eds. C. Martínez Et Al. Current Topics in Logic and Analytic Philosophy / Temas Actuales de Lógica y Filosofía Analítica. Imprenta Univeridade Santiago de Compostela. In C. Martínez (ed.), Current Topics in Logic and Analytic Philosophy /. 145-178.
  24. John Corcoran (2007). The principle of wholistic reference/o princípio da referência universalista. Manuscrito 30 (2).
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. John Corcoran (2006). An Essay on Knowledge and Belief. International Journal of Decision Ethics (2):125-144.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  26. John Corcoran (2006). C. I. Lewis: History and Philosophy of Logic. Transactions of the Charles S. Peirce Society 42 (1):1-9.
  27. John Corcoran (2006). Schemata: The Concept of Schema in the History of Logic. Bulletin of Symbolic Logic 12 (2):219-240.
    The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  28. John Corcoran, Stephen F. Barker, Eric Dayton, John Greco, Naomi Zack, Richard S. Robin, Joel Isaac & Murray G. Murphey (2006). A Symposium on Murray G. Murphey, CI Lewis: The Last Great Pragmatist. Transactions of the Charles S. Peirce Society 42 (1):1-77.
    No categories
     
    My bibliography  
     
    Export citation  
  29. J. Corcoran (2005). Counterexamples and Proexamples. Bulletin of Symbolic Logic 11:460.
    No categories
     
    My bibliography  
     
    Export citation  
  30. John Corcoran (2005). Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand. Manuscrito 28 (1).
  31. John Corcoran (2004). Review of" Michael Dummett". [REVIEW] Essays in Philosophy 5 (2):7.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. John Corcoran (2004). The Principle of Wholistic Reference. Manuscrito 27 (1).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. John Corcoran (2003). Aristotle's Prior Analytics and Boole's Laws of Thought. History and Philosophy of Logic. 24 (4):261-288.
    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 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. John Corcoran (1999). Critical Thinking and Pedagogical License. Manuscrito 22 (2):109.
    No categories
     
    My bibliography  
     
    Export citation  
  35. John Corcoran (1999). Information-Theoretic Logic and Transformation-Theoretic Logic,. In R. A. M. M. (ed.), Fragments in Science,. World Scientific Publishing Company,. 25-35.
  36. John Corcoran (1999). The Logical Form of Quantifier Phrases: Quantifier-Sortalvariable. Bulletin of Symbolic Logic 5:418-419.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. J. Corcoran (1996). Semantic Omega Properties and Mathematical Induction. Bulletin of Symbolic Logic 2:468.
     
    My bibliography  
     
    Export citation  
  38. John Corcoran (1995). Axiomatic Method. In Audi Robert (ed.), The Cambridge Dictionary of Philosophy. Cambridge University Press. 57--58.
    No categories
     
    My bibliography  
     
    Export citation  
  39. John Corcoran (1995). Information Recovery Problems. Theoria 10 (3):55-78.
    An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. John Corcoran (1995). Tarski, Alfred.”. In Audi Robert (ed.), The Cambridge Dictionary of Philosophy. Cambridge University Press.
    No categories
     
    My bibliography  
     
    Export citation  
  41. John Corcoran (1994). The Founding of Logic. Ancient Philosophy 14 (1):9-24.
  42. J. Corcoran (1992). Logical Methodology: Aristotle and Tarski. Journal of Symbolic Logic 57:374.
     
    My bibliography  
     
    Export citation  
  43. John Corcoran (1991). REVIEW OF Alfred Tarski, Collected Papers, Vols. 1-4 (1986) Edited by Steven Givant and Ralph McKenzie. [REVIEW] MATHEMATICAL REVIEWS 91 (h):01101-4.
  44. J. Corcoran, A. Tarski, Waikoe W. J. Jr & D. Westerstahl (1990). Dept. Of Philosophy University of California at San Diego La Jolla, CA 92093 USA. Linguistics and Philosophy 13:423-475.
     
    My bibliography  
     
    Export citation  
  45. John Corcoran (1989). Argumentations and Logic. ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. John Corcoran (1989). The Inseparability of Logic and Ethics. Free Inquiry 9 (2):37-40.
    This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. John Corcoran & Woosuk Park (1989). Review: Elliott Mendelson, Introduction to Mathematical Logic. [REVIEW] Journal of Symbolic Logic 54 (2):618-619.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. John Corcoran & Woosuk Park (1988). Review: Nino B. Cocchiarella, Logical Investigations of Predication Theory and the Problem of Universals. [REVIEW] Journal of Symbolic Logic 53 (3):991-993.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. John Corcoran (1986). Essay Review. History and Philosophy of Logic 7 (1):65-75.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. John Corcoran (1984). Review: Alfred J. Freddoso, William of Ockham, Henry Schuurman, Ockham's Theory of Truth Conditions. [REVIEW] Journal of Symbolic Logic 49 (1):306-308.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  51. Roderick M. Chisholm, John Corcoran, Jorge Gracia, L. S. Carrier, T. N. Pelegrinis, Alfred L. Ivry, D. S. Clarke, Leo Rauch, Robert Young, Michael J. Loux, Rita Nolan, Gerald Vision, E. D. Klemke, Ruth Anna Putnam, Edward S. Reed, Maurice Mandelbaum, John Wettersten & Rachel Shihor (1983). Book Reviews. [REVIEW] Philosophia 13 (1-2):359-362.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  52. John Corcoran & Michael Scanlan (1982). Review: The Contemporary Relevance of Ancient Logical Theory. [REVIEW] Philosophical Quarterly 32 (126):76 - 86.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  53. John Corcoran & Micheal Scanlan (1982). Critical Notice: Contemporary Relevance of Ancient Logical Theory. Philosophical Quarterly 32 (1):76-86.
  54. John Corcoran (1981). Review: Michael J. Loux, The Ontology of William of Ockham. [REVIEW] Journal of Symbolic Logic 46 (3):667-668.
    Direct download  
     
    My bibliography  
     
    Export citation  
  55. John Corcoran & Michael Scanlon (1981). Jonathan Lear, Aristotle and Logical Theory Reviewed By. Philosophy in Review 1 (2/3):85-91.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  56. John Corcoran (1980). Categoricity. History and Philosophy of Logic 1 (1):187-207.
    After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  57. John Corcoran & Susan Wood (1980). Boole's Criteria for Validity and Invalidity. Notre Dame Journal of Formal Logic 21 (4):609-638.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  58. John Corcoran & Stanley Ziewacz (1979). Identity Logics. Notre Dame Journal of Formal Logic 20 (4):777-784.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  59. John Corcoran & Stewart Shapiro (1978). What is Mathematical Logic? Philosophia 8 (1):79-94.
  60. John Corcoran & John Swiniarski (1978). Logical Structures of Ockham's Theory of Supposition. Franciscan Studies 38 (1):161-183.
    This exposition of ockham's theory of (common, Personal) supposition involves the logical form of the four descent/ascent conditions and the logical relations of these with the three main modes of supposition. Central theses: each condition is a one-Way entailment, Each mode is a truth-Functional combination of conditions, Two of the three modes are not even coextensive with the two-Way entailments commonly taken as their definitions. Ockham's idea of "the singulars" of a general proposition is vague and problematic and the entailment (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  61. John Corcoran & Stewart Shapiro (1976). Review of J. N. Crossley Et Al., What Is Mathematical Logic?. [REVIEW] Philosophy of Science 43 (2):301-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  62. John Corcoran (ed.) (1974). Ancient Logic and its Modern Interpretations. Boston,Reidel.
  63. John Corcoran (1974). Aristotle's Natural Deduction System. In , Ancient Logic and its Modern Interpretations. Boston,Reidel. 85--131.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  64. John Corcoran (1974). A Panel Discussion on the Future Research in Ancient Logical Theory. In , Ancient Logic and its Modern Interpretations. Boston,Reidel. 189--208.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  65. John Corcoran (1974). Aristotelian Syllogisms: Valid Arguments or True Universalized Conditionals? Mind 83 (330):278-281.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  66. John Corcoran (1974). Future Research on Ancient Theories of Communication and Reasoning. In , Ancient Logic and its Modern Interpretations. Boston,Reidel. 185--187.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  67. John Corcoran (1974). Remarks on Stoic Deduction. In , Ancient Logic and its Modern Interpretations. Boston,Reidel. 169--181.
    This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  68. John Corcoran, William Frank & Michael Maloney (1974). String Theory. Journal of Symbolic Logic 39 (4):625-637.
    For each $n > 0$ , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are synonymous in the sense of deBouvere. It is further (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  69. George Weaver & John Corcoran (1974). Logical Consequence in Modal Logic. II. Some Semantic Systems for ${\Rm S}4$. Notre Dame Journal of Formal Logic 15 (3):370-378.
  70. John Corcoran (1973). A Mathematical Model of Aristotle's Syllogistic. Archiv für Geschichte der Philosophie 55 (2):191-219.
    In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  71. John Corcoran (1973). Gaps Between Logical Theory and Mathematical Practice. In Mario Augusto Bunge (ed.), The Methodological Unity of Science. Boston,Reidel. 23--50.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  72. John Corcoran (1973). Meanings of Implication. Dialogos 9 (1):59-76.
    Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  73. John Corcoran (1973). Book Review:Philosophy of Logic Hilary Putnam. [REVIEW] Philosophy of Science 40 (1):131-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  74. John Corcoran & David Levin (1973). Book Review:Conceptual Notation and Related Articles Gottlob Frege, Terrell Ward Bynum. [REVIEW] Philosophy of Science 40 (3):454-.
  75. John Corcoran & John Richards (1973). Book Review:The Theory of Logical Types Irving M. Copi. [REVIEW] Philosophy of Science 40 (2):319-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  76. John Corcoran & Susan B. Wood (1973). The Switches "Paradox" and the Limits of Propositional Logic. Philosophy and Phenomenological Research 34 (1):102-108.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  77. John Corcoran (1972). Completeness of an Ancient Logic. Journal of Symbolic Logic 37 (4):696-702.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  78. John Corcoran (1972). Conceptual Structure of Classical Logic. Philosophy and Phenomenological Research 33 (1):25-47.
  79. John Corcoran (1972). Weak and Strong Completeness in Sentential Logics. Logique Et Analyse 15:429.
    No categories
     
    My bibliography  
     
    Export citation  
  80. John Corcoran (1972). Book Review:Hilbert Constance Reid. [REVIEW] Philosophy of Science 39 (1):106-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  81. John Corcoran (1972). Book Review:Foundations of Mathematics William S. Hatcher. [REVIEW] Philosophy of Science 39 (1):88-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  82. John Corcoran (1972). Book Review:Philosophy of Logic Willard Van Orman Quine. [REVIEW] Philosophy of Science 39 (1):97-.
  83. John Corcoran (1972). Strange Arguments. Notre Dame Journal of Formal Logic 13 (2):206-210.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  84. John Corcoran, William Hatcher & John Herring (1972). Variable Binding Term Operators. Mathematical Logic Quarterly 18 (12):177-182.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  85. John Corcoran & John Herring (1972). Review: Heinz-Dieter Ebbinghaus, Uber eine Pradikatenlogik mit Partiell Definierten Pradikaten und Funktionen. [REVIEW] Journal of Symbolic Logic 37 (3):617-618.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  86. John Corcoran & John Herring (1972). Review: Hao Wang, The Calculus of Partial Predicates and its Extension to Set Theory I. [REVIEW] Journal of Symbolic Logic 37 (3):617-617.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  87. J. Corcoran & John Herring (1971). Notes on a Semantic Analysis of Variable Binding Term Operators. Logique Et Analyse 55:644-657.
    No categories
     
    My bibliography  
     
    Export citation  
  88. John Corcoran (1969). Three Logical Theories. Philosophy of Science 36 (2):153-177.
    This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  89. John Corcoran & George Weaver (1969). Logical Consequence in Modal Logic. Notre Dame Journal of Formal Logic 10 (4):370-384.
    This paper develops a modal, Sentential logic having "not", "if...Then" and necessity as logical constants. The semantics (system of meanings) of the logic is the most obvious generalization of the usual truth-Functional semantics for sentential logic and its deductive system (system of demonstrations) is an obvious generalization of a suitable (jaskowski-Type) natural deductive system for sentential logic. Let a be a set of sentences and p a sentence. "p is a logical consequence of a" is defined relative to the semantics (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
Is this list right?