structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / B. Logical Consequence / 6. Entailment

[if P is true then Q has to be true]

2 ideas
Entailment is logical requirement; it may be not(p and not-q), but that has problems [Mautner]
Analytical entailments arise from combinations of meanings and inference rules [Thomasson]