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)

I n order to appreciate properly what we are doing in this book it is necessary to realize that our approach to linguistic theorizing differs from the prevailing views. Our approach can be described by indicating what distinguishes it from the methodological ideas current in theoretical linguistics, which I consider seriously misguided. Linguists typically construe their task in these days as that of making exceptionless generalizations from particular examples. This explanatory strategy is wrong in several different ways. It presupposes that (...) we can have "intuitions" about particular examples, usually examples invented by the linguist himself or herself, reliable and sharp enough to serve as a basis of sharp generalizations. It also presupposes that we cannot have equally reliable direct access to general linguistic regularities. Both assumptions appear to me extremely dubious, and the first of them has in effect been challenged by linguists like Dwight Bol inger. There is also some evidence that the degree of unanimity among linguists is fairly low when it comes to less clear cases, even in connection with such relatively simple questions as grammaticality (acceptability). For this reason we have tried to rely more on quotations from contemporary fiction, newspapers and magazines than on linguists' and philosophers' ad hoc examples. I also find it strange that some of the same linguists as believe that we all possess innate ideas about general characteristics of humanly possible grammars assume that we can have access to them only via their particular consequences. (shrink)

somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. Quine's advice to give up logi­ cal modalities as being beyond repair. Or we could also try to develop a logic of conceptual possibility, restricting the range of our "possible worlds" to those compatible with the transcendental presuppositions of our own conceptual sys­ tem. This looks (...) in fact like one of the most interesting possible theories I have dreamt of developing but undoubtedly never will. Its kinship with Kant's way of thinking should be obvious. Besides putting the entire enterprise of possible-worlds semantics into a perspective, we can also see that the actual history of possible-worlds seman­ tics is more complicated than it might first appear to be. For the standard in­ terpretation of modal logics has reared its beautiful head repeatedly in the writings of Stig Kanger, Richard Montague the pre-Montague-semantics theorist, and Nino Cocchiarella. (shrink)

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.

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.

It is gratifying to see that philosophers' continued interest in Words and Objections has been so strong as to motivate a paperback edition. This is gratifying because it vindicates the editors' belief in the permanent im portance of Quine's philosophy and in the value of the papers com menting on it which were collected in our volume. Apart from a couple of small corrections, only one change has been made. The list of Professor Quine's writings has been brought up to (...) date. The editors cannot claim any credit for this improvement, however. We have not tried to imitate the Library of Living Philosophers volumes and to include Professor Quine's autobiography in this volume, but we are fortunate to publish here his brand-new auto bibliography. 1975 THE EDITORS TABLE OF CONTENTS V PREFACE 1 EDITORIAL INTRODUCTION 1. 1. C. SMAR T / Quine's Philosophy of Science 3 GILBERT HARMAN / An Introduction to 'Translation and Meaning', Chapter Two of Word and Object 14 ERIK STENIUS / Beginning with Ordinary Things 27 NOAM CHOMSKY / Quine's Empirical Assumptions 53 1AAKKO HINTIKKA / Behavioral Criteria of Radical Translation 69 BARRY STROUD / Conventionalism and the Indeterminacy of Translation 82 P. F. STRA WSON / Singular Terms and Predication 97 118 H. P. GRICE / Vacuous Names P. T. (shrink)

The two volumes to which this is apreface consist of the Proceedings of the Second International Conference on History and Philosophy of Science. The Conference was organized by the Joint Commission of the International Union of History and Philosophy of Science (IUHPS) under the auspices of the IUHPS, the Italian Society for Logic and Philosophy of Science, and the Domus Galilaeana of Pisa, headed by Professor Vincenzo Cappelletti. Domus Galilaeana also served as the host institution, with some help from the (...) University of Pisa. The Conference took place in Pisa, Italy, on September 4-8, 1978. The editors of these two volumes of the Proceedings of the Pisa Conference acknowledge with gratitude the help by the different sponsoring organizations, and in the first place that by both Divisions of the IUHPS, which made the Conference possible. A special recognition is due to Professor Evandro Agazzi, President of the Italian Society for Logic and Philosophy of Science, who was co opted as an additional member of the Organizing Committee. This committee was otherwise identical with the Joint Commission, whose members were initially John Murdoch, John North, Arpad Szab6, Robert Butts, Jaakko Hintikka, and Vadim Sadovsky. Later, Erwin Hiebert and Lubos Novy were appointed as additional members. (shrink)

