Computational Aristotelian Logic - Part 3 of 3
Prove propositions (conclusions) from given premises by different standard methods
Klaus Glashoff's Homepage
Contact
-
Aim of this site
-
Short Introduction
-
Remarks on notation
-
References and links
-
Exercises
Step 1:
Insert premises:
Step 3:
Choose syllogistic rule-system:
System proposed by
Syllogisms
Further rules
Method of deduction
//Example:// A(x,y) E(y,z) I(w,z)
Step 2:
Insert conclusion (to be proven):
O(w,x)
ARISTOTLE I:
(Corcoran)
Barbara, Celarent, Darii,
Ferio
E-conv., I-conv.,
A-pconv.
DIRECT, INDIRECT
ARISTOTLE II
(Smiley, Corcoran)
Barbara, Celarent
E-conv., A-pconv.
DIRECT, INDIRECT
LEIBNIZ
Barbara, Celarent, Darii,
Ferio,Barbari, Celaront
A - Identities
DIRECT, INDIRECT
THOM
Barbara, Celarent, Darii,
Ferio, Baroco, Bocardo
E-conv., I-conv.,
A-subalt., E-subalt.
DIRECT
BRILLOWSKI
Barbara, Baroco, Bocardo,
Bamalip, Camenes,
Dimatis, Fresison
A - Identities
DIRECT
Example
-
To Part 1
-
To Part 2
© Klaus Glashoff, 2004