**A Manual of Intensional Logic**

by Johan van Benthem

**Publisher**: CSLI 1988**Number of pages**: 147

**Description**:

An examination of the role of partial information -- with illustrations drawn from different branches of Intensional Logic -- and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types.

*This document is no more available for free.*

## Similar books

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

(

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

(

**10572**views)

**The Algebra of Logic**

by

**Louis Couturat**-

**Project Gutenberg**

Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the 'calculus ratiocinator' aspect, and shows, in an admirably succinct form, the beauty of the calculus of logic regarded as an algebra.

(

**7020**views)

**Symbolic Logic: A First Course**

by

**Gary Hardegree**-

**Mcgraw-Hill College**

Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.

(

**7962**views)