|Necessity, philosophy: different kinds of necessity are distinguished, differing in their strength. For example, physical, logical or metaphysical necessity. See also necessity de dicto, necessity de re.|
Books on Amazon
|EMD II 313
Necessity/necessary/modification of predicates/Wiggins/Peacocke: Problem: 'big' cannot modify like 'nec' predicates of any fine degree - that means, we get a finite axiomatized theory for 'big' but not for 'nec'. - There can only be an infinite number of modifications here. 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').
Then the truth conditions turn the predications into sequences - so the theory is not entirely homophonic.
EMD II 324
Necessity/performance/language/Peacocke: the fulfillment 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.
Chr. R. Peacocke
Sense and Content Oxford 1983
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989