⇒ [PDF] The Principles of Mathematics Revisited Jaakko Hintikka Books

The Principles of Mathematics Revisited Jaakko Hintikka Books

Download As PDF : The Principles of Mathematics Revisited Jaakko Hintikka Books

This book, written by one of philosophy's preeminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. Hintikka's new logic is highly original and will prove appealing to logicians, philosophers of mathematics, and mathematicians concerned with the foundations of the discipline.

The Principles of Mathematics Revisited Jaakko Hintikka Books

This book re-examines first-order logic as it has been applied to the foundations of mathematics. But it is much more than that. If you are interested in the human decisions behind why logics were built as they were, if you want to understand the impact of Godel's Incompleteness Theorem, if you are interested in understanding philosophy of inferential systems in general, then you will find this book quite profound and useful.
Requirements for reading this book are roughly: a general knowledge of syllogistic and first-order predicate logic, an idea of what Godel's theorem is about and the concept of godel-numbering, some philosophy (e.g., ontology vs. epistemology), but mostly a keen interest at learning about logic and it's foibles and potentials.
Chapter 1 begins with the Hilbert program, and the attempt at axiomatization in general. Chapter 5 clears up alot of confusion about the Godel Incompleteness theorem and what it really means. He delineates between descriptive, semantic, deductive and Hilbertian completeness notions, and describes their inter-relatedness and Godel's theorem's role. These chapters alone are useful for gaining deeper understanding of the problems that arise in syntactic axiomatic deductive systems.
Chapter 7 is on the Liar Paradox, and he offers a unique solution to that based not upon Austinian notions, but rather based upon Hintikka's IF ("independence-friendly") first-order logic which avoids resorting to infinities or relying on any semantic re-interpretation (Hintikka uses a simple formal statement "~T[d]" where d is the godel-number of that statement, as the basis of the discussion).
He then goes on to discuss the presumed role of axiomatic set theory and chips away at it's pretense as a secure foundational approach.
But this merely scratches the surface. The book is primarily about the human decisions that were made, the reasoning behind them and why/where they failed. This is part of what makes it so readable and engaging. For Hintikka, logic and math seem to be very human activities, and there is no attempt to sanitize logic as being something pure or absolute.
As an explication of human decision-making in logic, I think this book has important insights buried within and consequences for the inferential world of logic and mathematics, as well as reasoning in general. It will take several readings to grasp it's profound implications.
'IF logic' itself (chapter 3) is a ridiculously simple and brilliant enhancement to first-order predicate logic, produced merely by lifting the mandatory left-to-right scoping restrictions Frege had placed on quantifiers in the syntax. And he extends (no pun intended) that notion by similarly lifting restrictions on mandatory scoping across operators as well. What arises looks very much like ordinary predicate logic, but the scoping independence opens up new vitality to the logic that makes it's applicability broader, as well as philosophically more interesting.
IF logic, in particular, is more amenable to being about imperfect information, and information independence (hence "independence-friendly logic"). Hintikka's version of truth-definition is about a verification game (as in game theory), not a Tarskian retreat to a metalevel of formalism. Throughout, there are these kinds of comments and concepts on relating logic back to the world.
IF logic is an intriguing example of how a subtle change in rules of syntax can have large consequences, and Hintikka is definitely pushing for it as -the- preferable first-order logic (actually, family of logics) over standard predicate logic. (And for game theoretical semantics and model theory as his preferred meta framework.) However, Hintikka's salesmanship aside, the insights in the book are not dependant on IF as being -the- alternative, but as a demonstration of those insights.
As a non-mathematician/non-logician, I had braced myself for a slog through a dry, tough read (particularly since there are nearly two decades of rust accumulated on my predicate logic skills) despite the positive reviews I had read on Amazon, but was pleasantly surprised at the lively writing style and also the modicum of formulae, with no tedious proofs to sweat over. Even the final chapter on "Epistemology of Mathematical Objects" is quite readable. And with some chapter headings like "Who's Afraid of Alfred Tarski?" and "Axiomatic Set Theory: Fraenkelstein's Monster?" you know the author enjoys his subject matter. :)

Product details Printed Access Code Publisher Cambridge University Press (December 15, 2009) Language English ISBN-10 0511624913

Tags : Amazon.com: The Principles of Mathematics Revisited (9780511624919): Jaakko Hintikka: Books,Jaakko Hintikka,The Principles of Mathematics Revisited,Cambridge University Press,0511624913,Philosophy of mathematics,SCIENCE Philosophy & Social Aspects,Social & political philosophy
People also read other books :

• Quick And Easy Iced Coffee Recipes The KISS Guide Book 11 edition by GenesisXCreations Publishing Cookbooks Food Wine eBooks
• Premier amour (Audible Audio Edition) Samuel Beckett Michaël Lonsdale Éditions Thélème Books
• Gathering Clouds The Cloud Brothers Volume 1 James Field 9788293174097 Books
• Auxiliary Hero Corps 1 edition by Charles Eugene Anderson Children eBooks

The Principles of Mathematics Revisited Jaakko Hintikka Books Reviews

