**Philosophy Index** is a site devoted to the study of philosophy
and the philosophers who conduct it. The site contains a number of philosophy texts,
brief biographies, and introductions to philosophers, and explanations on a
number of topics. Accredited homeschooling online
at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.

**Aristotle****Camus****Descartes****Frege****Heidegger****Hobbes****Hume****Kant****Kierkegaard****Locke****Nietzsche****Plato****Quine****Russell****Sartre****Socrates****Wittgenstein**- All Philosophers…

**Aesthetics****Epistemology****Logic****Ethics****Metaphysics****Language****Mind****Politics****TEST PREP KIT**- All Terms & Topics…

**Deduction theorem** is a basic rule of inference in logic by which a conditional is formed out of an implication. The deduction theorem is also known as the **conditional introduction** rule of inference (or →I), and explains that if "P implies Q", then "if P then Q" is also true.

Addition may be formally presented as follows:

**(α β) α → β**

When constructing a proof of some formula, one may have to invoke the deduction theorem by means of an assumption. To do this, an assumption for conditional proof (ACP) α is created to show that if α is true, then β is true.

…

RTP α → β

α ACP

RTP Contradiction

…

β

α → β →I

In this setup, the subproof (by which α is assumed and β is demonstrated as following from α) satisfies the implication, which can be used to form a conditional.