Free choice permission, legitimization and relating semantics

Logic Journal of the IGPL (forthcoming)
  Copy   BIBTEX


In this paper, we apply relating semantics to the widely discussed problem of free choice between permitted actions or situations in normative systems. Leaving aside contexts in which the free choice principle is obviously unacceptable or uncontroversially valid, we concentrate on free choice for explicit permissions. In order to construct a formal representation of explicit permissions, we introduce a special constant, $\texttt {permit}$, which is analogous to the constant $\texttt {violation}$ used in the Andersonian–Kangerian approach to deontic logic with respect to prohibition and obligation. Consequently, we define a permission operator on the basis of the $\texttt {permit}$ constant and a relation of legitimization. The general idea is that $P \varphi $ is true if and only if $\texttt {permit}$ is true, which means that a permission is actually issued and $\varphi $ is legitimized by $\texttt {permit}$. The intuitive notion of legitimization is formally represented by an operator of relating implication: a non-classical implication that is semantically defined by adding a constraint to the classical meaning of implication to the effect that arguments are related by a special relation. The properties of this relation are based on an informal, intuitive meaning of legitimization and determine the properties of the permission operator. We show that the resulting permission operator possesses the free choice property and avoids certain unwanted consequences that follow from alternative approaches.



    Upload a copy of this work     Papers currently archived: 76,168

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

Expressing Permission.William B. Starr - 2016 - Semantics and Linguistic Theory 26:325-349.
Supercover Semantics for Deontic Action Logic.Karl Nygren - 2019 - Journal of Logic, Language and Information 28 (3):427-458.
The Free Choice Permission as a Default Rule.Daniela Glavaničová - 2018 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 25 (4):495-516.
Applications of Relating Semantics.Tomasz Jarmużek & Francesco Paoli - forthcoming - Logic and Logical Philosophy:1-17.
Free choice and homogeneity.Simon Goldstein - 2019 - Semantics and Pragmatics 12:1-48.
Free choice permission and the counterfactuals of pragmatics.Melissa Fusco - 2014 - Linguistics and Philosophy 37 (4):275-290.
Norm Performatives and Deontic Logic.Rosja Mastop - 2011 - European Journal of Analytic Philosophy 7 (2):83-105.
Deontic Logic Based on Inquisitive Semantics.Karl Nygren - 2021 - In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van De Putte (eds.), Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. London: College Publications. pp. 339-357.
Free Choice Impossibility Results.Simon Goldstein - 2020 - Journal of Philosophical Logic 49 (2):249-282.
Relating Semantics for Epistemic Logic.Alessandro Giordani - 2021 - Logic and Logical Philosophy 30 (4):681-709.


Added to PP

5 (#1,169,046)

6 months
2 (#297,430)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Daniela Vacek
Slovak Academy of Sciences
Tomasz Jarmużek
Nicolaus Copernicus University
Mateusz Klonowski
Nicolaus Copernicus University
1 more

References found in this work

The Foundations of Frege’s Logic.Pavel Tichý - 1988 - Berlin and New York: De Gruyter.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.

View all 32 references / Add more references