Escoge la categoría

Propositional Logics 3rd edition

  • Autor:

  • Editores:

  • Editorial:

  • Año de Edición:

  • Idioma:

  • Nº Páginas:

  • ISBN:

  • Formato:

    Por: $114.900,00ou X de

    Propositional Logics 3rd edition
    Por: $114.900,00ou
    48x de $2.393,75
    sem juros
    ComprarVendedor Libreria de la U

    This book presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and dependent implication are examined in separate chapters. Each begins with a motivation in the originators' own terms, followed by the standard formal semantics, syntax, and completeness theorem. The chapters on the various logics are largely self-contained so that the book can be used as a reference. An appendix summarizes the formal semantics and axiomatizations of the logics. The view that unifies the exposition is that propositional logics comprise a spectrum: as the aspect of propositions under consideration varies, the logic varies. Each logic is shown to fall naturally within a general framework for semantics. A theory of translations between logics is presented that allows for further comparisons, and necessary conditions are given for a translation to preserve meaning. For this third edition the material has been re-organized to make the text easier to study, and a new section on paraconsistent logics with simple semantics has been added which challenges standard views on the nature of consequence relations. The text includes worked examples and hundreds of exercises, from routine to open problems, making the book with its clear and careful exposition ideal for courses or individual study.

    Atributos LU

    AutorRichard L Epstein
    Biografía del Autor

    Richard L Epstein received his B.A. summa cum laude from the University of Pennsylvania, and his Ph.D. in mathematics from the University of California, Berkeley. He was a post-doctoral fellow in mathematics and philosophy at Victoria University of Wellington, New Zealand, a Fulbright Fellow to Brazil. and a National Academy of Sciences Scholar to Poland. He is the author of \"Predicate Logic\", \"The Internal Structure of Predicates and Names\", \"An Introduction to Formal Logic\", \"Classical Mathematical Logic, and, with Walter Carnielli, \"Computability\". He is now the Head of the Advanced Reasoning Forum.

    Tabla de Contenido

    I The Basic Assumptions of Propositional Logic
    II Classical Propositional Logic
    III Relatedness Logic
    A Summary and Overview
    IV Dependence Logic
    V Modal Logics
    VI Intuitionism
    VII Many-Valued Logics
    VIII Some Paraconsistent Logics
    IX A General Framework for Semantics for Propositional Logics
    X Translations Between Logics
    XI The Semantic Foundations of Logic
    Summary of Logics
    Index of Examples
    Glossary of Notation

    Año de Edición2018
    Núm. Páginas508
    Peso (Físico)0
    Tamaño Archivo (Virtual)12.83
    DRM (Virtual)
    Formato Electrónico (Virtual)PDF
    TítuloPropositional Logics 3rd edition

    Títulos Similares