One of the characteristic features of contemporary logic is that it incorporates the Frege‐Russell thesis according to which verbs for being are multiply ambiguous. This thesis was not accepted before the nineteenth century. In Aristotle existence could not serve alone as a predicate term. However, it could be a part of the force of the predicate term, depending on the context. For Kant existence could not even be a part of the force of the predicate term. Hence, after Kant, existence (...) was left homeless. It found a home in the algebra of logic in which the operators corresponding to universal and particular judgments were treated as duals, and universal judgments were taken to be relative to some universe of discourse. Because of the duality, existential quantifier expressions came to express existence. The orphaned notion of existence thus found a new home in the existential quantifier. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. 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. (...) The famous impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

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 book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. 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. (...) The famous impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

Most current work in epistemology deals with the evaluation and justification of information already acquired. In this book, Jaakko Hintikka instead discusses the more important problem of how knowledge is acquired in the first place. His model of information-seeking is the old Socratic method of questioning, which has been generalized and brought up-to-date through the logical theory of questions and answers that he has developed. Hintikka also argues that philosophers' quest for a definition of knowledge is ill-conceived (...) and that the entire notion of knowledge should be replaced by the concept of information. He offers an analysis of the different meanings of the concept of information and of their interrelations. The result is a new and illuminating approach to the field of epistemology. (shrink)

An evening discussion between professors Jaakko Hintikka and Simo Knuuttila on September 2, 2007, at the Helsinki conference: Knuuttila: Ladies and gentlemen. Thank you for inviting us to this event and for this opportunity to discuss the latest volume of the Library of Living Philosophers, which was published last spring. The title of the volume is “The Philosophy of Jaakko Hintikka”. Probably most people here know this series, which was founded in 1939 by P. A. Schilpp. (...) The idea of the volumes is to invite some prominent philosophers to describe their lives and ideas and then ask other philosophers to write and comment on topics which the first author has written about. Then the philosopher to whom the book is dedicated answers and discusses these other people’s papers about his or her philosophy. These volumes gradually became a very popular series which most philosophical libraries wanted to have. It was considered such a good idea, giving rise to one of the most prestigious series in philosophy. It is also considered as a kind of philosophical honor for the philosopher to be chosen to be among these living philosophers. The books always have the same structure; first, an intellectual autobiography, pretty extensive, then the papers on the basic author’s philosophy and, last, the papers are answered separately. So there is a kind of discussion going on. The book on Jaakko Hintikka’s philosophy consists of almost 1000 pages. It is also available as a paperback. Now, I have prepared some questions. (shrink)

Jaakko Hintikka was born on January 12th, 1929. He received his doctorate from the University of Helsinki under the supervision of Professor G. H. von Wright at the age of 24 in 1953. Hintikka was appointed Professor of philosophy at the University of Helsinki in 1959. Since the late 50s, he has shared his time between Finland and the U.S.A. He was appointed Professor of philosophy at Stanford University in 1964. As from 1970 Hintikka has been (...) permanent research professor of the Academy of Finland. He has published 13 books and about 200 articles, not to mention the various editorial and organizational activities he has played an active role in. The present collection of essays has been edited to honour Jaakko Hintikka on the occasion of his fiftieth birthday. By dedicating a Festschrift to Jaakko Hintikka, the contributors wish to pay homage to this remarkable man whom they see not only as a scholar of prodigious energy and insight, but as a friend, colleague and former teacher. The contributors hope the essays collected here will bring pleasure to the man they are intended to honour. All of the essays touch upon topics Hintikka has taken an direct or indirect interest in, ranging from technical problems of mathematical logic and applications of formal methods through philosophical logic, philosophy of language, epistemology and history of philosophy to philosophical aesthetics. (shrink)

The papers collected in this volume were written over a period of some eight or nine years, with some still earlier material incorporated in one of them. Publishing them under the same cover does not make a con tinuous book of them. The papers are thematically connected with each other, however, in a way which has led me to think that they can naturally be grouped together. In any list of philosophically important concepts, those falling within the range of application (...) of modal logic will rank high in interest. They include necessity, possibility, obligation, permission, knowledge, belief, perception, memory, hoping, and striving, to mention just a few of the more obvious ones. When a satisfactory semantics (in the sense of Tarski and Carnap) was first developed for modal logic, a fascinating new set of methods and ideas was thus made available for philosophical studies. The pioneers of this model theory of modality include prominently Stig Kanger and Saul Kripke. Several others were working in the same area independently and more or less concurrently. Some of the older papers in this collection, especially 'Quantification and Modality' and 'Modes of Modality', serve to clarify some of the main possibilities in the semantics of modal logics in general. (shrink)

... which is merely intensional frosting on a more important extensional L. Haaparanta and J. Hintikka (eds.), Frege Synthesized, 3—8. O 1986 byD. ...