Dialogical connexive logic

Synthese 127 (1-2):105-139 (2001)


Many of the discussions about conditionals can best be put as follows:can those conditionals that involve an entailment relation be formulatedwithin a formal system? The reasons for the failure of the classical approachto entailment have usually been that they ignore the meaning connectionbetween antecedent and consequent in a valid entailment. One of the firsttheories in the history of logic about meaning connection resulted from thestoic discussions on tightening the relation between the If- and the Then-parts of conditionals, which in this context was called. This theory gave a justification for the validity of what we todayexpress through the formulae ¬ and ¬. Hugh MacColl and, more recently, Storrs McCall searched for a formal system in which the validity ofthese formulae could be expressed. Unfortunately neither of the resulting systems is very satisfactory. In this paper we introduce dialogical games with the help of a new connexive If-Then (), the structural rules of which allow the Proponent to develop winning strategies not only for the above-mentioned connexive theses but also for ¬ and ¬. Further on, we developthe corresponding tableau systems and conclude with some remarks on possibleperspectives and consequences of the dialogical approach to connexivity including the loss of uniform substitution leading to a new concept of logical form

Download options


    Upload a copy of this work     Papers currently archived: 72,660

External links

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

Through your library


Added to PP

120 (#100,130)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shahid Rahman
Université Charles-de-Gaulle - Lille 3

References found in this work

First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
Symbolic Logic.John Venn - 1881 - New York: B. Franklin.
From Axiom to Dialogue.E. M. Barth & E. C. W. Krabbe - 1985 - Studia Logica 44 (2):228-230.

View all 20 references / Add more references

Citations of this work

Connexive Logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
Unfolding Parallel Reasoning in Islamic Jurisprudence.Shahid Rahman & Muhammad Iqbal - 2018 - Arabic Sciences and Philosophy 28 (1):67-132.
In the Beginning Was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.

View all 14 citations / Add more citations