Document Type

Paper

Start Date

15-5-1999 9:00 AM

End Date

17-5-1999 5:00 PM

Abstract

We can now recognize Aristotle's many accomplishments in logical theory, not the least of which is treating the deduction process itself as a subject matter and thus establishing the science of logic. Aristotle took logic to be that part of epistemolo gy used to establish knowledge of logical consequence. Prior Analytics is a metalogical treatise on his syllogistic system in which Aristotle modelled his deduction system to demonstrate certain logical relationships among its rules. Aristotle's n otion of substitution distinguishes logical syntax from semantics and enabled him to distinguish validity from deducibility sufficiently to note the completeness of his logic.

Creative Commons License

Creative Commons Attribution 4.0 International License
This work is licensed under a Creative Commons Attribution 4.0 International License.

Response to Submission

John Woods, Commentary on Boger

Reader's Reactions

James B. Freeman, Commentary on Blair (May 1999)

Included in

Philosophy Commons

Share

COinS
 
May 15th, 9:00 AM May 17th, 5:00 PM

Aristotle: an ancient mathematical logician

We can now recognize Aristotle's many accomplishments in logical theory, not the least of which is treating the deduction process itself as a subject matter and thus establishing the science of logic. Aristotle took logic to be that part of epistemolo gy used to establish knowledge of logical consequence. Prior Analytics is a metalogical treatise on his syllogistic system in which Aristotle modelled his deduction system to demonstrate certain logical relationships among its rules. Aristotle's n otion of substitution distinguishes logical syntax from semantics and enabled him to distinguish validity from deducibility sufficiently to note the completeness of his logic.