Advertisement

Studia Logica

, Volume 43, Issue 1–2, pp 131–158 | Cite as

The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics

  • Richard Routley
Article

Abstract

American-plan semantics with 4 values 1, 0, { {1, 0}} {{}}, interpretable as True, False, Both and Neither, are furnished for a range of logics, including relevant affixing systems. The evaluation rules for extensional connectives take a classical form: in particular, those for negation assume the form 1 ∈ τ(∼A, a) iff 0 ε τ (A, a) and 0 ∈ τ (∼A, a) iff 1 ∈ τ (A, a), so eliminating the star function *, on which much criticism of relevant logic semantics has focussed. The cost of these classical features is a further relation (or operation), required in evaluating falsity assignments of implication formulae.

Two styles of 4 valued relational semantics are developed; firstly a semantics using notions of double truth and double validity for basic relevant systemB and some extensions of it; and secondly, since the first semantics makes heavy weather of validating negation principles such as Contraposition, a reduced semantics using more complex implicational rules for relevant systemC and various of its extensions. To deal satisfactorily with elite systemsR,E andT, however, further complication is inevitable; and a relation of mateship (suggested by the Australian plan) is introduced to permit cross-over from 1 to 0 values and vice versa.

Keywords

Mathematical Logic Relational Semantic Classical Form Computational Linguistic Classical Feature 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. R. Anderson andN. D. Belnap, Jr.,Entailment, Volume 1, Princeton University Press, 1975.Google Scholar
  2. [2]
    N. D. Belnap, Jr.,A useful four-valued logic, inModern Uses of Multiple-Valued Logic (ed. J. M. Dunn and G. Epstein), Reidel, Dordrecht, 1977.Google Scholar
  3. [3]
    G. Charlwood andC. B. Daniels,Semilattice relevance logic with classical negation, unpublished typescript, Victoria B.C., 1981.Google Scholar
  4. [4]
    J. M. Dunn,Intuitive semantics for first degree entailments and “coupled trees”,Philosophical Studies 29 (1976), pp. 149–168.Google Scholar
  5. [5]
    J. M. Dunn,A Kripke-style semantics for R-Mingle using a binary accessibility relation.Studia Logica 35 (1976), pp. 163–172.Google Scholar
  6. [6]
    R. K. Meyer,A Boolean-Valued Semantics for R, Research Paper No. 4, RSSS, Australian National University, 1979.Google Scholar
  7. [7]
    R. Routley, R. K. Meyer and others,Relevant Logics and Their Rivals, Ridgeview, California, 1982.Google Scholar
  8. [8]
    R. Routley andR. K. Meyer,The semantics of entailment III,Journal of Philosophical Logic 1 (1972), pp. 192–208.Google Scholar
  9. [9]
    R. H. Thomason,A semantical study of constructible falsity,Zeitschrift fur mathematische Logic und Grundlagen der Methamatik 15 (1969), pp. 247–257.Google Scholar
  10. [10]
    G. Priest R. Routley, andJ. Norman (eds.),Paraconsistent Logic, Philosophia Verlag, Munich, 1985.Google Scholar
  11. [11]
    ‘Making Danny and Gerry good? The Star Detour’, unpublished typescript, Victoria, B. C., 1981.Google Scholar

Copyright information

© Polish Academy of Sciences 1984

Authors and Affiliations

  • Richard Routley
    • 1
    • 2
  1. 1.Research School of Social Sciences Australian National UniversityAustralia
  2. 2.Environmental Studies University of VictoriaCanada

Personalised recommendations