(also called Minor Logic).— The division of logic that studies the form of valid argumentation.  In the Aristotelian Organon, formal logic is treated in On Interpretation and the Prior Analytics.  The Isagoge of Porphyry also addresses topics relevant to formal logic.