(redirected from Logical entailment)
Also found in: Thesaurus.


 (ĕn-tāl′, ĭn-)
tr.v. en·tailed, en·tail·ing, en·tails
1. To have, impose, or require as a necessary accompaniment or consequence: The investment entailed a high risk. The proposition X is a rose entails the proposition X is a flower because all roses are flowers.
2. To limit the inheritance of (property) to a specified succession of heirs.
3. To bestow or impose on a person or a specified succession of heirs.
a. The act of entailing, especially property.
b. The state of being entailed.
2. An entailed estate.
3. A predetermined order of succession, as to an estate or to an office.
4. Something transmitted as if by unalterable inheritance.

[Middle English entaillen, to limit inheritance to specific heirs : en-, intensive pref.; see en-1 + taille, tail; see tail2.]

en·tail′ment n.


1. (Logic) the act of entailing or the condition of being entailed
2. (Philosophy) philosophy logic
a. a relationship between propositions such that one must be true if the others are
b. a proposition whose truth depends on such a relationship. Usual symbol: See fish-hook2


1. the process of limiting an inheritance to a specific sequence of heirs, usually applied to large estates.
2. the estate entailed.
See also: Property and Ownership
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.entailment - something that is inferred (deduced or entailed or implied); "his resignation had political implications"
illation, inference - the reasoning involved in drawing a conclusion or making a logical judgment on the basis of circumstantial evidence and prior conclusions rather than on the basis of direct observation
References in periodicals archive ?
It's the logical entailment of seeking a region without weapons of mass destruction.
The notion of logical entailment is itself theory-dependent, and ultimately justified empirically.
I cannot express in the language of logical entailment my love for
Cottingham points out that if rationalism requires logical entailment between cause and effect, then Descartes was no more a rationalist than Hume.
It is because (15') and (24') make implicit reference to a kiss--one could argue--that one can explain their inferential tie in terms of logical entailment.
Of course, if by "logically compelling" he means strict logical entailment, then of course there is none, but it would be a philosophic mistake to demand it.