Advances In Intensional Logic

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book is a most welcome addition to our series. The Editors CONTENTS PREFACE IX JOHAN VAN BENTHEM AND NATASHA ALECHINA Modal Quantification over Structured Domains PATRICK BLACKBURN AND WILFRIED MEYER-VIOL Modal Logic and Model-Theoretic Syntax 29 RUY J. G. B. DE QUEIROZ AND DOV M. GABBAY The Functional Interpretation of Modal Necessity 61 VLADIMIR V. RYBAKOV Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline 195 EDWARD N. ZALTA 249 The Modal Object Calculus and its Interpretation NAME INDEX 281 SUBJECT INDEX 285 PREFACE Intensional logic has many faces. In this preface we identify some prominent ones without aiming at completeness.

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds of linguistic context in a fully compositional and anti-contextual way.

This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.

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.

The Manual section of the Handbook of Pragmatics, produced under the auspices of the International Pragmatics Association (IPrA), is a collection of articles describing traditions, methods, and notational systems relevant to the field of linguistic pragmatics; the main body of the Handbook contains all topical articles. The first edition of the Manual was published in 1995. This second edition includes a large number of new traditions and methods articles from the 24 annual installments of the Handbook that have been published so far. It also includes revised versions of some of the entries in the first edition. In addition, a cumulative index provides cross-references to related topical entries in the annual installments of the Handbook and the Handbook of Pragmatics Online (at https://benjamins.com/online/hop/), which continues to be updated and expanded. This second edition of the Manual is intended to facilitate access to the most comprehensive resource available today for any scholar interested in pragmatics as defined by the International Pragmatics Association: “the science of language use, in its widest interdisciplinary sense as a functional (i.e. cognitive, social, and cultural) perspective on language and communication.”

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality.

The eighth volume of the Second Edition contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.