An Observation Concerning Porte’s Rule in Modal Logic

Rohan French; Lloyd Humberstone

doi:10.18778/0138-0680.44.1.2.04

Authors

Rohan French Department of Philosophy, Monash University, Victoria 3800, Australia Author
Lloyd Humberstone Department of Philosophy, Monash University, Victoria 3800, Australia Author

DOI:

https://doi.org/10.18778/0138-0680.44.1.2.04

Abstract

It is well known that no consistent normal modal logic contains (as theorems) both ◊A and ◊¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ◊A, or else no consistent normal modal logic contains ◊¬A.

References

Anderson A. R., The Formal Analysis of Normative Systems, [in:] N. Rescher (ed.), The Logic of Decision and Action, University of Pittsburgh Press, Pittsburgh, PA 1967, pp. 147–213.

Benthem Johan van, Modal Logic and Classical Logic, Bibliopolis, Naples 1985.

Blok W. J. and Ko¨hler P., Algebraic Semantics for Quasi-Classical Modal Logics, Journal of Symbolic Logic 48 (1983), pp. 941–964. DOI: https://doi.org/10.2307/2273660

Fagin R., Halpern J. Y., and Vardi M. Y., What is an Inference Rule?, Journal of Symbolic Logic 57 (1992), pp. 1018–1045. DOI: https://doi.org/10.2307/2275447

French Rohan, Denumerably Many Post-complete Normal Modal Logics with Propositional Constants, Notre Dame Journal of Formal Logic 53 (2012), pp. 549–556. DOI: https://doi.org/10.1215/00294527-1722746

Goldblatt Robert and Kowalski Tomasz, The Power of a Propositional Constant, Journal of Philosophical Logic 43 (2014), pp. 133–152. DOI: https://doi.org/10.1007/s10992-012-9256-0

Humberstone Lloyd, Zolin and Pizzi: Defining Necessity from Noncontingency, Erkenntnis 78 (2013), pp. 1275–1302. DOI: https://doi.org/10.1007/s10670-012-9412-5

Makinson David, Some Embedding Theorems for Modal Logics, Notre Dame Journal of Formal Logic 12 (1971), pp. 252–254. DOI: https://doi.org/10.1305/ndjfl/1093894226

Pizzi Claudio, Necessity and Relative Contingency, Studia Logica 85 (2007), pp. 395–410. DOI: https://doi.org/10.1007/s11225-007-9044-y

Pizzi Claudio, Relative Contingency and Bimodality, Logica Universalis 7 (2013), pp. 113–123. DOI: https://doi.org/10.1007/s11787-012-0071-8

Porte Jean, The Deducibilities of S5, Journal of Philosophical Logic 10 (1981), pp. 409–422. DOI: https://doi.org/10.1007/BF00248735

Prior A. N., Time and Modality, Oxford University Press, Oxford 1957.

Prior A. N., Review of various papers by A. R. Anderson, Journal of Symbolic Logic 24 (1959), pp. 177–178.

Schotch P. K. and Jennings R. E., Modal Logic and the Theory of Modal Aggregation, Philosophia 9 (1975), pp. 265–278. DOI: https://doi.org/10.1007/BF02379122

Segerberg Krister, Post Completeness in Modal Logic, Journal of Symbolic Logic 37 (1972), pp. 711–715. DOI: https://doi.org/10.2307/2272418