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)|
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.
Citations of this work BETA
No citations found.
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.
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.
Undecidable Lt Theories of Topological Abelian Groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.
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 index2009-01-28
Total downloads31 ( #163,811 of 2,158,481 )
Recent downloads (6 months)2 ( #193,771 of 2,158,481 )
How can I increase my downloads?