Correction: (max 500 charact.)
The complaint will not be published.
I 96
Truth/Bigelow/Pargetter: a sentence is true if
1. the referring terms are somehow related to each other
2. the things described are somehow related to each other
3. there is a general rule (correspondence) that determines how the terms and things should relate to each other.
>
Truth , >
Reference , >
Words , >
Names , >
Descriptions , >
Syntax ,
>
Grammar , >
Objects , >
World , >
Facts , >
Correspondence ,
>
Representation , >
Image , >
Picture , >
Presentation , >
Mapping , >
Picture theory .
Semantics/Bigelow/Pargetter: it follows that in semantics there is a fundamental distinction between:
A. Assignment of referents to language terms
B. Determination of the composition rules, which the referents of complex expressions determine from their constituents and their syntactic relations. >
Compositionality .
This distinction can be localized in different places. You can accept more things as referents and thus reduce the composition rules.
Semantics: the dominant tendency is to minimize referents.
>
Ontology .
I 100
Lambda categorical language/ lambda/rules/Bigelow/Pargetter: such languages have extremely few composition rules.
For this we have more referring symbols.
>
Lambda calculus , >
Lambda abstraction .
Realism: would describe this as ontologically honest.
>
Realism .
Semantics/Bigelow/Pargetter: but the realist does not have to commit to one semantics instead of another. The semantics does not determine ontology.