Abstract
In this chapter I briefly give a philosophical introduction to truthmaker semantics and I present Fine’s logic and semantics for imperatives, I discuss two philosophical difficulties for Fine’s account (but really, for every truthmaker semantics similar to his) and propose some technical solutions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The literature on truthmakers in the chiefly metaphysical sense is enormous. For this reason I do not note any references on this.
- 2.
For this line of thinking and a very useful introduction to the semantical project, see Fine (forthcoming[b]). For a recent unified (i.e. metaphysical and semantical) use of truthmakers see Jago (2018).
- 3.
- 4.
There would be an interesting question to be discussed at this point, which would however take us further away from imperative and deontic logic, namely the question of possible versus impossible states.
In previous work, Fine (Fine forthcoming[a]) came up with a mathematically elegant construction to represent possible and impossible states starting from a state space. In other terms, impossible states are those for which a natural fusion does not exist, and so we should force an arbitrary fusion of states. In this series of papers, a state space is called “topsy” if there is only one impossible state, namely, the full state (the fusion of everything); and “turvy” if there is only one necessary state, the null state(the fusion of nothing, which is part of everything). A space can also be “topsy-turvy”. A way to (or the only way?) to recover classic entailment is via a notion of compatibility, which is definable only with reference to possible states, i.e. to intensional constructions over the algebraic structure.
- 5.
The question easily becomes one about the relation between actions and times, and if actions happening at the same time can ever be kept separate. This question cannot be settled with Fine’s papers alone, as in fact it depends on further details which are not provided, such as “how injective” an hypothetical function from actions to times would be.
Suppose there is in fact a map f from actions to times (better, time intervals). This assumption is not only safe, but even (implicitly) required by Fine’s characterization of actions and imperatives. Suppose moreover f is order-preserving, a perfectly natural requirement. Now it is very easy to construct ker(f) such that we can induce equivalence classes of actions happening at the same time.
It is clear that if f is injective, there will be only one element for each equivalence class, and therefore no two distinct actions will happen in the same time interval.
But this is empirically false, f is not injective, and equivalence classes are populated by more than one action-equivalent.
Is this a problem for Fine’s account? It becomes one, I think, once we know that “we should always suppose that our imperatives relate ... to a fixed moment of time (p.6)”. On this topic, see the next section.
- 6.
- 7.
A different, disjunctive notion of consequence can be defined and studied.
- 8.
The reasons why T and S are not just sets of times and of space points are discussed in details by Link (1998), pp. 245–6. Roughly, if T were a set of time intervals, it will not be closed under unions, i.e. the union of any two intervals will not normally be an interval itself. But if we take T to be a union of time intervals, then any union of two unions is a union, so that T is closed under arbitrary union and has a (join)-semilattice structure. The same applies for intersections and for S.
- 9.
We may also offer as an additional reason for the partiality of f the considerations Fine (1994) makes about compounds existing at a time if all their parts exist at that time conjunctively.
- 10.
See for instance Alonso-Ovalle (2005).
- 11.
Thanks to Malte Willer who brought this class of examples to my attention.
- 12.
Should we wish to give clauses for iterated deontic operators, we can just adopt the clauses described earlier in this chapter.
- 13.
For a similar construction, see for instance J.B. Nation, Notes on Lattice Theory, http://www.math.hawaii.edu/~jb/.
- 14.
This endeavor should be distinguished from those of Leitgeb (2017), who starts from fundamentally inexact, monotonic structures, and of Johannes Korbmacher, ms.
References
Alonso-Ovalle, Luis. 2005. Distributing the disjuncts over the modal space. In Proceedings of the 35th North East Linguistics Society Conference, ed. Leah Bateman, and Cherlon Ussery. Amherst: University of Massachusetts, GLSA.
Anglberger, Albert, Federico L.G. Faroldi, and Johannes Korbmacher. 2016. An Exact Truthmaker Semantics for Obligation and Permission, in Roy et al. [2016], pp. 16–31.
Barwise, J., and J. Etchemendy. 1990. Information, infons, and inference. In Situation Theory and Its Applications, ed. R. Cooper, K.Mukai, and J. Perry, CSLI lecture notes, pp. 33–78.
Barwise, J., and J. Perry. 1981. Situations and Attitudes. The Journal of Philosophy 78: 668–691.
Fine, Kit. 1994. Essence and Modality. Philosophical Perspective 8: 1–16.
Fine, Kit. 2010. Pure Logic of Ground. The Review of Symbolic Logic.
Fine, Kit. 2012. Counterfactuals without Possible Worlds. Journal of Philosophy 109 (3): 221–246.
Fine, Kit. 2014a. Permission and Possible Worlds. Dialectica 68 (3): 317–336.
Fine, Kit. 2014b. Truth-Maker Semantics for Intuitionistic Logic. Journal of Philosophical Logic 43 (2–3): 549–577.
Fine, Kit. 2015a. Compliance and Command, I, ms.
Fine, Kit. 2015b. Compliance and Command, II, ms.
Fine, Kit. forthcoming[a]. Constructing the Impossible. In Conditionals, Probability, and Paradox: Themes from the Philosophy of Dorothy Edgington, ed. by L. Walters and J. Hawthorne, Oxford: Oxford University Press.
Fine, Kit. forthcoming[b]. Truthmaker Semantics. In Blackwell Handbook of Philosophy of Language, Blackwell, London.
Fine, Kit. 2016. Angellic Content. Journal of Philosophical Logic 45 (2): 199–226.
Fox, Chris. 2014. The Semantics of Imperatives. In Handbook of Contemporary Semantics, ed. by Shalom Lappin and Chris Fox, 2nd ed., London: Wiley-Blackwell.
Jago, Mark. 2018. What Truth Is. Oxford: Oxford University Press.
Jørgensen, Jørgen. 1938a. Imperativer og Logik, Theoria, 4.
Jørgensen, Jørgen. 1938b. Imperatives and Logic. Erkenntnis 7: 288–296.
Korbmacher, Johannes. 2016. Properties Grounded in Identity, Ph.D. thesis, MCMP, Ludwig Maximilian Universitaet Muenchen.
Lassiter, Daniel. 2017. Graded Modality. Oxford: Oxford University Press.
Leader, Solomon. 1971. Measures on Semilattices. Pacific Journal of Mathematics 39: 2.
Leitgeb, Hannes. 2017. HYPE, ms.
Link, Godehard. 1983. The Logical Analysis of Plurals and Mass Terms. In Meaning, Use, and Interpretation of Language, ed. by R. et al. Bäuerle, de Gruyter, 302–323, Berlin.
Link, Godehard. 1998. Algebraic semantics in language and philosophy, vol. 74., CSLI Lecture Notes California: Stanford.
Ross, Alf [Alf Christian Nielsen]. 1941. Imperatives and Logic. Theoria 7: 53–71.
Van Benthem, Johan,Wesley H. Holliday, and Nick Bezhanishvili. forthcoming. A Bimodal Perspective on Possibility Semantics. Journal of Logic and Computation.
van Fraassen, Bas C. 1969. Facts and Tautological Entailment. Journal of Philosophy 66 (15): 477–487.
Vranas, Peter B.M. 2008. New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers. Noûs 42 (4): 529–572.
Vranas, Peter B.M. 2011. New Foundations for Imperative Logic II: Pure Imperative Inference.
Vranas, Peter B.M. 2012. New Foundations for Imperative Logic III: A General Definition of Argument Validity.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Faroldi, F.L.G. (2019). Truthmaker Semantics for Deontic Modals. In: Hyperintensionality and Normativity. Springer, Cham. https://doi.org/10.1007/978-3-030-03487-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-03487-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03486-3
Online ISBN: 978-3-030-03487-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)