Books on Amazon
Property/denotation/possible world/Field: E.g. "Russell is bald" is true in any possible world w, where Russell exists (denoted by "Russell" in the actual world) and is bald (i.e. has the property for which "bald" stands in the actual world).
N.B.: "stand for": we must now understand them in that way that a predicate does not stand for a set (its extension), but for a property that exists in the actual world.
Problem: the relation between predicates and properties - problem: properties determine extensions of the predicates, but are not determined by them.
Solution: within the possible world semantics: Causal theory of the reference.
Problem: we are not coming into contact with all extensions of "k".
Solution: property instead of extension - or the extension is determined by a property - then what is associated with the predicate is not its extension, but a property.
The relation can be causal or non-causal. - (possible world-semantics,> cross-world identity.)_____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980