I 124
Entailment/Wessel: = implication (not an operator, but a predicate).
>
paradoxes, because content can be contradictory, even if the form is valid.
Conditional: (e.g. scientific statement) would be false for the same reason (because the content does not form a context).
I 138
Logical Entailment/Wessel: statement about the context (of two statements), not about two objects. - in the rules of entailments no semantic terms must occur - tA: "the statement A" (term or name) -
I 140
Entailment/Sense/Wessel: If A I- B, then not only with regard to the truth value, but also in terms of sense. - But not merely assertion that "linked by sense".
Context is guaranteed by occurrence of the same variables or the "same material of terms and statements.
>
Content, >
Material conditional.
I 286
Use/Mention: logical entailment: A I- B: talks about statements (i.e. precisely not content).
Conditional: A -> B: talks about content and about what is being talked about in the statements (e.g. current, magnetic field).
"A is true" - precisely does not mean "the current flows".
I 279
Conditional/Wessel (s): empirical if-then, no logical necessity conditional operator I- not truth-functional.
>
Operators, >
Truth functions.
I 283
Conditional/Wessel: e.g. from empirical studies, from statements about entailment, from axioms, from definitions, from other statements according to rules of inference.
I 294
Conclusions on the conditional cannot be made from a conjunction (empirical) - E.g. Potsdam >100,000 inhabitants and state capital, i.e. if P >.... false.
I 297
Conditional/Wessel: subjunction follows from a conditional statement. - ((s) but not vice versa.)
I 308
Existence Load/Wessel: cannot be determined like this in conditionals, because not truth-functional.