Journal of Philosophical Logic 37 (2):169 - 181 (2008)

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989).
Keywords Abelian logic  Allen Hazen  C. I. Lewis  Funny Logic  Scroggs property
Categories (categorize this paper)
DOI 10.1007/s10992-007-9070-2
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: 54,676
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

Extensions of the Lewis System S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
Equational Logic.C. A. Meredith & A. N. Prior - 1968 - Notre Dame Journal of Formal Logic 9 (3):212-226.
The Structure of Logic and its Relation to Other Systems.C. I. Lewis - 1921 - Journal of Philosophy 18 (19):505-516.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Model Theory of Finitely Generated Finite-by-Abelian Groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Diagonal Actions and Borel Equivalence Relations.Longyun Ding & Su Gao - 2006 - Journal of Symbolic Logic 71 (4):1081 - 1096.
Quasi-Endomorphisms in Small Stable Groups.Frank O. Wagner - 1993 - Journal of Symbolic Logic 58 (3):1044-1051.
Idempotent Ideals on Abelian Groups.Andrzej Pelc - 1984 - Journal of Symbolic Logic 49 (3):813-817.
A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.


Added to PP index

Total views
79 ( #122,680 of 2,386,406 )

Recent downloads (6 months)
5 ( #160,208 of 2,386,406 )

How can I increase my downloads?


My notes