

Line 1: 
Line 1: 
−  {{wikilinkMaths/Logic}}
 
−  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==
 
−  *[http://lesswrong.com/lw/f43/proofs_implications_and_models/ Proofs, Implications, and Models]
 
−  *[http://lesswrong.com/lw/f4e/logical_pinpointing/ Logical Pinpointing]
 
−  *[http://lesswrong.com/lw/g0i/standard_and_nonstandard_numbers/ Standard and Nonstandard Numbers]
 
−  *[http://lesswrong.com/lw/g1y/godels_completeness_and_incompleteness_theorems/ Gödel's Completeness and Incompleteness Theorems]
 
−  *[http://lesswrong.com/lw/g7n/secondorder_logic_the_controversy/ SecondOrder Logic: The Controversy]
 
− 
 
−  ==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.
 