A Profile of Mathematical Logic (Paperback)

Howard Delong

ISBN 10: 0486434753 / ISBN 13: 9780486434759

Editore: Dover Publications Inc., New York, 2004

Riguardo questo articolo

Paperback. Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its philosophical implications. No prior knowledge of logic is necessary; readers need only an acquaintance with high school mathematics. The author emphasizes understanding, rather than technique, and focuses on such topics as the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic after more than 2,000 years of traditional logic, the nature of the formal axiomatic method and the reasons for its use, and the main results of metatheory and their philosophic import. The treatment of the Godel metatheorems is especially detailed and clear, and answers to the problems appear at the end. This introduction to mathematical logic explores philosophical issues and Godel's Theorem. Its widespread influence extends to the author of Godel, Escher, Bach, whose Pulitzer Prize-winning book was inspired by this work. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Codice articolo 9780486434759

Dati bibliografici

• Titolo: A Profile of Mathematical Logic (Paperback)
• Editore: Dover Publications Inc., New York
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 0486434753
• ISBN 13: 9780486434759
• Rilegatura: Paperback
• Condizione: new

Descrizione articolo

Riassunto

Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its philosophical implications. No prior knowledge of logic is necessary; readers need only an acquaintance with high school mathematics. The author emphasizes understanding, rather than technique, and focuses on such topics as the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic after more than 2,000 years of traditional logic, the nature of the formal axiomatic method and the reasons for its use, and the main results of metatheory and their philosophic import. The treatment of the Gödel metatheorems is especially detailed and clear, and answers to the problems appear at the end.

Contenuti

1. Historical background of mathematical logic. 2. Period of transition. 3. Mathematical logic. 4. The metatheory of mathematical logic. 5. Philosophical implications of mathematical logic. Epilog. Appendixes. Answers to Problems. Bibliography. Indexes.