Logic Gallery, Aristotle to the Present
by David Marans
Publisher: HumBox Project 2013
Number of pages: 147
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.
Home page url
Download or read it online for free here:
by Matthew Knachel - University of Wisconsin Milwaukee
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, deductive and inductive reasoning, etc.
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 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 Wincenty Lutosawski - Longmans, Green and co.
In undertaking the investigations summarized in this volume, the author's chief aim was to explain the origin of Logic by a psychological study of the first logician. This required a knowledge of the chronology of Plato's writings.