This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and Bar-Han University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

In his writings around 1930, Wittgenstein relates his philosophy in different ways to the idea of phenomenology. He indicates that his main philosophical project had earlier been the construction of a purely phenomenological language, and even after having given up this project he believed that "the world we live in is the world of sense-data,,,l that is, of phenomenological objects. However, a problem is posed by the fact that he does not appear ever to have given a full, explicit account of what he means by his 'phenomenology', 'phenomenological language', or 'phenomenological problems'. In this book, I have tried to unravel the nature of Wittgenstein's phenomenology and to examine its importance for his entire work in philosophy. Phenomenology can be characterized as philosophy whose primary concern is what is immediately given in one's experience. This 'immediately given' is not merely impressions inside one's mind, but includes also the part of objective reality that impinges upon one's consciousness. Thus, an aim of phenomenological enterprise is to grasp this objective reality by attending to immediate experience. Husserl's phenomenology is in fact a case in point.

A group of pre-eminent figures offer a conspectus of the interaction of game theory, logic and episemology in the formal models of knowledge, belief, deliberation and learning.