@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024},
author = {Geach,Peter},
subject = {Expansion},
note = {I 241f
Theory/Extension/Geach: For example, we add a predicate to system T that allows us to distinguish between different tokens: T1.
In the extended system T1, each complete sentence has the same truth conditions as in T, but the subordinate expressions (subsets) are completely changed: the quantifiers now extend to the tokens, not the types. That is, "Exy" is no longer: "x is identical to y" but "x is a token of the same form as the token y".
"F": not anymore "__ contains two occurrences of "e"", but "__ contains two tokens ..."
but not anymore: "twice the letter e".
E.g. truth conditions for whole sentences:
in T: there are two non-identical types ..."
in T1:" there are two non-uniform tokens ...".
>Truth conditions, >Type/Token.},
note = { Gea I P.T. Geach Logic Matters Oxford 1972
},
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=218478}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=218478}
}