TrÏvÎum Φ Quadrívìum ~ CrÏtÎcal-Thïnkîng Deductïon~Logïc~PREDÍCATÌOÑ

Aristotle
(384–322 BC)

AIEO Square - Aristotelian Traditional Opposition:

A : Affirm All,
E : Negate All,
I : Affirm some,
O : Negate some,

S : Subject,
M : Middle Terms,
∴ : Therefore,
P : Predicate;

 1st   2nd   3rd   4th
M P   P M   M P   P M
S M   S M   M S   M S
     ∴     ∴     ∴     ∴
S P    S P    S P    S P

Five Predicables: Genus, Specific Difference, Species, Proper Accident, Non-Proper Accident;

Ten Categories: Essence, Quantity, Qualifications, Relative to some thing, Where, When, Relative Position, Having, Doing or Action, Being affected;

AAA-1, EAE-1, AII-1, EIO-1, AAI-1, EAO-1, EAE-2, AEE-2, EIO-2, AOO-2, EAO-2, AEO-2, AAI-3, EAO-3, IAI-3, AII-3, EIO-3, OAO-3, AAI-4, AEE-4, IAI-4, EAO-4, EIO-4, AEO-4.

Song / Mnemonic: "Barbara Celarent Darii Ferio Barbari Celaront Cesare Camestres Festino Baroco Cesaro Camestros Darapti Felapton Disamis Datisi Ferison Bocardo Bamalip Calemes Dimatis Fesapo Fresison Calemos."

☯️'BArbArA CelArent DArïï Ferïo BArbArï CelAront Φ CesAre CAmestres Festïno BAroco CesAro CAmestros Φ DArAptï FelApton DïsAmïs DAtïsï Ferïson BocArdo Φ BAmAlïp CAlemes DïmAtïs FesApo Fresïson CAlemos'☯️!

AAA-1, EAE-1, AII-1, EIO-1, AAI-1, EAO-1,
EAE-2, AEE-2, EIO-2, AOO-2, EAO-2, AEO-2,
AAI-3, EAO-3, IAI-3, AII-3, EIO-3, OAO-3,
AAI-4, AEE-4, IAI-4, EAO-4, EIO-4, AEO-4.

1st:
Barbara (AAA-1): All M is P. All S is M. ∴ All S is P.
Celarent (EAE-1): No M is P. All S is M. ∴ No S is P.
Darii (AII-1): All M is P. Some S is M. ∴ Some S is P.
Ferio (EIO-1): No M is P. Some S is M. ∴ Some S is not P.
*Barbari (AAI-1): All M is P. All S is M. ∴ Some S is P.
*Celaront (EAO-1): No M is P. All S is M. ∴ Some S is not P.

2nd:
Cesare (EAE-2): No P is M. All S is M. ∴ No S is P.
Camestres (AEE-2): All P is M. No S is M. ∴ No S is P.
Festino (EIO-2): No P is M. Some S is M. ∴ Some S is not P.
Baroco (AOO-2): All P is M. Some S is not M. ∴ Some S is not P.
*Cesaro (EAO-2): No P is M. All S is M. ∴ Some S is not P.
*Camestros (AEO-2): All P is M. No S is M. ∴ Some S is not P.

3rd:
*Darapti (AAI-3): All M is P. All M is S. ∴ Some S is P.
*Felapton (EAO-3): No M is P. All M is S. ∴ Some S is not P.
Disamis (IAI-3): Some M is P. All M is S. ∴ Some S is P.
Datisi (AII-3): All M is P. Some M is S. ∴ Some S is P.
Ferison (EIO-3): No M is P. Some M is S. ∴ Some S is not P.
Bocardo (OAO-3): Some M is not P. All M is S. ∴ Some S is not P.

4th:
*Bamalip (AAI-4): All P is M. All M is S. ∴ Some S is P.
Calemes (AEE-4): All P is M. No M is S. ∴ No S is P.
Dimatis (IAI-4): Some P is M. All M is S. ∴ Some S is P.
*Fesapo (EAO-4): No P is M. All M is S. ∴ Some S is not P.
Fresison (EIO-4): No P is M. Some M is S. ∴ Some S is not P.
*Calemos (AEO-4): All P is M. No M is S. ∴ Some S is not P.

*: requires Existence, I like Objectivism without laissez faire on capitalism.

Kybalion The 7 Hermetic Principles of Natural Law:
Mind, Correspondence, Vibration, Polarity, Cause & Effect, Gender, Rhythm.

The 7 Stages of Hermetic Psycho-Spiritual Alchemy:
Calcination, Dissolution, Separation, Conjunction, Fermentation, Distillation, Coagulation.

it's Not Heuristics; heuristic technique to problem solving is a mental shortcut, rule of thumb, a pragmatic method that is not fully optimized, perfected, or rationalized.

Links:
•Wikipedia -List of Arguments List of Valid Thinking Forms
•Wikipedia -Syllogistics in Venn Chart of 24 Thinking Forms in Venn Diagrams
•Square of Opposition PhilosophyALevel.com
•Square of Opposition Stanford University
•Trivium Logic The Amateur Logician
•5 Predicables The Amateur Logician
•10 Categories The Amateur Logician
•in Defense of Bramantip - The Friesian "... So only if P is the Empty Set, which is meaningless in Aristotelian logic, would Bramantip be invalid."
•Categories_(Aristotle) Wikipedia
•Categories_(Aristotle) Stanford University
•Trivium Education The Trivium Method
•Cicero / Trivium Rhetoric Wikipedia
•Cicero / Trivium Rhetoric Stanford University