Correction: (max 500 charact.)
The complaint will not be published.
I 339
Material implication "p implies q" is not equal to p > q (>
mention/use ) - implicit and analytical are the best general terms.
>
General Term/Quine .
X 46
Material Implication/Quine: occurs when the sense can be reproduced only with negation and conjunction. Normal implication: in addition to existential quantification.
III 67
Implication/Conditional/Quine: Implication only exists if the conditional is true.
I 68
Implication/Mention/Use/Quine: not sentences or schemata are implied, but their descriptions.
For we cannot write "implies" between the sentences themselves, but only between their descriptions. So we mention the sentences by using their descriptions. We are talking about the sentences. ((s) implication is done via the sentences.
Different:
Conditional/Quine: (">" or "if...then...") here we use the sentences or schemes themselves, we do not mention them. No reference is made to them. They appear only as parts of a longer sentence or schema.
Example: If Cassius is not hungry, then he is not skinny and hungry.
This mentions Cassius but it does not mention a sentence. It is the same with conjunction, negation and alternation.
Implication/Quine/(s): only example "p implies q" but not "Cassius' skinniness implies..."
III 72
"Only if....then"/Quine: is the sign for the hind leg! It also does not have the meaning of the whole "then and only then" (biconditional).
I 389/90
Conditional with a false antecedent/Quine: >
truth value gap .