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
kf, you write, "Much of modern mathematics drew its initial impetus from considerations of quantitative and structural phenomena we encountered in the world. Axiomatisation is subsequent to that and is materially conditioned by it" Yes, I agree, and just wrote Mike about that point. You write, "the two cannot be severed neatly by saying things like, one is studying “pure” Mathematics without reference to particular applications." I don't know why not. There is a great deal of math that has no particular application, and a great deal of math that was developed for the pure satisfaction of drawing out logical conclusions. Of course, a great deal of math can be applied to real world situations, and we often have found that math that has been discovered in the context of pure math is a good tool for describing some aspect of the real world. I have always agreed with those who point out that the ability of math to accurately describe and model the world is a fact. However, as the Einstein quote I offered earlier said, our descriptions and models are always only abstract approximations of physical reality, and the certainty that we have about pure mathematics does not carry over to our mathematical models of reality.hazel
December 19, 2018
December
12
Dec
19
19
2018
11:49 AM
11
11
49
AM
PDT
Hazel @ 170 wrote: “The [game] of Life is clearly an invention. I can’t believe that these particular rules, as well as all other possible rules for similar games, eternally exist separate from anyone ever knowing about them, like a circle.” Very early on in the discussion which started on an earlier thread. I wrote the following:
Everyone involved in this discussion are missing some obvious points. As Kf pointed out, my point up @ #40 is that numbers have properties and those properties have been discovered not invented. So how can anyone claim that math (or if you’re a brit, “maths”) is a human invention? That’s not to say that human’s didn’t invent the symbolism used to do mathematics. But without the existence of mathematical truth there would be no reason for the symbolism. Furthermore, the development of mathematics preceded the advances of the physical sciences by centuries.
https://uncommondescent.com/mathematics/logic-first-principles-4-the-logic-of-being-causality-and-science/#comment-669650 I could take it a step further and say that we that we invent number systems like Roman numerals or Greek numerals and now Hindu-Arabic numerals which use different symbols. You can easily invent your own number system. Here’s mine: ! @ # $ % ^ & * ( ). I just substituted those symbols for the numbers 1-10 by pressing the shift key on my computer’s keyboard. We could actually do math with those symbols. (Thanks but thanks.) Does anyone on my side dispute that we can and do invent number systems? However, could we invent a number system that did not have primes or irrational numbers? If you think we could, go ahead and invent one. The next question would be, would it serve any practical purpose in the real world? So what the issue now with games? I agree games are something we invent, and mathematicians have long been fascinated with them. So? It doesn’t follow logically that if there some things we invent and use as mathematical tools that that is all math is-- something we invented. We have invented radio telescopes to explore the universe but it doesn’t follow that everything we have discovered so far are just artifacts of the radio telescopes electronics. We invented astronomical tools because we could see something out there that we wanted to explore and understand.john_a_designer
December 19, 2018
December
12
Dec
19
19
2018
11:38 AM
11
11
38
AM
PDT
KF
My original discussion which sparked this Op highlights that.
I thought that it was one of my comments that sparked this OP. After all, my name is in the title. :)Ed George
December 19, 2018
December
12
Dec
19
19
2018
11:21 AM
11
11
21
AM
PDT
Those are good questions, Mike. Let me answer the second question, and then say a bit more about the first. Our pure math has been first motivated, historically, by symbolic representations of simple things in the world around us. kf and I discussed how pebbles of fingers motivated the concept of the unit 1, and it's easy for me to see how simple things like a rope pulled tight, or a rope swung around a stake, motivated the concepts of a line and a circle. I would expect similar experiences would have motivated the basis of the alien's math. However, even assuming they were sophisticated enough to get here, they probably wouldn't have the exact same math, or know the same things we do. It's very likely they wouldn't have the Game of Life, and they might not know about fractals or the Mandelbrot set, for instance, or perhaps all the things we've learned about primes. On the other hand, they may have developed some techniques we don't have: maybe they've proved Fermat's Last theorem or ways of directly evaluating some integrals that we can only approximate. The point is that once the basics are set, it's a contingent matter as to what paths of discovery they might have taken. This is all very hypothetical, so it's easy to make stuff up, but it's interesting to think about.hazel
December 19, 2018
December
12
Dec
19
19
2018
11:16 AM
11
11
16
AM
PDT
H, I would suggest that in its essence Mathematics -- pure and applied alike -- is about the logic of structure and quantity. The core substance of that is embedded in the world as in effect rational principles of reality that are partly intelligible. In our study of the logic of structure and quantity -- the discipline of Mathematics -- that embedded structure tied to requisites of distinct identity such that there is a world, powerfully influences our work. So, the two cannot be severed neatly by saying things like, one is studying "pure" Mathematics without reference to particular applications. Besides, much of modern mathematics drew its initial impetus from considerations of quantitative and structural phenomena we encountered in the world. Axiomatisation is subsequent to that and is materially conditioned by it. KFkairosfocus
December 19, 2018
December
12
Dec
19
19
2018
10:51 AM
10
10
51
AM
PDT
hazel: But, in the long run, our math would be the same. Why?mike1962
December 19, 2018
December
12
Dec
19
19
2018
10:43 AM
10
10
43
AM
PDT
The same, basically. More advanced math might have different approaches, because we know that the same results can sometimes be expressed in different systems. But, in the long run, our math would be the same.hazel
December 19, 2018
December
12
Dec
19
19
2018
10:39 AM
10
10
39
AM
PDT
hazel, if some extra-terrestials showed up here, would you expect that their fundamental mathematics, such as pi, e, i, and the relationship thereof, would be the same as ours or different?mike1962
December 19, 2018
December
12
Dec
19
19
2018
10:35 AM
10
10
35
AM
PDT
wjm asks a good question, "I have another question for you, which you may have already answered and I missed it. Can you “not accept” a platonic realm at all, or is it just the idea of a platonic realm that contains an infinite amount of information (including future information) that you cannot accept?" It's easy to accept that the definition of a circle invokes, somehow (it's the somehow that I don't know) a perfect circle, that it's properties therefore exist as immediately existing in relationship to that original definition, and that we discover those properties through the process of proof through deductive reasoning. I used to love to teach this idea in geometry: it's a critical part of intellectual development to learn about the power of deductive reasoning. However, I can't really grasp a sense of there being some Platonic world in which the circle exists, because, as I am trying to explain, once you do that you open up the door to all and every mathematical system, including ones I could invent today, also existing Platonically. So despite how obvious Platonic reality seems in respect to the circle, it doesn't seem to work for me if carried to its conclusion. Obviously, I don't know what works to explain why logical conclusions appear there for our discovery, true whether we ever discover them or not. Everything existing in a Platonic realm isn't a satisfactory explanation for me.hazel
December 19, 2018
December
12
Dec
19
19
2018
10:07 AM
10
10
07
AM
PDT
kf , my post was about pure math. I didn't address the issue of how math can be applied to describing the real world.hazel
December 19, 2018
December
12
Dec
19
19
2018
09:38 AM
9
09
38
AM
PDT
hazel, As I said to Ed George, whether or not anyone here finds any particular argument "compelling" is irrelevant in terms of offering arguments and rationally criticizing them. I have another question for you, which you may have already answered and I missed it. Can you "not accept" a platonic realm at all, or is it just the idea of a platonic realm that contains an infinite amount of information (including future information) that you cannot accept? BTW, everyone: Keep this discussion REAL friendly and REAL respectful, please. This is about the logic, evidence and arguments, not about convincing hazel or anyone else of anything or about "revealing" anything about anyone who disagrees. William J Murray
December 19, 2018
December
12
Dec
19
19
2018
09:34 AM
9
09
34
AM
PDT
hazel:
This is a perennial philosophical issue that will probably never be settled.
We disagree. How can you tell if the Game of Life was invented vs discovered?ET
December 19, 2018
December
12
Dec
19
19
2018
09:29 AM
9
09
29
AM
PDT
H, Does Mathematics address an objective substance of structure and quantity? My original discussion which sparked this Op highlights that. As a good example, can we justly imagine that we could go back and invent a new game where 2 + 2 = 5 say, and be just as successful in the context of utility and reliability? I also beg to remind you that God is a philosophical issue, not "merely" a matter of religious dogma. In context, there is in fact a longstanding view that the kernel of truth in Plato lies in the mind of God, a point Pruss actually brings up in his thesis on possible worlds, which is linked.KF PS: The overton window may not be familiar to you, but it is most definitely not bizarre; it is what is driving the wider context of the ongoing civilisational civil war. Absent that conflict, the issue of a substantial core to Mathematics (of all things) would not be up for debate. PPS: I pointed out that the historical invention of artificial solutions to quadratics were not the only or the most fruitful way to approach complex numbers. This responds to a point you raised about said numbers.kairosfocus
December 19, 2018
December
12
Dec
19
19
2018
09:26 AM
9
09
26
AM
PDT
Thanks for all the responses. Here are some replies in approximate order of relevance wjm's comment at 174 is most relevant:
Hazel expressed part of the dilemma this way: "So I don’t know what to think here. I can’t accept the idea that all possible consequences of all mathematical systems eternally exist in some Platonic realm, even ones like the Game of Life that has just been invented.” Referring to the part in bold, why is that, Hazel? Why is it that you “can’t” accept it?
The Game of Life illustrates the problem. This was just invented 50 years ago, and there is nothing to make me think it had to be invented. And yet, once it was invented, a infinite amount of new logical consequences were all of a sudden waiting to be discovered. In addition, those consequences can only be discovered by actually stepping through the generations: there are no algorithms that can predict a result. Furthermore, I'm pretty sure I could invent a game somewhat like Life today (I would probably make it on a hexagonal rather than rectangular grid), and in doing so make a whole new infinite set of logical conclusions. It makes no sense that all these results could have been pre-existing eternally in some non-material Platonic world. Perhaps you can accept that as the case, or possibly the case. I can't. Given that we are speculating about something that can't possibly be experienced, I think my non-acceptance and your acceptance (if in fact this is what you believe) are on the same footing. As I have repeatedly said, I can see validity in various views, but nothing that seems compellingly conclusive. The goal of my post was to point out some of the aspects that most make it mystery to me, and to discuss some of the aspects of the discover/invention issue. ============= At 173, kf writes, "the “discovery” issue is in material aspects driven by the substance of structure and quantity embedded in the world", and then goes on to talks about vectors in the real world. (He also again talks the real world at 175.) However, I made it clear at the start of my post that I was just talking about pure math, so the rest of his comments aren't relevant. ============= 175 kf writes, "WJM, no-one is suggesting that “all possible consequences of all mathematical systems eternally exist in some Platonic realm.” wjm asks me why I couldn't accept that possibility, so at least implicitly he was suggesting it as a possibility. kf writes, "That said, there is a credible candidate who can hold “all possible consequences of all mathematical systems eternally exist[ing] in some Platonic realm [a certain Mind].” God." Hmmm. Earlier, kf seemed to chastise me for referring to religious explanations, and now he says that an explanation here is that the Mind of God could be the place where all the infinite number of possible consequences of Conway's Game of Life have eternally resided. My comments to wjm about a Platonic realm apply here. Invoking the Mind of God as a solution doesn't solve the mysteries for me. ============= At 173, kf also writes, "[I need not elaborate on the damaging results of playing overton window lockout games driven by all too common behaviour patterns taught by Alinsky and other cultural marxists.)" I have no idea what this bizarre comment is about, or what precipitated it. How this discussion could possible have anything to do with Marxists is a mystery. ============= to JAD at 177: You write, "So Hazel’s personal incredulity and belief is what settles the argument?" Absolutely not. I've never claimed that I'm trying to make a logical argument for what is the case. I've clearly said I can see validity in various points of views, as well as flaws, and that I am basically baffled about the situation. I don't think anyone can make a strongly compelling deductive argument about what is in fact the case without invoking premises that are themselves open to the very questions we are interested in. This is a perennial philosophical issue that will probably never be settled.hazel
December 19, 2018
December
12
Dec
19
19
2018
09:04 AM
9
09
04
AM
PDT
Hazel @ 170: “I don’t know what to think here. I can’t accept the idea that all possible consequences of all mathematical systems eternally exist in some Platonic realm.” [Characterizations about the character or mind of others will be edited out. - WJM] Deductive arguments must be based on premises that are either self-evidently true or probably true. If it’s the latter, premises which have a higher probability of being true generally make for a stronger argument.john_a_designer
December 19, 2018
December
12
Dec
19
19
2018
07:50 AM
7
07
50
AM
PDT
hazel:
If we discover math, then that implies what we discover already exists. But how? In what sense does all of math exist, waiting to be discovered.
It's part of the intelligent design of the universe. All of the information required by the universe is here for us to tap into. Giuseppe Sermonti touched on this in the chapter "I can only tell you what you already know" in the book "Why is a fly not a horse?"ET
December 19, 2018
December
12
Dec
19
19
2018
06:36 AM
6
06
36
AM
PDT
WJM, no-one is suggesting that "all possible consequences of all mathematical systems eternally exist in some Platonic realm." It is shown that for a distinct world W to exist it must have distinct identity based on defining characteristics. Thus W = {A|~A}. The emptiness of the border and the contrasted set W' (excluded middle), the unity of A and the duality of A and its complement show us that once W is, 0, 1, 2 necessarily obtain. But also, we see the von Neumann succession of order types so, this extends to the naturals, necessarily. We thus see that certain core structures and quantities obtain in any world, they are necessary entities. Others will obtain in particular worlds but not others, contingent entities. That said, there is a credible candidate who can hold "all possible consequences of all mathematical systems eternally exist[ing] in some Platonic realm [a certain Mind]." God. KF PS: This suggests that H's declared lack of interest in the logic of being thus necessary vs contingent entities and possible worlds may well be part of the problem.kairosfocus
December 19, 2018
December
12
Dec
19
19
2018
03:54 AM
3
03
54
AM
PDT
I'm impressed by hazel's clear thought leading up to the dilemma she expressed in #170, and her ability to actually see that dilemma clearly. Hazel expressed part of the dilemma this way: "So I don’t know what to think here. I can’t accept the idea that all possible consequences of all mathematical systems eternally exist in some Platonic realm, even ones like the Game of Life that has just been invented." Referring to the part in bold, why is that, Hazel? Why is it that you "can't" accept it?William J Murray
December 19, 2018
December
12
Dec
19
19
2018
03:34 AM
3
03
34
AM
PDT
H, I think your last comment is significant, though the "discovery" issue is in material aspects driven by the substance of structure and quantity embedded in the world. The contrast, study vs substance is really important. I suggest that even when there was invention, there may well be discovery that was always there. In the case of complex numbers [not just "imaginary"] you wrote:
there can by a hazy line between invention and discovery. At some point, someone (the history is more complicated, really) decided to consider the square root of a negative as a number, not an impossibility, and named the sqrt(-1) as i. This was an invention – a definition, in some sense. But one could argue that it was an inevitable logical step, and someone just had to decide to follow it, in which case we might consider the concept that the sqrt(negative) is a legitimate number is a discovery, and only the symbol was an invention. Retrospectively, this turned out to be a great idea, leading to complex numbers, which we have seen are of great importance.
I think the history is misleading us. We live in a spatial world where vectors are natural and they can rotate. For basic example, conservation of angular momentum and interaction with a gravity field produce precessional effects. There is a 23,000 y precession of our planet's orbit. In that context, it is significant to note that complex numbers are vectors, and that a very natural path to seeing the legitimacy of sqrt(-1) is the i* right angle A/C rot operator approach. And yes I am using operators as a mathematical structure. Consider:
(1,0) along ox --> call it x1. i*x1 --> (0,1) along oy. do i* again: i*i*x1 --> (-1,0) along -ox. in effect, considering ox as reals line, i*i*1 --> -1 Thus, reasonably i^2 = -1 So it makes sense to identify i with sqrt(-1)
Is rotation of a vector of length in a specific direction "natural"? Simply put a hole near the end of a 1m rule, put it on an axis and rotate it. Rotation is a property of a world with space. Angle is also a naturally manifest quantitative structure. So, picking a particular rotation of interest and exploring it is experimenting with and exploring properties, not arbitrary, free invention. It is constrained by relevant structures and quantities of space, physical or conceptual. (Recall, necessary entities or properties may be identified in an abstract model world but as such is a possible world the necessary entities will obtain for all worlds including this one. That already highlights how important logic of being can be.) Of course, if I take your declarations above literally, you may well not read this. EG, I am pretty sure, will not [I need not elaborate on the damaging results of playing overton window lockout games driven by all too common behaviour patterns taught by Alinsky and other cultural marxists.) So, I note for record, on the merits of the case. KFkairosfocus
December 19, 2018
December
12
Dec
19
19
2018
03:23 AM
3
03
23
AM
PDT
EG:
if we stick with Pi and prime numbers, which we all agree have some peculiar and interesting properties. In both cases, they only exist because we have established conditions for them to exist.
The relevant structures, quantities and properties existed in the world before we thought of them. That recognition of fact is pivotal and it is revealing that you still struggle to distinguish between the substance and the study of structure and quantity. KFkairosfocus
December 19, 2018
December
12
Dec
19
19
2018
02:53 AM
2
02
53
AM
PDT
Hazel@170, again a much clearer presentation of the issues than anyone else here has been able to do. But if we stick with Pi and prime numbers, which we all agree have some peculiar and interesting properties. In both cases, they only exist because we have established conditions for them to exist. A number only divisible by itself and one. And the ratio of circumference and diameter of a perfect circle, a perfect circle that only exists in our imagination. So, the question then becomes, is any mathematics derived from these two invented concepts inherent in the universe, or simply the consequence of our inventions? I think we all agree that the concept of unity is the foundation of the universe, and of all mathematics. One exists. My expertise is chemistry which, I think we can also agree, involves complex relationships that can be modelled using mathematics. But, fundamentally, all we are dealing with is hydrogen with the addition of various numbers of protons, neutrons and electrons that combine with different types of bonds. I know, it is far more complicated than this but most of our chemical reactions can be modelled using this simple framework. Does that mean that the complex mathematics needed to model these reactions are inherent to the universe? Or are they inventions that we derived from that fundamental aspect of math (one) and manipulated to represent what we observe (or, model)? Or, have I once again stepped way beyond my comfort zone and just blowing smoke out my anal orafice? :)Ed George
December 18, 2018
December
12
Dec
18
18
2018
07:57 PM
7
07
57
PM
PDT
I want to offer some comments on the discovered/invented issue. First a few disclaimers/reminders. This is a perennial issue, and I can see the situation from various viewpoints. I want to make some observations and ask some questions without having definite answers on some issue. Also, I want to talk just about pure mathematics. By pure math I mean math that exists within a symbol system, in which conclusions are logically developed within that system, and built from previously established aspects of the system. For instance, I believe we have agreed that the body of math we learn up through high school starts with natural numbers, which start with positing a unit number 1, defining successors, and building from there. As I used to tell my seniors, they walked in to first grade learning the number fact 1 + 1 = 2 and walked out knowing the number fact e^(i*pi) = -1. These facts, and everything in between, given suitable definitions, are logical consequences, contained within the sytem, that go back to the original structure of the natural numbers. Now what can we say about what was invented and what was discovered here? I think is uncontroversial to say that specific symbols, notation systems, and terms are "invented", although "created" might be a better word, or "developed" for things which time and the input of multiple people to become adopted. Two examples mentioned in previous posts was the invention of the Arabic number system, with zero as a placeholder, and the notation system for the derivative. On the other hand the bulk of mathematics has been discovered as a logical consequence of aspects that have been previously establish. kf offered an interesting example. Given the definitions of even, odd, prime, factor, and multiple, we can prove that for any prime p > 3, p^2 - 1 is a multiple of 24. That is not obvious, and it is a discovery, not an invention. It is easy to think that all the logical consequences that build up in our math system are, in some sense, already there when we discover them, and were just as true before we even thought of them, much less proved them, as they are after we have proved them. With all this said, here are some examples that bring up points that puzzle me a bit. First, there can by a hazy line between invention and discovery. At some point, someone (the history is more complicated, really) decided to consider the square root of a negative as a number, not an impossibility, and named the sqrt(-1) as i. This was an invention - a definition, in some sense. But one could argue that it was an inevitable logical step, and someone just had to decide to follow it, in which case we might consider the concept that the sqrt(negative) is a legitimate number is a discovery, and only the symbol was an invention. Retrospectively, this turned out to be a great idea, leading to complex numbers, which we have seen are of great importance. Earlier I said, "It is easy to think that all the logical consequences that build up in our math system are, in some sense, already there when we discover them" But in what sense is the part that puzzles me. It is common to consider some concepts, such as that of a perfect circle, as eternally existing as an ideal Platonic form, irrespective of whether there is anyone anyplace to know of it. But, as mentioned earlier in this thread, what about the 1 millionth digit of pi? What about the billonth? What about expansions of pi to different bases, such as the 1 billionth digit to base 2000? All of the numbers are certainly what they are irrespective of whether anyone will ever know them. Are they all part of some Platonic realm? I can't believe that such numbers only exist when they are actually figured out by someone, but also find it hard to believe that every conceivable mathematical consequence (all these digits of pi, or the state of every single point under the Mandelbrot set rules) already exists. I do not have a clear picture of what the case could be. Here is an example that is even more baffling. Consider Conway's Game of Life. (See https://en.wikipedia.org/wiki/Conway%27s_Game_of_Life if you're not familiar with it.) The ggme of Life is clearly an invention. I can't believe that these particular rules, as well as all other possible rules for similar games, eternally exist separate from anyone ever knowing about them, like a circle. And yet, once you set a beginning configuration in generation 0 (gen0), the resulting history of the space is completely determined. Furthermore, the only way you can discover the state of any particular generation, such as that at gen100, is to actually let the process run for 100 generations. You can't "figure it out" without just letting it happen. In what sense do all histories of the infinite number of possible beginning configurations exist before they are actually instantiated? So I don't know what to think here. I can't accept the idea that all possible consequences of all mathematical systems eternally exist in some Platonic realm, even ones like the Game of Life that has just been invented. On the other hand, I can't believe that they exist only when someone instantiates them in writing, as clearly they are what they are - the outcome is logically inevitable whenever we decide to pursue a particular issue (digit of pi, generation of Life, etc.) If we discover math, then that implies what we discover already exists. But how? In what sense does all of math exist, waiting to be discovered. I'm baffled! :-)hazel
December 18, 2018
December
12
Dec
18
18
2018
06:56 PM
6
06
56
PM
PDT
Cross-threading from LFP4, no. 101 as also highly relevant: Pruss’ thesis: http://alexanderpruss.com/papers/PhilThesis.html — on possible worlds. KFkairosfocus
December 18, 2018
December
12
Dec
18
18
2018
06:08 PM
6
06
08
PM
PDT
F/N: Let me pull forward JAD's note on and from Penrose:
[JAD, 12 above:] According to mathematician Roger Penrose, who collaborated with Stephen Hawking on some of his early work, “mathematics seems to have its own kind of existence.” He then goes on to explain:
It is very important in understanding the physical world that our way of describing the physical world, certainly at its most precise, has to do with mathematics. There is no getting away from it. That mathematics has to have been there since the beginning of time. It has eternal existence. Timelessness really. It doesn’t have any location in space. It doesn’t have any location in time. Some people would take it not having a location with not having any existence at all. But it is hard to talk about science really without giving mathematics some kind of reality because that is how you describe your theories in terms of mathematical structures… It also has this relationship to mentality because we certainly have access to mathematical truths. I think it is useful to think of the world as not being a creation of our minds because if we do then how could it have been there before we were around? If the world is obeying mathematical laws with extraordinary precision since the beginning of time, well, there were no human beings and no conscious beings of any kind around then. So how can mathematics have been the creation of minds and still been there controlling the universe? I think it is very valuable to think of this Platonic mathematical world as having its own existence. So let’s allow that and say that there are three different kinds of existence. There may be others, but three kinds of existence: the normal, physical existence; the mental existence (which seems to have, in some sense, an even greater reality – it is what we are directly aware of or directly perceive); and the mathematical world which seems to be out there in some sense conjuring itself into existence – it has to be there in some sense. https://www.reasonablefaith.org/media/reasonable-faith-podcast/roger-penrose-interview-part-1/#_ftn3
Just to clarify, earlier in the interview Penrose described his metaphysical world view as a tripartite one consisting of the physical world, the mental world and a separate and distinct mathematical world. He goes on to explain that… ’there is the relationship between these three worlds which I regard, all three of them, as somewhat mysterious or very mysterious. I sometimes refer to this as “three worlds and three mysteries.” Mystery number one is how is it that the physical world does in fact accord with mathematics, and not just any mathematics but very sophisticated, subtle mathematics to such a fantastic degree of precision. That’s mystery number one.’
While contexts of approach differ, convergence is plain. For simple example, eternal character will be a characteristic of successful candidate necessary beings. Part of the context of what begins/ceases has a cause. KFkairosfocus
December 18, 2018
December
12
Dec
18
18
2018
05:53 PM
5
05
53
PM
PDT
Found it: it was in a comment by john_a_designer, #12.hazel
December 18, 2018
December
12
Dec
18
18
2018
03:24 PM
3
03
24
PM
PDT
hazel @164: No I did not.William J Murray
December 18, 2018
December
12
Dec
18
18
2018
03:01 PM
3
03
01
PM
PDT
H, again, I am left chuckling. One can see why by scrolling up. Never mind, the substantial matter is settled on the merits: there is every reason to acknowledge that this world and indeed any possible world will embed a substantial core of quantity and structure starting with the naturals. A spatial world will have instantiated continuum. Bring in time and rates and accumulations of change become material. Look at the notoriously mathematical ordering of the physical world we observe and note the fine tuning which supports C-Chemistry, aqueous medium cell based life. All of this then does raise meta issues, and a highly intelligent, exceedingly rational and mathematically competent designer of the cosmos becomes a serious matter. But pulling back, the way structure and quantity pervade the world is clearly a profound issue, one well worth our attention. KFkairosfocus
December 18, 2018
December
12
Dec
18
18
2018
11:33 AM
11
11
33
AM
PDT
Also, wjm, while you're here, I'm curious: didn't you have a quote by Penrose in your original OP, or am I confusing it with another post. If so, could you post it here? I found it interesting, and would like to refer to it.hazel
December 18, 2018
December
12
Dec
18
18
2018
11:05 AM
11
11
05
AM
PDT
[Questions or comments about how I moderate my own threads will be deleted. - WJM]hazel
December 18, 2018
December
12
Dec
18
18
2018
11:01 AM
11
11
01
AM
PDT
@WJM obvious implication is intelligence did it. Physical mechanisms cannot generate information regarding abstract concepts. Intelligence is the only thing that can physically instantiate abstractions.EricMH
December 18, 2018
December
12
Dec
18
18
2018
10:35 AM
10
10
35
AM
PDT
1 2 3 4 5 6 10

Leave a Reply