Introduction to Philosophy/Logic

Before we are ready to ask any questions, we must first understand how to go about reasoning about them. The branch of philosophy that covers the study of reasoning is called logic. It stands at the foundation of all philosophical and scientific thinking processes.

Logic is very important. After all, if we want good answers to our questions, we need some way to verify that we didn't make a mistake in our reasoning.

The field of logic has matured to give rise to a very structured way of approaching the art of reasoning, turning it into a science. Even so, of course, interesting questions and problems still remain to be researched. However, for this introductory book, we will cover the basics of correct reasoning, and slowly introduce you to the most structured form of all: formal logic.

This book will only provide an introduction. To read more about formal logic specifically, we recommend advanced readers to check out the related wikibook Formal Logic.

Table of Contents

 * 1) Introductory Material
 * 2) Older Pages
 * 3) Preface
 * 4) Logic and Reason
 * 5) Truth and Validity
 * 6) Paradoxes
 * 7) Classical Logic
 * 8) Modes
 * 9) Sentential Logic
 * 10) Older Pages
 * 11) The Sentential Language (heavily modified) (moved to Formal Logic)
 * |Truth Tables (completely rewritten) (moved to Formal Logic)
 * 1) Building More Complicated Formulas
 * 2) Tautologies and Contradictions
 * 3) Fault Diagnosis
 * 4) Some Properties of the Logical Connectives
 * 5) Nand and Nor
 * 6) A More Formal Approach to Sentential Logic
 * 7) Soundness, consistency, completeness
 * 8) Syntax and semantics
 * 9) Propositional calculus and probability theory
 * 10) Summary for propositional calculus
 * 11) Tableau proofs
 * 12) Predicate Logic
 * 13) Other Material
 * 14) Older Pages
 * 15) Modal Logic
 * 16) Names - Frege, Sinn and Bedeutung
 * 17) Equality - Leibniz's law
 * 18) Definite descriptions - Russell
 * 19) Intensionality, Belief, Scope
 * 20) Truth, Tarski
 * 21) Vagueness
 * 22) Bibliography
 * 23) Newer Pages