Aristotle's prototype rule-based underlying logic
type: Item
instance of: scholarly article
title: Aristotle's prototype rule-based underlying logic
zbMATH Open document ID: 1397.01005
author: John Corcoran
published in: Logica Universalis
publication date: 2018-08-06T00:00:00Z
review text: From the pen of the indisputable master interpreter of Aristotle's logic, this is an expository paper on Aristotle's prototype underlying logic, intended for a broad audience of educated readers. It starts with a discussion of Aristotle's demonstrative logic, Aristotle's ``general truth-and-consequence theory of demonstration'' as well as his ``immediate-deduction-chaining theory of deduction.'' There are many references to logic in the 20th century, in particular to the rediscovery of rule-based as opposed to tautology-based deduction. The author is very critical of the reception of Aristotle, and the many misunderstandings of his achievement: ``Major commentators and historians of logic have failed to notice that a general theory of demonstration is to be found in \textit{Analytics}.'' (p.\ 29)
reviewed by: Victor V. Pambuccian
Mathematics Subject Classification ID: 01A20
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03-01
zbMATH DE Number: 6913946
zbMATH Keywords: rule-based deduction
MaRDI profile type: Publication
full work available at URL: s11787-018-0189-4
OpenAlex ID: W2801341432
cites work: The foundations of mathematics. A study in the philosophy of science
cites work: Q4679095
cites work: Completeness of an ancient logic
cites work: Q5181267
cites work: Q4774002
cites work: Aristotle'sPrior Analyticsand Boole'sLaws of Thought
cites work: Schemata: The Concept of Schema in the History of Logic
cites work: Aristotle's Demonstrative Logic
cites work: Existential-import mathematics
cites work: Investigating Knowledge and Opinion
cites work: Q5816762
cites work: Q4831099
cites work: Q3998371
cites work: Q4324747
cites work: A completed system for Robin Smith's incomplete ecthetic syllogistic
cites work: A note concerning the notion of mereological class. Postscript
cites work: Q5805951
cites work: Q3235762
cites work: Q4484515
cites work: Q4267967
cites work: Q4261753
cites work: Q4961808
cites work: What is a syllogism?
cites work: Q3998365
cites work: The Great Formal Machinery Works
DOI: 10.1007/S11787-018-0189-4
description: scientific article; zbMATH DE number 6913946