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
85 items found.
Sort by:
  1. 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  
  2. 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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. John Corcoran (2012). A Farewell Letter To My Students. Philosophy Now 92:18-18.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. J. Corcoran & G. Boger (2011). Protasis in Prior Analytics: Proposition or Premise. Bulletin of Symbolic Logic 17:151 - 2.
     
    My bibliography  
     
    Export citation  
  5. John Corcoran (2011). Contra-Argumento/Contraejemplo. In. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 137--141.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. John Corcoran (2011). Deducción/Deducibilidad. In. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 168--169.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. John Corcoran (2011). Forma lógica/Formalización. In. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 257--258.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. 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, (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. John Corcoran (2011). Valor de Verdad. In. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 627--629.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. 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  
  11. 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  
  12. 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  
  13. 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  
  14. 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..
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. 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  
  16. J. Corcoran (2008). Aristotle's Many-Sorted Logic. Bulletin of Symbolic Logic 14:155-156.
     
    My bibliography  
     
    Export citation  
  17. John Corcoran (2008). Meanings of Form. Manuscrito 31 (1).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. John Corcoran, Schema. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. 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  
  20. 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  
  21. 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  
  22. 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  
  23. John Corcoran (2006). C. I. Lewis: History and Philosophy of Logic. Transactions of the Charles S. Peirce Society 42 (1):1-9.
  24. 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  
  25. 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  
  26. J. Corcoran (2005). Counterexamples and Proexamples. Bulletin of Symbolic Logic 11:460.
    No categories
     
    My bibliography  
     
    Export citation  
  27. John Corcoran (2005). Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand. Manuscrito 28 (1).
  28. John Corcoran (2004). Review of" Michael Dummett". [REVIEW] Essays in Philosophy 5 (2):7.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. John Corcoran (2004). The Principle of Wholistic Reference. Manuscrito 27 (1).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  31. John Corcoran (1999). Critical Thinking and Pedagogical License. Manuscrito 22 (2):109.
    No categories
     
    My bibliography  
     
    Export citation  
  32. John Corcoran (1999). The Logical Form of Quantifier Phrases: Quantifier-Sortalvariable. Bulletin of Symbolic Logic 5:418-419.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. J. Corcoran (1996). Semantic Omega Properties and Mathematical Induction. Bulletin of Symbolic Logic 2:468.
     
    My bibliography  
     
    Export citation  
  34. 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  
  35. 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  
  36. John Corcoran (1995). Tarski, Alfred.”. In Audi Robert (ed.), The Cambridge Dictionary of Philosophy. Cambridge University Press.
    No categories
     
    My bibliography  
     
    Export citation  
  37. John Corcoran (1994). The Founding of Logic. Ancient Philosophy 14 (1):9-24.
  38. J. Corcoran (1992). Logical Methodology: Aristotle and Tarski. Journal of Symbolic Logic 57:374.
     
    My bibliography  
     
    Export citation  
  39. 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.
  40. 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  
  41. John Corcoran (1989). Argumentations and Logic. ARGUMENTAION 3 (1):17-43.
  42. John Corcoran (1989). The Inseparability of Logic and Ethics. Free Inquiry 9 (2):37-40.
    No categories
     
    My bibliography  
     
    Export citation  
  43. 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  
  44. 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  
  45. John Corcoran (1986). Essay Review. History and Philosophy of Logic 7 (1):65-75.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. 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  
  47. 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  
  48. 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  
  49. John Corcoran & Micheal Scanlan (1982). Critical Notice: Contemporary Relevance of Ancient Logical Theory. Philosophical Quarterly 32 (1):76-86.
  50. John Corcoran (1981). Review: Michael J. Loux, The Ontology of William of Ockham. [REVIEW] Journal of Symbolic Logic 46 (3):667-668.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  51. 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  
  52. 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  
  53. 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  
  54. 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  
  55. John Corcoran & Stewart Shapiro (1978). What is Mathematical Logic? Philosophia 8 (1):79-94.
  56. 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  
  57. 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  
  58. John Corcoran (ed.) (1974). Ancient Logic and its Modern Interpretations. Boston,Reidel.
  59. John Corcoran (1974). Aristotle's Natural Deduction System. In. In , Ancient Logic and its Modern Interpretations. Boston,Reidel. 85--131.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  60. John Corcoran (1974). A Panel Discussion on the Future Research in Ancient Logical Theory. In. In , Ancient Logic and its Modern Interpretations. Boston,Reidel. 189--208.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  61. 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  
  62. John Corcoran (1974). Future Research on Ancient Theories of Communication and Reasoning. In. In , Ancient Logic and its Modern Interpretations. Boston,Reidel. 185--187.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  63. John Corcoran (1974). Remarks on Stoic Deduction. In. In , Ancient Logic and its Modern Interpretations. Boston,Reidel. 169--181.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  64. 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  
  65. 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.
  66. John Corcoran (1973). A Mathematical Model of Aristotle's Syllogistic. Archiv für Geschichte der Philosophie 55 (2):191-219.
  67. John Corcoran (1973). Gaps Between Logical Theory and Mathematical Practice. In. In Mario Augusto Bunge (ed.), The Methodological Unity of Science. Boston,Reidel. 23--50.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  68. John Corcoran (1973). Meanings of Implication. Dialogos 9 (1):59-76.
  69. 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  
  70. John Corcoran & David Levin (1973). Book Review:Conceptual Notation and Related Articles Gottlob Frege, Terrell Ward Bynum. [REVIEW] Philosophy of Science 40 (3):454-.
  71. 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  
  72. 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  
  73. John Corcoran (1972). Completeness of an Ancient Logic. Journal of Symbolic Logic 37 (4):696-702.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  74. John Corcoran (1972). Conceptual Structure of Classical Logic. Philosophy and Phenomenological Research 33 (1):25-47.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  75. John Corcoran (1972). Weak and Strong Completeness in Sentential Logics. Logique Et Analyse 15:429.
    No categories
     
    My bibliography  
     
    Export citation  
  76. John Corcoran (1972). Book Review:Hilbert Constance Reid. [REVIEW] Philosophy of Science 39 (1):106-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  77. 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  
  78. John Corcoran (1972). Book Review:Philosophy of Logic Willard Van Orman Quine. [REVIEW] Philosophy of Science 39 (1):97-.
  79. John Corcoran (1972). Strange Arguments. Notre Dame Journal of Formal Logic 13 (2):206-210.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  80. 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  
  81. 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  
  82. 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  
  83. 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  
  84. 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  
  85. 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?