Aristotle's Demonstrative Logic

  title={Aristotle's Demonstrative Logic},
  author={J. Corcoran},
  journal={History and Philosophy of Logic},
  pages={1 - 20}
  • J. Corcoran
  • Published 2009
  • Philosophy
  • History and Philosophy of Logic
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… Expand
Aristotle’s Prototype Rule-Based Underlying Logic
This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrativeExpand
Impossibility in the Prior Analytics and Plato's dialectic
I argue that, in the Prior Analytics, higher and above the well-known ‘reduction through impossibility’ of figures, Aristotle is resorting to a general procedure of demonstrating throughExpand
Aristotle's Syllogistic and Core Logic
I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that freshExpand
So-called quantificational accounts explicate logical consequence or validity as truth-preservation in all cases, cases being construed as admissible substitutional variants or as admissibleExpand
Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics
In this paper we provide an interpretation of Aristotle's rule for the universal quantifier in Topics Θ 157a34–37 and 160b1–6 in terms of Paul Lorenzen's dialogical logic. This is meant as aExpand
What did Frege take Russell to have proved?
  • J. Woods
  • Computer Science, Philosophy
  • Synthese
  • 2019
In 1902 there arrived in Jena a letter from Russell laying out a proof that shattered Frege’s confidence in logicism, which is widely taken to be the doctrine according to which every truth ofExpand
Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions
Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S(x)→ P(x)] implies its corresponding existentialized conjunction ∃ x [S(x) &Expand
In his biography of James Mill, Alexander Bain made a number of claims with regard to Mill's essay “Government” (1820). First, the essay was a catalyst in the movement for reform, making “in allExpand
Deductions and Reductions Decoding Syllogistic Mnemonics
The syllogistic mnemonic known by its first two words Barbara Celarent introduced a constellation of terminology still used today. This concatenation of nineteen words in four lines of verse made itsExpand
Aristotle’s Logic at the University of Buffalo’s Department of Philosophy
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 ourExpand


Aristotle's underlying logic
  • George Boger
  • Philosophy, Computer Science
  • Greek, Indian and Arabic Logic
  • 2001
This chapter presents Aristotle's system of logic while also revealing the mathematical sophistication of his logical investigations, and describes the statement of his understandings of “formal deducibility’ and “logical consequence” and summarizes the four proof-theoretic accomplishments of his logic investigations. Expand
Aristotle's Prior Analytics and Boole's Laws of Thought
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 logicalExpand
What is a syllogism?
  • T. Smiley
  • Philosophy, Computer Science
  • J. Philos. Log.
  • 1973
If Eukasiewicz's treatment is to accommodate Aristotle’s distinction, he must both show that the distinction makes sense when interpreted as applying to conditionals and that this sense is such as to establish some connection between ostensive and per impossibile conditionals. Expand
Argumentations and logic
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 methodsExpand
Completeness of an Ancient Logic
  • J. Corcoran
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1972
Strong completeness is demonstrated for the Aristotelian system in the sense that every valid argument formable in the language of the system is demonstrable by means of a formal deduction in the system. Expand
‘ΠΡΟΤΑΣΙΣ’ in Aristotle’s Prior Analytics
It has often been claimed that (i) Aristotle’s expression ‘protasis’ means ‘premiss’ in syllogistic contexts and (ii) cannot refer to the conclusion of a syllogism in the Prior Analytics . In thisExpand
Aristotle’s Natural Deduction System
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 is not an axiomatic theory as had previously beenExpand
The essential Peirce : selected philosophical writings
This convenient two-volume reader's edition makes accessible to students and scholars the most important philosophical papers of the brilliant American thinker Charles Sanders Peirce. Volume 2Expand
Logical Form
The notion of the logical form of an expression E is shown to be a semantic notion that can be derived from the notion of the structured meaning of E. This simple idea can be traced to categorialExpand
1 For example, A. R. Lacey, "Quantifier Words", in A. R. Dictionary of Philosophy (Charles Scribner's Sons, N. Y.: 1976); Alex Orenstein, Existence and the Particular Quantifier (Temple U.Expand