Ai, me and Lewis (abelian implication, material equivalence and C I Lewis 1920)

Journal of Philosophical Logic 37 (2):169 - 181 (2008)
Abstract
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
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,511
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.
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
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.
Idempotent Ideals on Abelian Groups.Andrzej Pelc - 1984 - Journal of Symbolic Logic 49 (3):813-817.
Quasi-Endomorphisms in Small Stable Groups.Frank O. Wagner - 1993 - Journal of Symbolic Logic 58 (3):1044-1051.
Diagonal Actions and Borel Equivalence Relations.Longyun Ding & Su Gao - 2006 - Journal of Symbolic Logic 71 (4):1081 - 1096.
Elementary Equivalence for Abelian-by-Finite and Nilpotent Groups.Francis Oger - 2001 - Journal of Symbolic Logic 66 (3):1471-1480.
The Model Theory of Finitely Generated Finite-by-Abelian Groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Added to PP index
2009-01-28

Total downloads
32 ( #163,363 of 2,180,710 )

Recent downloads (6 months)
1 ( #301,383 of 2,180,710 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums