Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics PDF Download

Author: Dov M. Gabbay
Publisher: Springer Science & Business Media
ISBN: 9401014531
Category : Philosophy
Languages : en
Pages : 311

View

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

Author: Patrick Blackburn
Publisher: Elsevier
ISBN: 9780080466668
Category : Mathematics
Languages : en
Pages : 1260

View

Book Description
The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth

Author: Guttorm Fløistad
Publisher: Springer Science & Business Media
ISBN: 9400983565
Category : Philosophy
Languages : en
Pages : 407

View

Book Description
The present publication is a continuation of two earlier series of chronicles, Philosophy in the Mid-Century (Firenze 1958/59) and Contemporary Philosophy (Firenze 1968), edited by Raymond KJibansky. As with the earlier series the present chronicles purport to give a survey of significant trends in contemporary philosophi cal discussion. The time space covered by the present series is (approximately) 1966-1978. The need for such surveys has, I believe, increased rather than decreased over the last years. The philosophical scene appears, for various reasons, more complex than ever before. The continuing process of specialization in most branches, the emergence of new schools of thought, particularly in philosophical logic and the philosophy of language, the convergence of interest (though not necessarily of opinion) of different traditions upon certain prob lems, and the increasing attention being paid to the history of philosophy in discussions of contemporary problems are the most important contributory factors. Surveys of the present kind are a valuable source of knowledge of this complexity and may as such be an assistance in renewing the understanding of one's own philosophical problems. The surveys, it is to be hoped, may also help to strengthen the Socratic element of modem philosophy, the dialogue or Kommu nikationsgemeinschajt. So far, four volumes have been prepared for the new series. The present chronicles in the Philosophy of Language and Philosophi cal Logic (Vol. I), are followed by chronicles in the Philosophy of Science (Vol. II), and Philosophy of Action (Vol.

Author: Dov M. Gabbay
Publisher: Springer Science & Business Media
ISBN: 9400962592
Category : Philosophy
Languages : en
Pages : 781

View

Book Description
The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a number of issues having to do with intensional features of natural and artificial languages. It is, of course, an open question whether 'possible world' semantics is in the final analysis the proper solution to the many problems and puzzles intensional constructions raise for the logical analysis of the many varieties of discourse. At present, there seem to be about as many opponents as proponents with regard to the usefulness of having the semantics of intensional languages based on possible world constructs. Some attempts to come to grips with intensional phenomena which are not couched in the possible world framework are discussed in Volume IV of the Handbook. Chapter 1 is an extensive survey of the main systems of (propositional) modal logic including the most important meta-mathematical results and the techniques used in establishing these. It introduces the basic terminology and semantic machinery applied in one way or another in many of the subsequent chapters. Chapter 2 discusses the most significant developments in (propositional) tense logic which can of course be regarded as a special kind of modal logic, where the possible world indices are simply (ordered) moments of time.

Author: W. Marciszewski
Publisher: Springer Science & Business Media
ISBN: 9401712530
Category : Philosophy
Languages : en
Pages : 450

View

Book Description
1. STRUCTURE AND REFERENCES 1.1. The main part of the dictionary consists of alphabetically arranged articles concerned with basic logical theories and some other selected topics. Within each article a set of concepts is defined in their mutual relations. This way of defining concepts in the context of a theory provides better understand ing of ideas than that provided by isolated short defmitions. A disadvantage of this method is that it takes more time to look something up inside an extensive article. To reduce this disadvantage the following measures have been adopted. Each article is divided into numbered sections, the numbers, in boldface type, being addresses to which we refer. Those sections of larger articles which are divided at the first level, i.e. numbered with single numerals, have titles. Main sections are further subdivided, the subsections being numbered by numerals added to the main section number, e.g. I, 1.1, 1.2, ... , 1.1.1, 1.1.2, and so on. A comprehensive subject index is supplied together with a glossary. The aim of the latter is to provide, if possible, short defmitions which sometimes may prove sufficient. As to the use of the glossary, see the comment preceding it.

Author: Dov M. Gabbay
Publisher: Springer Science & Business Media
ISBN: 9401729778
Category : Philosophy
Languages : en
Pages : 304

View

