Fundamental Methods of Logic
by Matthew Knachel
Publisher: University of Wisconsin Milwaukee 2017
ISBN-13: 9780996150224
Number of pages: 249
Description:
Suitable for a one-semester introduction to logic/critical reasoning course. It covers a variety of topics at an introductory level. It introduces basic notions, such as arguments and explanations, validity and soundness, deductive and inductive reasoning, etc.
Download or read it online for free here:
Download link
(4.4MB, PDF)
Similar books
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.
(15625 views)
Symbolic Logicby Lewis Carroll - Macmillan and co
Here you see Carroll the mathematician at his playful best. This isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler.
(18195 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...
(14525 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.
(21815 views)