Welcome to E-Books Directory
This page lists freely downloadable books.

 

e-books in this category

An Illustrated Book of Bad ArgumentsAn Illustrated Book of Bad Arguments
by Ali Almossawi, Alejandro Giraldo - bookofbadarguments.com , 2013
This book is aimed at newcomers to the field of logical reasoning, particularly those who understand best through visuals. The reader will learn from these pages some of the most common pitfalls in arguments and be able to identify and avoid them.
(996 views)

Logic Gallery, Aristotle to the PresentLogic Gallery, Aristotle to the Present
by David Marans - HumBox Project , 2013
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.
(910 views)

Studies in Logical TheoryStudies in Logical Theory
by John Dewey - The University of Chicago Press , 1903
This volume presents some results of the work done in the matter of logical theory in the Department of Philosophy of the University of Chicago in the first decade of its existence. The eleven Studies are the work of eight different hands...
(1385 views)

The Origin and Growth of Plato's LogicThe Origin and Growth of Plato's Logic
by Wincenty Lutosawski - Longmans, Green and co. , 1905
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.
(1391 views)

Logic, Inductive and DeductiveLogic, Inductive and Deductive
by William Minto - ManyBooks , 1893
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.
(2021 views)

The Art of Logical ThinkingThe Art of Logical Thinking
by William Walker Atkinson - The Progress company , 1909
By the employment of the reasoning faculties of the mind we compare objects presented to the mind as percepts or concepts, taking up the raw materials of thought and weaving them into complex mental fabrics which we call abstract ideas of truth.
(3015 views)

A Second Course in LogicA Second Course in Logic
by Christopher Gauker - University of Cincinnati , 2010
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.
(5195 views)

Symbolic Logic: A Second CourseSymbolic Logic: A Second Course
by Gary Hardegree - UMass Amherst , 2003
Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.
(4039 views)

Symbolic Logic: A First CourseSymbolic Logic: A First Course
by Gary Hardegree - Mcgraw-Hill College , 1999
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.
(5756 views)

Introduction to Modal LogicIntroduction to Modal Logic
by Gary Hardegree - UMass Amherst , 2009
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...
(3671 views)

The Principles Of MathematicsThe Principles Of Mathematics
by Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(7171 views)

The Origin and Significance of Hegel's LogicThe Origin and Significance of Hegel's Logic
by J. B. Baillie - MacMillan , 1901
The student of Hegel usually finds the Logic the most forbidding part of the System. The aim of the book is to attempt to remove the difficulties in the way of understanding the Logic, but also regarding the point of view of the System generally.
(2310 views)

Proof Theory and PhilosophyProof Theory and Philosophy
by Greg Restall - consequently.org , 2006
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.
(4507 views)

Deductive LogicDeductive Logic
by St. George Stock - Longmans , 1888
The author's object has been to produce a work which should be thoroughly representative of the present state of the logic of the Oxford Schools. The qualities which he aimed at before all others were clearness and consistency.
(2339 views)

Principles of LogicPrinciples of Logic
by George Hayward Joyce - Longmans , 1908
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.
(3562 views)

Logic: Deductive and InductiveLogic: Deductive and Inductive
by Carveth Read - Project Gutenberg , 2006
Logic is the science that explains what conditions must be fulfilled in order that a proposition may be proved. When propositions are expressed with the universality and definiteness that belong to scientific statements, they are called laws.
(2878 views)

Formal LogicFormal Logic
- Wikibooks , 2009
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.
(6056 views)

Symbolic LogicSymbolic Logic
by Lewis Carroll - Macmillan and co , 1897
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.
(10320 views)

Language, Proof and LogicLanguage, Proof and Logic
by Jon Barwise, John Etchemendy - Center for the Study of Language , 2002
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.
(17841 views)

forall x: An Introduction to Formal Logicforall x: An Introduction to Formal Logic
by P.D. Magnus , 2008
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.
(9706 views)