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