**Notes on the Science of Logic**

by Nuel Belnap

**Publisher**: University of Pittsburgh 2009**Number of pages**: 227

**Description**:

This course assumes you know how to use truth functions and quantifiers as tools. Our principal task here will be to study these very tools; we shall be engaged in part of the science of logic. Contents: Preliminaries; The logic of truth functional connectives; The first order logic of extensional predicates, operators, and quantifiers.

Download or read it online for free here:

**Download link**

(750KB, PDF)

## Similar books

**Symbolic Logic: A Second Course**

by

**Gary Hardegree**-

**UMass Amherst**

Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.

(

**9552**views)

**Actual Causality**

by

**Joseph Y. Halpern**-

**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.

(

**928**views)

**Introduction to Mathematical Logic**

by

**Vilnis Detlovs, Karlis Podnieks**-

**University of Latvia**

From the table of contents: 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).

(

**7088**views)

**Mathematical Logic**

by

**Stephen G. Simpson**-

**Pennsylvania State University**

Lecture notes for all mathematics graduate students. The text covers propositional calculus, predicate calculus, proof systems, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.

(

**12604**views)