Linked from

The 15 pages that link to Formal logic, each with the reason it gives.

• RhetoricCompared with: It evaluates inference validity, while rhetoric also considers audiences and circumstances.

• Gottfried Wilhelm LeibnizNarrower topic: Leibniz envisioned a precise symbolic calculus for reasoning.

• Analytic philosophyNarrower topic: It supplies the technical standards and tools underlying much analytic argument.

• Logical positivismNarrower topic: Positivists used logical analysis to clarify scientific statements and expose invalid arguments.

• Deductive reasoningNarrower topic: It provides the broader discipline in which deductive validity is formally analyzed.

• Automated theorem provingNarrower topic: Automated provers implement formal reasoning within precisely specified logics.

• DialecticCompared with: Formal logic evaluates inference validity, while dialectic often tests claims through exchange and opposition.

• Rudolf CarnapRelated: Its tools let Carnap treat philosophical questions as problems of formal structure.

• Symbolic artificial intelligenceRelated: Logical inference lets symbolic systems derive conclusions from represented premises.

• Proof assistantNarrower topic: A proof assistant implements a formal logic whose rules define acceptable proofs.

• ArgumentNarrower topic: Formal logic analyzes argument structure independently of the subject matter.

• Hegelian dialecticCompared with: Hegel’s dialectic challenges approaches that treat contradiction only as a defect in reasoning.

• Logical formNarrower topic: Logical form is a central object formal logic represents and evaluates.

• Automated reasoningNarrower topic: Automated reasoning represents claims in formal logics and applies their inference rules.

• Informal logicCompared with: Unlike formal logic, informal logic evaluates arguments in ordinary language and context.