**Logic Gallery, Aristotle to the Present**

by David Marans

**Publisher**: HumBox Project 2013**ISBN/ASIN**: 0557866812**ISBN-13**: 9780557866816**Number of pages**: 147

**Description**:

Century-by-Century: Insights, Images, and Bios of famous logicians. The continuity and expansion of a fundamental concept. We shall attempt to indicate the way in which logic has developed from the science of reflective thinking, or reasoning, to the science of form.

Download or read it online for free here:

**Download link**

(13MB, PDF)

## Similar books

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

(

**9763**views)

**Language, Proof and Logic**

by

**Jon Barwise, John Etchemendy**-

**Center for the Study of Language**

The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.

(

**13829**views)

**Introduction to Modal Logic**

by

**Gary Hardegree**-

**UMass Amherst**

Contents: Basic Concepts; Classical SL; Absolute Modal Logic - System L; Relative Modal Logic - System K; Systems Between K and L; Modal Predicate Logic; General First-Order Logic; First-Order Modal Logic; First-Order Modal Logic with Actuality...

(

**8525**views)

**Symbolic Logic**

by

**Lewis Carroll**-

**Macmillan and co**

Here you see Carroll the mathematician at his playful best. This isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler.

(

**11037**views)