Professional Documents
Culture Documents
Full download Mathematics and Philosophy 2: Graphs, Orders, Infinites and Philosophy Daniel Parrochia file pdf all chapter on 2024
Full download Mathematics and Philosophy 2: Graphs, Orders, Infinites and Philosophy Daniel Parrochia file pdf all chapter on 2024
https://ebookmass.com/product/the-philosophy-of-daniel-
dennett-1st-edition-bryce-huebner/
https://ebookmass.com/product/philosophy-rhetoric-and-thomas-
hobbes-timothy-raylor/
https://ebookmass.com/product/everything-flows-towards-a-
processual-philosophy-of-biology-edited-by-daniel-j-nicholson-
and-john-dupre/
https://ebookmass.com/product/philosophy-and-climate-change-mark-
budolfson/
Philosophy and Practical Education John Wilson
https://ebookmass.com/product/philosophy-and-practical-education-
john-wilson/
https://ebookmass.com/product/philosophy-and-model-theory-tim-
button/
https://ebookmass.com/product/byzantine-and-renaissance-
philosophy-peter-adamson/
https://ebookmass.com/product/philosophy-and-engineering-
education-john-heywood/
https://ebookmass.com/product/locke-and-cartesian-philosophy-
philippe-hamou/
Graphs, Orders, Infinites and Philosophy
Graphs, Orders, Infinites
and Philosophy
Daniel Parrochia
First published 2023 in Great Britain and the United States by ISTE Ltd and John Wiley & Sons, Inc.
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as
permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced,
stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers,
or in the case of reprographic reproduction in accordance with the terms and licenses issued by the
CLA. Enquiries concerning reproduction outside these terms should be sent to the publishers at the
undermentioned address:
www.iste.co.uk www.wiley.com
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the
author(s), contributor(s) or editor(s) and do not necessarily reflect the views of ISTE Group.
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
Chapter 1. Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1. Graph theory: a brief history . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Basic definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Different types of graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. More on the list of graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. Graphs and vertices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6. Some operations on graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7. Graph isomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7.1. Self-complementary graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7.2. Properties of self-complementary graphs . . . . . . . . . . . . . . . . . . . 16
1.8. Symmetric and asymmetric graphs . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.9. Extremal graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.10. Independence, non-separability, reconstruction conjecture . . . . . . . . . . . 23
Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
Introduction
1 Kant was exactly speaking of “the uncertain ground of pure and ever, transcendental concepts
(instabilis tellus, innabilis unda) where they are neither able to stand nor to swim, taking only
a few hasty steps, the vestiges of which are soon swept away” (in German: “wo der Grund
(instabilis tellus, innabilis unda) ihnen weder zu stehen, noch zu schwimmen erlaubt, und sich
nur flüchtige Schritte tun lassen, von denen die Zeit nicht die mindeste Spur aufbehält”). The
implicit reference to Ovid refers to Metamorphoses, I, 15: “Utque erat et tellus illic et pontus
et aer, sic erat instabilis tellus, innabilis unda, lucis egens aer”. In English: “Though there was
land and sea and air, it was unstable land, unswimmable water, air needing light”.
x Graphs, Orders, Infinites and Philosophy
Let us now define what a “philosophical system” is for us, i.e. the “unit” on
which philosophical considerations are based. I emphasize this point: the history
of thought, the sociology of knowledge may be concerned with philosophical
ideas. But the proper history of philosophy is concerned with systems, or, at least,
philosophical constructions which must explicitly explain why they are not – or
cannot be – systems.
2 To keep it simple and not get into too technical considerations of model theory, we can say that
a logical system is saturated if any addition of a supplementary thesis makes it contradictory
or, if it tolerates certain forms of contradiction in itself, inconsistent with respect to a particular
operation different from classical negation.
Introduction xi
3 Because of the subject–object split, which always places our consciousness outside the world
of objects, being as a whole can be neither object nor subject. According to Jaspers, it must be
the “encompassing” that manifests in this split. Objects as subjects therefore arise against the
background of this encompassing, which remains partly obscure. It is clarified only by objects,
and it becomes all the more clear as the objects are more clearly present to consciousness. But,
for all that, it does not itself become an object. It is therefore basically what, through thought,
only announces itself. We never meet it itself, but everything we do meet, we meet in it.
4 This complexity is assumed, but it is not yet known when the philosopher begins their work.
In order to justify the possibility of this operation, some philosophers like M. Gueroult have
spoken of this entity W as a “common real” (see Gueroult 1979). Others have simply postulated
that there is, in everyone, a “thought of a frame of reference” (see, for example, Granier 1977).
xii Graphs, Orders, Infinites and Philosophy
The first two postulates have a methodological character. The latter is clearly
ontological.
This latter is probably the most problematic. It has been widely discussed,
since the famous article by the American mathematician and philosopher Randal
Roy Dipert (1997), of which we would like to say a few words here.
The first part of Dipert’s article (“the shortcomings of logic and logical
metaphysics”) is one of the best argued refutations of analytical philosophy
that can be found. The second part argues for a well-tempered “relationalism”.
But it is especially the third part (“structure, asymmetric graphs and Aristotle
refuted”) and the fourth part (“the world as asymmetric graph”) which are the
most interesting for our purpose 7.
5 This project must not be considered as an utopy or an old-fashioned dream. From Whitehead
to Rescher, the idea of cognitive systematization has continued, as, moreover, it persists in our
everyday life when we try to understand this one in all its aspects.
6 Let us just say here, to fix ideas, that it is a set of vertices connected by arcs or edges,
depending on whether the graph is directed or not.
7 The reader can find the complete definition of symmetric and asymmetric graphs in
section 1.8.
Introduction xiii
In the third part, after recalling the fundamental definitions of graph theory
(simple graph, oriented graph, graph with loops, symmetric or asymmetric graphs,
hypergraphs, etc.), Dipert then concentrates on structurally different graphs, i.e.
non-isomorphic ones, the number of which grows according to a sequence that
approaches asymptotically 2p/2 /p!, when p is the number of their vertices. But
the subset that interests him is that of non-isomorphic, asymmetric graphs and
their subgraphs.
The theory of pure formal structures to which empiricity boils down is that
of these non-isomorphic and asymmetric graphs, as well as their subgraphs. And
the whole world is, in truth, nothing but an immense asymmetrical graph having
a very particular structure, distinct from any other. Against Aristotle who, in
Categories 7 (8a 14f–8a 37f) believes to refute relationalism, Dipert claims that
asymmetric graphs exclude all kinds of monadism.
In the fourth part, two crucial questions are asked: “First, is it possible that the
universe is just a formal structure, and that we can only think about the world as
such a structure? Secondly, is it conceivable that the structure that is the world
is just a graph-theoretical structure?” The answers to these two questions are
positive.
Dipert observes that what the world reduces to is not necessarily a graph
with a very large number of vertices. Medium-sized graphs (say between 40 and
100 vertices) already contain a lot of connections. For example, a graph of 40
vertices already contains 240 connections, a number that approximates that of the
basic components of our universe or the informational content of it, which by
some estimates is roughly equivalent to the number of non-isomorphic graphs of
order 40.
Naturally, the mind and its thoughts must have their place in this graph which
thus includes in itself a mirror structure. As Dipert wrote:
thoughts are about a phenomenon – refer to it – if they occupy a
certain place in the world graph (in a “mind”) and share certain
structural features with the thought-about object: a thought, per
xiv Graphs, Orders, Infinites and Philosophy
We might think then that, in such a theory, there is no room for minds,
consciousness and other mental phenomena, unless, precisely, everything is
mental, which finally, Dipert, following in this Leibniz, if not Spinoza, does
not entirely exclude, because the vertices of the graph could, after all, only be
“feelings”.
This remarkable article surely unleashed the hostility of the philosophers who
prefer Aristotelian matter to formal structures and the sentimental illusion of
human warmth to the objective relationships depicted in this cold graph. But the
strongest objection, developed in a short article by Oderberg (2011, pp. 6–9),
was based on a mathematical argument that Shackel (2011, p. 11) very well
summarized as follows:
1) suppose the world is a graph;
2) if it is a graph, it is an asymmetric graph;
3) any asymmetric graph can be turned into symmetric graph by the removal
of edges;
4) the loss of less than all the edges of the world (specifically, the loss of all
those not part of some symmetric subgraph, a loss consequent on certain nodes
going out of existence) metaphysically entails the non-existence of the entire
world (1, 2, 3);
5) Therefore, the world is not a graph (1, 4, reductio ad absurdum).
In fact, this mathematical argument is quite specious: why imagine that the
asymmetric graph of the world could become symmetrical? As Shackel writes,
“it’s impossible for the world graph to be other than it is and hence any change at
all entails non-existence” (Shackel 2011, p. 13), so Oderberg’s objection is not a
valid argument: “it is impossible to get rid of the nodes and edges of a world and
the argument to the absurd inexistence is blocked” (Shackel 2011, p. 14).
The fact remains that the necessity of Dipert’s structure may seem
troublesome. However, reducing the properties to simple potentials, as Bird could
have done in another model (see Bird 2007), would not remove the problem
according to Oderberg. Because if there is only potential and no actualization,
Introduction xv
then nothing can really manifest itself, as he also explains in another article
(see Oderberg 2012). But, as Shackel shows, there are potency graphs for
which a diffusion process gradually updates some (or all) of the potentials. The
phenomenon is a “snowball” and we can demonstrate that, in this type of graph
(snowflake graphs), we can always choose a node from which all the potentials
can be actualized.
In this text, using the language of graphs, orders and sometimes infinites, we
try to represent mathematically this entity that Jaspers called “the encompassing”,
and which he thought it was, by definition, impossible to objectify.
We must imagine that we are, with respect to the encompassing, in the same
situation as two-dimensional ants with respect to the sphere. In principle, nothing
prevents us from being able to describe it if we have the necessary information.
1
Graphs
This chapter is an introduction to our subject. After a few words about the
history of graphs, we explain what we now call a “graph” in mathematics and
introduce the main definitions useful to understand what follows. Then, we study
some particular classes of graphs that we can meet in philosophy and give some
examples of them.
The origin of graph drawings is not well known, but we have already found
some of them in ancient China.
In this region of the world, some graphic constructions may also be found in
decorative motives of architecture or jails (see Figure 1.2) which follow certain
logics (He and Schnabel, 2018).
1 For a color version of all the figures in this chapter, see http://www.iste.co.uk/parrochia/
graphs.zip.
2 Graphs, Orders, Infinites and Philosophy
It seems that one of the earliest forms of them in western countries are
probably that of Morris and Mill games, as shown in Figure 1.3, where the nodes
of the graph drawing are the positions that game counters can occupy, the edges
indicating how game counters can move between nodes (see Kruskal 1960, pp.
272–286).
1.D. The copyright laws of the place where you are located also
govern what you can do with this work. Copyright laws in most
countries are in a constant state of change. If you are outside the
United States, check the laws of your country in addition to the terms
of this agreement before downloading, copying, displaying,
performing, distributing or creating derivative works based on this
work or any other Project Gutenberg™ work. The Foundation makes
no representations concerning the copyright status of any work in
any country other than the United States.
• You pay a royalty fee of 20% of the gross profits you derive from
the use of Project Gutenberg™ works calculated using the
method you already use to calculate your applicable taxes. The
fee is owed to the owner of the Project Gutenberg™ trademark,
but he has agreed to donate royalties under this paragraph to
the Project Gutenberg Literary Archive Foundation. Royalty
payments must be paid within 60 days following each date on
which you prepare (or are legally required to prepare) your
periodic tax returns. Royalty payments should be clearly marked
as such and sent to the Project Gutenberg Literary Archive
Foundation at the address specified in Section 4, “Information
about donations to the Project Gutenberg Literary Archive
Foundation.”
• You comply with all other terms of this agreement for free
distribution of Project Gutenberg™ works.
1.F.
1.F.4. Except for the limited right of replacement or refund set forth in
paragraph 1.F.3, this work is provided to you ‘AS-IS’, WITH NO
OTHER WARRANTIES OF ANY KIND, EXPRESS OR IMPLIED,
INCLUDING BUT NOT LIMITED TO WARRANTIES OF
MERCHANTABILITY OR FITNESS FOR ANY PURPOSE.
Please check the Project Gutenberg web pages for current donation
methods and addresses. Donations are accepted in a number of
other ways including checks, online payments and credit card
donations. To donate, please visit: www.gutenberg.org/donate.
Most people start at our website which has the main PG search
facility: www.gutenberg.org.