The Intentions of Intentionality and Other New Models for Modalities


Book Description

The leisure to do the thinking whose results are gathered here has largely been provided by the Academy of Finland, whose support has also made possible the help and co-operation of a group of younger logicians and philosophers. Less tangible support and help is unfortunately harder to record and to thank for. Once again, in working on the many themes I have tried to weave together in this book I have incurred more intellectual and moral debts I can in so many words acknowledge here. Let me only say that the closer to home I get the greater they become. I have especially in mind my colleagues and students at Stanford; my colleagues in Helsinki; the past and present members of my research group in Helsinki; and incom parably more than anybody else my wife Soili. Helsinki, April 1975 JAAKKO HINTIKKA INTRODUCTION A literal-minded reader might easily object to the (sub)title of this volume. What is to be found here, he might allege, are neither models, nor modalities stricto sensu, nor yet any completely new applications of modal logic. Even though the purpose of the title is only to signal the con tinuity between the present volume and its predecessor, Models for Modalities (D. Reidel Publishing Co., Dordrecht, 1969), the objection is sufficiently well taken to serve as an excuse for an attempt to put my enterprise in a wider perspective.







The Logic of Epistemology and the Epistemology of Logic


Book Description

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.




Husserl and Intentionality


Book Description

This book has roots in our respective doctoral dissertations, both completed in 1970 at Stanford under the tutelage of Professors Dagfmn F øllesdal, John D. Goheen, and Jaakko Hintikka. In the fall of 1970 we wrote a joint article that proved to be a prolegomenon to the present work, our 'Intentionality via Intensions', The Journal of Philosophy 68 (1971). Professor Hintikka then suggested we write a joint book, and in the spring of 1971 we began writing the present work. The project was to last ten years as our conception of the project continued to grow at each stage. Our iritellectual debts follow the history of our project. During our dis sertation days at Stanford, we joined with fellow doctoral candidates John Lad and Michael Sukale and Professors Føllesdal, Goheen, and Hintikka in an informal seminar on phenomenology that met weekly from June of 1969 through March of 1970. During the summers of 1973 and 1974 we regrouped in another informal seminar on phenomenology, meeting weekly at Stanford and sometimes Berkeley, the regular participants being ourselves, Hubert Dreyfus, Dagfmn Føllesdal, Jane Lipsky McIntyre, Izchak Miller, and, in 1974, John Haugeland.







The Logic of Intentional Objects


Book Description

Intentionality is one of the most frequently discussed topics in contemporary phenomenology and analytic philosophy. This book investigates intentionality from the point of view of intentional objects. According to the classical approach to this concept, whatever can be consciously experienced is regarded as an intentional object. Thus, not only ordinary existing individuals but also various kinds of non-existents and non-individuals are considered as intentional (including such bizarre entities as quantifier objects: `some dog', `every dog'). Alexius Meinong, an Austrian philosopher, is particularly well-known as the `inventor' of an abundant ontology of objects among which even incomplete and impossible ones, like `the round square', find their place. Drawing inspirations from Meinong's ideas, the author develops a simple logic of intentional objects, M-logic. M-logic closely resembles classical first-order logic and, as opposed to the formally complicated contemporary theories of non-existent objects, it is much more friendly in apprehending and applications. However, despite this resemblance, the ontological content of M-logic far exceeds that of classical logic. In this book formal investigations are intertwined with philosophical analyses. On the one hand, M-logic is used as a tool for investigating formal features of intentional objects. On the other hand, the study of intentionality phenomena suggests further ways of extending and modifying M-logic. Audience: The book is addressed to logicians, cognitive scientists, philosophers of language and metaphysics with either a phenomenological or an analytic background.




Essays on Mathematical and Philosophical Logic


Book Description

The Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference were held in JyvaskyIa, Finland, June 29-July 6, 1976. The Conferences were organized by a committee which consisted of the editors of the present volume. The Conferences were supported financially by the Ministry of Education of Finland, by the Academy of Finland, and by the Division of Logic, Methodology, and Philosophy of Science of the International Union of History of Science. The Philosophical Society of Finland and the Jyvaskyla Summer Festival gave valuable help in various practicalities. 35 papers by authors representing 10 countries were presented at the two meetings. Of those papers 24 appear here. THE EDITORS v TABLE OF CONTENTS PREFACE v PART 1/ PROOF THEORY GEORG KREISEL / Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory 3 DAG PRAWITZ / Proofs and the Meaning and Completeness of the Logical Constants 25 v. A. SMIRNOV / Theory of Quantification and tff-calculi 41 LARS SVENONIUS/Two Kinds of Extensions of Primitive Recursive Arithmetic 49 DIRK VAN DALEN and R. STATMAN / Equality in the Presence of Apartness 95 PART II / INFINITARY LANGUAGES VEIKKO RANTALA / Game-Theoretical Semantics and Back-and- Forth 119 MAARET KAR TTUNEN / Infinitary Languages N oo~.




Theory as Practice


Book Description

There is a tendency in modern scholarship to describe the Renaissance Humanists merely as readers—as interpreters happily absorbed within the bounds of their chosen classical texts. In Theory as Practice, Nancy Struever contests this accepted notion; by focusing on ethical inquiry, she presents the Humanists as engaged in subtle, innovative moral work. Struever argues that the accomplishment of five major Renaissance figures—Petrarch, Nicolaus Cusanus, Lorenzo Valla, Machiavelli, and Montaigne—was to consider theory as practice and thus engage the ethics of inquiry. She notes three stages of investigation, the first represented by Petrarch, who "relocated" ethical inquiry from a theoretical realm to a familiar practice responsive to daily experience. Next, Struever describes how Cusanus and Valla assume Petrarch's relocation, yet confect ethics into discursive disciplines. Finally, while both Machiavelli and Montaigne produced strong revisions of discipline, they considered the problems of addressing the non-inquirer as well. Struever urges modern readers to employ both rhetorical and philosophical analysis to reveal these Humanists' aggressive tactics of presentation as well as their novel disciplinary reorientation. By doing so, she suggests, we discover how Renaissance ethical inquiry illuminates, and is illuminated by, the modern ethical theory of such philosophers as Peirce, Wittgenstein, Bernard Williams, and Quine.




Case and Other Functional Categories in Finnish Syntax


Book Description

The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, broadly known as Generative Grammar, is concerned with the formulation of explanatory formal accounts of linguistic phenomena with the ulterior goal of gaining insight into the properties of the 'language organ'. The series comprises high quality monographs and collected volumes that address such issues. The topics in this series range from phonology to semantics, from syntax to information structure, from mathematical linguistics to studies of the lexicon.




Analytic Philosophy in Finland


Book Description

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory.




Recent Books