Material Dialogues

  • Shahid Rahman
  • Zoe McConaughey
  • Ansten Klev
  • Nicolas Clerbout
Part of the Logic, Argumentation & Reasoning book series (LARI, volume 18)


As pointed out by Krabbe (1985, p. 297), material dialogues—that is, dialogues in which propositions have content—receive in the writings of Paul Lorenzen and Kuno Lorenz priority over formal dialogues: material dialogues constitute the locus where the logical constants are introduced. However in the standard dialogical framework, since both material and formal dialogues marshal a purely syntactic notion of the formal rule—through which logical validity is defined—, this contentual feature is bypassed, with this consequence that Krabbe and others after him considered that, after all, formal dialogues had priority over material ones.


  1. Armgardt, M. (2001). Das rechtslogische System der Doctrina Conditionum von G. W. Leibniz. Marburg, Germany: Elwert Verlag.Google Scholar
  2. Armgardt, M. (2008). Zur Bedingungsdogmatik im klassischen römischen Recht und zu ihren Grundlagen in der stoischen Logik. Tijdschrift voor Rechtsgeschiedenis, 76, 219–235.CrossRefGoogle Scholar
  3. Armgardt, M. (2010). Zur Rückwirkung der Bedingung im klassischen römischen Recht und zum stoischen Determinismus. Tijdschrift voor Rechtsgeschiedenis, 78, 341–349.CrossRefGoogle Scholar
  4. Barrio, E., Clerbout, N., & Rahman, S. (2017). Introducing consistency in a dialogical framework.Google Scholar
  5. Batens, D. (1980). Paraconsistent extensional propositional logics. Logique et Analyse, 90/91, 195–234.Google Scholar
  6. Beirlaen, M., & Fontaine, M. (2016). Inconsistency-adaptive dialogical logic. Logica Universalis, 10, 99–134.CrossRefGoogle Scholar
  7. Bobenrieth Miserda, A. (1996). Inconsistencias : Por Qué No? Un Estudio Filosófico Sobre la Lógica Paraconsistente. Santafé de Bogotá: Tercer Mundo Editores.Google Scholar
  8. Brandom, R. (1994). Making it explicit. Cambridge, MA: Harvard University Press.Google Scholar
  9. Brandom, R. (1997). A study guide. In W. Sellars (Ed.), Empiricism and the philosophy of mind (pp. 119–189). Cambridge, MA: Harvard University Press.Google Scholar
  10. Brandom, R. (2000). Articulating reasons. Cambridge, MA: Harvard University Press.Google Scholar
  11. Brandom, R. (2002). The centrality of Sellars’s two-ply account of observation to the arguments of ‘empiricism and the philosophy of mind’. In R. Brandom (Ed.), Tales of the mighty dead: Historical essays in the metaphysics of intentionality. Cambridge, MA: Harvard University Press.Google Scholar
  12. Brandom, R. (2008). Between saying and doing. New York: Oxford University Press.CrossRefGoogle Scholar
  13. Carnielli, W., & Coniglio, M. (2016). Paraconsistent logic: Consistency, contradiction and negation. Berlin, Germany: Springer.Google Scholar
  14. Carnielli, W., Coniglio, M., & Marcos, J. (2007). Logics of formal inconsistency. In Handbook of philosophical logic (pp. 1–93). Dordrecht, Netherlands: Springer.Google Scholar
  15. Clerbout, N., & Rahman, S. (2015). Linking game-theoretical approaches with constructive type theory: Dialogical strategies as CTT-demonstrations. Dordrecht, Netherlands: Springer.CrossRefGoogle Scholar
  16. Coniglio, M., & Silvestrini, L. (2014). An alternative approach for quasi-truth. Logic Journal of the IGPL, 22(2), 387–410.CrossRefGoogle Scholar
  17. d’Ottaviano, I. M., & da Costa, N. C. (1970). Sur un problèle de Jáskowski. Comptes Rendus de l’Académie de Science Paris (A-B), 1349–1353.Google Scholar
  18. Duthil Novaes, C. (2015). A dialogical, multiagent account of the normativity of logic. Dialectica, 69(4), 587–609.CrossRefGoogle Scholar
  19. Frege, G. (1979). Boole’s logical calculus and the concept script [1880/81]. In H. Hermes, F. Kambartel, & F. Kaulbach (Eds.), Gottlob Frege Posthumous writtings (pp. 9–52). Oxford: Basil Blackwell.Google Scholar
  20. Hintikka, J. (1973). Logic, language-games and information: Kantian themes in the philosophy of logic. Oxford: Clarendon Press.Google Scholar
  21. Howard, W. A. (1980). The formulae-as-types notion of construction. In J. P. Seldin & J. R. Hindley (Eds.), To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism (pp. 479–490). London: Academic Press.Google Scholar
  22. Kamlah, W., & Lorenzen, P. (1972). Logische Propädeutik. Vorschule des vernünftigen Redens (2nd ed.). Stuttgart/Weimar, Germany: Metzler.Google Scholar
  23. Kamlah, W., & Lorenzen, P. (1984). Logical Propaedeutic: Pre-school of reasonable discourse. Lanham, MD: University Press of America.Google Scholar
  24. Keiff, L. (2004). Heuristique formelle et logiques modales non normales. Philosophia Scientiae, 8(2), 39–59.CrossRefGoogle Scholar
  25. Keiff, L. (2007). Le Pluralisme dialogique: Approches dynamiques de l’argumentation formelle. Lille, France: PhD.Google Scholar
  26. Klev, A. (2014). Protagoras and his pupil. Unpublished manuscript, 6.Google Scholar
  27. Krabbe, E. C. (1985). Formal systems of dialogue rules. Synthese, 63, 295–328.CrossRefGoogle Scholar
  28. Leibniz, G. W. (1964). Sämtliche Schriften und Briefe. Berlin, Germany: Akademie.Google Scholar
  29. Linant de Bellefonds, Y. (1965). Traité de droit musulman comparé. Mouton.Google Scholar
  30. Lorenz, K. (1970). Elemente der Sprachkritik. Eine Alternative zum Dogmatismus und Skeptizismus in der Analytischen Philosophie. Frankfurt, Germany: Suhrkamp.Google Scholar
  31. Lorenz, K. (2010a). Logic, language and Method: On polarities in human experiences. Berlin, Germany/New York: De Gruyter.Google Scholar
  32. Lorenz, K. (2010b). Philosophische Variationen: Gesammelte Aufsätze unter Einschluss gemeinsam mit Jürgen Mittelstrass geschriebener Arbeiten zu Platon und Leibniz. Berlin, Germany/New York: De Gruyter.Google Scholar
  33. Lorenz, K., & Mittelstrass, J. (1967). On rational philosophy of language. The programme in Plato’s Cratylus reconsidered. Mind, 76(301), 1–20.CrossRefGoogle Scholar
  34. Lorenzen, P., & Lorenz, K. (1978). Dialogische Logik. Damstadt, Germany: Wissenschaftliche Buchgesellschaft.Google Scholar
  35. Lorenzen, P., & Schwemmer, O. (1975). Konstruktive Logik, Ethik und Wissenschaftstheorie (2nd ed.). Mannheim, Germany: Bibliographisches Institut.Google Scholar
  36. Magnier, S. (2013). Approche dialogique de la dynamique épistémique et de la condition juridique. London: College Publications.Google Scholar
  37. Magnier, S. (2015). Suspensive condition and dynamic epistemic logic: A Leibnizian survey. In M. Armgardt, P. Canivez, & S. Chassagnard-Pinet (Eds.), Past and present interactions in legal reasoning and logic (pp. 71–94). Dordrecht, Germany: Springer.CrossRefGoogle Scholar
  38. Marion, M. (2006). Hintikka on Wittgenstein: From language games to game semantics. In T. Aho & A.-V. Pietarinen (Eds.), Truth and games: Essays in honour of Gabriel Sandu (pp. 237–256). Helsinki, Finaland: Acta Philosophica Fennica.Google Scholar
  39. Marion, M. (2009). Why play logical games. In O. Majer, A. V. Pietarinen, & T. Tulenheimo (Eds.), L. a. Games: Unifying LOgic. Dordrecht, Netherlands: Springer.Google Scholar
  40. Marion, M. (2010). Between saying and doing: From Lorenzen to Brandom and back. In P. E. Bour, M. Rebuschi, & L. Rollet (Eds.), Constructions: Essays in honour of Gerhard Heinzmann (pp. 489–497). London: College Publications.Google Scholar
  41. Martin-Löf, P. (1984). Intuitionistic type theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Naples, Italy: Bibliopolis.Google Scholar
  42. Martin-Löf, P. (2014, February). Truth of empirical propositions. Lecture held at the University of Leiden. Transcription by: Amsten Klev.Google Scholar
  43. McDowell, J. (2004). Sellars and the space of reasons. Talk in Cape-town.
  44. McDowell, J. (2009). Having the world in view: Essays on Kant, Hegel, and Sellars. Harvard, UK: Harvard University Press.Google Scholar
  45. Nordström, B., Petersson, K., & Smith, J. M. (1990). Programming in Martin-Löf’s type theory: An introduction. Oxford: Oxford University Press.Google Scholar
  46. Peregrin, J. (2014). Inferentialism. Why rules matter. New York: Plagrave MacMillan.CrossRefGoogle Scholar
  47. Piecha, T. (2012). Formal dialogue semantics for definitional reasoning and implications as rules. Faculty of Science, University of Tübingen, Phd thesis: avalable online.
  48. Piecha, T., & Schröder-Heister, P. (2011). Implications as rules in dialogical semantics. In M. Pelis & V. Puncochar (Eds.), The logica yearbook 2011 (pp. 211–225). London: College Publications.Google Scholar
  49. Prior, A. (1949). Logic and the basis of ethics. Oxford: Clarendon Press.Google Scholar
  50. Rahman, S. (2015). On hypothetical judgements and Leibniz’s notion of conditional right. In M. Armgardt, P. Canivez, & S. Chassagnard-Pinet (Eds.), G. W. Leibniz: Past and present interactions in legal reasoning (pp. 109–168). Dordrecht, Netherlands: Springer.CrossRefGoogle Scholar
  51. Rahman, S., & Iqbal, M. (2018). Unfolding parallel reasoning in islamic jurisprudence (I). Epistemic and dialectical meaning within Abū Isḥāq al-Shīrāzī’s System of co-relational inferences of the occasioning factor. Cambridge Journal of Arabic Sciences and Philosophy, 28, 67–132.CrossRefGoogle Scholar
  52. Sellars, W. (1956). Empiricism and the philosophy of mind. In H. Feigl & M. Scriven (Eds.), Minnesota studies in the philosophy of science (pp. 253–329). Minneapolis, MN: University of Minnesota Press.Google Scholar
  53. Sellars, W. (1991). Science perception and reality. Atascadero-California: Ridgeview Publishing.Google Scholar
  54. Smith, J. (1988). The Independence of Peano’s Fourth Axiom from Martin-Löfs type theory without universes. Journal of Symbolic Logic, 53(3), 840–845.CrossRefGoogle Scholar
  55. Sundholm, G. (1997). Implicit epistemic aspects of constructive logic. Journal of Logic, Language and Information, 6(2), 191–212.CrossRefGoogle Scholar
  56. Sundholm, G. (1998). Inference versus consequence. In T. Childers (Ed.), The Logica yearbook 1997 (pp. 26–36). Prague, Czech Republic: Filosofía.Google Scholar
  57. Sundholm, G. (2001). A Plea for logical atavism. In O. Majer (Ed.), the logica yearbook 2000 (pp. 151–162). Prague, Czech Republic: Filosofía.Google Scholar
  58. Sundholm, G. (2006). semantic values for natural deduction derivations. Synthese, 148, 623–638.CrossRefGoogle Scholar
  59. Sundholm, G. (2009). A century of judgement and inference, 1837-1936: Some strands in the development of logic. In L. Haaparanta (Ed.), The development of modern logic (pp. 264–317). Oxford: Oxford University Press.Google Scholar
  60. Sundholm, G. (2012). Inference versus consequence revisited: Inference, conditional, implication. Syntese, 187, 943–956.CrossRefGoogle Scholar
  61. Sundholm, G. (2013a, December 2-3). Inference and consequence in an interpreted language. Talk at the Workshop Proof Theory and Philosophy, Groningen.Google Scholar
  62. Sundholm, G. (2013b). Containment and variation. Two strands in the development of analyticity from Aristotle to Martin-Löf. In M. van der Schaar (Ed.), Judgement and epistemic foundation of logic (pp. 23–35). Dordrecht, Netherlands: Springer.CrossRefGoogle Scholar
  63. Thiercelin, A. (2009). La théorie juridique leibnizienne des conditions : ce que la logique fait au droit (ce que le droit fait à la logique). Ph. D. thesis. Université de Lille.Google Scholar
  64. Thiercelin, A. (2010). Epistemic and practical aspects of conditionals in leibnizs legal theory of conditions. In D. M. Gabbay, P. Canivez, S. Rahman, & A. Thiercelin (Eds.), Approaches to legal rationality (pp. 202–217). Dordrecht, Netherlands: Springer.Google Scholar
  65. Trafford, J. (2017). Meaning in dialogue. An interactive approach to logic and reasoning. Dordrecht, Netherlands: Springer.Google Scholar
  66. van Heijenoort, J. (1967). Logic as calculus and logic as language. Synthese, 17, 324–330.CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Shahid Rahman
    • 1
  • Zoe McConaughey
    • 2
    • 3
  • Ansten Klev
    • 4
  • Nicolas Clerbout
    • 5
  1. 1.Département de philosophie CNRS, UMR 8163 - STL - Savoirs Textes LangageUniv. LilleLilleFrance
  2. 2.Univ. Lille, CNRS, UMR 8163 - STL - Savoirs Textes LangageLilleFrance
  3. 3.Département de philosophie & Centre Interuniversitaire de Recherche en Science et TechnologieUniversité du Québec à MontréalMontréalCanada
  4. 4.Institute of PhilosophyCzech Academy of SciencesPragueCzechia
  5. 5.Universidad de ValparaísoValparaísoChile

Personalised recommendations