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...

Most of the papers appearing in volume 87 numbers, 1-2 are based on papers presented at the Colloquium on the Philosophy of Ludwig Wittgenstein held at the Department of Philosophy at Florida State University on 7-8 April 1989. We owe warm thanks to Florida State University for generously supporting this colloquium. The English translation of the chapter entitled 'Philosophie', from Wittgenstein's typescript number 213 (von Wright), appears here with permission of Wittgenstein's literary heirs, without affecting existing copyrights. The original German version of this chapter was edited by...

Metaphor is one of the most frequently evoked but at the same time most poorly understood concepts in philosophy and literary theory. In recent years, several interesting approaches to metaphor have been presented or outlined. In this volume, authors of some of the most important new approaches re-present their views or illustrate them by means of applications, thus allowing the reader to survey some of the prominent ongoing developments in this field. These authors include Robert Fogelin, Susan Haack, Jaakko Hintikka (with Gabriel Sandu), Bipin Indurkhya and Eva Kittay (with Eric Steinhart)....

Discussions of the foundations of mathematics and their history are frequently restricted to logical issues in a narrow sense, or else to traditional problems of analytic philosophy. From Dedekind to Godel: Essays on the Development of the Foundations of Mathematics illustrates the much greater variety of the actual developments in the foundations during the period covered. The viewpoints that serve this purpose included the foundational ideas of working mathematicians, such as Kronecker, Dedekind, Borel and the early Hilbert, and the development of notions like...

IF WITI'GENSTEIN COULD TALK, COULD WE UNDERSTAND HIM? Perusing the secondary literature on Wittgenstein, I have frequently experienced a perfect Brechtean Entfremdungseffekt. This is interesting, I have felt like saying when reading books and papers on Wittgenstein, but who is the writer talking about? Certainly not Ludwig Wittgenstein the actual person who wrote his books and notebooks and whom I happened to meet. Why is there this strange gap between the ideas of the actual philosopher and the musings of his interpreters? Wittgenstein is talking to us through the posthumous publication of...

One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the one hand, some philosophers (and some mathematicians) take the nature and the results of mathematicians' activities as given, and go on to ask what philosophical morals one might perhaps find in their story. On the other hand, some philosophers, logicians and mathematicians have tried or are trying to subject the very concepts which mathematicians are using in their work to critical scrutiny. In practice this usually means scrutinizing the logical and linguistic tools mathematicians wield....

Several central concepts and ideas of language theory are analyzed, criticized and developed in the essays contained in this volume. They include the concept of quantifier and in particular a liberalization of the rules governing the interaction of quantifiers, the ambiguities of the concept of scope, the alleged Frege-Russell ambiguity of words for being, the notion of reference which turns out to be misunderstood by the so-called new theorists of reference, different modes of identification, the hegemony of generative syntax, recent theories of demonstratives, the relation of...

Is a genuine logic of scientific discovery possible? In the essays collected here, Hintikka not only defends an affirmative answer; he also outlines such a logic. It is the logic of questions and answers. Thus inquiry in the sense of knowledge-seeking becomes inquiry in the sense of interrogation. Using this new logic, Hintikka establishes a result that will undoubtedly be considered the fundamental theorem of all epistemology, viz., the virtual identity of optimal strategies of pure discovery with optimal deductive strategies. Questions to Nature, of course, must include...

Aristotle thought of his logic and methodology as applications of the Socratic questioning method. In particular, logic was originally a study of answers necessitated by earlier answers. For Aristotle, thought-experiments were real experiments in the sense that by realizing forms in one's mind, one can read off their properties and interrelations. Treating forms as independent entities, knowable one by one, committed Aristotle to his mode of syllogistic explanation. He did not think of existence, predication and identity as separate senses of estin. Aristotle thus serves as an...