Aristotle's Demonstrative Logic

@article{Corcoran2009AristotlesDL,
  title={Aristotle's Demonstrative Logic},
  author={John Corcoran},
  journal={History and Philosophy of Logic},
  year={2009},
  volume={30},
  pages={1 - 20}
}
  • John Corcoran
  • Published 21 January 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… 
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 through
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 fresh
QUANTIFICATIONAL ACCOUNTS OF LOGICAL CONSEQUENCE 1: FROM ARISTOTLE TO BOLZANO
So-called quantificational accounts explicate logical consequence or validity as truth-preservation in all cases, cases being construed as admissible substitutional variants or as admissible
Comprehension, Demonstration, and Accuracy in Aristotle
: This paper discusses the relation between νοῦς (the knowledge of scientific principles) and ἐπιστήμη ἀποδεικτική (the knowledge of demonstrable truths) in Aristotle’s philosophy of science. I argue
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 a
What did Frege take Russell to have proved?
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 of
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) &
Proofs by Reductio ad Impossibile in Aristotle’s Prior Analytics
This paper aims at clarifying the procedure of proofs by reductio ad impossibile in Aristotle’s Prior Analytics, especially elucidating what can be taken as impossibility in such proofs. Traditional
INDUCTION, DEDUCTION, AND JAMES MILL'S “GOVERNMENT”
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 all
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 its
...
...

References

SHOWING 1-10 OF 82 REFERENCES
Aristotle's underlying logic
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 logical
What is a syllogism?
TLDR
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.
Completeness of an Ancient Logic
TLDR
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.
‘ΠΡΟΤΑΣΙΣ’ 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 this
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 been
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 categorial
EXISTENTIAL IMPORT
1 For example, A. R. Lacey, "Quantifier Words", in A. R. Lacey.vi Dictionary of Philosophy (Charles Scribner's Sons, N. Y.: 1976); Alex Orenstein, Existence and the Particular Quantifier (Temple U.
Formal Logic.
FRANK PLUMPTON RAMSEY, recognised as a leader of Cambridge thought at the age of sixteen, died at the age of twenty-six. This volume contains his chief writings on logic and philosophy, about half of
Truth and proof.
TLDR
The notion of truth and the notion of proof are discussed: the relationship between these two notions is discussed and the way the material has been arranged and knitted together is discussed.
...
...