From Lesswrongwiki
Revision as of 17:50, 23 August 2015 by ScottL (talk | contribs) (base version)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Wikipedia has an article about

Math and logic are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.

Blog posts

See also

  • Valid argument - An argument is valid when it contains no logical fallacies
  • Sound argument - an argument that is valid and whose premises are all true. In other words, the premises are true and the conclusion necessarily follows from them, making the conclusion true as well.