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

DOI10.1007/S10849-023-09403-3MaRDI QIDQ6190085zbMATH OpenOpenAlexFDO

Authors Fengkui Ju

Publication date 6 February 2024

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

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)

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.

Cites work

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

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)