Reviewed: one independent reader; copy check clear.
formal logic
formal logic Formal logic is a historically defined approach to logic concerned with the general forms and laws of thinking rather than the special subject matter of particular kinds of knowledge.
Formal logic is a historically defined approach to logic concerned with the general forms and laws of thinking rather than the special subject matter of particular kinds of knowledge. In this source it is often linked with Aristotelian logic and contrasted with material or empirical logic, and in modern usage it includes views that treat thought through concepts and classification or, more abstractly, through affirmation and negation, sometimes in symbolic form.