Journal of Philosophical Logic 48 (2):425-445 (2019)

Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-018-9470-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Reply to My Critics.George Edward Moore - 1942 - In Paul Arthur Schilpp (ed.), The Philosophy of G. E. Moore. Open Court.
A Logical Analysis of Some Value Concepts.Frederic Fitch - 1963 - Journal of Symbolic Logic 28 (2):135-142.

View all 26 references / Add more references

Citations of this work BETA

Logics of (In)Sane and (Un)Reliable Beliefs.Jie Fan - 2022 - Logic Journal of the IGPL 30 (1):78-100.
A Unified Logic for Contingency and Accident.Jie Fan - 2022 - Journal of Philosophical Logic 51 (4):693-720.
A Logic for Disjunctive Ignorance.Jie Fan - 2021 - Journal of Philosophical Logic 50 (6):1293-1312.

Add more citations

Similar books and articles

Propositional Quantification in Logics of Contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
A Course on Bimodal Provability Logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
A Bimodal Perspective on Possibility Semantics.Johan van Benthem, Nick Bezhanishvili & Wesley H. Holliday - 2017 - Journal of Logic and Computation 27 (5):1353–1389.
Interplays of Knowledge and Non-Contingency.Alexandre Costa-Leite - 2016 - Logic and Logical Philosophy 25 (4):521-534.
Logics of Essence and Accident.Joao Marcos - 2005 - Bulletin of the Section of Logic 34 (1):43-56.
Relative Contingency and Bimodality.Claudio Pizzi - 2013 - Logica Universalis 7 (1):113-123.
Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.
On Bimodal Logics of Provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.
Two Temporal Logics of Contingency.Matteo Pascucci - 2015 - Australasian Journal of Logic 12 (2):121-134.
Topological-Frame Products of Modal Logics.Philip Kremer - 2018 - Studia Logica 106 (6):1097-1122.


Added to PP index

Total views
45 ( #255,411 of 2,533,564 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,564 )

How can I increase my downloads?


My notes