82 found
Sort by:
See also:
Profile: John Corcoran (State University of New York, Buffalo)
  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 (2 more)  
     
    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 ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...)
    Direct download (7 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. 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  
  7. 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  
  8. 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  
  9. 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  
  10. 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  
  11. 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  
  12. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  13. John Corcoran (2010). Review of Striker Translation of Aristotle's PRIOR ANALYTICS. [REVIEW] Notre Dame Philosophical Reviews:1-13.
    This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  15. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  16. 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  
  17. 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  
  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). 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.
  22. 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  
  23. John Corcoran (2006). An Essay on Knowledge and Belief. International Journal of Decision Ethics (2):125-144.
    This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. John Corcoran (2006). C. I. Lewis: History and Philosophy of Logic. Transactions of the Charles S. Peirce Society 42 (1):1-9.
    C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  25. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  26. 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  
  27. John Corcoran (2005). Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand. Manuscrito 28 (1).
    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, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  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 (5 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). Information-Theoretic Logic and Transformation-Theoretic Logic,. In R. A. M. M. (ed.), Fragments in Science,. World Scientific Publishing Company,. 25-35.
    Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. John Corcoran (1999). The Logical Form of Quantifier Phrases: Quantifier-Sortalvariable. Bulletin of Symbolic Logic 5:418-419.
    Direct download  
     
    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.
    Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. 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.
  39. 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  
  40. 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  
  41. 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  
  42. 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  
  43. John Corcoran (1986). Essay Review. History and Philosophy of Logic 7 (1):65-75.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. 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  
  45. 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  
  46. 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  
  47. John Corcoran & Micheal Scanlan (1982). Critical Notice: Contemporary Relevance of Ancient Logical Theory. Philosophical Quarterly 32 (1):76-86.
  48. 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  
  49. 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  
  50. 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  
1 — 50 / 82