| |
| | [No title] |
 | | Spaces that have infinite or very large cardinalities are things that we may hope to denote or to mention in formal terms, even if many times we only wave our hands at them, but we do not come close to touching them the way that we can manage and manipulate finitary signs. |
 | | In the TLC example, the "model space" is the universe of discourse A% = [!A!] = [a_1,..., a_25] that combines the positions of A with the propositions of A^ = (A -> B). |
 | | The "syntactic space" is the formal language L = L(!A!) c (!A! of well-formed strings in the Cactus Language, or pick your own favorite language for the task, that we may variously describe as "expressions", "formulas", "sentences", "terms", "wffs", or whatever fits the moment. |
| stderr.org /pipermail/inquiry/2003-June.txt (6755 words) |
|