**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.

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. WOLI 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…

Disjunction is a truth-functional operator in logic which is equivalent to the word “or”, or more specifically “and/or”.

If either P is known or Q is known, we may say P or Q, or formally:

**P ∨ Q**

This may be read as “P or Q” or “it is the case that P, Q, or both”.

In symbolic logic, the disjunction symbol ( ∨ ) is used to symbolize a disjunction. Sometimes, the capitalized word OR is used.

The following table illustrates the possible truth values of P ∨ Q, given each possible valuation of its terms, P and Q. Note that P ∨ Q is true if either P or Q is true, and false only when both are false.

P | Q | P ∨ Q |
---|---|---|

T | T | T |

T | F | T |

F | T | T |

F | F | F |

The ∨ symbol is used to express an inclusive disjunction, because it includes the possibility that the two connected propositions or formulae are both true. This means that if P ∨ Q, then either P, Q, or both are true.

In some cases, an exclusive disjunction is needed to convey instances where P and Q are mutually exclusive, but one is true — that is, P or Q, but not both. Some systems of logic introduce another symbol, usually ⊕, to handle an exclusive disjunction (such as P ⊕ Q). In systems that do not use such as symbol, an exclusive disjunction may be expressed as [(P ∨ Q) ∧ ¬(P ∧ Q)], which reads as “P or Q, but not both”.