Linked from

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

• 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.

• 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.

• 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.