Principles of valid inference and correct reasoning
Logic is used in most intellectual activities

Informal logic

Natural language arguments

Formal logic

Inference with purely formal content

Symbolic logic
propositional logic
predicate logic

Mathematical logic
model theory
proof theory
set theory
recursion theory

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License