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
Language, Proof and Logicby 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.
(23995 views)
Studies and Exercises in Formal Logicby John Neville Keynes - The Macmillan Company
In addition to a detailed exposition of certain portions of Formal Logic, the following pages contain a number of problems worked out in detail and unsolved problems, by means of which the student may test his command over logical processes.
(6534 views)
forall x: An Introduction to Formal Logicby P.D. Magnus
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.
(19988 views)
Introduction to Modal Logicby 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...
(15645 views)