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 Christopher Gauker - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
by David Marans - HumBox Project
Century-by-Century: Insights, Images, and Bios. 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.
by 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.
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.