The Role of Structural Reasoning in the Genesis of Graph Theory

History and Philosophy of Logic 40 (3):266-297 (2019)
  Copy   BIBTEX

Abstract

The seminal book on graph theory by Dénes Kőnig, published in the year 1936, collected notions and results from precursory works from the mid to late nineteenth century by Hamilton, Cayley, Sylvester and others. More importantly, Kőnig himself contributed many of his own results that he had obtained in the more than twenty years that he had been working on this subject matter. What is noteworthy is the fact that the fundamentals of what he calls directed graphs are taken almost exhaustively from Paul Hertz' 1922 article on structural reasoning about sentences of the form a→b. This is not a fact that is well known in logical circles, even though Kőnig fully acknowledges this in his book. In view of the numerous trends in the recent decades to describe and explicate logical matters by means of graphs, the fact that it was Hertz' foundation of structural reasoning that informed basic notions of graph theory in the first place is highly significant. The main goal of this paper is to summarize Hertz' article and demonstrate how Kőnig integrates the notions and results presented therein in his book. This is followed by an exposition of how and when Hertz' results were reinvented in terms of graph theory. A critical discussion of the opinion expressed by both Hertz and Kőnig that the more general sentences of the form (a1,…,an)→b, introduced by Hertz in a companion article in 1923, cannot be interpreted by graphs concludes this paper.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,661

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hertz's Mechanics and a Unitary Notion of Force.Joshua Eisenthal - 2021 - Studies in History and Philosophy of Science Part A 1 (90):226-234.
Algorithmic Graph Theory and Perfect Graphs.Rolf H. Möhring - 1986 - Order-a Journal on the Theory of Ordered Sets and its Applications 3 (2):207–208.
Graph-Based Belief Merging.Konstantinos Georgatos - 2016 - In van der Hoek Wiebe, Holliday Wesley H. & Wang Wen-Fang (eds.), Logic, Rationality, and Interaction. Springer-Verlag. pp. 101-115.
Heinrich Hertz and the Concept of a Symbol.Andreas Hüttemann - 2002 - In Massimo Ferrari (ed.), Symbol and Physical Knowledge. Springer. pp. 109-121.
Graph structure and monadic second-order logic: a language-theoretic approach.B. Courcelle - 2012 - New York: Cambridge University Press. Edited by Joost Engelfriet.
Early Structural Reasoning. Gentzen 1932.Enrico Moriconi - 2015 - Review of Symbolic Logic 8 (4):662-679.
Reverse Mathematics and Recursive Graph Theory.William Gasarch & Jeffry L. Hirst - 1998 - Mathematical Logic Quarterly 44 (4):465-473.

Analytics

Added to PP
2019-07-11

Downloads
35 (#667,142)

6 months
1 (#1,746,700)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
Substructural Logics.Peter Joseph Schroeder-Heister & Kosta Došen - 1993 - Oxford, England: Oxford University Press on Demand.
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Substructural Logics.Peter Schroeder-Heister - 1996 - Erkenntnis 45 (1):115-118.

View all 13 references / Add more references