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

History and Philosophy of Logic 40 (1):63-80 (2019)
  Copy   BIBTEX

Abstract

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 provid...

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2018.1437519

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
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.
Problem of restricted interpolation in superintuitionistic and some modal logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
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.
Gamma graph calculi for modal logics.Minghui Ma & Ahti-Veikko Pietarinen - 2018 - Synthese 195 (8):3621-3650.
Decidable Fragments of First-Order Modal Logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
The power and the limits of Wittgenstein's N operator.James W. McGray - 2006 - History and Philosophy of Logic 27 (2):143-169.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Logics of Provability. [REVIEW]Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110 - 116.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.

Analytics

Added to PP
2018-03-02

Downloads
31 (#504,675)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
Wittgenstein.R. Fogelin - 1982 - Tijdschrift Voor Filosofie 44 (3):561-562.
Wittgenstein's operator N.P. T. Geach - 1981 - Analysis 41 (4):168--171.

View all 10 references / Add more references