Difference between revisions of "User:ScottL"

From Lesswrongwiki
Jump to: navigation, search
(base version)
(removed content)
Line 1: Line 1:
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.

Revision as of 17:51, 23 August 2015