Single domain free logic and the problem of compositionality
In this paper, I will defend a new compositional semantics for single-domain free logic. This semantics makes use of a distinction between the semantic value of a singular term and its semantic referent. The semantic value of a name is conceived of as a set that either contains the semantic referent or no element. The semantic referent is the object that the term designates. Before I will introduce this new semantics for single-domain predicate and modal logic in detail, I will present different related problems of compositionality of the standard semantics for these logical systems. After that I will show in detail how my new proposed alternative semantics can be used to solve the outlined problems.
