A dynamic characterization of the pure logic of relevant implication

Journal of Philosophical Logic 30 (3):267-280 (2001)
  Copy   BIBTEX

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 settheoretical 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Dynamic relation logic is the logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
Reasoning about Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
From intuitionistic logic to dynamic operational quantum logic.Sonja Smets - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Implication with possible exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Incremental dynamics.Jan van Eijck - 2001 - Journal of Logic, Language and Information 10 (3):319-351.
The adaptive logic of compatibility.Diderik Batens & Joke Meheus - 2000 - Studia Logica 66 (3):327-348.

Analytics

Added to PP
2009-01-28

Downloads
54 (#264,075)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Diderik Batens
University of Ghent

Citations of this work

The Need for Adaptative Logics in Epistemology.Diderik Batens - 2004 - In Shadid Rahman, John Symons, Dov Gabbay & Jean Bendegem (eds.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publishers. pp. 459-485.
A formal logic for abductive reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.
Empirical progress and ampliative adaptive logics.Joke Meheus - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):193-217.
Adaptive logics for question evocation.Joke Meheus - 2001 - Logique Et Analyse 173 (175):135-164.
Erotetic arguments from inconsistent premises.Joke Meheus - 1999 - Logique Et Analyse 165 (166):49-80.

View all 9 citations / Add more citations