Philosophy: Logic

e-books in this category

Deductive Logic
by St. George Stock - Longmans , 1888
The author's object has been to produce a work which should be thoroughly representative of the present state of the logic of the Oxford Schools. The qualities which he aimed at before all others were clearness and consistency.
(114 views)

Formal Logic
- Wikibooks , 2009
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital.
(1080 views)

Language, Proof and Logic
by Jon Barwise, John Etchemendy - Center for the Study of Language , 2002
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.
(5984 views)

Logic: Deductive and Inductive
by Carveth Read - Project Gutenberg , 2006
Logic is the science that explains what conditions must be fulfilled in order that a proposition may be proved. When propositions are expressed with the universality and definiteness that belong to scientific statements, they are called laws.
(150 views)

Principles of Logic
by George Hayward Joyce - Longmans , 1908
This work is an attempt at a presentment of what is frequently termed the Traditional Logic, and is intended for those who are making acquaintance with philosophical questions for the first time. Logic is the theory of the mind's rational processes.
(152 views)

Proof Theory and Philosophy
by Greg Restall - consequently.org , 2006
A textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly and philosophically motivated presentation.
(100 views)

Symbolic Logic
by Lewis Carroll - Macmillan and co , 1897
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.
(3398 views)