Jaakko Hintikka’s work in logic and epistemology has won him the Rolf Schock Prize for Logic and Philosophy, widely viewed as the Nobel of its field. He is also one of only four philosophers this century to be the subject of a volume of the Library of Living Philosophers. Hintikka is professor of philosophy at Boston University.

Jaakko Hintikka’s work in logic and epistemology has won him the Rolf Schock Prize for Logic and Philosophy, widely viewed as the Nobel of its field. He is also one of only four philosophers this century to be the subject of a volume of the Library of Living Philosophers. Hintikka is professor of philosophy at Boston University.

A generalization of the axioms of choice says that all the Skolem functions of a true first‐order sentence exist. This generalization can be implemented on the first‐order level by generalizing the rule of existential instantiation into a rule of functional instantiation. If this generalization is carried out in first‐order axiomatic set theory , it is seen that in any model of FAST, there are sentences S which are true but whose Skolem functions do not exist. Since this existence is what (...) the truth of S means in a combinational sense, in any model of FAST there are sentences which are set‐theoretical “true” but false in the normal sense of the word. This shows that the assumptions on which the axiom of choice rests cannot be fully implemented in FAST. The axiom choice is not a set‐theoretical principle. (shrink)

A generalization of the axioms of choice says that all the Skolem functions of a true first‐order sentence exist. This generalization can be implemented on the first‐order level by generalizing the rule of existential instantiation into a rule of functional instantiation. If this generalization is carried out in first‐order axiomatic set theory, it is seen that in any model of FAST, there are sentences S which are true but whose Skolem functions do not exist. Since this existence is what the (...) truth of S means in a combinational sense, in any model of FAST there are sentences which are set‐theoretical “true” but false in the normal sense of the word. This shows that the assumptions on which the axiom of choice rests cannot be fully implemented in FAST. The axiom choice is not a set‐theoretical principle. (shrink)

Interviews met wijsgeren en andere wetenschapsmensen over de reden waarom zij zich met de persoon en het werk van de Oostenrijks-Engelse filosoof (1889-1951) bezighouden.

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory. This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across (...) the entire range of Hintikka’s career. Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters. The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka. (shrink)

Les articles présentés et traduits dans le présent ouvrage, réunis sous un titre qu'approuva l’auteur lors de sa première publication, portent sur la période qui s’ouvre peu d’années après la publication de Knowledge and Belief et qui s’étend jusqu’aux prémices des découvertes qui ont relancé une recherche particulièrement féconde — la sémantique des jeux, parfois plus connue sous l’acronyme de GTS, et la Logique IF, ou Independance Friendly Logic, développée avec Gabriel Sandu. L’Intentionnalité et les mondes possibles montre jusqu’où la (...) sémantique des mondes possibles permet de rendre compte de l’intentionnalité et d’en explorer les multiples dimensions : les six articles dégagent les méthodes et les directions de recherche ainsi ouvertes. Une postface de la traductrice les met en perspective relativement aux aboutissements actuels des travaux de Hintikka, en explorant sommairement certaines des méthodes et des recherches des deux premières décennies du vingt et unième siècle — occasion de s’apercevoir que l’épistémologie générale et spéciale, l’informatique théorique contemporaine aussi bien que l’exploration de la nature de la métaphore trouvent à se nourrir de la relance permanente du questionnement assurée par l’enquête-Hintikka, et ce, parfois, de manière très surprenante. (shrink)

... to discuss the state of epistemology, inspired by new perspectives and possibilities opened by Hintikka's recent papers on the study of epistemic logic, information, rationality, and inquiry as questioning."--Page 4 of cover.

The basic ideas of game-theoretical semantics are implicit in logicians' and mathematicians' folklore but used only sporadically (e.g., game quantifiers, back-and-forth methods, partly ordered quantifiers). the general suggestions of this approach for natural languages are emphasized: the univocity of "is," the failure of compositionality, a reconstruction of aristotelian categories, limitations of generative grammars, unity of sentence and discourse semantics, a new treatment of tenses and other temporal notions, etc.

The following analysis shows how developments in epistemic logic can play a nontrivial role in cognitive neuroscience. We argue that the striking correspondence between two modes of identification, as distinguished in the epistemic context, and two cognitive systems distinguished by neuroscientific investigation of the visual system (the "where" and "what" systems) is not coincidental, and that it can play a clarificatory role at the most fundamental levels of neuroscientific theory.

The paper presents an application of game-theoretical ideas to the semantics of natural language, especially the analysis of quantifiers and anaphora. The paper also introduces the idea of games of imperfect information and connects to partial logics.

