|
|
| Line 1: |
Line 1: |
| − | {{wikilink|Maths/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/ Second-Order 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.
| |
