Open Access
Summer 1999 Reconciling Aristotle and Frege
Alex Orenstein
Notre Dame J. Formal Logic 40(3): 391-413 (Summer 1999). DOI: 10.1305/ndjfl/1022615618

Abstract

An account of Aristotle's syllogistic (including a full square of opposition and allowing for empty nouns) as an integral part of first-order predicate logic is lacking. Some say it is not possible. It is not found in the tradition stemming from Łukasiewicz's attempt nor in less formal approaches such as Strawson's. The Łukasiewicz tradition leaves Aristotle's syllogistic as an autonomous axiomatized system. In this paper Aristotle's syllogistic is presented within first-order predicate logic with special restricted quantifiers. The theory is not motivated primarily by historical considerations but as an accurate account of categorical sentences along lines suggested by recent work on natural language quantifiers and themes from supposition theory. It provides logical forms which conform to grammatical ones and is intended as a rival to accounts of quantifiers in natural language that appeal to binary quantifiers, for example, Wiggins or to restricted quantifiers, for example, Neale.

Citation

Download Citation

Alex Orenstein. "Reconciling Aristotle and Frege." Notre Dame J. Formal Logic 40 (3) 391 - 413, Summer 1999. https://doi.org/10.1305/ndjfl/1022615618

Information

Published: Summer 1999
First available in Project Euclid: 28 May 2002

zbMATH: 1007.03005
MathSciNet: MR1845623
Digital Object Identifier: 10.1305/ndjfl/1022615618

Subjects:
Primary: 03B20
Secondary: 03-03 , 03A05

Rights: Copyright © 1999 University of Notre Dame

Vol.40 • No. 3 • Summer 1999
Back to Top