From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics

History and Philosophy of Logic 40 (1):63-80 (2018)

Wittgenstein’s N-operator is a ‘primitive sign’ which shows every complex proposition is the result of the truth-functional combination of a finite number of component propositions, and thus provides a mechanical method to determine logical truth. The N-operator can be interpreted as a generalized Sheffer stroke. In this paper, I introduce a new ‘primitive sign’ that is a hybrid of generalized Sheffer stroke and modality, and give a uniform expression for modal formulas. The general form of modal formula in the new notation is [A0···An−1; B0···Bm−1], which is semantically equivalent to ¬A0∨···∨¬ An−1∨◊. Based on this new notation, I propose several analytic axiomatic systems for some decidable modal logics. Every axiom of these analytic systems is an ‘Atomic-Sheffer’, which is the result of the combination of a finite number of component propositions. The inferential rules are analytic in that the set of elementary propositions that are combined in the premiss overlaps the set of elementar...
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2019
DOI 10.1080/01445340.2018.1437519
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,952
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

Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
A Simple Treatment of Truth Functions.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (4):301-302.
Wittgenstein's Operator N.P. T. Geach - 1981 - Analysis 41 (4):168--171.

View all 8 references / Add more references

Citations of this work BETA

On the Curious Calculi of Wittgenstein and Spencer Brown.Gregory Landini - 2018 - Journal for the History of Analytical Philosophy 6 (10).

Add more citations

Similar books and articles

Four Simple Systems of Modal Propositional Logic.Gerald J. Massey - 1965 - Philosophy of Science 32 (3/4):342-355.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Decidable and Undecidable Logics with a Binary Modality.ágnes Kurucz, István Németi, Ildikó Sain & András Simon - 1995 - Journal of Logic, Language and Information 4 (3):191-206.
More on D-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Decidable Fragments of First-Order Modal Logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.
Decidable Fragments of First-Order Modal Logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.
The Power and the Limits of Wittgenstein's N Operator.James W. McGray - 2006 - History and Philosophy of Logic 27 (2):143-169.
Logics of Provability. [REVIEW]Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110 - 116.


Added to PP index

Total views
17 ( #498,871 of 2,266,529 )

Recent downloads (6 months)
3 ( #437,211 of 2,266,529 )

How can I increase my downloads?


My notes

Sign in to use this feature