Necessity and contingency

DOI10.1007/BF00370288MaRDI QIDQ1116939zbMATH OpenFDO

Authors M. J. Cresswell

Publication date 1988

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370288

zbMATH Keywords

modal logicnecessitynon-contingency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Review text

This paper explores conditions under which necessity, Lp, can be defined in terms of non-contingency, \(\Delta\) p (where \(\Delta\) \(p\equiv Lp\vee L\sim p\) must always be true). For systems containing T a defnition is easy, viz. \(L\alpha\) \(=_{df}\alpha \&\Delta \alpha\), because of the axiom Lp\(\supset p\). Necessity is also easily defined in the verum system \(=K+Lp,\) since \(\vdash_{Ver} Lp\equiv (p\supset p)\). In most other systems not containing T, necessity is not definable in terms of non- contingency. Nevertheless, there is at least one in which it is, namely \(S=K+Lp\equiv (\Delta p\&(p\equiv \Delta \Delta p)).\)

Recommendations

• Necessity and relative contingency
• Almost necessary
• Completeness and definability in the logic of noncontingency
• Zolin and Pizzi: defining necessity from noncontingency
• Possibility and dyadic contingency

Cited in

(28)

• Completeness and definability in the logic of noncontingency
• The modal logic of agreement and noncontingency
• The logic of non-contingency
• Minimal non-contingency logic
• Relative contingency and bimodality
• Bimodal logic with contingency and accident: bisimulation and axiomatizations
• A logic for disjunctive ignorance
• Two variants of noncontingency operator
• Possibility and dyadic contingency
• A unified logic for contingency and accident
• A family of neighborhood contingency logics
• Strong noncontingency: on the modal logics of an operator expressively weaker than necessity
• Bimodal logics with contingency and accident
• A proof-theoretic view of necessity
• Ignorance of ignorance
• What is absolute necessity?
• Neighborhood contingency logic
• Beyond knowing that: a new generation of epistemic logics
• scientific article; zbMATH DE number 3939325 (Why is no real title available?)
• Propositional quantification in logics of contingency
• Zolin and Pizzi: defining necessity from noncontingency
• XI Latin American Symposium on Mathematical Logic
• A non-standard Kripke semantics for the minimal deontic logic
• Supervenience, dependence, disjunction
• Normatively determined propositions
• Some notes on dyadic contingency
• Possible ideas of necessity in Indian logic
• Necessity and relative contingency

This page was built for publication: Necessity and contingency

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