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 |