truth-function love

# truth-function

## Definitions

### from The American Heritage® Dictionary of the English Language, 4th Edition

• n. Logic A compound proposition, such as a conjunction or negation, whose truth-value is always determined by the truth-values of the components.

## Etymologies

Sorry, no etymologies found.

## Examples

• A proposition is a truth-function of elementary propositions.

Ludwig Wittgenstein

• To make matters explicit, the earlier discussed truth-function ¨ is called inclusive, or non-exclusive or 1110 disjunction.

Disjunction

• Disjunction is a binary truth-function, the output of which is a sentence true if at least one of the input sentences (disjuncts) is true, and false otherwise.

Disjunction

• This truth-function is referred to variously as exclusive disjunction, as 0110 disjunction

Disjunction

• Thus, classically, disjunction is semantically interpreted as a binary truth-function from the set of pairs of truth-values to the set {0, 1}.

Disjunction

• The truth-function of Chomsky's work is neutralized because there are people who will participate in actions leading to death and worse all over the world and then tell you about it.

Boing Boing

• Russell used the phrase "molecular proposition" for those propositions that are compounded using truth-function operators.

Russell's Logical Atomism

• Secondly, theories generate dispositional statements (e.g. about the solubility of a substance, about how they would appear if observed under certain circumstances, etc.), and dispositional statements, being modal, are not equivalent to any truth-function of (non-modal) observation statements.

Thomas Kuhn

• Now there are two other types of truth-function besides factual propositions.

A Special Supplement: The Development of Wittgenstein's Philosophy

• A factual proposition is a truth-function of the propositions which occur in its analysis.

A Special Supplement: The Development of Wittgenstein's Philosophy

Wordnik is becoming a not-for-profit! Read our announcement here.