Escoge la categoría

An Introduction to Formal Logic: Second Edition

  • Autor:

  • Editores:

  • Editorial:

  • Año de Edición:

  • Idioma:

  • Nº Páginas:

  • ISBN:

  • Formato:
    Comparte

    Por: $112.100,00ou X de


    Comprar
    bm-an-introduction-to-formal-logic-second-edition-advanced-reasoning-forum-9781938421525
    An Introduction to Formal Logic: Second Edition
    Por: $112.100,00ou
    48x de $2.335,41
    sem juros
    ComprarVendedor Libreria de la U
    PAP00296022

    Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. Motivation for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Provides a conception of formal logic and not just a collection of results. Summaries at important junctures in the book keep students aware of what they''re doing and where they''re going. Hundreds of exercises that teach. Criteria of formalization with many examples of formalizing ordinary language reasoning in an example-analysis format. A complete course: syntax, semantics, and completeness theorems for classical propositional logic and classical predicate logic, and syntax and semantics for second-order classical predicate logic.

    Atributos LU

    TítuloAn Introduction to Formal Logic: Second Edition
    AutorRICHARD LOUIS EPSTEIN
    PaísEstados Unidos
    Tabla de Contenido

    1 The Basics of Logic. 2 Reasoning with Compound Claims. 3 Classical Propositional Logic: Form. 4 Classical Propositional Logic: Meaning. 5 Using Classical Propositional Logic. 6 Proofs. Summary of Chapters 16. 7 Reasoning about Things. 8 The Grammar of Things. 9 A Formal Language for Predicate Logic. 10 A Predicate Applies to an Object or Objects. 11 Models for Classical Predicate Logic. 12 Substitution of Variables and Distribution of Quantifiers. 13 An Axiom System for Classical Predicate Logic. Summary of Chapters 713. 14 Formalizing in Classical Predicate Logic. 15 Identity. 16 Formalizing with the Equality Predicate. 17 Possibilities. APPENDICES 1 Proof by induction 2 Set Theory Notation 3 Naming, Pointing, and What There Is 4 Completeness Proofs 5 Other Interpretations of the Quantifiers and Variables 6 Mathematical Semantics 7 Aristotelian Logic. Index of Symbols. Index of Examples. Index.

    TipoImpreso Bajo Demanda
    ISXN9781938421525
    Año de Edición2020
    Núm. Páginas230
    Peso (Físico)405
    Tamaño (Físico)17 x 24.4 x 1.3 cm
    IdiomaInglés

    Títulos Similares