philosphy...?! hahaaa
It might not be what you expect. I did that shit for one semester also and yeah it fucked me up... Ever heard of logic (no not the software)? It's purest mathematic. Hope you like dealing with formulas and shit...
example:
(Darii) (Aab, Ibc, +Eac)⊢Camestres(Ebc, Ibc)⊢ImpIac
(Ferio) (Eab, Ibc, +Aac)⊢Cesare(Ebc, Ibc)⊢ImpOac
or important things like:
If M belongs to every N but to no X, then neither will N belong to any X. For if M belongs to no X, then neither does X belong to any M; but M belonged to every N; therefore, X will belong to no N (for the first figure has come about). And since the privative converts, neither will N belong to any X. (An. Pr. I.5, 27a9-12)
From this text, we can extract an exact formal proof, as follows:
Step Justification Aristotle's Text
1. MaN If M belongs to every N
2. MeX but to no X,
To prove: NeX then neither will N belong to any X.
3. MeX (2, premise) For if M belongs to no X,
4. XeM (3, conversion of e) then neither does X belong to any M;
5. MaN (1, premise) but M belonged to every N;
6. XeN (4, 5, Celarent) therefore, X will belong to no N (for the first figure has come about).
7. NeX (6, conversion of e) And since the privative converts, neither will N belong to any X.
Happy study!
