Graduate studies at Western
Synthese 127 (1-2):105 - 139 (2001)
|Abstract||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 (connection). This theory gave a justification for the validity of what we todayexpress through the formulae ¬(a ¬ a) and ¬(¬ a a). Hugh MacColl and, more recently, Storrs McCall (from 1877 to 1906 and from1963 to 1975 respectively) 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 (formal) winning strategies not only for the above-mentioned connexive theses but also for (a b) ¬(a ¬ b) and (a b) ¬(¬ a b). 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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Storrs McCall (1967). Connexive Implication and the Syllogism. Mind 76 (303):346-356.
Nicolas Clerbout, Marie-Hélène Gorisse & Shahid Rahman (2011). Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi's Commentary on the Handbook of Logic. [REVIEW] Journal of Philosophical Logic 40 (5):633-662.
Sahid Rahman & Walter A. Carnielli (2000). The Dialogical Approach to Paraconsistency. Synthese 125 (1-2):201-232.
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
Storrs McCall (1967). Connexive Class Logic. Journal of Symbolic Logic 32 (1):83-90.
Storrs McCall (1966). Connexive Implication. Journal of Symbolic Logic 31 (3):415-433.
Michael J. White (1986). The Fourth Account of Conditionals in Sextus Empiricus. History and Philosophy of Logic 7 (1):1-14.
Lou Goble (2003). Neighborhoods for Entailment. Journal of Philosophical Logic 32 (5):483-529.
Jaakko Hintikka & Esa Saarinen (1979). Information-Seeking Dialogues: Some of Their Logical Properties. [REVIEW] Studia Logica 38 (4):355 - 363.
Added to index2009-01-28
Total downloads11 ( #107,456 of 739,347 )
Recent downloads (6 months)1 ( #61,538 of 739,347 )
How can I increase my downloads?