@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} }