Book Description
From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be of interest to the intuitionist mathematician. Originally, I intended to include more material in that spirit but I decided against it. There is no coherent body of material to include that builds naturally on the present book. There are some serious results on topological models, second order Beth and Kripke models, theories of types, etc., but it would require further research to be able to present a general theory, possibly using sheaves. That would have postponed pUblication for too long. I would like to dedicate this book to my colleagues, Professors G. Kreisel, M.O. Rabin and D. Scott. I have benefited greatly from Professor Kreisel's criticism and suggestions. Professor Rabin's fun damental results on decidability and undecidability provided the powerful tools used in obtaining the majority of the results reported in this book. Professor Scott's approach to non-classical logics and especially his analysis of the Scott consequence relation makes it possible to present Heyting's logic as a beautiful, integral part of non-classical logics.

Author: Marina Sbisà
Publisher: John Benjamins Publishing
ISBN: 9027289131
Category : Language Arts & Disciplines
Languages : en
Pages : 336

View

Book Description
The ten volumes of Handbook of Pragmatics Highlights focus on the most salient topics in the field of pragmatics, thus dividing its wide interdisciplinary spectrum in a transparent and manageable way. While the other volumes select specific cognitive, grammatical, social, cultural, variational, interactional, or discursive angles, this 10th volume focuses on the interface between pragmatics and philosophy and reviews the philosophical background from which pragmatics has taken inspiration and with which it is constantly confronted. It provides the reader with information about authors relevant to the development of pragmatics, trends or areas in philosophy that are relevant for the definition of the main concepts in pragmatics or the characterization of its cultural context, the neighbouring field of semantics (with particular respect to truth-conditional semantics and some main branches of formal semantics), and recent philosophical debates that involve pragmatic notions such as indexicality and context. While most of the references are to the analytic philosophical field, also perspectives in so-called continental philosophy are taken into account. The introductory chapter outlines some unifying routes of reflection as regards meaning, speech as action, and self and mind, and suggests some connections between doing pragmatics and doing philosophy.

Author: Johan van Benthem
Publisher: Springer Science & Business Media
ISBN: 9401579474
Category : Philosophy
Languages : en
Pages : 308

View

Book Description
The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility.

Author: R. Hilpinen
Publisher: Springer Science & Business Media
ISBN: 9400984847
Category : Philosophy
Languages : en
Pages : 264

View

Book Description
The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings (D. Reidel Publishing Company, Dordrecht 1971): its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission and prohibition are regarded as analogous to the "alethic" modalities necessity, possibility and impossibility. As Simo Knuuttila shows in his contribution to the present volume, this approach goes back to late medieval philosophy. Several 14th century philosophers observed the analogies between deontic and alethic modalities and discussed the deontic interpretations of various laws of modal logic. In contemporary deontic logic the modal approach was revived by G. H. von Wright's classic paper 'Deontic Logic' (1951). Certain analogies between deontic and alethic modalities are obvious and uncontroversial, but the standard approach has often been criticized on the ground that it exaggerates the analogies and tends to ignore those features of normative concepts which distinguish them from other modalities.

Author: Frank Jackson
Publisher: Oxford University Press
ISBN: 0191568929
Category : Philosophy
Languages : en
Pages : 917

View

Book Description
Oxford Handbooks offer authoritative and up-to-date surveys of original research in a particular subject area. Specially commissioned essays from leading figures in the discipline give critical examinations of the progress and direction of debates. Oxford Handbooks provide scholars and graduate students with compelling new perspectives upon a wide range of subjects in the humanities and social sciences. The Oxford Handbook of Contemporary Philosophy is the definitive guide to what's going on in this lively and fascinating subject. Jackson and Smith, themselves two of the world's most eminent philosophers, have assembled more than thirty distinguished scholars to contribute incisive and up-to-date critical surveys of the principal areas of research. The coverage is broad, with sections devoted to moral philosophy, social and political philosophy, philosophy of mind and action, philosophy of language, metaphysics, epistemology, and philosophy of the sciences. This Handbook will be a rich source of insight and stimulation for philosophers, students of philosophy, and for people working in other disciplines of the humanities, social sciences, and sciences, who are interested in the state of philosophy today.