Synthese 127 (1-2):105-139 (2001)
AbstractMany 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
Added to PP
Historical graph of downloads
Similar books and articles
Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi’s Commentary on the Handbook of Logic. [REVIEW]Nicolas Clerbout, Marie-Hélène Gorisse & Shahid Rahman - 2011 - Journal of Philosophical Logic 40 (5):633-662.
The Dialogical Approach to Paraconsistency.Sahid Rahman & Walter A. Carnielli - 2000 - Synthese 125 (1-2):201-232.
The Fourth Account of Conditionals in Sextus Empiricus.Michael J. White - 1986 - History and Philosophy of Logic 7 (1):1-14.
Information-Seeking Dialogues: Some of Their Logical Properties. [REVIEW]Jaakko Hintikka & Esa Saarinen - 1979 - Studia Logica 38 (4):355 - 363.
References found in this work
First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
From Axiom to Dialogue: A Philosophical Study of Logics and Argumentation.Else Margarete Barth & Erik C. W. Krabbe - 1982 - Berlin and New York: De Gruyter.
Thinking About Logic: An Introduction to the Philosophy of Logic.Stephen Read - 1994 - Oxford, England: Oxford University Press.
Citations of this work
Connexive Logics. An Overview and Current Trends.Hitoshi Omori & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.
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.