Jaakko Hintikka in 2006.

Jaakko Hintikka (born January 12, 1929) is a Finnish philosopher and logician. Image File history File links Download high resolution version (1353x1118, 34 KB) Summary Licensing File links The following pages on the English Wikipedia link to this file (pages on other projects are not listed): Jaakko Hintikka ... Image File history File links Download high resolution version (1353x1118, 34 KB) Summary Licensing File links The following pages on the English Wikipedia link to this file (pages on other projects are not listed): Jaakko Hintikka ... is the 12th day of the year in the Gregorian calendar. ... Year 1929 (MCMXXIX) was a common year starting on Tuesday (link will display the full calendar) of the Gregorian calendar. ... A philosopher is a person who thinks deeply regarding people, society, the world, and/or the universe. ... A logician is a philosopher, mathematician, or other whose topic of scholarly study is logic. ...

Hintikka was born in Vantaa. After teaching for a number of years at Florida State University, Stanford, University of Helsinki, and the Academy of Finland, he is currently Professor of Philosophy at Boston University. The prolific author or co-author of over 30 books and over 300 scholarly articles, he has contributed to mathematical logic, philosophical logic, the philosophy of mathematics, epistemology, language theory, and the philosophy of science. His works have appeared in over nine languages. For a bibliography, see Auxier and Hahn (2006). Founded 1974 Province Southern Finland Region Uusimaa Sub-region Helsinki Area - Of which land - Rank 243 km² 240,84 km² ranked 316th Population - Density - Rank 187 365 (2005) 770. ... Florida State University (commonly referred to as Florida State or FSU)[6] is a public research university located in Tallahassee. ... Stanford may refer: Stanford University Places: Stanford, Kentucky Stanford, California, home of Stanford University Stanford Shopping Center Stanford, New York, town in Dutchess County. ... University of Helsinki is not to be confused with Helsinki University of Technology. ... The Academy of Finland (Finnish: Suomen Akatemia) is a governmental funding body for scientific research in Finland. ... For similarly-named academic institutions, see Boston (disambiguation). ... Mathematical logic is a major area of mathematics, which grew out of symbolic logic. ... Philosophical logic is the application of formal logical techniques to problems that concern philosophers. ... // Philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. ... It has been suggested that Meta-epistemology be merged into this article or section. ... Philosophy of language is the reasoned inquiry into the nature, origins, and usage of language. ... Philosophy of science is the study of assumptions, foundations, and implications of science, especially in the natural sciences and social sciences. ...

Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic. Early in his career, he devised a semantics of modal logic essentially analogous to Kripke's frame semantics, and discovered the now widely taught semantic tableau, independently of Evert Willem Beth. In recent decades, he has worked mainly on game semantics, and on independence-friendly logic, known for its "branching quantifiers" which he believes do better justice to our intuitions about quantifiers than does conventional first-order logic. He has done important exegetical work on Aristotle, Kant, Wittgenstein, and Charles Peirce. Hintikka can be seen as a continuation of the Anglo-American analytic tendency in philosophy, one founded by Frege and Bertrand Russell, and continued by Carnap, Willard Van Orman Quine, and his fellow Finn Georg Henrik von Wright. Michaels the greatest boyfriend in the whole wide world, and Id love to call him in a phonebooth sometime. ... Game semantics (German: dialogische Logik) is an approach to the semantics of logic that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. ... Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for modal logic systems, created in late 1950s and early 1960s by Saul Kripke. ... Saul Aaron Kripke (born in November, 1940, Long Beach, New York) is an American philosopher and logician now emeritus from Princeton and professor of philosophy at CUNY Graduate Center. ... Kripke semantics (also known as possible world semantics, relational semantics, or frame semantics) is a formal semantics for modal logic systems, created in late 1950s and early 1960s by Saul Kripke. ... Analytic tableaux, or, more briefly, just tableaux, are a fundamental concept in automated theorem proving. ... Evert Willem Beth (July 7, 1908 – April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics. ... Game semantics (German: dialogische Logik) is an approach to the semantics of logic that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. ... Jaakko Hintikka proposed independence-friendly logic (IF logic) as an alternative to classical first-order logic (FOL). ... In logic a branching quantifier is a partial ordering of quantifiers for Q∈{∀,∃}. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable x bound by a quantifier Q depends on the value of the variables y1,...,yn bound by quantifiers Qy1,...,Qyn preceding Q... In language and logic, quantification is a construct that specifies the extent of validity of a predicate, that is the extent to which a predicate holds over a range of things. ... First-order logic (FOL) is a universal language in symbolic science, and is in use everyday by mathematicians, philosophers, linguists, computer scientists and practitioners of artificial intelligence. ... Aristotle (Greek: AristotélÄ“s) (384 BC – 322 BC) was a Greek philosopher, a student of Plato and teacher of Alexander the Great. ... Immanuel Kant Immanuel Kant (April 22, 1724 – February 12, 1804) was a Prussian philosopher, generally regarded as one of Europes most influential thinkers and the last major philosopher of the Enlightenment. ... Ludwig Wittgenstein (1889-1951), pictured here in 1930, made influential contributions to Logic and the philosophy of language, critically examining the task of conventional philosophy and its relation to the nature of language. ... Charles Sanders Peirce (IPA: /pɝs/), (September 10, 1839 – April 19, 1914) was an American polymath, physicist, and philosopher, born in Cambridge, Massachusetts. ... Friedrich Ludwig Gottlob Frege Friedrich Ludwig Gottlob Frege (November 8, 1848 - July 26, 1925) was a German mathematician, logician, and philosopher who is regarded as a founder of both modern mathematical logic and analytic philosophy. ... Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, (18 May 1872 – 2 February 1970), was a British philosopher, logician, mathematician, advocate for social reform, and pacifist. ... Rudolf Carnap (May 18, 1891 - September 14, 1970) was a German philosopher. ... For people named Quine, see Quine (surname). ... Statue of Georg Henrik von Wright in University of Helsinki Georg Henrik von Wright (pronounced, roughly, fon vrikt, IPA: [je:É”rj hÉ›n:rik fÉ”n-vrik:t],) (June 14, 1916 – June 16, 2003) was a Finnish philosopher, who succeeded Ludwig Wittgenstein as professor at the University of Cambridge. ...

