Negation and modality in unilateral truthmaker semantics

Linguistics and Philosophy 47 (4):517-555 (2024)
  Copy   BIBTEX

Abstract

Fine (J Philos Logic 46(6):625–674, 2017) develops a unilateral and a bilateral truthmaker semantics for propositional logic. The unilateral approach trades off the primitive exact falsification relation of the bilateral approach for a primitive exclusion relation between states, thereby raising the question if exclusion serves any purpose other than to avoid exact falsification. We argue that exclusion is motivated independently of its use in avoiding exact falsification, namely as a foundation for the reconstruction of modal notions such as possibility and necessity. This reconstruction in turn motivates what we call _emergent exclusion_: an atomic state can exclude a sum of atomic states collectively without excluding any of these atomic states individually. Emergent exclusion is banned in Fine (2017a) in order to maintain exact equivalence in de Morgan’s law \(\lnot (P \wedge Q) \Leftrightarrow \lnot P \vee \lnot Q\) ; we argue that the two sides of this law are not exactly equivalent and discuss a variety of state spaces that feature emergent exclusion. This paper aims to be accessible to linguists without prior exposure to truthmaker semantics. We highlight points of contact with natural language semantics, such as event semantics and algebraic semantics of plurals and conjunction.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Truth-Maker Semantics for Some Substructural Logics.Ondrej Majer, Vít Punčochář & Igor Sedlár - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 207-222.
A plea for inexact truthmaking.Michael Deigan - 2020 - Linguistics and Philosophy 43 (5):515-536.
Exact Truthmaker Semantics for Modal Logics.Dongwoo Kim - 2024 - Journal of Philosophical Logic 53 (3):789-829.
An Exact Truthmaker Semantics for Permission and Obligation.Albert J. J. Anglberger, Johannes Korbmacher & Federico L. G. Faroldi - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 16-31.
Logic for Exact Entailment.Kit Fine & Mark Jago - 2019 - Review of Symbolic Logic 12 (3):536-556.
Truthmaker Semantics.Kit Fine - 1997 - In Bob Hale, Crispin Wright & Alexander Miller (eds.), A Companion to the Philosophy of Language. Chichester, West Sussex, UK: Wiley-Blackwell. pp. 556–577.
Exact Semantics for Indicative Conditionals.Hüseyin Güngör - 2017 - Dissertation, Bogazici University

Analytics

Added to PP
2024-08-03

Downloads
25 (#884,952)

6 months
24 (#129,956)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Lucas Champollion
New York University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references