Logo

forall x: An Introduction to Formal Logic

Large book cover: forall x: An Introduction to Formal Logic

forall x: An Introduction to Formal Logic
by


ISBN/ASIN: B002ACW8VA
Number of pages: 160

Description:
forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading.

Home page url

Download or read it online for free here:
Download link
(0.6MB, PDF)

Similar books

Book cover: Lectures on Linear LogicLectures on Linear Logic
by - CSLI
This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
(11709 views)
Book cover: Predicative ArithmeticPredicative Arithmetic
by - Princeton Univ Pr
The book based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, and more.
(16835 views)
Book cover: Natural TopologyNatural Topology
by - arXiv
We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.
(8300 views)
Book cover: Actual CausalityActual Causality
by - The MIT Press
In this book, Joseph Halpern explores actual causality, and such related notions as degree of responsibility, degree of blame, and causal explanation. The goal is to arrive at a definition of causality that matches our natural language usage.
(4766 views)