Lexicon of Arguments

 

II 313
Necessity/necessary/modification of predicates/Wiggins/Peacocke: Problem: 'big' cannot modify like 'nec' predicates of any fine degree.
((s) "nec" : Operator for necessary").
>Operators.
That means, we get a finite axiomatized theory for 'big' but not for 'nec'. - There can only be an infinite number of modifications here.
>Axioms, >Axiom systems, >Axiomatizability.
Problem: 'nec' can be iterated in the object language, but Grandy's representational content cannot treat the iterations because the performance is not defined.
Solution:
1. syntactical variabel 't>' is about series of terms of the form (t1 ... tn)
2. separate recursion for abstracts of the object language in the theory, that specifies inductively the conditions under which a sequence has the property correlated with the abstract('Corr').
II 316
Then the truth conditions turn the predications into sequences - so the theory is not entirely homophonic.
>Homophony, >Truth conditions, >Predication.
II 324
Necessity/satisfaction/language/Peacocke: the satisfaction and evaluation axioms not only express contingent truths about the language - necessarily in German each sequence fulfils x1 'is greater than Hesperus' in L, if their first element is greater than Hesperus.
>Satisfaction.