Uncommon Descent Serving The Intelligent Design Community

Responding to Ed George About Mathematics

Share
Facebook
Twitter
LinkedIn
Flipboard
Print
Email

In another thread, Ed George insists that humans invented mathematics as a way to describe the behavior of phenomena, but that doesn’t mean mathematics is an intrinsic aspect of the universe, a part we discovered, not invented.  Here’s why that position is untenable.

Mr. George is correct that humans invent languages – the language of mathematics included.  Languages are systems of symbols that represent things.  For example, the word “sphere” can be expressed with different symbols in different languages, but the symbols all refer to the same thing – in this case, the form of an object in the real world.  That we invented the symbols and language to describe a real thing doesn’t mean we invented the real thing itself.

As Mr. George agrees, mathematics (in terms of this debate) is an invented system of symbols used to describe behaviors of phenomena (physics). 

However, humans did not invent those behaviors; we are only describing them using symbolic language.  Phenomena in the universe behave in, let’s say, “X” manner. X is a set of discoverable patterns.  We discovered those patterns and applied symbolic language to represent and calculate them. In the same way that “sphere-ness” is an inherent quality of something in the universe which we use the term “sphere” to represent, “mathematics” is a term we use to represent an inherent quality of the universe.

Yet, Mr. George denies that we can know whether or not we “discovered” these behaviors (which we call “mathematics”. Of course we did, and we use symbolic language to describe those qualities and behaviors we have discovered.

This same, simple logic can be applied more broadly.  We invented a symbolic language in order to refer to things we discover about our existence and the universe, as KF is pointing out, in terms of logical first principles.  We did not invent that 1+2=3; those symbols represent observable facts. We did not invent the principle of identity out of whole cloth; it represents an observable fact and, more deeply, a universal structure that human minds cannot escape, no matter how hard we try or imagine. As KF points out, it is responsible for our ability to have cognition at all or to invent and use language.  Logical first principles are a fact of our existence which we discovered – first as “X”, then using a string of symbols to represent.

Beyond observable facts, such symbolic language can represent other discoverable facts; such as, some things are impossible to imagine. Imagine that 1+2=4 in any observable way.  You can say the words or write the equation, but it is not possible to imagine it being a discoverable fact in any scenario.  It’s a nonsensical proposition, much like a 4-sided triangle. The inability to imagine a thing has other implications, but that’s for another conversation.

Language is the invention, but language is itself governed by certain necessary rules.  Those rules were entirely hidden to us in the beginning, but we know they were there because inevitably all languages follow those fundamental rules even if we are unaware of them, the first of which is the principle of identity.  Without that, language is impossible. 

These “X” characteristics of our universe and our existence are things we discovered and then used symbolic systems to represent.

Comments
[Deleted content. - WJM]ET
January 10, 2019
January
01
Jan
10
10
2019
07:15 AM
7
07
15
AM
PDT
WJM
As long as I have editorial control over my threads, statements or insinuations about the motives, intelligence or character of other people involved in the conversation will be deleted.
Fair enough. But could you please apply it to comment 278 as well. It links to an article that talks about the motivations of commenters.Ed George
January 10, 2019
January
01
Jan
10
10
2019
07:09 AM
7
07
09
AM
PDT
As long as I have editorial control over my threads, statements or insinuations about the motives, intelligence or character of other people involved in the conversation will be deleted. - WJM That said, did everyone just abandon the discussion over at the three-knockdown-proofs-of-the-immateriality-of-mind thread? I thought it was just getting really interesting.William J Murray
January 10, 2019
January
01
Jan
10
10
2019
04:08 AM
4
04
08
AM
PDT
[Deleted content. - WJM]kairosfocus
January 10, 2019
January
01
Jan
10
10
2019
12:36 AM
12
12
36
AM
PDT
H, there is a substantial demonstration on the table, which shows that in any possible world, a substantial core of facts of structure and quantity will be embedded in the framework. This suffices to demonstrate that there is a considerable body of substance of structure and quantity that is discovered, not a mere property of our invention. That settles the substantial matter. [Deleted content - WJM] KFkairosfocus
January 10, 2019
January
01
Jan
10
10
2019
12:00 AM
12
12
00
AM
PDT
EG, again, regrettably, you have moved to personalities and projections when a clear matter of demonstrable facts is on the table. The implication is that the matter on the merits can be taken as settled; as were the substantial matter in error this would have been long since jumped on. Where, we here deal with matters that are logically, structurally and quantitatively demonstrable. That demonstration having been provided and there being no credible reason to infer that it is in error, the substantial matter is effectively settled. In that light, where clear errors of argument -- aka fallacies -- have come up in ways that would side-track the substantial issue, we can properly regard them as irrelevant to the substantial core of the matter. More broadly, it is an index of where we are as a civilisation through the corrosive impact of relativist thought that not even a logical-mathematical demonstration will be allowed to stand on its merits. That is a warning-sign. KFkairosfocus
January 9, 2019
January
01
Jan
9
09
2019
11:54 PM
11
11
54
PM
PDT
Deleted - WJM Ed George
January 9, 2019
January
01
Jan
9
09
2019
05:33 PM
5
05
33
PM
PDT
kf write, "The refusal to face same settles the matter," At the risk of repeating myself, baloney! :-) [Deleted content - WJM]hazel
January 9, 2019
January
01
Jan
9
09
2019
05:26 PM
5
05
26
PM
PDT
EG, there is a substantial issue on the table as the core of the matter. [Deleted - WJM]kairosfocus
January 9, 2019
January
01
Jan
9
09
2019
05:23 PM
5
05
23
PM
PDT
Deleted - WJMEd George
January 9, 2019
January
01
Jan
9
09
2019
04:55 PM
4
04
55
PM
PDT
EG, again, you set up and knocked over a strawman caricature. The pivotal issue is that in doing Mathematics we study something that is demonstrably embedded in the world, the substance of structure and quantity. Where, I can freely say "demonstrably" as I actually took time to demonstrate it. Thus, you show yourself unresponsive to objective warranted conclusions, evidently because they do not sit well with your opinions. You have then resorted to projecting to me a demand to impose my opinions. [Deleted content - WJM] A suggestion: if I am wrong on the merits of fact and logic above, all that would be required is to show why the steps of reasoning fail. Namely, kindly explain why any distinct world W will not have a partition A vs ~A: ___ and/or how such a partition does not entail duality, unity and nullity: _____, so also why the von Neumann construction fails: ____; thence, why the naturals do not lead to the integers, rationals, reals, complex numbers and space, thus linked properties, entities, relationships etc. ________ . Failing that, it is pretty clear who has had the better of the case on the merits [Deleted - WJM]KFkairosfocus
January 9, 2019
January
01
Jan
9
09
2019
04:17 PM
4
04
17
PM
PDT
[Deleted content - WJM]Ed George
January 9, 2019
January
01
Jan
9
09
2019
03:32 PM
3
03
32
PM
PDT
KF
EG, you left off the part about accountability before mathematical facts,...
I left it out because it is not relevant to my original opinion.Ed George
January 9, 2019
January
01
Jan
9
09
2019
03:24 PM
3
03
24
PM
PDT
H, did you observe that I responded to a particular and very specific rhetorical move of fallacious character? I suggest that you take time to observe why I spoke correctively. Otherwise, you will fall to the he hit back first fallacy. Except, I was not throwing a mere rhetorical punch but analysing in brief why a particular argument tactic used above is fallacious. Part of duty to truth and right reason is to correct fallacies. KF PS: Let me add, that the issue of selective hyperskepticism is the demand for an inconsistently high standard of warrant for claim A when, had it been another more welcome comparable claim B, no such criterion would have been put up. The result of such a fallacy is that one exerts a double-standard of warrant, becoming unresponsive to well warranted claims. Notice, above, I laid out in summary just how any possible world will have embedded in it a considerable body of structure and quantity. This, being an aspect of the logic of being and thus antecedent to our particular exploration and study of this aspect of reality.kairosfocus
January 9, 2019
January
01
Jan
9
09
2019
03:22 PM
3
03
22
PM
PDT
EG, you left off the part about accountability before mathematical facts, many of which are embedded in the structure of any possible world, as I have taken time to highlight again and again. This is a good part of why I used a dual-mode definitional framework: Mathematics is the (study of the) logic of structure and quantity. There is substance embedded in any possible world, there is further substance embedded in the particularities of a given world -- hence discussion of abstract, logic model worlds -- and such will be antecedent to our particular cultural or research tradition. So, we distinguish substance and study. Truncating Mathematics to focus on the tradition fails to recognise that that tradition works with and is decisively shaped by that antecedent substance. We explore the substance and discover truths that are there, locked into the logic of structure and quantity. We can do that in Greek, Sanskrit, German, Russian, Chinese, Arabic, Spanish, French or English etc, using diverse possible frameworks. But just like the emeralds being there in the ground over in Columbia, the exploration is discovering something that was there independent of the exploration. KFkairosfocus
January 9, 2019
January
01
Jan
9
09
2019
03:18 PM
3
03
18
PM
PDT
[Deleted content - WJM]hazel
January 9, 2019
January
01
Jan
9
09
2019
03:15 PM
3
03
15
PM
PDT
KF
ET, I will grant them that mathematical models and axiomatic systems constitutive of abstract logic model worlds are in large part constructions of human traditions.
Unless I am reading this wrong, this is essentially the opinion I expressed that started this whole thing.Ed George
January 9, 2019
January
01
Jan
9
09
2019
02:59 PM
2
02
59
PM
PDT
ET, I will grant them that mathematical models and axiomatic systems constitutive of abstract logic model worlds are in large part constructions of human traditions. However, those traditions -- if they are to work (starting with coherence) have to be accountable to a large body of Mathematical facts that obtain in any possible world. Many of those facts are outright self-evident and/or are connected to the logic of being. Thus, every possible world has deeply embedded in it the logic of structure and quantity. Reality cannot but be pervaded by that logic. It is then obvious that reality is best explained as coming from (and as being expressive of) utterly rational mind. I suspect, this onward issue is the silent ghost that is driving the sort of resistance we observe on this issue . . . far beyond exchanges on this thread. KFkairosfocus
January 9, 2019
January
01
Jan
9
09
2019
02:51 PM
2
02
51
PM
PDT
[Deleted content - WJM]? That is another facet of the underlying problem. I'll add that I am very aware of how entrenched schools of thought can resist evidence, I came of intellectual age in the days of the surge then collapse of Marxism, and saw how they operated until things fell apart internally, 1989 - 91. Von Mises' analysis from the 1920's proved correct and was manifestly correct, but it took 60 years for a degenerative research programme and its agenda to break. In this case, the clear evidence is that there is a lot of the logic -- rational principles -- of structure and quantity embedded in any possible world (and tied to the logic of being), antecedent to our coming along to explore it within whatever traditions. That is what needs to be faced squarely. KFkairosfocus
January 9, 2019
January
01
Jan
9
09
2019
02:34 PM
2
02
34
PM
PDT
Hazel- I have provide the arguments and the evidence. You have provide nothing but your opinion- not even an argument.ET
January 9, 2019
January
01
Jan
9
09
2019
02:20 PM
2
02
20
PM
PDT
ET: and it is your opinion that the universe was intelligently designed using mathematics. Different opinions.hazel
January 9, 2019
January
01
Jan
9
09
2019
01:24 PM
1
01
24
PM
PDT
hazel:
Rather it is a conclusion based on a philosophical assumption that reasonable people disagree about.
That is your opinion. Srinivasa Ramanujan is evidence that math is discovered and not invented. [Deleted content - WJM] No one has presented any evidence that mathematics- of any kind- was invented.ET
January 9, 2019
January
01
Jan
9
09
2019
12:35 PM
12
12
35
PM
PDT
It isn't my opinion, Ed. [Deleted content - WJM]ET
January 9, 2019
January
01
Jan
9
09
2019
12:32 PM
12
12
32
PM
PDT
Hazel@256 and 257. Nicely said. Disagreement and discussion are enjoyable and often informative.Ed George
January 9, 2019
January
01
Jan
9
09
2019
12:21 PM
12
12
21
PM
PDT
[Deleted content - WJM]hazel
January 9, 2019
January
01
Jan
9
09
2019
12:18 PM
12
12
18
PM
PDT
Ed writes, "With the huge caveat that neither of us is a mathematician nor a cosmologist,...." Actually, I am a minor-league mathematician, and it appears kf is also. Perhaps we have read and thought about these things more than the average person, and have more experience solving problems with math. However, that gives us no special status in respect to the philosophy of math, I don’t think. Also, FWIW, I don’t think ET’s comment that “Our universe is such that math can provide accurate descriptions of the world because the universe was intelligently designed using mathematics.” is technically a circular argument. Rather it is a conclusion based on a philosophical assumption that reasonable people disagree about. In fact, both ET’s philosophical premise and the Platonism that kf invokes are possible explanations of perennial issues that are explained differently by other perspectives. We aren’t going to settle these issues on an internet forum populated by a miscellaneous, self-selected group of people. Likewise, as Ed says, we aren’t obligated to going around and around about it, either. And, another FWIW, I don’t exactly agree with ED about the nature of math, or wouldn’t say some things as he does. But so what? None of us have the corner on the truth here.hazel
January 9, 2019
January
01
Jan
9
09
2019
12:10 PM
12
12
10
PM
PDT
[Deleted content - WJM]kairosfocus
January 9, 2019
January
01
Jan
9
09
2019
12:05 PM
12
12
05
PM
PDT
ET
Our opponents have yet to post an argument.
Everybody here is merely presenting opinions. With the huge caveat that neither of us is a mathematician nor a cosmologist, your opinion is that mathematics is inherent in the universe and mine is that it is not. Neither opinion has been supported by any arguments compelling enough to convince the other. I can live with that. At the end of the day, it doesn't make any difference either way. Frankly, I was surprised that anyone would draft an OP to respond to one of my opinions. I should be flattered, but the subject simply doesn't interest me enough to delve too deeply into it. KF
The selectively hyperskeptical veto fails.
[Deleted content - WJM]I have provided my reasons as to why i don't think that mathematics is inherent in the universe. You don't agree with my rationale. That is fine. I won't lose any sleep over it. To paraphrase Hazel, if we haven't come to an agreement after 250 comments, then it is reasonable to conclude that this comment thread has run its course. KF
H, I for cause expect due responsiveness to substantially warranted conclusions as were just again shown in outline, as manifesting duty to truth and to right reason.
Expecting and receiving are two different things. Nobody here has any obligation to respond to anybody else. That is the nature of blogs.Ed George
January 9, 2019
January
01
Jan
9
09
2019
11:15 AM
11
11
15
AM
PDT
Our universe is such that math can provide accurate descriptions of the world because the universe was intelligently designed using mathematics. Ed sed that was a circular argument but in typical fashion couldn't support his claim.ET
January 9, 2019
January
01
Jan
9
09
2019
10:42 AM
10
10
42
AM
PDT
H, I for cause expect due responsiveness to substantially warranted conclusions as were just again shown in outline, as manifesting duty to truth and to right reason. For example, I believe I can fairly claim to have substantiated the force of the extended XXX definition (study of structure) of what Mathematics is, doffing hat to my old prof. Where, too, we who are UD contributors -- who have borne the brunt of not only web rhetoric and cyber stalking but in some cases on the ground stalking out to relatives at several degrees of remove -- are ever cognisant of the wider audience, especially the penumbra of attack sites. KFkairosfocus
January 9, 2019
January
01
Jan
9
09
2019
10:25 AM
10
10
25
AM
PDT
1 2 3 10

Leave a Reply