Tome 1 Philosophie Du Langage Logique Philosophique Volume 1 Philosophy Of Language Philosophical Logic

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.

The Handbook of Philosophical Logic is a unique systematic survey of the central areas of philosophical logic. Divided into four volumes, each devoted to a major sub-field within the disciplines, it is expected that the Handbook will have considerable influence in the field for many years to come. Written by world authorities in philosophical logic, the work reflects careful and fruitful collaboration by the authors at every stage of the project. This has ensured a comprehensive and definitive set of articles which will be of inestimable value to general philosophers, linguists, logicians, mathematicians and computer scientists. Volume I: Elements of Classical Logic, deals with the background to what has come to be considered the standard formulation of predicate logic - both as far as its semantics and proof theory are concerned. The central chapter on predicate logic is followed by chapters outlining various alternative, but essentially equivalent ways of constructing the semantics for first-order logic as well as its proof theory. In addition, this volume contains a discussion of higher-order extensions of first-order logic and a compendium of the algorithmic and decision-theoretic prerequisites in the study of logical systems. Volume II: Extensions of Classical Logic, surveys the most significant `intensional' extensions of predicate logic and their applications to various philosophical fields of inquiry. The twelve chapters in this volume together provide a succinct introduction to a variety of intensional frameworks, a discussion of the most well-known logical systems, as well as an overview of major applications and of the open problems in the respective fields. Volume III: Alternatives to Classical Logic, consists of a series of surveys of some of the alternatives to the basic assumptions of classical logic. These include many-valued logic, partial logic, free logic, relevance and entailment logics, dialogue logic, quantum logic, and intuitionism. Volume IV: Topics in the Philosophy of Language, presents a panorama of the applications of logical tools and methods in the formal analysis of natural language. Since a number of developments in philosophical logic were originally stimulated by concern arising in the semantic analysis of natural language discourse, the chapters in this volume provide some criteria of evaluation of the applications of work in philosophical logic. In revealing both the adequacies and inadequacies of logical investigations in the semantic structures of natural discourse, these chapters also point the way to future developments in philosophical logic in general and thus close again the circle of inquiry relating logic and language.

conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the most well-known approaches to mass terms and the ontological proposals related to them. In addition to quantification and predication, matters of reference have constituted the other overriding theme for semantic theories in both philosophical logic and the semantics of natural languages. Chapter IV.5 of how the semantics of proper names and descrip presents an overview tions have been dealt with in recent theories of reference. Chapter IV.6 is concerned with the context-dependence of reference, in particular, with the semantics of indexical expressions. The topic of Chapter IV.7 is related to predication as it surveys some of the central problems of ascribing propositional attitudes to agents. Chap ter IV.8 deals with the analysis of the main temporal aspects of natural language utterances. Together these two chapters give a good indication of the intricate complexities that arise once modalities of one or the other sort enter on the semantic stage. in philosophical Chapter IV.9 deals with another well-known topic logic: presupposition, an issue on the borderline of semantics and prag matics. The volume closes with an extensive study of the Liar paradox and its many implications for the study of language (as for example, self reference, truth concepts and truth definitions).

Meaning and Argument is a popular introduction to philosophy of logic and philosophy of language. Offers a distinctive philosophical, rather than mathematical, approach to logic Concentrates on symbolization and works out all the technical logic with truth tables instead of derivations Incorporates the insights of half a century's work in philosophy and linguistics on anaphora by Peter Geach, Gareth Evans, Hans Kamp, and Irene Heim among others Contains numerous exercises and a corresponding answer key An extensive appendix allows readers to explore subjects that go beyond what is usually covered in an introductory logic course Updated edition includes over a dozen new problem sets and revisions throughout Features an accompanying website at http://ruccs.rutgers.edu/~logic/MeaningArgument.html

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a “critical” alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes.

This volume constitutes the Proceedings of a workshop on formal seman tics of natural languages which was held in Tiibingen from the 1st to the 3rd of December 1977. Its main body consists of revised versions of most of the papers presented on that occasion. Three supplementary papers (those by Gabbay and Sma by) are included because they seem to be of particular interest in their respective fields. The area covered by the work of scholars engaged in philosophical logic and the formal analysis of natural languages testifies to the live liness in those disciplines. It would have been impossible to aim at a complete documentation of relevant research within the limits imposed by a short conference whereas concentration on a single topic would have conveyed the false impression of uniformity foreign to a young and active field. It is hoped that the essays collected in this volume strike a reasonable balance between the two extremes. The topics discussed here certainly belong to the most important ones enjoying the attention of linguists and philosophers alike: the analysis of tense in formal and natural languages (van Benthem, Gabbay), the quickly expanding domain of generalized quantifiers (Goldblatt), the problem of vagueness (Kamp), the connected areas of pronominal reference (Smaby) and presupposition (von Stechow) and, last but not least, modal logic as a sort of all-embracing theoretical framework (Bressan). The workshop which led to this collection formed part of the activities celebrating the 500th anniversary of Tiibingen University.

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as weIl as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate at the evolution of logic. This was the time when logic temporal junction was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial pressure to provide devices which help andjor replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

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.