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 \(\textit {semantic value}\) of a singular term and its \(\textit {semantic referent}\). The semantic value of a singular term is conceived of as a set that either contains the semantic referent or no element at all. The semantic referent is the object that the term designates. Before I will introduce this new semantics for single-domain predicate and an S5-type modal logic in detail, I will present five 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 nearly all of the outlined five problems.
| Author: | Dolf RamiORCiDGND |
|---|---|
| URN: | urn:nbn:de:hbz:294-94848 |
| DOI: | https://doi.org/10.1007/s11229-020-02651-x |
| Parent Title (English): | Synthese |
| Publisher: | Springer Science + Business Media B.V. |
| Place of publication: | Dordrecht |
| Document Type: | Article |
| Language: | English |
| Date of Publication (online): | 2022/12/07 |
| Date of first Publication: | 2020/05/16 |
| Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
| Tag: | Compositionality; Empty names; Existence; Free logic; Free modal logic |
| Volume: | 198 |
| First Page: | 9479 |
| Last Page: | 9523 |
| Note: | Dieser Beitrag ist auf Grund des DEAL-Springer-Vertrages frei zugänglich. |
| Institutes/Facilities: | Institut für Philosophie I |
| open_access (DINI-Set): | open_access |
| faculties: | Fakultät für Philosophie und Erziehungswissenschaft |
| Licence (English): |  Creative Commons - CC BY 4.0 - Attribution 4.0 International |
