But an entity's having this potential does not logically entail that it has the same status as beings that have realized some or all of their potential (Feinberg 1986).
First, there is the celebrated argument of David Hume that "ought" cannot be derived from "is," that no fact about how things are in the world, however well-established, can logically entail that something or other ought or ought not to be done.
For instance, "if you fetch the paper for me, you'll get candy" is a tentative proposal, as it does not logically entail that a failure to fetch the paper will result in no candy; it is possible that candy can be acquired by another route.
Because we can sometimes discover that a thought τ is logically entailed by a set T of thoughts only after a careful analysis of some of the apparently-simple components of those thoughts, so too we will sometimes be able to discover that a set of thoughts is inconsistent, i.e. that it logically entails a contradiction, on the basis of such conceptual analysis.
That is, B logically entails A just when (B·~A) is logically inconsistent.
Searle and Vanderveken infer that this implies that if P logically entails Q, and an agent asserts P, then she is committed to believing that Q.
Institutions that count as authoritative in a legal system create, modify, or extinguish a legal right or obligation, primarily through the production of a legal text such as a statute, decree, regulation, or judicial decision that sets it out or logically entails it.
Deductive consequence is monotonic: if a set of premises logically entails a conclusion, than any superset (any set of premises that includes all of the first set) will also entail that some conclusion.
However, in order to work as an argument against increased legal immigration, Friedman required a further, false assumption: that legal residency logically entails eligibility for free money.
Another notable difference is that when B logically entails A, adding a premise C cannot undermine the entailment i.e., (C·B) must entail A as well.
