1. (n.) The science or art of exact reasoning, or of pure and formal thought\, or of the laws according to which the processes of pure thinking should be conducted; the science of the formation and application of general notions; the science of generalization, judgment, classification, reasoning, and systematic arrangement; correct reasoning.

2. (n.) A treatise on logic; as, Mill's Logic.

Aristotelian logic Boolean algebra Ramistic logic admissibility aesthetics algebra of classes algebra of relations axiology casuistry common sense cosmology deduction dialectic dialectics doctrine of inference doctrine of terms epistemological logic epistemology ethics experimental logic first philosophy formal logic gnosiology good sense intelligence judiciousness justifiability justness logicality logicalness logics logistic material logic mathematical logic mental philosophy metaphysics moral philosophy ontology phenomenology philosophastry philosophic doctrine philosophic system philosophic theory philosophical inquiry philosophical speculation philosophy plausibility practicality presence of mind propositional calculus psychological logic psychologism ratiocination rationality reason reasonability reasonableness reasoning school of philosophy school of thought science of being sense sensibleness set theory sophistry sound sense soundness sweet reason theory of beauty theory of knowledge value theory wisdom