Lexicon of Arguments

 

I 38
Logical Consequence/Cresswell: crucial difference to the entailment: it combines forms of sentence or sentence schemes ((s) no content, not sentences).
>Entailment, >Conditional, >Material conditional.
It is not a question of which propositions are involved and what are the truth values of the individual sentences.
Propositions, Truth value.
Entailment: if all the worlds where p and q are true, are exactly those, where p is true, then that means in this particular case, that p entails p u q.
>Possible worlds.
That q follows from p intensionally.
>Intensions.
Logical consequence: but p u q is not a logical consequence of p, because there are ways to ascribe truth values to p and q that make p true, but p u q wrong.
>Valuation.