Logic: Deductive and Inductive
by Carveth Read
Publisher: Project Gutenberg 2006
Number of pages: 417
Logic is the science that explains what conditions must be fulfilled in order that a proposition may be proved, if it admits of proof. When propositions are expressed with the universality and definiteness that belong to scientific statements, they are called laws; and laws, so far as they are not laws of quantity, are tested by the principles of Logic, if they at all admit of proof.
Home page url
Download or read it online for free here:
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.
by Antony Eagle - University of Adelaide
This textbook covers the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written for an introductory logic course.
by William Minto - ManyBooks
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 is to increase the power of Logic as a practical discipline.
by George Hayward Joyce - Longmans
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.