Profile of Mathematical Logic

Name: Profile of Mathematical Logic
Price: 16.35 USD
Availability: InStock
ISBN: 9780486434759

ISBN-10: 0486434753

ISBN-13: 9780486434759

Edition: N/A

Authors: Howard DeLong

List price: $21.95

30 day, 100% satisfaction guarantee!

Buy new: $18.24

Marketplace

2 new & used from $16.35

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

Readers need only an acquaintance with high school–level math to appreciate this text, which explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its use, and the main results of metatheory and their import. 1971 edition. 22 figures. 19 tables. Appendixes. Bibliography. Indexes.

Book details

List price: $21.95
Publisher: Dover Publications, Incorporated
Publication date: 6/17/2004
Binding: Paperback
Pages: 320
Size: 5.35" wide x 8.50" long x 0.67" tall
Weight: 0.748
Language: English




Historical background of mathematical logic



Introduction



Mathematics before Aristotle



Argumentation before Aristotle



Aristotle's logic



Preliminaries



Immediate inferences



Syllogistic theory



Greek mathematics and logic after Aristotle



Mathematics



Logic



Logic from the Stoics to the nineteenth century



Summary



Period of transition



Introduction



Non-Euclidean geometry



Mathematics and argumentation



Numbers



Analytic geometry



Set theory



Paradoxes



Summary



Mathematical logic



Introduction



Formal axiomatic method



Primary logic: The propositional calculus



General logic: The predicate calculus



Set-theoretic logic: Higher-order predicate calculi



The metatheory of mathematical logic



Introduction



The metatheory of the propositional calculus



The metatheory of the predicate calculus



The theory of recursive functions



The metatheory of arithmetic



Preliminaries



The incompleteness of arithmetic



Consistency and categoricalness



The metatheory of set theory



Philosophical implications of mathematical logic



Introduction



Church's thesis



The nature of indeterminate statements



The problem of unsolved problems



The question of consistency



Logic and philosophy


Epilog


Appendix A


Appendix B


Answers to Problems


Bibliography


Symbol Index


General Index