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

DOI10.1007/S10849-023-09403-3arXiv2208.11917OpenAlexW4386935565MaRDI QIDQ6190085FDOQ6190085

Authors: Fengkui Ju 

Publication date: 6 February 2024

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/2208.11917

zbMATH Keywords

updateconditional weak ontic necessityexpected possible statesordered defaults

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Counterfactuals.
• Ordering semantics and premise semantics for counterfactuals
• Defaults in update semantics
• Quick completeness proofs for some logics of conditionals
• A probabilistic semantics for counterfactuals. Part A
• Partition and revision: the semantics of counterfactuals
• Towards a new theory of historical counterfactuals
• A hierarchical approach to judgment aggregation with abstentions

This page was built for publication: A logical theory for conditional weak ontic necessity based on context update

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190085)