Validity in Possible Worlds

Document Type : Research Paper

Authors

Abstract

 Modal Logic’s theorems and rules are valid in possible worlds but Relevant Logic’s theorems and rules are valid, respectively, in logical worlds and situations. Robert Meyer in 1974 removed this asymmetry between the theorems and the rules of Relevant Logic by establishing a logical system, whose theorems and rules are valid in all situations. Introducing a new kind of truth and falsity operators, the authors in this article sketch a logical system defined on the basis of Relevant Logic. Such a system can not only preserve symmetry, but also remove some inconsistency between Modern Classical Logic and Relevant Logic, because the latter, like the former, puts possible worlds as a criterion for validity.
 

Keywords

References

  1. رید، استیون، فلسفه منطق ربط، اسداله فلاحی، قم، انتشارات دانشگاه مفید؛ (1385)
    1. Belnap, N. D. & J. M. Dunn, 1981, “Entailment and the Disjunctive Syllogism”, Contemporary  Philosophy:  a  new survey, vol. I, ed. G. floistad and G. H. von Wright, The Hague ; Also: Philosophy of language/Philosophical logic, ed, G. Fløistad and G. H. von Wright, The Hague (Martinus Nijhoff),337-366.
    2. Kripke, S., 1959, 'Α Completeness Theorem in Modal Logic', Journal of  Symbolic  Logic 24 (1959), 1-14.
    3. Kripke, S., 1963a, 'Semantical Analysis of Modal Logic I, Normal Proρositional Calculi',  Zeitschrift für Mathematische Lοgik und Grundlagen der Μathematik 9 (1963), 67-96.
    4. Kripke, S., 1963b, 'Semantical Considerations on Modal Logics', Acta Philosoρhica Fennica (1963) Modal and Many-Valued Logics, 83-94.
    5. Kripke, S., 1965, 'Semantical Analysis of Modal Logic II, Non-Normal Modal Proροsitional Calculi', The Theory οf Models ed. J. W. Addison, L. Henkin, Α. Tarski, Amsterdam, 1965, 206-20. 
    6. Meyer, R. K., 1974, “New axiomatics for relevant logics - I”. Journal of Philosophical Logic, 3: 53-86.
    7. Read, Stephen, 1988, Relevant Logic. Basil Blackwell, Oxford.
    8. Restall, Greg, 2000, An Introduction to Substructural Logics. London and New Yourk, Routledge.
    9. Routley, F. R.  & Meyer, 1972, “The semantics of entailment (II)”, Journal of Philosophical Logic, 1
    10. Routley, F. R. & Meyer, 1972, “The semantics of entailment (III)”, Journal of Philosophical Logic, 1: 192–208
    11. Routley, F. R. & Meyer, 1973, “Semantics of Entailment”. In Hugues Leblanc, editor, Truth Syntax and Modality, pages 194–243. North Holland, 1973. Proceedings of the TempleIniversity Conference on Alternative Semantics.

 

Send comment about this article
CAPTCHA Image

Files

Share

How to cite

Statistics