Possibility and Dyadic Contingency

Journal of Logic, Language and Information 31 (3):451-463 (2022)
  Copy   BIBTEX


The paper aims at developing the idea that the standard operator of noncontingency, usually symbolized by Δ, is a special case of a more general operator of dyadic noncontingency Δ(−, −). Such a notion may be modally defined in different ways. The one examined in the paper is __Δ__(B, A) = df ◊B ∧ (A ⥽ B ∨ A ⥽ ¬B), where ⥽ stands for strict implication. The operator of dyadic contingency __∇__(B, A) is defined as the negation of __Δ__(B, A). Possibility (◊A) may be then defined as __Δ__(A, A), necessity (□A) as __∇__(¬A, ¬A) and standard monadic noncontingency (__Δ__A) as __Δ__( \({\textsf{T}}\), A). In the second section it is proved that the deontic system KD is translationally equivalent to an axiomatic system of dyadic noncontingency named KDΔ 2, and that the minimal system KΔ of monadic contingency is a fragment of KDΔ 2. The last section suggests lines for further inquiries.



    Upload a copy of this work     Papers currently archived: 92,261

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

The Contingency of Possibility.Jean-Yves Béziau - 2016 - Principia: An International Journal of Epistemology 20 (1):99-115.
Relative Contingency and Bimodality.Claudio Pizzi - 2013 - Logica Universalis 7 (1):113-123.
Approaching the alethic modal hexagon of opposition.Peter Simons - 2012 - Logica Universalis 6 (1-2):109-118.
Contingency, Imperfection and Evil.Saša Stanković - 2017 - Quaestiones Disputatae 7 (2):50-71.
Are the laws of logic necessary or contingent?Anna Sherratt - 2001 - Proceedings of the Aristotelian Society 101 (3):379–384.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
Fatalism and the Metaphysics of Contingency.M. Oreste Fiocco - 2015 - In Steven M. Cahn & Maureen Eckert (eds.), Freedom and the Self: Essays on the Philosophy of David Foster Wallace. New York: Columbia University Press. pp. 57-92.
The Modal Equivalence Rules of the Port-Royal Logic.John Grey - 2017 - History and Philosophy of Logic 38 (3):210-221.
Contingency and Necessity.Barbara Sattler - 2014 - The Monist 97 (1):86-103.


Added to PP

12 (#1,090,149)

6 months
4 (#798,951)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Some Notes on Dyadic Contingency.Jie Fan - 2023 - Journal of Logic, Language and Information 32 (2):209-217.

Add more citations

References found in this work

The Logic of Non-contingency.I. L. Humberstone - 1995 - Notre Dame Journal of Formal Logic 36 (2):214-229.
Synonymous logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
Minimal Non-contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
Necessity and contingency.M. J. Cresswell - 1988 - Studia Logica 47 (2):145 - 149.

View all 9 references / Add more references