It is far from clear what is meant by logic or what should be meant by it. It is nevertheless reasonable to identify logic as the study of inferences and inferential relations. The obvious practical use of logic is in any case to help us to reason well, to draw good inferences. And the typical form the theory of any part of logic seems to be a set of rules of inference. This answer already introduces some structure into a discussion (...) of the nature of logic, for in an inference we can distinguish the input called a premise or premises from the output known as the conclusion. The transition from a premise or a number of premises to the conclusion is governed by a rule of inference. If the inference is in accordance with the appropriate rule, it is called valid. Rules of inference are often thought of as the alpha and omega of logic. Conceiving of logic as the study of inference is nevertheless only the first approximation to the title question, in that it prompts more questions than it answers. It is not clear what counts as an inference or what a theory of such inferences might look like. What are the rules of inference based on? Where do we find them? The ultimate end. (shrink)

Recent years have seen a tremendous growth in international scholarly communication, especially perhaps in Europe. On the one hand, the technical means of communication have undergone a major revolution. Scholars and scientists can communicate almost instantly via phone, fax and especially by e-mail, and post their results on their websites instead of having to wait for months and sometimes years to have them published. On the other hand, various institutional frameworks have been created for the purpose of fostering international scientific (...) communication and cooperation. These institutional arrangements have typically been supported by responsible governments. One unspoken or spoken motive (among others) in encouraging international exchanges - especially in the humanities and social sciences - is the expectation that the new technical and institutional improvements in communication not only facilitate research and scholarship but directly or indirectly contribute to the discussion of important cultural, educational and social issues in the different participating countries, and perhaps even help people and peoples to cope with them. (shrink)

One enduring legacy of the twentieth century will be the slow, certain transformation of the world from insular civilizations to interactive societies enmeshed in global systems of electronic communication, economics, and politics. Financial news from Thailand or Brazil is often more important globally than political events in the old centers of power. Some bemoan the uncertainty and flux of all this. However, the mutual definition of the world’s societies presents an extraordinary opportunity to humanize a situation that all too quickly (...) could degenerate into a Weberian ‘iron cage’ of truly global proportions. What contribution can the world’s great philosophical traditions make toward humanity’s common task of civilizing the rise of globalization? Here the ancient concept of paideia walks upon the stage of the twenty-first century. (shrink)

Recent years have seen a tremendous growth in international scholarly communication, especially perhaps in Europe. On the one hand, the technical means of communication have undergone a major revolution. Scholars and scientists can communicate almost instantly via phone, fax and especially by e-mail, and post their results on their websites instead of having to wait for months and sometimes years to have them published. On the other hand, various institutional frameworks have been created for the purpose of fostering international scientific (...) communication and cooperation. These institutional arrangements have typically been supported by responsible governments. One unspoken or spoken motive (among others) in encouraging international exchanges - especially in the humanities and social sciences - is the expectation that the new technical and institutional improvements in communication not only facilitate research and scholarship but directly or indirectly contribute to the discussion of important cultural, educational and social issues in the different participating countries, and perhaps even help people and peoples to cope with them. (shrink)

One of the most important issues concerning the organization of research and higher education concerns their interaction. The most common form that this relationship of research and education takes in our time and age is to have both functions combined in universities, often referred to more specifically as research universities. This form of organization is more recent than one perhaps might first think, and even at this time there are exceptions to this form of organization. In natural sciences and medicine (...) there are industrial laboratories for research without teaching. In some countries, especially in Russia, there exists an extensive hierarchical institution almost entirely dedicated to research rather than teaching, called an academy of sciences. The members of such academies can devote themselves entirely to research without any teaching duties, except perhaps on the level of dissertation advising. Other exceptions include some rare graduate or research institutions, for instance Rockefeller University, All Souls College, Oxford, and some institutes of advanced study. But such exceptions are few and far between, at least in Western Europe and the Americas. Thus by far the most common relationship, especially in the humanities, of research and teaching is to have them conducted by the same people at the same institution, usually called a university. (shrink)

We introduce several senses of the principle ofcompositionality. We illustrate the difference between them with thehelp of some recent results obtained by Cameron and Hodges oncompositional semantics for languages of imperfect information.

I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...

This collection brings together previously unpublished works by well-known philosophers on the philosophy of action, the metaphysics of causality, and the philosophy of psychology. Nine of the essays directly discuss Donald Davidson's work on these topics, while three others challenge a Davidsonian approach through discussion of independent but related issues. These essays are followed by replies from Davidson, including a previously unpublished essay, "Adverbs of Action.".