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} }
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…
46 Citations
Impossibility in the Prior Analytics and Plato's dialectic
- Philosophy
- 2015
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
- Philosophy
- 2014
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
- Philosophy
- 2014
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
- PhilosophyJournal of the History of Philosophy
- 2020
: 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
- Philosophy
- 2016
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?
- PhilosophySynthese
- 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 of…
Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions
- Philosophy
- 2015
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
- PhilosophyJournal of Ancient Philosophy
- 2021
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”
- Political ScienceModern Intellectual History
- 2015
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
- Philosophy
- 2018
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 Prior Analytics and Boole's Laws of Thought
- Philosophy
- 2003
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?
- PhilosophyJ. 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.
Completeness of an Ancient Logic
- PhilosophyJ. 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.
‘ΠΡΟΤΑΣΙΣ’ in Aristotle’s Prior Analytics
- Philosophy
- 2011
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
- Philosophy
- 1974
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
- Philosophy
- 2005
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
- Philosophy
- 2010
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.
- HistoryNature
- 1931
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.
- PhilosophyScientific American
- 1969
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.