Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Mathematical Logic and Foundations

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

Author:Dave Rusin; The Mathematical Atlas
Description: 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]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.