|
![]() |
|||
|
||||
OverviewThe foundations of mathematics are examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonstandard distinction, completeness, computability, parallel processing and the extremality of models. Full Product DetailsAuthor: Jaakko HintikkaPublisher: Springer Imprint: Springer Edition: Softcover reprint of hardcover 1st ed. 1997 Volume: 3 Dimensions: Width: 15.50cm , Height: 1.30cm , Length: 23.50cm Weight: 0.454kg ISBN: 9789048149230ISBN 10: 9048149231 Pages: 250 Publication Date: 15 December 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of Contents1. What Is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic.- 2. A Revolution in Logic?.- 3. A Revolution in the Foundations of Mathematics?.- 4. Is There Completeness in Mathematics after Gödel?.- 5. Hilbert Vindicated?.- 6. Standard vs. Nonstandard Distinction: A Watershed in the Foundations of Mathematics.- 7. Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics.- 8. The Skeleton in Frege’s Cupboard: The Standard versus Nonstandard Distinction.- 9. An Alternative Concept of Computability.- 10. What is the Logic of Parallel Processing?.- 11. Model Minimization — An Alternative to Circumscription.- 12. New Foundations for Mathematical Theories.ReviewsAuthor InformationJaakko Hintikka is the author or co-author of thirty volumes and of some 300 scholarly articles in mathematical and philosophical logic, epistemology, language theory, philosophy of science, history of ideas and history of philosophy, including Aristotle, Descartes, Leibniz, Kant, Peirce, The Bloomsbury Group, Husserl and Wittgenstein. He has also been active in international scholarly organizations, most recently as the First Vice-President of FISP, Vice-President of IIP and Co-Chair of the American Organizing Committee of the Twentieth World Congress of Philosophy. He has been Editor-in-Chief of the International Journal Synthese and the Managing Editor of Synthese Library since 1965. Tab Content 6Author Website:Countries AvailableAll regions |