Logic

The study of valid inference and formal systems of reasoning.

Parent category: Philosophy

Articles (3)

• Gödel's Incompleteness Theorems: What They Prove
  Gödel's incompleteness theorems show that no consistent formal system for basic arithmetic can prove every truth about numbers, or prove its own consistency.
• Modus Ponens and Modus Tollens
  The two most basic valid forms of conditional reasoning, and the fallacies that mimic them.
• Logical Fallacies
  Common errors in reasoning — formal and informal — with the standard catalogue and its caveats.

All categories