Hintikka edited the academic journal Synthese (ISSN 0039-7857) from 1962 to 2002, and has been a consultant editor for more than ten journals. He was the first vice-president of the Fédération Internationale des Sociétés de Philosophie, the Vice-President of the Institut International de Philosophie (1993–1996), as well as a member of the American Philosophical Association, the International Union of History and Philosophy of Science, Association for Symbolic Logic, and a member of the governing board of the Philosophy of Science Association. In 2005, he won the Rolf Schock prize in logic and philosophy "for his pioneering contributions to the logical analysis of modal concepts, in particular the concepts of knowledge and belief". Scientific journals are one type of academic journal An academic journal is a regularly-published, peer-reviewed publication that publishes scholarship relating to an academic discipline. ... The International Federation of Philosophical Societies or Fédération Internationale des Sociétés de Philosophie is an International Federation of Philosophical Societies, whose member-societies span pretty well every country where there is significant academic philosophy. ... The American Philosophical Association is the main professional organization for philosophers in the United States. ... The Association for Symbolic Logic (ASL) is an international organization of specialists in symbolic logic—the largest such organization in the world. ... The Philosophy of Science Association (PSA) is an academic organization which promotes further studies and free discussion from diverse standpoints in the field of philosophy of science. ... Year 2005 (MMV) was a common year starting on Saturday (link displays full calendar) of the Gregorian calendar. ... The Schock Prizes were instituted by the will of philosopher and artist Rolf Schock (1933-1986). ...

Selected books

• Primary
  • The Philosophy of Mathematics ISBN 0-1987-5011-0
  • The Principles of Mathematics Revisited ISBN 0-521-62498-3
  • Paradigms for Language Theory and Other Essays ISBN 0-7923-4780-3
  • Lingua Universalis vs Calculus Ratiocinator ISBN 0-7923-4246-1
  • Inquiry as Inquiry: A Logic of Scientific Discovery ISBN 0-7923-5477-X
  • Language, Truth and Logic in Mathematics ISBN 0-7923-4766-8
  • Ludwig Wittgenstein: Half-Truths and One-and-a-Half-Truths ISBN 0-7923-4091-4
  • Analyses of Aristotle ISBN 1-4020-2040-6
  • The Logic of Epistemology and the Epistemology of Logic ISBN 0-7923-0040-8
• Secondary
  • Auxier, R.E., and Hahn, L., eds., 2006. The Philosophy of Jaakko Hintikka (The Library of Living Philosophers). Open Court. Includes a complete bibliography of Hintikka's publications.
  • Daniel Kolak, On Hintikka, Wadsworth 2001 ISBN 0-534-58389-X
  • Daniel Kolak and John Symons, eds., Quantifiers, Questions and Quantum Physics: Essays on the Philosophy of Jaakko Hintikka Springer 2004 ISBN 1-4020-3210-2

Ludwig Josef Johann Wittgenstein (IPA: ) (April 26, 1889 in Vienna, Austria – April 29, 1951 in Cambridge, England) was an Austrian philosopher who contributed several ground-breaking ideas to philosophy, primarily in the foundations of logic, the philosophy of mathematics, the philosophy of language, and the philosophy of mind. ... Aristotle (Greek: Aristotélēs) (384 BC – 322 BC) was a Greek philosopher, a student of Plato and teacher of Alexander the Great. ... Logic (from Classical Greek λόγος logos; meaning word, thought, idea, argument, account, reason, or principle) is the study of the principles and criteria of valid inference and demonstration. ... It has been suggested that Meta-epistemology be merged into this article or section. ... Daniel Kolak is a Croatian-American philosopher who works primarily in philosophy of mind, personal identity, cognitive science, philosophy of science, philosophy of mathematics, philosophy of logic, philosophy of religion, and aesthetics. ... Daniel Kolak is a Croatian-American philosopher who works primarily in philosophy of mind, personal identity, cognitive science, philosophy of science, philosophy of mathematics, philosophy of logic, philosophy of religion, and aesthetics. ...

See also

• Rudolph Carnap
• Charles Peirce
• Saul Kripke
• Willard Van Orman Quine
• Ludwig Wittgenstein

Rudolf Carnap (May 18, 1891 - September 14, 1970) was a German philosopher. ... Charles Sanders Peirce (IPA: /pɝs/), (September 10, 1839 – April 19, 1914) was an American polymath, physicist, and philosopher, born in Cambridge, Massachusetts. ... Saul Aaron Kripke (born in November, 1940, Long Beach, New York) is an American philosopher and logician now emeritus from Princeton and professor of philosophy at CUNY Graduate Center. ... For people named Quine, see Quine (surname). ... Ludwig Josef Johann Wittgenstein (IPA: ) (April 26, 1889 in Vienna, Austria – April 29, 1951 in Cambridge, England) was an Austrian philosopher who contributed several ground-breaking ideas to philosophy, primarily in the foundations of logic, the philosophy of mathematics, the philosophy of language, and the philosophy of mind. ...

References

• Jaakko Hintikka's personal website