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 17Arguments, proofs, and dialogues
Published online: 5 June 2026
https://doi.org/10.1075/aic.23.17kra
https://doi.org/10.1075/aic.23.17kra
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)
Aristotle (1976). Posterior Analytics.
Topica (H. Tredennick & E. S. Forster, Trans.). Cambridge, MA: Harvard University Press (Loeb Classical
Library). (Original work published 1960).
Barth, E. M., & E. C. W. Krabbe (1982). From
Axiom to Dialogue. A Philosophical Study of Logics and
Argumentation. Berlin: Walter de Gruyter.
Barth, E. M., & J. L. Martens (Eds.) (1982). Argumentation:
Approaches to Theory Formation. Containing the Contributions to the Groningen Conference on the Theory of
Argumentation, October
1978. Amsterdam: John Benjamins.
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:.
Haas, G. (1984). Konstruktive
Einführung in die formale
Logik¨ Mannheim: Bibliographisches Institut.
Krabbe, E. C. W. (1985). Formal
systems of dialogue
rules. Synthese, 63: 295–328 [= Ch.
14 in this volume].
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.
Lakatos, I. (1976). Proofs
and Refutations: The Logic of Mathematical Discovery. (J. Worrall & E. Zahar Eds.). Cambridge: Cambridge University Press.
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.
(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.
Stegmüller, W., & M. Varga von Kibéd. (1984). Probleme
und Resultate der Wissenschaftstheorie und Analytischen Philosophie III: Strukturtypen der
Logik. Berlin: Springer.
van Dalen, D. (1978). Filosofische grondslagen van de wiskunde [Philosophical Foundations of
Mathematics]. Assen: Van Gorcum.
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.
(1992). Argumentation,
Communication, and Fallacies: A Pragma-Dialectical Perspective Mahwah, NJ: Lawrence Erlbaum Associates.
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.
(1987). Handbook
of Argumentation Theory: A Critical Survey of Classical Backgrounds and Modern
Studies. Dordrecht: Foris.
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.