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.
(21379 views)
Logic: Deductive and Inductiveby Carveth Read - Project Gutenberg
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.
(13255 views)
Formal Logic- Wikibooks
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.
(15355 views)
Symbolic Logic: A First Courseby 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.
(17794 views)