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
PS: The above demonstrates that in any possible world a large domain of abstracta with quantitative and structural properties and relationships necessarily obtains. Indeed, obtains in ways that are ontologically effective as connected to the logic of being. The abstract and the concrete cannot bbe severed, they are inextricably entangled. Where, necessary involvement of an abstract, structural, quantitative domain in any possible world then gives teeth to the claim that such abstract entities and domains are real, not merely figments of fevered cultural imagination. Somewhere out there, the shade of Plato is laughing. PPS: Objections notwithstanding -- given what we just saw -- let us note SEP:
Platonism in the Philosophy of Mathematics First published Sat Jul 18, 2009; substantive revision Thu Jan 18, 2018 Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. Just as electrons and planets exist independently of us, so do numbers and sets. And just as statements about electrons and planets are made true or false by the objects with which they are concerned and these objects’ perfectly objective properties, so are statements about numbers and sets. Mathematical truths [--> I would add, in material part] are therefore discovered, not invented . . .
kairosfocus
January 9, 2019
January
01
Jan
9
09
2019
10:18 AM
10
10
18
AM
PDT
kf, you repeat what you have said before, some of which I agree with and some I don't. ET isn't specific about what false claims ED made, but it seems his issue is with ED, not me. However, what I don't get is the "chirp, chirp, chirp" part. Did you expect Ed and/or I to just keep on commenting ad infinitum when it seemed like everyone had said what they had to say? There is nothing "telling" about thinking a conversation has run its course.hazel
January 9, 2019
January
01
Jan
9
09
2019
10:12 AM
10
10
12
AM
PDT
EG, [Deleted content - WJM] There has been just one serious definition of Mathematics on the table, one which distinguishes the largely reality-embedded substance from the culturally influenced study which is constrained by the necessity of facing that substance. Namely, the [study of the] logic of structure and quantity. In that context, it is manifest that for a distinct possible world W to be, there must be some distinguishing characteristic, A. So, we freely proceed: W = {A|~A}, which instantly establishes duality, unity and nullity. The contrasted entities are distinct unities, thus a duality and the partition betwixt is empty of members. This, with the simple expression of the von Neumann succession: {} --> 0 {0} --> 1 {0,1} --> 2 {0,1,2} --> 3 etc . . . shows that the natural counting numbers are necessarily present in any possible world, which instantly leads to many relationships and properties eg primes, evens, Pythagorean triplets, neighbouring successor primes such as 11 & 13, Pascal's triangle etc. Further, additive inverses give integers as x + (-x) = 0, so for any x we have -x. Ratios give rationals and power series give the reals, with the transfinites all the way out to the full surreal panoply beckoning. Taking reals and applying the i* operator, and we have the complex plane, with quaternions beyond etc if you please. The ijk system of orthogonal unit vectors gives a flat space in which Euclidean spatial properties obtain. In ANY possible world. And much more. Thus, we see structures and quantity deeply embedded in any possible world in ways that manifestly transcend our culturally influenced study thereof. [Deleted content - WJM] KFkairosfocus
January 9, 2019
January
01
Jan
9
09
2019
10:02 AM
10
10
02
AM
PDT
[Deleted content - WJM]ET
January 9, 2019
January
01
Jan
9
09
2019
09:49 AM
9
09
49
AM
PDT
What exactly is the issue, ET, and what true claims that are more than bald assertions has "your side" made. Can you summarize?hazel
January 9, 2019
January
01
Jan
9
09
2019
09:36 AM
9
09
36
AM
PDT
Ed George:
Neither side has presented any arguments compelling enough to change the other’s view.
Our opponents have yet to post an argument. All you are capable of is making false claims and then "supporting" them with bald assertions.ET
January 9, 2019
January
01
Jan
9
09
2019
09:28 AM
9
09
28
AM
PDT
KF
Key issue is still on the table, a walkaway says something.
What key issue? We disagree on the nature of mathematics. Neither side has presented any arguments compelling enough to change the other's view. We could keep going back and forth for another 245 comments with no resolution,. or we could simply agree to disagree.Ed George
January 9, 2019
January
01
Jan
9
09
2019
08:38 AM
8
08
38
AM
PDT
No, I don't think so. And, to be clear, what key issue are you referring to, and who walking away? I was involved here, and the contretemps between ET and EG at the end was pretty insubstantial, so what exactly are you referring to?hazel
January 9, 2019
January
01
Jan
9
09
2019
08:35 AM
8
08
35
AM
PDT
[Deleted content - WJM]kairosfocus
January 9, 2019
January
01
Jan
9
09
2019
08:17 AM
8
08
17
AM
PDT
??? This thread has been dead for days, and ended with your pointing out to EG and ET that back-and-forth wouldn't help things, So why the "chirp, chirp, chirp"? What were you expecting???hazel
January 9, 2019
January
01
Jan
9
09
2019
05:04 AM
5
05
04
AM
PDT
[Deleted content - WJM]kairosfocus
January 9, 2019
January
01
Jan
9
09
2019
04:19 AM
4
04
19
AM
PDT
[Deleted content - WJM] I was actually looking forward to a possible learning moment. I am not perfect and I am far from infallible. And, given what I have learned about evolution by reading what evolutionary biologists have to say, clearly I am capable of learning points of view contrary to my own. Alas, it was not to be. I will not bring it up again unless said learning moment does arise. You have the floor, sir.
I wonder what the diameter of that circular argument is.
From all appearances it is i- as in imaginary. ;)ET
December 23, 2018
December
12
Dec
23
23
2018
09:10 AM
9
09
10
AM
PDT
ET & EG, the back-forth will not help things. Besides, EG just failed to attend to a relevant correction. Further, the rhetorical abuse of self-evident also needs a comment. Namely, something self evident will, on correctly understanding it, be seen as necessarily true; e.g. 3 + 2 = 5, or error exists or that once one is self aware, s/he cannot be mistaken about that fact, or the first principles of right reason, etc. This, on pain of patent absurdity on the attempted denial. EG's assertion of circularity a bit above is unwarranted and in fact false. As was shown yesterday. KFkairosfocus
December 23, 2018
December
12
Dec
23
23
2018
08:37 AM
8
08
37
AM
PDT
[Deleted content - WJM]ET
December 23, 2018
December
12
Dec
23
23
2018
08:16 AM
8
08
16
AM
PDT
ET
So Ed George ran away instead of supporting its claim that I posted a circular argument.
No, still here. I don’t see the need to support something that is self-evidently true.Ed George
December 23, 2018
December
12
Dec
23
23
2018
07:43 AM
7
07
43
AM
PDT
[Deleted content - WJM]ET
December 23, 2018
December
12
Dec
23
23
2018
06:17 AM
6
06
17
AM
PDT
EG, per your declarations you won't read this, so this is for record; so that others will be able to duly take note of the balance on merits. For one, the embedding of the substance of structure and quantity in the observed cosmos goes far beyond the naturals or the patterns of a spatially extended world. We have dozens of specific cases of fine tuning that sets up a world suitable for C-Chemistry, aqueous medium, cell-based life; cf here for a summary. Where that life uses digitally coded algorithmic information for its workhorse molecules, the proteins; a case of language. Language is of course one of the strongest signs of intelligence. On pondering best, empirically anchored explanation i/l/o alternatives, it is a very serious contender indeed that the observed cosmos was intelligently configured to host just such cell based life by a mathematically extremely sophisticated designer. Where, as I just noted to H, comparative difficulties and inference to best current explanation suffice to remove vicious circularity as questions are asked and alternatives are weighed. KF PS: Notice, the design inference is an inductive inference on signs. The reasoning about the embedding of structure and quantity in possible worlds is tied to implications of distinct identity such that particular worlds are possible or actual.kairosfocus
December 22, 2018
December
12
Dec
22
22
2018
01:29 PM
1
01
29
PM
PDT
What I said in 230 is the same type of argument as the 3 scenarios presented in 232- with the exception of two scenarios don't make any sense at all. The car turned to the right because it was designed to turn to the right when you turned the steering wheel to the right. You turn to the right by turning to the right. In that circular argument course they would teach people how to make a case instead of just saying so. Your say-so is wouldn't make it past the playground. :DET
December 22, 2018
December
12
Dec
22
22
2018
12:08 PM
12
12
08
PM
PDT
ET@232, no, no and no. But ET@ 230 was a circular argument. If there was a circular argument university, your example would be taught in Circular Argument 101. :)Ed George
December 22, 2018
December
12
Dec
22
22
2018
11:41 AM
11
11
41
AM
PDT
Wow. Is it a circular argument to say the sun appears to rise in the east because of the way the earth rotates in relation to the sun? or Our universe is such that math can provide accurate descriptions of the world because the universe just happened? or Our universe is such that math can provide accurate descriptions of the world because the universe was intelligently designed but it was so designed without using mathematics?ET
December 22, 2018
December
12
Dec
22
22
2018
11:08 AM
11
11
08
AM
PDT
ET
Our universe is such that math can provide accurate descriptions of the world because the universe was intelligently designed using mathematics.
I wonder what the diameter of that circular argument is. :)Ed George
December 22, 2018
December
12
Dec
22
22
2018
10:29 AM
10
10
29
AM
PDT
Our universe is such that math can provide accurate descriptions of the world because the universe was intelligently designed using mathematics.ET
December 22, 2018
December
12
Dec
22
22
2018
07:34 AM
7
07
34
AM
PDT
H, I spoke regarding Wikipedia, for cause. I would suggest that the force of the substance of structure and quantity embedded in reality has shaped the study far more than some may freely acknowledge. Your comment "I’ve repeatedly acknowledged that math starts with abstractions based on our experience of the world, and that our universe is such that math can provide accurate descriptions of the world" in effect acknowledges the significance and impact of that substance. KFkairosfocus
December 22, 2018
December
12
Dec
22
22
2018
06:47 AM
6
06
47
AM
PDT
I don't disagree with anything Wikipedia says.. I don't think, however, that I have been "compelled" to discuss pure mathematics from any "ideological bent", and I've repeatedly acknowledged that math starts with abstractions based on our experience of the world, and that our universe is such that math can provide accurate descriptions of the world. So what's your point?hazel
December 22, 2018
December
12
Dec
22
22
2018
06:39 AM
6
06
39
AM
PDT
H, As you commonly appeal to pure mathematics, let me cite Wikipedia speaking against known ideological bent under the compelling force of the well known circumstances:
Pure mathematics is the study of mathematical concepts independently of any application outside mathematics. These concepts may originate in real-world concerns, and the results obtained may later turn out to be useful for practical applications, but the pure mathematicians are not primarily motivated by such applications. Instead, the appeal is attributed to the intellectual challenge and esthetic beauty of working out the logical consequences of basic principles. While pure mathematics has existed as an activity since at least Ancient Greece, the concept was elaborated upon around the year 1900,[1] after the introduction of theories with counter-intuitive properties (such as non-Euclidean geometries and Cantor's theory of infinite sets), and the discovery of apparent paradoxes (such as continuous functions that are nowhere differentiable, and Russell's paradox). This introduced the need of renewing the concept of mathematical rigor and rewriting all mathematics accordingly, with a systematic use of axiomatic methods. This led many mathematicians to focus on mathematics for its own sake, that is, pure mathematics. Nevertheless, almost all mathematical theories remained motivated by problems coming from the real world or from less abstract mathematical theories. Also, many mathematical theories, which had seemed to be totally pure mathematics, were eventually used in applied areas, mainly physics and computer science. A famous early example is Isaac Newton's demonstration that his law of universal gravitation implied that planets move in orbits that are conic sections, geometrical curves that had been studied in antiquity by Apollonius. Another example is the problem of factoring large integers, which is the basis of the RSA cryptosystem, widely used to secure internet communications. It follows that, presently, the distinction between pure and applied mathematics is more a philosophical point of view or a mathematician's preference than a rigid subdivision of mathematics. In particular, it is not uncommon that some members of a department of applied mathematics describe themselves as pure mathematicians.
Patently, axiomatisation sets up abstract logic model worlds exhibiting intelligible rational principles [= logic] of structure and quantity. Such then may exhibit necessary entities, which will be present in all possible worlds. In other cases, relevant entities may be present in our world, as a case in point, hence utility. Those are general, and have often been pointed out. However, let's highlight and comment more specifically:
Pure mathematics is the study of [--> study vs substance] mathematical concepts [--> structural and/or quantitative] independently of any application outside mathematics. These concepts may originate in real-world concerns [--> come from the substance of structure and quantity we encounter] , and the results obtained may later turn out to be useful for practical applications . . . . almost all mathematical theories remained motivated by problems coming from the real world or from less abstract mathematical theories [--> again, ties to mathematical "facts" of structure and quantity] . Also, many mathematical theories, which had seemed to be totally pure mathematics, were eventually used in applied areas, mainly physics and computer science . . . . the distinction between pure and applied mathematics is more a philosophical point of view or a mathematician's preference than a rigid subdivision of mathematics [--> the forced distinction fails, we have to reckon with the dual character of substance and study] . . .
KFkairosfocus
December 22, 2018
December
12
Dec
22
22
2018
06:11 AM
6
06
11
AM
PDT
Yes, learning about the power of deductive reasoning, starting from accepted assumptions (axioms, undefined terms, definitions, etc.), and moving on to proving things that were not obvious, was an important part of my intellectual growth as a teenager.hazel
December 22, 2018
December
12
Dec
22
22
2018
05:59 AM
5
05
59
AM
PDT
F/N: More and more I see the wisdom in my old Jesuit teachers insisting that Geometry opens the mind to a new world of thinking. KFkairosfocus
December 22, 2018
December
12
Dec
22
22
2018
05:55 AM
5
05
55
AM
PDT
H, we define the label, circle and define the particular ratio of interest, circumference to diameter. We most certainly did not invent the circle as a spatial form or its structural and quantitative properties; though we idealise round objects we experience. Indeed, that we recognise imperfections of round objects implies that we contrast with an ideal that we perceive with our minds, an item from an abstract logic model possible world with quantitative and structural aspects. To see this, consider: can we arbitrarily redefine what a circle is and change its properties or abolish circles from existing, not least as contained disk and locus such that z^2 = x^2 + i*y^2 for some set |z| = r, where x and y are real numbers; or translations and/or reflections thereof? Patently, not. Circularity is a spatial property of a class of figures, a special case of ellipses and one of five famous conical sections. Pi is indeed a logical consequence of the structure we term a circle, ratio of distance around the circumference to the length of the longest chord. Which chord has additional properties: it passes through the centre, which bisects it, a triangle standing on either end and having third vertex at the circumference will necessarily be a right angle triangle with the right angle at the third vertex, and much more. KF PS: As virtual worlds are difficult, try the exercise of setting up a plane mirror strip and using parallax to fix virtual image points for a triangle or other object. Soon, you will see that a plane mirror specifies a virtual half-universe behind its surface.kairosfocus
December 22, 2018
December
12
Dec
22
22
2018
02:54 AM
2
02
54
AM
PDT
From a purely mathematical point-of-view. pi is a logical consequence of the formal definition of a circle.hazel
December 21, 2018
December
12
Dec
21
21
2018
04:28 PM
4
04
28
PM
PDT
Symbols we pick and use are arbitrary but relationship between let's say circle circumference and circle diameter is not, it's just somehow embedded in reality. Some people struggle with this simple conceptEugen
December 21, 2018
December
12
Dec
21
21
2018
03:25 PM
3
03
25
PM
PDT
1 2 3 4 10

Leave a Reply