Logic, Inductive and Deductive
by William Minto
Publisher: ManyBooks 1893
ISBN/ASIN: 1469934264
Number of pages: 308
Description:
In this little treatise two things are attempted that at first might appear incompatible. One of them is to put the study of logical formulae on a historical basis. The other aim, which might at first appear inconsistent with this, is to increase the power of Logic as a practical discipline.
Download or read it online for free here:
Download link
(multiple formats)
Similar books
Introduction to Logic and Critical Thinkingby Matthew Van Cleave - Lansing Community College
This is an introductory textbook in logic and critical thinking. The goal is to provide the reader with skills that will enable them to identify and evaluate arguments. It is intended for an introductory course that covers formal and informal logic.
(10403 views)
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.
(20799 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.
(17205 views)
Proof Theory and Philosophyby Greg Restall - consequently.org
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.
(12523 views)