Skip to main content

Semantic Entailment

Semantic entailment or entailment is a fundamental concept in logic. It describes a relationship between statements where one statement (or a group of statements) necessarily implies another statement.

tip

"Max is a dog." semantically entails "Max is an animal."

Formally expressed: "From statements A, B, C ... a conclusion S follows logically" means: "It is impossible for A, B, C to be true and S to be false."

In other words: "If A, B, C are true, then S must also be true."

Semantic entailment has a sister: syntactic entailment, which refers to the derivability of statements in a formal system.

While syntactic entailment focuses on the rules of derivation, semantic entailment deals with the meaning and truth of statements.

Examples of semantic entailment​

This all sounds very theoretical, so here are some examples.

Entailments from the meaning of words (semantic)​

  • Dogs are animals and bachelors are not married.

This is true because we use language this way.
Such sentences that are true due to their meaning are often called: analytically true.

tip

"Tom is a bachelor." entails "Tom is not married."

If it is true that Tom is a bachelor, then it must also be true that Tom is unmarried.

  • If something is red, then it is colored.
tip

"The cube is red." entails "The cube is colored."

If it is true that the cube is red, it must also be true that it is colored.

  • We can make semantic entailments with more complicated sentences.
tip

"All humans are mortal." and
"Socrates is a human." entails
"Socrates is mortal."

If both premises are true, the conclusion must also be true.

This follows from our language rules: how we use "all" and "humans" and "mortal".

Some prefer it a bit more formal

Semantic Entailment vs. Implication​

We must distinguish semantic entailment not only from formal derivability, but also from material implication (that's a fancy word for the "if-then" operator in formal logic):

  • Entailment (A ⊨ B) is a semantic relationship: It's about the necessary preservation of truth from A to B.
  • Implication (A → B) is a logical operator: "If A, then B" can be true even if there is no substantive connection between A and B.

Example of implication without entailment: "If Paris is the capital of Italy, then 2+2=4."

This implication is formally true (since the antecedent is false), but there is no entailment since no substantive connection exists between the statements.

Symbolically​

We can also represent semantic entailment symbolically. If we have a set of premises Γ and a conclusion φ:

Γ ⊨ φ means: From the statements in Γ, φ follows logically, i.e., in every model where all statements in Γ are true, φ is also true.

Significance of entailment in critical thinking​

Understanding entailment is crucial for critical thinking as it helps us:

  • Distinguish valid from invalid conclusions
  • Recognize the semantic consequences of our beliefs
  • Uncover implicit assumptions in arguments
  • Evaluate the strength of semantic connections between statements

Sources​