Cover not available

In:Exploring Dialogue: Selected essays on argumentation by Erik C. W. Krabbe with contributions by Jan Albert van Laar
Edited by Erik C.W. Krabbe and Jan Albert van Laar
[Argumentation in Context 23] 2026
► pp. 310–325

Chapter 17
Arguments, proofs, and dialogues

This content is being prepared for publication; it may be subject to changes.
Article outline
  • 1.Proof and argument
  • 2.Mathematical proof
  • 3.Formal proof
  • 4.The surplus value of a proof
  • 5.Proof and implicit dialogue
  • 6.Proof and explicit dialogue
  • 7.The genesis of proof
  • Acknowledgements
  • Notes
  • References
References (24)
References
Aristotle (1976). Posterior Analytics. Topica (H. Tredennick & E. S. Forster, Trans.). Cambridge, MA: Harvard University Press (Loeb Classical Library). (Original work published 1960).Google Scholar logo with link to Google Scholar
Barth, E. M., & E. C. W. Krabbe (1982). From Axiom to Dialogue. A Philosophical Study of Logics and Argumentation. Berlin: Walter de Gruyter. Google Scholar logo with link to Google Scholar
Corcoran, J. (1989). Argumentations and logic. Argumentation, 3(1): 17–43. Google Scholar logo with link to Google Scholar
Dummett, M. (1977). Elements of Intuitionism. Oxford: Clarendon.Google Scholar logo with link to Google Scholar
Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert, Reprinted in: G. Frege, Begriffsschrift und andere Aufsätze, Vol. 2, (I. Angelelli Ed.). Hildesheim: Georg Olms:.Google Scholar logo with link to Google Scholar
Haas, G. (1984). Konstruktive Einführung in die formale Logik¨ Mannheim: Bibliographisches Institut.Google Scholar logo with link to Google Scholar
Krabbe, E. C. W. (1985). Formal systems of dialogue rules. Synthese, 63: 295–328 [= Ch. 14 in this volume]. Google Scholar logo with link to Google Scholar
Krabbe, E. C W. (1991). Quod erat demonstrandum: Wat kan en mag een argumentatietheorie zeggen over bewijzen? [QED: What can and may a theory of argumentation say about proofs?]. In M. M. H. Bax, & W. Vuijk (Eds.), Thema’s in de Taalbeheersing: Lezingen van het VIOT-taalbeheersingscongres gehouden op 19, 20 en 21 december 1990 aan de Rijksuniversiteit Groningen (pp. 8–16). Dordrecht: ICG.Google Scholar logo with link to Google Scholar
Lakatos, I. (1976). Proofs and Refutations: The Logic of Mathematical Discovery. (J. Worrall & E. Zahar Eds.). Cambridge: Cambridge University Press. Google Scholar logo with link to Google Scholar
Lorenzen, P., & K. Lorenz (1978). Dialogische Logik. Darmstadt: Wissenschaftliche Buchgesellschaft.Google Scholar logo with link to Google Scholar
Prawitz, D. (1971). Ideas and results in proof theory. In J. E. Fenstad (Ed.), Proceedings of the Second Scandanavian Logic Symposium (pp. 235–307). Amsterdam: North-Holland.Google Scholar logo with link to Google Scholar
(1981). Philosophical aspects of proof theory. In G. Fløistad & G. H. von Wright (Eds.), Contemporary Philosophy. A New Survey I: Philosophy of Language/Philosophical Logic (pp. 235–277). The Hague: Martinus Nijhoff. Google Scholar logo with link to Google Scholar
Stegmüller, W., & M. Varga von Kibéd. (1984). Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie III: Strukturtypen der Logik. Berlin: Springer.Google Scholar logo with link to Google Scholar
van Dalen, D. (1978). Filosofische grondslagen van de wiskunde [Philosophical Foundations of Mathematics]. Assen: Van Gorcum.Google Scholar logo with link to Google Scholar
van Eemeren, F. H., & R. Grootendorst (1984). Speech Acts in Argumentative Discussions. A Theoretical Model for the Analysis of Discussions Directed Towards Solving Conflicts of Opinion. Dordrecht: Foris. Google Scholar logo with link to Google Scholar
(1987). Fallacies in pragma-dialectical perspective. Argumentation, 1: 283–301. Google Scholar logo with link to Google Scholar
(1992). Argumentation, Communication, and Fallacies: A Pragma-Dialectical Perspective Mahwah, NJ: Lawrence Erlbaum Associates.Google Scholar logo with link to Google Scholar
van Eemeren, F. H., R. Grootendorst & T. Kruiger (1983). Argumentatieleer 1: Het analyseren van een betoog [Theory of Argumentation 1: The analysis of arguments]. Groningen: Wolters-Noordhoff.Google Scholar logo with link to Google Scholar
(1987). Handbook of Argumentation Theory: A Critical Survey of Classical Backgrounds and Modern Studies. Dordrecht: Foris. Google Scholar logo with link to Google Scholar
van Eemeren, F. H., R. Grootendorst, A. F. Snoeck Henkemans, J. A. Blair, R. H. Johnson, E. C. W. Krabbe, C. Plantin, D. N. Walton, C. A. Willard, J. H. Woods & D. Zarefsky (1996). Fundamentals of Argumentation Theory: A Handbook of Historical Backgrounds and Contemporary Developments. Mahwah, NJ: Lawrence Erlbaum.Google Scholar logo with link to Google Scholar
Walton, D. N. (1990). What is reasoning? What is argument? Journal of Philosophy, 87: 399–419. Google Scholar logo with link to Google Scholar
Walton, D. N., & E. C. W. Krabbe (1995). Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. Albany, NY: State University of New York Press.Google Scholar logo with link to Google Scholar
Webster (1985). Webster’s Ninth New Collegiate Dictionary. Springfield MA: Merriam-Webster.Google Scholar logo with link to Google Scholar
Mobile Menu Logo with link to supplementary files background Layer 1 prag Twitter_Logo_Blue