Logic & Mathematics

Will Aldred (+12/-11)
Yoav Ravid (+60)
plex (+128) added link to formal proof
Multicore (+16/-9)
Multicore (-176)
ScottL (+672) base version
  • 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.
  • Formal proof - A set of steps from axiom(s) and previous proof(s) which follows the rules of induction of a mathematical system.

MathLogic and logicMathematics 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.

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.