Mathematical Logic and Foundations
Library Home 
Full Table of Contents 
Suggest a Link 
Library Help
http://www.math.niu.edu/~rusin/knownmath/index/03XX.html  


Dave Rusin; The Mathematical Atlas  
A short article designed to provide an introduction to mathematical deduction. The subject has origins in philosophy, and indeed it is only by nonmathematical argument that one can show the usual rules for inference and deduction (law of excluded middle; cut rule; etc.) are valid. It is also a legacy from philosphy that we can distinguish semantic reasoning ("what is true?") from syntactic reasoning ("what can be shown?"). The first leads to Model Theory, the second, to Proof Theory. History; applications and related fields and subfields; textbooks, reference works, and tutorials; software and tables; other web sites with this focus.  


Levels:  College 
Languages:  English 
Resource Types:  Articles 
Math Topics:  Logic/Foundations 
[Privacy Policy] [Terms of Use]
© 1994 The Math Forum at NCTM. All rights reserved.
http://mathforum.org/