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
I see no one has come forth with an argument that mathematics are invented by humans, and there is no apparent rational criticism against the argument that mathematics are discovered, inherent aspects of the universe. I think the question now becomes: what can we infer from the fact that mathematics is an inherent aspect of the universe and of our existence?William J Murray
December 18, 2018
December
12
Dec
18
18
2018
10:28 AM
10
10
28
AM
PDT
MG, yup. But, it seems many insist on going down such roads. About par for the course of our civilisation today. KF PS: Your testimony (which reflects what is often talked about as being right-brained) is interesting; especially as recognition of structural patterns can come long before being able to weave a string of sentences in some logic world's language to explicate the insight:
Quine’s “refutation” of mathematical platonism is a long syllogism of form If A-mat is true, then ….., then….., then platonism cannot be true. But the initial premise is not actually stated, only subconsciously assumed as true (all the “cool kids” know A-mat is true and need not be mentioned). But my own personal experience (flashes of mathematical insight out of the blue that are invariably true, although formal proof only comes weeks or months later) demonstrate that platonism is valid. Thus the contrapositive of the above syllogism falsifies A-mat. Unfortunately I may not be able to persuade everyone using my own subjective experience. However J. Hadamard chronicles many other prominent mathematicians having “aha” glimpses of platonic reality in his small book “The Psychology of Invention in the Mathematical Field”. (In the preface, Hadamard suggests that “discovery” might be a better term than “invention”.)
Sounds like a degenerate research programme is hampering sound progress. In this case the logical upending of the chain of implications is a telling one-liner.kairosfocus
December 17, 2018
December
12
Dec
17
17
2018
09:56 PM
9
09
56
PM
PDT
ET, 153: you seem to have spotted a key problem, cf. my just above. KFkairosfocus
December 17, 2018
December
12
Dec
17
17
2018
09:49 PM
9
09
49
PM
PDT
H & EG: Chuckle, again. It seems the real problem has surfaced. You are engaging in essentially objecting commentary on a series of articles that are engaging logic and first principles of reason (including how this leads to numbers etc as necessary features of any possible world) but have no interest in either the substance or the argument, while having fairly obvious disdain for the presenter and lack of awareness of key ideas involved. No wonder there is little motivation to follow the substantial interest or concern that there may be key issues of truth on the table. That readily explains why objections and dismissive comments so often turn the substance into a strawman caricature and tend to be distractive and dismissive. In addition, you are unfamiliar with the nature of key issues and concepts but are not engaging with what would help you begin to change that unfamiliarity. This then leads to the projection of hostility or confusion or incoherence etc, especially when this little spermologos has the temerity to attempt to explain or correct or point out fallacies. I am left shaking my head and chuckling. Perhaps, we can start afresh on a different footing? KF PS: In case of some interest, I draw notice to Internet Enc of Phil on PW and logic of being, which would at least help you appreciate that I am speaking to substantial issues that are foundational to reasoning about being, logic, Mathematics, Science etc:
3. The Necessary/Contingent Distinction A necessary proposition is one the truth value of which remains constant across all possible worlds. Thus a necessarily true proposition is one that is true in every possible world, and a necessarily false proposition is one that is false in every possible world. By contrast, the truth value of contingent propositions is not fixed across all possible worlds: for any contingent proposition, there is at least one possible world in which it is true and at least one possible world in which it is false. The necessary/contingent distinction is closely related to the a priori/a posteriori distinction. It is reasonable to expect, for instance, that if a given claim is necessary, it must be knowable only a priori. Sense experience can tell us only about the actual world and hence about what is the case; it can say nothing about what must or must not be the case. Contingent claims, on the other hand, would seem to be knowable only a posteriori, since it is unclear how pure thought or reason could tell us anything about the actual world as compared to other possible worlds. While closely related, these distinctions are not equivalent. The necessary/contingent distinction is metaphysical: it concerns the modal status of propositions. As such, it is clearly distinct from the a priori/a posteriori distinction, which is epistemological . . .
I have extended this sort of thought to addressing being, as in why would a necessary entity exist in all worlds? Plainly, because it is part of the framework for any world to exist. Distinct identity is such a feature as a distinct possible world would be by contrast with others. This brings up the partition W = {A|~A} which then has as corollaries LNC and LEM, also nullity, unity, duality. Succession of order types then delivers the naturals and instantly the first transfinite. Numerical structure and quantity are embedded in the framework for any possible world. Which, makes sense of the utility of Mathematics in ours.kairosfocus
December 17, 2018
December
12
Dec
17
17
2018
09:44 PM
9
09
44
PM
PDT
mike @ 115 Yes my point is that Quine's "refutation" of mathematical platonism is a long syllogism of form If A-mat is true, then ....., then....., then platonism cannot be true. But the initial premise is not actually stated, only subconsciously assumed as true (all the "cool kids" know A-mat is true and need not be mentioned). But my own personal experience (flashes of mathematical insight out of the blue that are invariably true, although formal proof only comes weeks or months later) demonstrate that platonism is valid. Thus the contrapositive of the above syllogism falsifies A-mat. Unfortunately I may not be able to persuade everyone using my own subjective experience. However J. Hadamard chronicles many other prominent mathematicians having "aha" glimpses of platonic reality in his small book "The Psychology of Invention in the Mathematical Field". (In the preface, Hadamard suggests that "discovery" might be a better term than "invention".)math guy
December 17, 2018
December
12
Dec
17
17
2018
09:35 PM
9
09
35
PM
PDT
KF @ 137 (sorry about the delay, I have a math-related day job that doesn't allow posting to blogs) I agree that rejecting LEM leads to cacophony, chaos, and confusion. Although Brouwer, Heyting, and the other Intuitionists recover a substantial proportion of classical analysis without LEM, it is not sufficient to model QM (for instance).math guy
December 17, 2018
December
12
Dec
17
17
2018
09:18 PM
9
09
18
PM
PDT
Oh, I can see where kf and I are in the sense that he has big philosophical ideas that are important to him, but not to me, and I'm just talking about practical, everyday issues about the nature of math. I think ET is right in this regard. [Unnecessary personal contented deleted - WJM] Now I see he's posted two posts about "possible worlds" on one his other threads. I have no idea if anyone here cares to read those, or not.hazel
December 17, 2018
December
12
Dec
17
17
2018
08:20 PM
8
08
20
PM
PDT
Hazel, do you know what ET is talking about talking past each other? :)Ed George
December 17, 2018
December
12
Dec
17
17
2018
08:14 PM
8
08
14
PM
PDT
In an eagerness to "one-up" the other person it is very common to talk past each other. Just sayin'...ET
December 17, 2018
December
12
Dec
17
17
2018
07:27 PM
7
07
27
PM
PDT
:-)hazel
December 17, 2018
December
12
Dec
17
17
2018
06:08 PM
6
06
08
PM
PDT
[Posts that are entirely about personalities and no substance will be deleted - WJM]Ed George
December 17, 2018
December
12
Dec
17
17
2018
06:07 PM
6
06
07
PM
PDT
[Posts that are entirely about personalities and no substance will be deleted - WJM]hazel
December 17, 2018
December
12
Dec
17
17
2018
05:11 PM
5
05
11
PM
PDT
[Posts that are entirely about personalities and no substance will be deleted - WJM]Ed George
December 17, 2018
December
12
Dec
17
17
2018
05:02 PM
5
05
02
PM
PDT
kf, listen to this: I am NOT INTERESTED in your posts. I can't even imagine wading into a discussion with you about them. They don't make much sense to me, and what sense I do make of them are about approaches I am not interested in. Can't you just accept that? [You are not obligated to respond to any post. If you don't wish to interact with someone posting, don't. - WJM]hazel
December 17, 2018
December
12
Dec
17
17
2018
04:58 PM
4
04
58
PM
PDT
H, chuckling again. This one is called turnabout projection. Let's notice the nice little bracket: " I tried reading your post that you linked to, and I’m sorry to say it’s way too much of a hodge-podge of concepts (including some religious ones) and disparate images and notations for me to get any coherent picture . . . " (Notice the close association between religion and incoherence?) I took time to note that you confused a philosophical usage for a religious one -- where it is notorious that that word is loaded language in this sort of context. Notice your onward "I see God – that says religion to me" -- red flagging confirmed. Next, I sufficiently showed the logical structure that your dismissive assertion "hodgepodge" falls to the ground. My use of a few symbols is well within reasonable use. I think the PW concept is sufficiently outlined, is clearly useful and relevant. As for projecting accusations, several times you have used dismissive rhetoric including red herrings -- ponder "religion" as an irrelevant red flag -- and strawman fallacies -- ponder the hodgepodge picture you painted and the actual coherence I showed. It is entirely appropriate for me to point such out and ask for a more serious tone. KFkairosfocus
December 17, 2018
December
12
Dec
17
17
2018
04:53 PM
4
04
53
PM
PDT
kf, you started off by writing
First, the attempt just above to red flag mistakes mention of the God of Ethical Theism — a philosophical concept — for a religious one. Obviously, with all the invited disdain in a world full of aggressive secularists — it is the crowning piece.
[Posts that are entirely about personalities and no substance will be deleted - WJM] Then you write,
(Pardon, but I think on fair comment it is already well within my rights to point out to you that you should reconsider dismissive rhetoric which has kept on cropping up.)
As far as I can tell, my "dismissive rhetoric" is that I can't follow all your arguments, and I'm not very interested in whatever level of philosophy you are interested in. I tried to read the post because you asked me to. Your interests and style are fairly esoteric, and a bit eccentric, and they don't appeal to me. I made an effort, and told you I couldn't get into it. That's all. And then you write,
(Yet again I find it appropriate to speak on fair comment: you inappropriately tried to set up a strawman caricature, push it over and avoid addressing a substantial issue. Please, stop.)
Here I have no idea what you're talking about. Again, what I did was told you that I wasn't interested in the approach you are interested in, and found your post hard to follow. I don't know what "strawman caricature" you are talking about. I told you I am interested in understanding this world, not philosophical ideas about all possible worlds, so all that you have written about doesn't interest me. Can't you accept that without accusing me of a whole bunch of stuff?hazel
December 17, 2018
December
12
Dec
17
17
2018
04:29 PM
4
04
29
PM
PDT
H, I chuckle again. First, the attempt just above to red flag mistakes mention of the God of Ethical Theism -- a philosophical concept -- for a religious one. Obviously, with all the invited disdain in a world full of aggressive secularists -- it is the crowning piece of your dismissal of an alleged hodge-podge. What is noted in passing long after a discussion of possible worlds that gives more details than above, is that God is a serious candidate necessary being and that such candidates will be impossible of being or else actual. Next, the focus is causality and linked logic of being, which brings in the possible world concept (and the nearby world one). Observe the bridge:
some proposed things such as a square circle are not possible of being: there is no possible world in which they would exist as core characteristics [squarishness vs. circularity] stand in mutual contradiction. This already shows LOI and LNC in action, the principle of distinct identity truly is of central importance. [--> BTW, that is a significant result already] Other things are possible of being (some of which are actual). Where, we may contrast that some must exist as part of the framework for any world to exist (e.g. numbers) — necessary beings. Other things may exist in certain possible worlds but would not exist in others, hence: contingent. [--> notice, necessary and contingent beings are identified and set in a PW context] Contingent, on what? Causes. [--> the focal issue for that OP] But first, just what is a possible world? [--> as in, we need a preliminary detailing]
No "mixture of dissimilar ingredients; a jumble," just a logical exploration of important but likely somewhat unfamiliar ideas. Notice, how Wiki is used to provide a handy lowest common denominator definition, duly highlighted in red: "For each distinct way the world could have been, there is said to be a distinct possible world; the actual world is the one we in fact live in . . ." Should sound familiar. This leads to: " the modal status of a proposition is understood in terms of the worlds in which it is true and worlds in which it is false." Modal logic, being a fairly significant context of contemporary logical discussion. I then speak in my own voice:
We may summarise, a possible world is a description of the way the — or, a — world might be, inter alia requiring coherence and sufficient completeness for purposes of analysis or action. For example, in mathematics we routinely construct axiomatic systems that lay out complex abstract model worlds even though, post-Godel we know that no sufficiently complex scheme can be both utterly complete and coherent. Also, that for such schemes we cannot construct an axiomatic system that is demonstrably coherent. (That is, in the end, our confidence in the coherence of our mathematical systems is supported rather than demonstrated; i.e. inductive reasoning is inescapably involved in the practice of mathematics.)
That definition is simply not a confused jumble of incongruities. It leads on to application to how mathematical systems set up model worlds -- i.e. possible worlds -- but if sufficiently complex Godel's strictures apply. (Pardon, but I think on fair comment it is already well within my rights to point out to you that you should reconsider dismissive rhetoric which has kept on cropping up.) Let's go on.
yes, the utility of Mathematics and its application through computing systems is never far from the surface in our ongoing considerations. Where yes, that means that to some extent we must accept the sufficient reality of a host of abstract, logic-model worlds that we may apply them in our thought and even practical work.
I think that is well within my epistemic rights. Now, I returned to the focus on causality. In so doing, let me now bring up a further excerpt from Wikipedia, which gives some context:
from the 1960s onwards – including, most famously, the analysis of counterfactual conditionals in terms of "nearby possible worlds" developed by David Lewis and Robert Stalnaker. On this analysis, when we discuss what would happen if some set of conditions were the case, the truth of our claims is determined by what is true at the nearest possible world (or the set of nearest possible worlds) where the conditions obtain. (A possible world W1 is said to be near to another possible world W2 in respect of R to the degree that the same things happen in W1 and W2 in respect of R; the more different something happens in two possible worlds in a certain respect, the "further" they are from one another in that respect.) Consider this conditional sentence: "If George W. Bush hadn't become president of the U.S. in 2001, Al Gore would have." The sentence would be taken to express a claim that could be reformulated as follows: "In all nearest worlds to our actual world (nearest in relevant respects) where George W. Bush didn't become president of the U.S. in 2001, Al Gore became president of the U.S. then instead." And on this interpretation of the sentence, if there is or are some nearest worlds to the actual world (nearest in relevant respects) where George W. Bush didn't become president but Al Gore didn't either, then the claim expressed by this counterfactual would be false. Today, possible worlds play a central role in many debates in philosophy . . .
In my own voice:
We may thus proceed to understand causes and causal factors, first in a fairly narrow sense: where a contingent entity A would exist in world W1 but would “just” not exist in a closely neighbouring world W2, the difference in circumstances C(W1 – W2) = f1 allows us to confidently identify f1 as among the relevant causal factors that enable A to be. Then, we may explore across several neighbouring worlds W2 to Wn, identifying a broader cluster of factors {f1, f2, . . . fn} such that they are each necessary for and are jointly sufficient for A to be. As an example, ponder the extended fire triangle, the fire tetrahedron . . . . We are also seeing here the significance of experimental studies, observational studies, use-cases, Monte Carlo modelling and statistical investigations, where in effect we set up micro-worlds and study properties as we vary circumstances or ponder natural variations. In this context, we are already clarifying cause.
I then turned to Wiki, again as lowest common denominator:
Causality (also referred to as causation,[1] or cause and effect) is what connects one process (the cause) with another process or state (the effect), where the first is partly responsible for the second, and the second is partly dependent on the first. In general, a process has many causes,[2] which are said to be causal factors for it, and all lie in its past (more precise: none lie in its future) . . .
In my own voice:
Obviously, a specific contingent circumstance — e.g. the unfortunate burning down of a specific classmate’s house on a particular day in 1976 — had particular distinct causal factors summing up to its specific cause (of interest to the Insurance company) etc. [--> I could name the classmate] However, once we loosen to a house burning down [--> I am pointing to a more generic sense, in effect the sort of patterns that at grand level lead to causal laws of nature], we see that we can properly take cause in a looser sense (e.g. of interest to those writing fire safety regulations). This them makes good sense of sufficient but not necessary causal factors as for instance Mackie raised. Obviously, for an event E, all necessary causal factors (in this looser sense) must be present, as knocking out any one will block it. [--> see the fire tetrahedron and how firemen battle house fires] Likewise, a sufficient cluster must be present which may include broader contributory factors. [--> bringing in Mackie] For example, while a court building here could have caught fire through a short, fire fighters and the police were very interested to observe evidence of accelerants. Not all fires are arson, but some are [--> A specific case here that was in the news] . . .
(Yet again I find it appropriate to speak on fair comment: you inappropriately tried to set up a strawman caricature, push it over and avoid addressing a substantial issue. Please, stop.) It is obvious that there is a coherent thread in the relevant OP, and that it sets PW analysis in context, indicating its importance. Let us now take PW analysis as reasonably and responsibly in play and proceed. KFkairosfocus
December 17, 2018
December
12
Dec
17
17
2018
03:57 PM
3
03
57
PM
PDT
Hi kf. I tried reading your post that you linked to, and I'm sorry to say it's way too much of a hodge-podge of concepts (including some religious ones) and disparate images and notations for me to get any coherent picture of what it's trying to say, except perhaps that numbers have to be what they are. I think you've lost me on whatever your series of posts is about. At least I tried.hazel
December 17, 2018
December
12
Dec
17
17
2018
02:41 PM
2
02
41
PM
PDT
H, a possible world is a sufficiently detailed description of how this or another world might be (for purposes under consideration); usually considered as a set of propositions. In effect were the world defining propositions accurate to reality, the relevant world would be actual. This means they must be mutually coherent. As possible suggests, such a world does not need to be actual. As a necessary truth, consider the proposition that for a distinct world to exist it must have particular characteristics that give it its identity. This is of course identity, which comes with correlates the classic principles of right reason. As directly rooted in such, the naturals must exist in any possible world. KF PS: I add, kindly see # 4 in this series: https://uncommondescent.com/mathematics/logic-first-principles-4-the-logic-of-being-causality-and-science/kairosfocus
December 17, 2018
December
12
Dec
17
17
2018
02:03 PM
2
02
03
PM
PDT
kf, I have no idea whether other worlds are possible, or why this world is here, so philosophical discussion of what is "necessary" don't mean much to me. You are more interested in philosophy than I am. As I've said, I take this as the only world I'll ever know, and my interest is in how it works.hazel
December 17, 2018
December
12
Dec
17
17
2018
11:47 AM
11
11
47
AM
PDT
H, possible worlds speak is how we can put meat on the bones of necessity. The reason T is necessarily so is that in any possible world, it will obtain. This then requires that T be part of the framework for any world to exist. KFkairosfocus
December 17, 2018
December
12
Dec
17
17
2018
11:41 AM
11
11
41
AM
PDT
Again, I agree, that countable and measureable quantities are part of our world. I know nothing about, and am not interested in, thoughts about "all possible worlds." That over my pay grade, and not something I want to consider thinking about. I'm interested in what this world is, and that's enough for me.hazel
December 17, 2018
December
12
Dec
17
17
2018
10:20 AM
10
10
20
AM
PDT
H, crucially, major aspects of that structure are quantitative (starting with the import of identity that brings out directly 0, 1, 2 and by order type succession the naturals thus transfinite quantities also), which is why I felt it necessary to extend Neiderriter's focus on "structure" to explicitly include quantity. I thought I didn't need to explicitly expand space as well. The generality of distinct identity places the naturals etc in all possible worlds. This is the substance side. The study side is where our cultural influences and creativity come to bear. KFkairosfocus
December 17, 2018
December
12
Dec
17
17
2018
09:52 AM
9
09
52
AM
PDT
kf, as far as I can tell, what you are saying is that our world contains structure (agreed) and that structure is such that it can be described by mathematics (agreed). (Also, complex numbers are very neat, and widely used in many important ways: agreed) Earlier I quoted with approval the Penrose quote in the OP, "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." (However, that quote isn't in the OP anymore??? Did wjm take that part out? If so, why? Did wjm change other parts of the OP? I'm confused???) Anyway, I've already said that there are various philosophical views on why this is all so and what it means, and that I can see validity in several different views. I don't have anything more to say about all that So, I'll stick with my summary in my first paragraph above, and leave it at that. [No change has been made to the OP- WJM]hazel
December 17, 2018
December
12
Dec
17
17
2018
06:21 AM
6
06
21
AM
PDT
MG, if you are still hanging around. I note that the excluded middle is a corollary of distinct identity. This leads to serious problems with schemes of Mathematics that try to do away with that point. So long as items have distinct identity, a dichotomy with X-OR has come in. This is central to symbols, codes, language, including as practiced by Mathematicians. So, while one may explore limited domains which fuzz out the dichotomy (fuzzy logic with blended partial set membership comes to mind) I do not think that on the whole one can replace LEM as though it were optional. Just by using language, one is using what one would deny. KFkairosfocus
December 16, 2018
December
12
Dec
16
16
2018
10:55 PM
10
10
55
PM
PDT
LC:
Math is a logical statement expressed in symbolic language. If the question is whether math is discovered or invented, you could ask the same thing by asking if logic itself is discovered or invented. The answer to one is the answer to the other; math can’t be discovered if logic is just an invention. Math would be an invention too. The symbology and language used to express mathematical concepts is invented . . . . if math is invented it has been invented by several species [examples were given]. I find it amazing they all reach the same results. I think the best argument is that math, like water, food, shelter and other things is part of nature and all species take advantage of them if they can.
This brings out the study-substance dual perspective I have repeatedly pointed out. In studying Mathematics we focus on structure and quantity and we use symbols, relationships and logic to guide or even frame our work. In addressing the substance in this and possible worlds, we find that distinct identity and its correlates come with the naturals, most obviously 0, 1, 2 but by way of the logic of successive order types this necessarily brings the naturals and points to the transfinites. From the naturals, we find ourselves identifying a chain of sets leading to the reals/continuum. This allows us to see how structure and quantity pervade real or virtual spaces. Space itself is structured and quantitative. Time brings in another similar aspect, and allows us to see how pervasive rates of change and accumulations of change are. (And yes, that was another topic by which I used to smuggle in advanced topics through familiar examples: water flowing into a cylindrical glass at varying rates. Yes, that included Gaussian/bell shaped impulses of change and sigmoids showing surges and plateaus of change. Those who have studied growth of organisms, movements, markets and economies will have an aha moment here.) There is much more, but enough has again been said to bring out the need to recognise the culturally influenced study AND the reality/possible worlds-embedded substance. KFkairosfocus
December 16, 2018
December
12
Dec
16
16
2018
10:44 PM
10
10
44
PM
PDT
H, it turns out that a major part of how considerations of the substance of structure and quantity pervade science, technology and Mathematics is through the complex domain. I have already pointed to Fourier, Laplace and Z transforms. The link through these to differential and difference equations and related transfer function analyses (thus system structuring and modelling) is already enough to underscore the point. These things are pervasive in how we interact with the world and its embedded structures and quantities. Moreover, as I have repeatedly pointed out -- not merely tried to say -- such things point us to the way the world is pervaded by structure and quantity, and indeed to how much of this pervades possible worlds. All of this re-focuses the understanding that Mathematics is the [study of the] logic of structure and quantity. The use of a bracket contrasts the culturally influenced discipline that studies from the world-embedded substance that is objective and allows Mathematics to become a way that we may know certain important things about reality. And yes, this implies how truth and warrant become relevant to mathematics. Yes too, this is speaking to the interdisciplinary zone where Mathematics, Computer Science, Philosophy, Science and Technology all converge and inter-penetrate. That makes it doubly difficult but it brings out that the diverse perspectives all rightfully have seats and voices at the table. KFkairosfocus
December 16, 2018
December
12
Dec
16
16
2018
10:29 PM
10
10
29
PM
PDT
So I've been thinking about what kf might be trying trying to point to. The world has structure and vectors are useful in describing and analyzing that structure. They are useful in the sense that they can accurately predict, within certain limits, what's going to happen as the world changes. For instance, here's a simple problem from high school physics, just involving one dimensional vectors: An object is being pulled on by two forces that are at a 60° angle. One force is 10 newtons and the other is 20 newtons. What is the net force on the object, and at what angle? So we visualize vectors, drawn as arrows, one twice as long as the other, at 60°, to represent the forces, and then use the parallelogram law and trig to solve the problem. We then measure directly the net force and angle, in some way or another, and find that our calculations were fairly accurate. Yea: our math was a good representation of the physical structure and dynamics of the situation. Of course, there aren't really little arrows attached to the object. The vectors are part of the pure math, but they do a good job of modeling the situation. The forces on the object are a real part of the structure of the situation, and the vectors accurately represent that structure. That's how I would explain it, anyway.hazel
December 16, 2018
December
12
Dec
16
16
2018
08:02 PM
8
08
02
PM
PDT
Don't know what you are talking about, and didn't above when you wrote "study vs structure", either. But often you write sentences that I don't understand.hazel
December 16, 2018
December
12
Dec
16
16
2018
05:13 PM
5
05
13
PM
PDT
H, chuckle again: structure. KFkairosfocus
December 16, 2018
December
12
Dec
16
16
2018
04:44 PM
4
04
44
PM
PDT
1 3 4 5 6 7 10

Leave a Reply