A logical theory for conditional weak ontic necessity based on context update

08/25/2022
by   Fengkui Ju, et al.
0

Weak ontic necessity is the ontic necessity expressed by “should” or “ought to” in English. An example of it is “I should be dead by now”. A feature of this necessity is whether it holds does not have anything to do with whether its prejacent holds. In this paper, we present a logical theory for conditional weak ontic necessity based on context update. A context is a set of ordered defaults, determining expected possible states of the present world. Sentences are evaluated with respect to contexts. When evaluating the conditional weak ontic necessity with respect to a context, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. The logic is complete. Our theory combines premise semantics and update semantics for conditionals.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/25/2022

A logical theory for strong and weak ontic necessities in branching time

Ontic necessities are those modalities universally quantifying over doma...
research
01/23/2013

An Update Semantics for Defeasible Obligations

The deontic logic DUS is a Deontic Update Semantics for prescriptive obl...
research
03/27/2021

Local Explanations via Necessity and Sufficiency: Unifying Theory and Practice

Necessity and sufficiency are the building blocks of all successful expl...
research
10/23/2017

Fitch-Style Modal Lambda Calculi

Fitch-style modal deduction, in which modalities are eliminated by openi...
research
05/22/2020

A Novel Semantics for Belief, Knowledge and Psychological Alethic Modality

Recently there have been numerous proposed solutions to the problem of l...
research
07/29/2021

A Sketch of a Proof-Theoretic Semantics for Necessity

This paper considers proof-theoretic semantics for necessity within Dumm...
research
09/17/2022

Necessity Specifications for Robustness

Robust modules guarantee to do only what they are supposed to do - even ...

Please sign up or login with your details

Forgot password? Click here to reset