Advances in Intensional Logic
Advances in Intensional Logic

Author: Maarten de Rijke

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 298

ISBN-13: 9401588791

DOWNLOAD EBOOK

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.

Procedural Semantics for Hyperintensional Logic
Procedural Semantics for Hyperintensional Logic

Author: Marie Duží

Publisher: Springer Science & Business Media

Published: 2010-07-01

Total Pages: 562

ISBN-13: 9048188121

DOWNLOAD EBOOK

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.

Logic and How it Gets That Way
Logic and How it Gets That Way

Author: Dale Jacquette

Publisher: Routledge

Published: 2014-09-19

Total Pages: 321

ISBN-13: 1317546547

DOWNLOAD EBOOK

In this challenging and provocative analysis, Dale Jacquette argues that contemporary philosophy labours under a number of historically inherited delusions about the nature of logic and the philosophical significance of certain formal properties of specific types of logical constructions. Exposing some of the key misconceptions about formal symbolic logic and its relation to thought, language and the world, Jacquette clears the ground of some very well-entrenched philosophical doctrines about the nature of logic, including some of the most fundamental seldom-questioned parts of elementary propositional and predicate-quantificational logic. Having presented difficulties for conventional ways of thinking about truth functionality, the metaphysics of reference and predication, the role of a concept of truth in a theory of meaning, among others, Jacquette proceeds to reshape the network of ideas about traditional logic that philosophy has acquired along with modern logic itself. In so doing Jacquette is able to offer a new perspective on a number of existing problems in logic and philosophy of logic.

Advances in Proof-Theoretic Semantics
Advances in Proof-Theoretic Semantics

Author: Thomas Piecha

Publisher: Springer

Published: 2015-10-24

Total Pages: 281

ISBN-13: 331922686X

DOWNLOAD EBOOK

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Logicism Renewed
Logicism Renewed

Author: Paul C. Gilmore

Publisher: Cambridge University Press

Published: 2017-03-30

Total Pages: 250

ISBN-13: 1108676936

DOWNLOAD EBOOK

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In this volume, the twenty-third publication in the Lecture Notes in Logic series, Paul C. Gilmore revisits logicism in light of recent advances in mathematical logic and theoretical computer science. Gilmore addresses the need for languages which can be understood by both humans and computers and, using Intensional Type Theory (ITT), provides a unified basis for mathematics and computer science. This yields much simpler foundations for recursion theory and the semantics of computer programs than those currently provided by category theory.

Towards Non-Being
Towards Non-Being

Author: Graham Priest

Publisher: Oxford University Press

Published: 2005-05-19

Total Pages: 207

ISBN-13: 0199262543

DOWNLOAD EBOOK

Towards Non-Being presents an account of the semantics of intentional language - verbs such as 'believes', 'fears', 'seeks', 'imagines'. Graham Priest's account tackles problems concerning intentional states which are often brushed under the carpet in discussions of intentionality, such as their failure to be closed under deducibility. Drawing on the work of the late Richard Routley (Sylvan), it proceeds in terms of objects that may be either existent or non-existent, atworlds that may be either possible or impossible. Since Russell, non-existent objects have had a bad press in Western philosophy; Priest mounts a full-scale defence. In the process, he offers an account of both fictional and mathematical objects as non-existent.The book will be of central interest to anyone who is concerned with intentionality in the philosophy of mind or philosophy of language, the metaphysics of existence and identity, the philosophy or fiction, the philosophy of mathematics, or cognitive representation in AI.