Abstract
This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is dynamic if a formula derived at some stage need not be derived at a later stage.) The paper illustrates three interesting points. (i) A set of properties that characterizes an inference relation on the (very natural) dynamic proof interpretation, need not characterize the same inference relation (or even any inference relation) on the usual set-theoretical interpretation. (ii) A proof format may display an internal dynamics (defeasible conclusions) in the absence of an external dynamics (non-monotonicity). (iii) A monotonic logic may have a non-monotonic characterization.
Similar content being viewed by others
REFERENCES
Anderson, A. R. and Belnap, N. D., Jr.: Entailment. The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, 1975.
Anderson, A. R., Belnap, N. D., Jr., and Dunn, J. M.: Entailment. The Logic of Relevance and Necessity, Vol. 2, Princeton University Press, 1992.
Batens, D.: Relevant implication and the weak deduction theorem, Studia Logica 46, (1987), 239–245.
Batens, D.: Blocks. The clue to dynamic aspects of logic, Logique et Analyse 150–152 (1995), 285–328. Appeared 1997.
Batens, D.: A survey of inconsistency-adaptive logics, in D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem (eds), Frontiers of Paraconsistent Logic, Research Studies Press, Baldock, UK, 2000, pp. 49–73.
Batens, D. and Vermeir, T.: Direct dynamic proofs for the Rescher–Manor consequence relations: The flat case. To appear.
Church, A.: The weak theory of implication, in A. Menne, A. Wilhemy, and H. Angsil (eds) Kontrolliertes Denken. Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften, Karl Alber, München, 1951, pp. 22–37. Abstract: J. Symbolic Logic 16 (1951), 239.
Read, S.: Relevant Logic. A Philosophical Examination of Inference, Blackwell, Oxford, 1988.
Rescher, N. and Manor, R.: On inference from inconsistent premises, Theory and Decision 1, (1970), 179–217.
Routley, R.: Relevant Logics and their Rivals, Vol. 1, Ridgeview, Atascadero, CA, 1982.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Batens, D. A Dynamic Characterization of the Pure Logic of Relevant Implication. Journal of Philosophical Logic 30, 267–280 (2001). https://doi.org/10.1023/A:1017520011692
Issue Date:
DOI: https://doi.org/10.1023/A:1017520011692