# Aristotle's Demonstrative Logic

@article{Corcoran2009AristotlesDL, title={Aristotle's Demonstrative Logic}, author={J. 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… Expand

#### 25 Citations

Aristotle’s Prototype Rule-Based Underlying Logic

- Computer Science
- Logica Universalis
- 2018

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 demonstrative… Expand

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… Expand

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… Expand

QUANTIFICATIONAL ACCOUNTS OF LOGICAL CONSEQUENCE 1: FROM ARISTOTLE TO BOLZANO

- Mathematics
- 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… Expand

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… Expand

What did Frege take Russell to have proved?

- 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 of… Expand

Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions

- Mathematics
- 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) &… Expand

INDUCTION, DEDUCTION, AND JAMES MILL'S “GOVERNMENT”

- Philosophy
- Modern 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… Expand

Deductions and Reductions Decoding Syllogistic Mnemonics

- 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… Expand

Aristotle’s Logic at the University of Buffalo’s Department of Philosophy

- Sociology
- 2009

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… Expand

#### References

SHOWING 1-10 OF 85 REFERENCES

Aristotle's underlying logic

- 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

- 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… Expand

What is a syllogism?

- 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

- Mathematics
- 1989

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… Expand

Completeness of an Ancient Logic

- 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

- Mathematics
- 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… Expand

Aristotle’s Natural Deduction System

- Mathematics
- 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… Expand

The essential Peirce : selected philosophical writings

- Philosophy
- 1992

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 2… Expand

Logical Form

- 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… Expand

EXISTENTIAL IMPORT

- 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.… Expand