Books in category Philosophy – Logic

  • Logic of Statistical Inference

    Logic of Statistical Inference
    Ian Hacking

    This book showcases Ian Hacking's early ideas on the central issues surrounding statistical reasoning.

  • Proof Analysis

    Proof Analysis
    Sara Negri, Jan von Plato

    This book continues from where the authors' previous book, Structural Proof Theory, ended.

  • Needs Values Truth

    Needs, Values, Truth
    David Wiggins

    For this third edition the author has added a new essay on incommensurability, in addition to making minor revisions to the existing text. The volume will stand as a definitive summation of his work in this area.

  • An Aristotelian Realist Philosophy of Mathematics

    An Aristotelian Realist Philosophy of Mathematics
    J. Franklin

    The book develops a complete philosophy of mathematics that contrasts with the usual Platonist and nominalist options.

  • Isabelle HOL

    Isabelle/HOL
    Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.

  • Supererogation

    Supererogation
    David Heyd

    David Heyd's study will stimulate philosophers to recognise the importance of the rather neglected topic of the distinctiveness of supererogation and the difficulty of accounting for it, and to take a fresh critical look at their theories …

  • The Oxford Handbook of Philosophy of Mathematics and Logic

    The Oxford Handbook of Philosophy of Mathematics and Logic
    Stewart Shapiro

    The chapters in this book contain both exposition and criticism as well as substantial development of their own positions. It also includes a bibliography.

  • Abductive Reasoning

    Abductive Reasoning
    Douglas Walton

    A study of the role of abductive inference in everyday argumentation and legal evidence.

  • A New Introduction to Modal Logic

    A New Introduction to Modal Logic
    George Edward Hughes, M. J. Cresswell

    This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic.

  • Practical Reasoning about Final Ends

    Practical Reasoning about Final Ends
    Henry S. Richardson

    This book argues against philosophical opponents, that we can determine our ends or goals rationally.

1 2 3 4 5 Next >