I read this book last year and I found it both entertaining and interesting, but only recently I was struck by how profound it is. I find Mr. Hintikka's insight into the dual use of logic (description vs. inference) and the conflict it caused in the development of logics (expressivity vs. axiomatic completeness) fascinating. He decisively resolves this conflict in favour of expressivity by introducing a brand of logic which is amazingly expressive yet non-axiomatizable. So, instead of proving propositions, we validate them through calculations in the semantic model.
I don't think this book will have the impact it should, only because the philosophical-logical establishment is already entrenched in certain ways of thinking that it can not abandon. And I think Mr. Hintikka is painfully aware of this. His tone is polemical, almost vitriolic at times, and it has a certain voice-of-reason-crying-in-the-wilderness streak to it. While entertaining, the style detracts from the importance of the book.
I consider "The Principles of Mathematics Revisited" one of the most important books on logic ever. Its impact will not be immediate but it should eventually be momentous.
Hintikka argues in this book that a novel extension of the predicate calculus, called "independence-friendly" (IF) logic, has a better claim to being the "core" of mathematical logic than the predicate calculus (PC) itself. Besides presenting his formalism, he rethinks the entire history and philosophical foundation of logic based on insights from independence-friendly logic. IF logic is similar to the PC except that variables bound by a new kind of independence-friendly existential quantifier refer to values that need not be functionally dependent on outer universal quantifiers. This is contrary to the PC, in which an inner existentially-quantified variable always depends functionally on all outer universal quantifiers. The definition of truth of a (closed) interpreted formula in IF is based not on Tarski's classic definition, but on the existence of a winning strategy in a formal two-person game associated with the formula. The game associated with a PC formula is always a perfect-information game, and the game-theoretic truth definition is equivalent to Tarski's. But for those IF formulae containing the independence-friendly existential quantifiers the associated game is not generally perfect-information, and truth is not definable by a Tarski-like definition.
IF is a pure extension of the PC in the sense that the PC formulae (those with only standard--not independence-friendly--existential quantifiers) are a subset of IF formulae, and all valid PC formulae are valid as IF formulae. But the resemblance between the two logics ends there. For example, IF, unlike PC, is not recursively axiomatizable, and the law of excluded middle fails. Hintikka argues convincingly that these facts are not defects in IF, but actually liberating.
I am a computer scientist with a wide background in logics. I found the book exhilerating, and convincing in its claims. I would prefer an improved notation for IF, but that is a quibble; the logic itself is fascinating and deeply thought-provoking. Despite its unexpected properties IF is not a fringe or exotic logic; I find it reasonable to agree with Hintikka when he says that IF is indeed the true core of formal logic. Required reading for anyone interested in logic.
This book re-examines first-order logic as it has been applied to the foundations of mathematics. But it is much more than that. If you are interested in the human decisions behind why logics were built as they were, if you want to understand the impact of Godel's Incompleteness Theorem, if you are interested in understanding philosophy of inferential systems in general, then you will find this book quite profound and useful.
Requirements for reading this book are roughly a general knowledge of syllogistic and first-order predicate logic, an idea of what Godel's theorem is about and the concept of godel-numbering, some philosophy (e.g., ontology vs. epistemology), but mostly a keen interest at learning about logic and it's foibles and potentials.
Chapter 1 begins with the Hilbert program, and the attempt at axiomatization in general. Chapter 5 clears up alot of confusion about the Godel Incompleteness theorem and what it really means. He delineates between descriptive, semantic, deductive and Hilbertian completeness notions, and describes their inter-relatedness and Godel's theorem's role. These chapters alone are useful for gaining deeper understanding of the problems that arise in syntactic axiomatic deductive systems.
Chapter 7 is on the Liar Paradox, and he offers a unique solution to that based not upon Austinian notions, but rather based upon Hintikka's IF ("independence-friendly") first-order logic which avoids resorting to infinities or relying on any semantic re-interpretation (Hintikka uses a simple formal statement "~T[d]" where d is the godel-number of that statement, as the basis of the discussion).
He then goes on to discuss the presumed role of axiomatic set theory and chips away at it's pretense as a secure foundational approach.
But this merely scratches the surface. The book is primarily about the human decisions that were made, the reasoning behind them and why/where they failed. This is part of what makes it so readable and engaging. For Hintikka, logic and math seem to be very human activities, and there is no attempt to sanitize logic as being something pure or absolute.
As an explication of human decision-making in logic, I think this book has important insights buried within and consequences for the inferential world of logic and mathematics, as well as reasoning in general. It will take several readings to grasp it's profound implications.
'IF logic' itself (chapter 3) is a ridiculously simple and brilliant enhancement to first-order predicate logic, produced merely by lifting the mandatory left-to-right scoping restrictions Frege had placed on quantifiers in the syntax. And he extends (no pun intended) that notion by similarly lifting restrictions on mandatory scoping across operators as well. What arises looks very much like ordinary predicate logic, but the scoping independence opens up new vitality to the logic that makes it's applicability broader, as well as philosophically more interesting.
IF logic, in particular, is more amenable to being about imperfect information, and information independence (hence "independence-friendly logic"). Hintikka's version of truth-definition is about a verification game (as in game theory), not a Tarskian retreat to a metalevel of formalism. Throughout, there are these kinds of comments and concepts on relating logic back to the world.
IF logic is an intriguing example of how a subtle change in rules of syntax can have large consequences, and Hintikka is definitely pushing for it as -the- preferable first-order logic (actually, family of logics) over standard predicate logic. (And for game theoretical semantics and model theory as his preferred meta framework.) However, Hintikka's salesmanship aside, the insights in the book are not dependant on IF as being -the- alternative, but as a demonstration of those insights.
As a non-mathematician/non-logician, I had braced myself for a slog through a dry, tough read (particularly since there are nearly two decades of rust accumulated on my predicate logic skills) despite the positive reviews I had read on , but was pleasantly surprised at the lively writing style and also the modicum of formulae, with no tedious proofs to sweat over. Even the final chapter on "Epistemology of Mathematical Objects" is quite readable. And with some chapter headings like "Who's Afraid of Alfred Tarski?" and "Axiomatic Set Theory Fraenkelstein's Monster?" you know the author enjoys his subject matter. )