Search Results: modal-logic-for-philosophers

Modal Logic for Philosophers

Author: James W. Garson

Publisher: Cambridge University Press

ISBN: 1107512301

Category: Philosophy

Page: N.A

View: 8931

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dicto distinction. Discussion of philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems, which are widely regarded as the easiest to teach and use. It also includes a diagram technique that extends the method of truth trees to modal logic. This provides a foundation for a novel method for showing completeness that is easy to extend to quantifiers. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout.

Logic for Philosophy

Author: Theodore Sider

Publisher: Oxford University Press, USA


Category: Philosophy

Page: 289

View: 9150

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii)extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness,undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to dophilosophy.

Modal Logics and Philosophy

Author: Rod Girle

Publisher: Routledge

ISBN: 131749217X

Category: Philosophy

Page: 240

View: 729

The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission.

Modal Logic for Open Minds

Author: Johan van Benthem

Publisher: Stanford Univ Center for the Study


Category: Philosophy

Page: 381

View: 1003

In this work, the author provides an introduction to the field of modal logic, outlining its major ideas and emploring the numerous ways in which various academic fields have adopted it.

Modal Logic

An Introduction

Author: Brian F. Chellas

Publisher: Cambridge University Press

ISBN: 9780521295154

Category: Mathematics

Page: 295

View: 5561

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.

Modal Logic

Graph. Darst

Author: Patrick Blackburn,Maarten de Rijke,Yde Venema

Publisher: Cambridge University Press

ISBN: 9780521527149

Category: Computers

Page: 554

View: 8007

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.

Modal Logic as Metaphysics

Author: Timothy Williamson

Publisher: Oxford University Press

ISBN: 019955207X

Category: Philosophy

Page: 464

View: 8613

Are there such things as merely possible people, who would have lived if our ancestors had acted differently? Are there future people, who have not yet been conceived? Questions like those raise deep issues about both the nature of being and its logical relations with contingency and change. In Modal Logic as Metaphysics, Timothy Williamson argues for positive answers to those questions on the basis of an integrated approach to the issues, applying thetechnical resources of modal logic to provide structural cores for metaphysical theories. He rejects the search for a metaphysically neutral logic as futile, and proposes higher-order modal logic as a new settingin which to resolve such metaphysical questions scientifically, by the construction of systematic logical theories embodying rival answers and their comparison by normal scientific standards.

Modal Logic

An Introduction to its Syntax and Semantics

Author: Nino B. Cocchiarella,Max A. Freund

Publisher: Oxford University Press

ISBN: 9780199710638

Category: Mathematics

Page: 288

View: 3915

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills. A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de dicto sentence. An elegant extension of the standard sentential modal logics into several first-order modal logics is developed. Both a first-order modal logic for possibilism containing actualism as a proper part as well as a separate modal logic for actualism alone are constructed for a variety of modal systems. Exercises on this level show the connections between modal laws and quantifier logic regarding generalization into, or out of, modal contexts and the conditions required for the necessity of identity and non-identity. Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises regarding second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general. Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence.

Neighborhood Semantics for Modal Logic

Author: Eric Pacuit

Publisher: Springer

ISBN: 3319671499

Category: Philosophy

Page: 154

View: 1027

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic (the so-called non-normal modal logics). In addition, the book discusses a broad range of topics, including standard modal logic results (i.e., completeness, decidability and definability); bisimulations for neighborhood models and other model-theoretic constructions; comparisons with other semantics for modal logic (e.g., relational models, topological models, plausibility models); neighborhood semantics for first-order modal logic, applications in game theory (coalitional logic and game logic); applications in epistemic logic (logics of evidence and belief); and non-normal modal logics with dynamic modalities. The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level); or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory.

First-Order Modal Logic

Author: M. Fitting,Richard L. Mendelsohn

Publisher: Springer Science & Business Media

ISBN: 9401152926

Category: Philosophy

Page: 292

View: 4288

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

Philosophical Logic

An Introduction to Advanced Topics

Author: George Englebretsen,Charles Sayward

Publisher: A&C Black

ISBN: 1441119116

Category: Philosophy

Page: 208

View: 5480

Introduces students to non-classical logic, syllogistic, to quantificational and modal logic. The book includes exercises throughout and a glossary of terms and symbols.

Philosophy of Logic

Author: N.A

Publisher: Elsevier

ISBN: 9780080466637

Category: Mathematics

Page: 1218

View: 2164

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter

What Logics Mean

From Proof Theory to Model-Theoretic Semantics

Author: James W. Garson

Publisher: Cambridge University Press

ISBN: 1107471001

Category: Philosophy

Page: 260

View: 3588

What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if ... then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.

Proof Theory of Modal Logic

Author: Heinrich Wansing

Publisher: Springer Science & Business Media

ISBN: 9401727988

Category: Philosophy

Page: 318

View: 8339

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

First Steps in Modal Logic

Author: Sally Popkorn

Publisher: Cambridge University Press

ISBN: 9780521464826

Category: Mathematics

Page: 314

View: 2687

This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.

Logic for philosophers

Author: Richard L. Purtill

Publisher: N.A


Category: Philosophy

Page: 419

View: 1478

Epistemic Modality

Functional Properties and the Italian System

Author: Paola Pietrandrea

Publisher: John Benjamins Publishing

ISBN: 9027230846

Category: Language Arts & Disciplines

Page: 232

View: 1844

This volume offers an original theoretical and methodological approach to the hotly debated issue of epistemic modality. The analysis is conducted in a rigorous typological frame developed after a careful consideration of a wealth of cross-linguistic data, and focuses on Italian, a language often disregarded in comparative analyses. The complexity of the Italian epistemic system provides relevant information that will undoubtedly foster a better understanding of the topic. A new definition of epistemic modality is proposed on a functional basis and the structure of the Italian epistemic system is closely described. The morpho-syntactic characteristics of Italian epistemic forms are regarded as the result of the dialectic between universal functional pressures and peculiar system resistances. Shaped by the system, epistemic modality emerges as an intrinsically linguistic category, which cannot be downsized to a mere conceptual notion, as other approaches would propose.

Meaning and Necessity

A Study in Semantics and Modal Logic

Author: Rudolf Carnap

Publisher: University of Chicago Press

ISBN: 9780226093475

Category: Philosophy

Page: 258

View: 5239

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence. . . . The chief virtue of the book is its systematic character. From Frege to Quine most philosophical logicians have restricted themselves by piecemeal and local assaults on the problems involved. The book is marked by a genial tolerance. Carnap sees himself as proposing conventions rather than asserting truths. However he provides plenty of matter for argument."—Anthony Quinton, Hibbert Journal

Philosophical Applications of Modal Logic

Author: Lloyd Humberstone

Publisher: N.A

ISBN: 9781848901964


Page: 588

View: 691

This text aims to convey some of the interest and charm of modal logic, and to put a reader new to the subject in a position to have an informed opinion as to its applicability to each of several areas of philosophical concern (belief, knowledge, obligation ...) in which the merits of a modal approach' have been controversial. he main focus, for these purposes, is on normal modal logics, though some attention is given to the non-normal side of the picture.

Possible Worlds

Author: John Divers

Publisher: Routledge

ISBN: 1134731604

Category: Philosophy

Page: 400

View: 8341

Possible Worlds presents the first up-to-date and comprehensive examination of one of the most important topics in metaphysics. John Divers considers the prevalent philosophical positions, including realism, antirealism and the work of important writers on possible worlds such as David Lewis, evaluating them in detail.

Find eBook