Pure Language And The Mathematical Logic example essay topic

2,435 words
Throughout its history mankind has wondered about his place in the universe. In fact, second only to the existence of God, this subject is the most frequent topic of philo-soph ical analysis. However, these two questions are very similar, to the point that in some philosophical analyses the questions are synonymous. In these particular philo so-pies, God takes the form of the universe itself or, more accurately, the structure and function of the universe.

In any case, rather than conjecturing that God is some omni po-tent being, supporters of this philosophy expound upon another attribute habitually asso-ciated with the Man Upstairs: His omniscience. That particular word, omniscience, is broken down to semantic components and taken literally: science is the pursuit of knowl-edge, and God is the possession of all knowledge. This interpretation seems very rigor-ous but has some unfortunate side effects, one of them being that any pursuit of knowl-edge is in fact a pursuit to become as God or be a god (lower case g). To avoid this drawback, philosophers frequently say that God is more accurately described as the knowledge itself, rather than the custody of it. According to this model, knowledge is the language of the nature, the pure language that defines the structure and function of the universe. There are many benefits to this approach.

Most superficially, classifying the structure and function of the universe as a language allows us to apply lingual analysis to the philosophy of God. The benefits, however, go beyond the superficial. This subtle modification makes the pursuit of knowledge a function of its usage rather than its pos-session, implying that one who has knowledge sees the universe in its naked truth. Knowledge becomes a form of enlightenment, and the search for it becomes more a dmi-r able than narcissistic.

Another fortunate by-product of this interpretation is its universal applicability all forms of knowledge short of totality are on the way to becoming spirit-ally fit. This model of the spiritual universe is in frequent use today because it not only gives legitimacy to science, but it exalts it to the most high. The pedantic becomes the cream of the societal crop and scientists become holy men. Its completely consistent with the belief that mans ability to attain knowledge promotes him over every other spe-cies on Earth, and it sanctions the stratification of a society based on scholarship, a mold that has been in use for some time. Now that weve defined the structure and function of the universe as knowledge, we must now further analyze our definition by analyzing knowledge itself.

If the society is stratified by knowledge, there must be some competent way of measuring the quantity of knowledge an individual possesses, which means one must have a very articulate and rigorous notion of knowledge. At first glance, one would think that knowledge was sim-ply the understanding of the universe through the possession of facts about it. This un-der standing creates problems, however, because it now becomes necessary to stratify knowledge, to say that this bit of information is inherently better than that one. This question was first answered using utility as a metric, but it became obsolete because util-ity is too relative. A new, more practical answer was eventually found: rather than meas-using knowledge, we should measure intellect, the ability to attain knowledge.

Even though this has the same problem of stratification, its overlooked because philosophers believe that they know the best way to pursue knowledge. To them, the language of complete understanding is logical inference. If one can state a set of facts in the simpl is-tic linear progression of statements using logical connectors, the information is in its most readily understandable form. The philosophers used this convention to rigor ize mathe-matins, the rigor ization process became associated with it, and logic suddenly became mathematical logic. The name stuck, as people refer to the process by that name to this day. The previous analytic development is the essence of the modern understanding of the natural universe.

It starts from the fundamental belief in a deity and transforms it into this mathematical logic, a system of communication that according to our summation minimizes the number of justifiable interpretations, therefore standardizing the universe. There are some limitations to this approach, however. The rationale is, by its very nature, a logical development: it constructs a functional model of the pure language that is con-sistent (i. e., free of contradiction). Therefore, the pure language inherits any limitations of logic by definition in other words, it assumes that the pure language is (a subset of) logic. Secondly, even though its very rigorous in its approach, it presents pure language as an inherent truth viewed through the lens of mathematical logic, as opposed to pure language being synonymous with mathematical logic. This is an important but distinct-tion, but its subtle temperaments cause it to be frequently overlooked.

There are many ways to demonstrate the distinction between pure language and mathematical logic, most of which rely on the exhaustive nature of the pure language (as opposed to the restricted nature of mathematical logic). One particularly interesting way is to exploit their language status, and demonstrate a difference by contrasting their dif-ferent responses to a property of all languages: their evolution. The pure language is by definition the structure and function of the universe, i. e., therefore, change is taken into account in the definition (i. e., the function of the universe). Therefore all kinds of lin-goal evolution are subsets of the pure language, and so the pure language is invariant relative to lingual evolution. (For example, assume that the pure language was changed from its original form to a variation of itself by a form of lingual evolution.

What is the new variation Well, since the lingual evolution is under the category of the pure lan-guage, the variation must be under it as well. Therefore no change really took place.) Contrast this with mathematical logic, a body of knowledge that evolves through use just as a spoken language. However, any changes in mathematical logic that develop through use arent referred to as such: we call such modifications mathematical discoveries. A mathematical discovery is considered to be fitter than is evolutionary prerequisite, and the former is usually discarded to a text on the history of the subject. Hence, we see mathematical logic as a static body of knowledge that we change from time to time to fit our needs (which happens to be in this case, the need to be more correct) synonymous with any spoken language. An example of the evolution of mathematical logic is found in the varied ap-p roaches for the approximations of the number.

The number is a commercial icon in the pure language whose decimal expansion (approximately 3.1415926535) goes on forever, never repeating, never terminating. The first approximations of this number come from ancient manuscripts, like the Christian Bible. In I Kings 7: 23, the authors used a sheer estimation of the circumference of a circular lake, divided by its diameter, to get a crude approximation of: = 3. The ancient Egyptian manuscript called the Rhin d papyrus gives another approximation: = 3.1604938.

Such approximations represented the standard in mathematical logic of the time period. To the respective members of the cultures, was a number not unlike the every numbers they dealt with; the difference was they didnt know its exact value. The above ap-proximation's of were the closest that they could get to capturing the ever-elusive num-ber; therefore, after many years of use in the society, the approximation and the number itself became virtually indistinguishable. The line was blurred between the pure language and the mathematical logic that approximated it and, practically speaking, the number became. This was the case until just after the turn of the age, about 150 BC, when the sec-ond phase of approximation began. Fellows like Archimedes and Ptolemy used geom et-ric means to approximate.

They took geometric shapes with equal sides, and calculated the ratio of their perimeter to their diameter to get an estimation of the constant. Then, they doubled the number of sides, and re-calculated the ratio to get a better approxi ma-tion of. This process was very tedious (one mathematician did his calculations on a polygon with 262 roughly 4,610,000,000,000,000,000 sides to find the value of cor-rect to 35 decimal places), but it provided a new way of conceptualizing the number. Rather than thinking of it as a simple number like the rest of the numbers they knew, people now thought of this member of the pure language as the holy grail of a geometric quest that had no end. One could continue to increase the number of sides of various regular polygons to get closer and closer to it, but in the end this geometric limit was un-attainable (because we simply cant draw a perfect circle). Then the fifteenth century rolls around, and the famous mathematicians Newton and Leibniz discovered the calculus.

When applied to this old problem, they found that if we continually added and subtracted the following fractions, we got closer and closer to the elusive constant: = 1 + + + + Suddenly, the matter of approximating [and therefore this part of the pure language] turned from the geometric problem it had been with Archimedes regular polygons to a simple arithmetic problem of and adding and subtracting numerical terms. This was a major change in perspective. (Dunham, p. 108) This shift in perspective was a result of the discovery of calculus, and would the new trend in mathematics. Just as in oral lan-guage, use (i. e., the use of logic to produce mathematical discovery) intrinsically changed the conception of what exactly was. The above discussion uses the quest for the number to reveal two forms of evolution apparent in mathematical logic. The first is an unofficial evolution, i. e., practical evolution that results from years of use, while the second is an official evolu-tion, i. e., evolution that is a result of logical deduction.

Since the pure language of the universe doesnt exhibit such change, these demonstrate that mathematical logic is in her-entry different from the structure and function of the universe. There is, however, a re-but tal to the above argument, another modification to the logical construction that seem-ingly makes this difference disappear. If we assume that the pure language is consistent (i. e., contains no contradictions), we can define mathematical logic to be a translation of the pure language, and define our discovery of the language (e. g., our approximations of) to be the lens we view it through. That way, logic is still the Supreme Being, and the pursuit of it is again legitimized. All our problems are solved. The problem with such a modification to our definitions is that it isnt consistent with our practice.

Because mathematical logic (or our conception of it at least) is a lan-guage, it has evolved considerably from its definition. Now, math excursions arent per-formed through discovery, but through construction: mathematicians state axioms (as-sumption's) and definitions, and logically derive all of mathematical from them. Mathe-magicians believe this process to be more rigorous than any other method of proof in that, aside from the ubiquitous set of axioms (axioms are a necessary part of every construc-tion), its logically impeccable. The quest for the truth has become a secondary concern, and the quest for the logically consistent has ran to the top of our list of priorities. For example, in the widely-accepted construction of the field of analysis (one of three ex-haus tive subcategories of math), arithmetic involving infinity is defined in such a way that is inconsistent with what we know from other mathematical excursions to be true: It may seem strange to define 0 = 0.

[According to the pure language, the value of this ex-pression can equal zero as well as any other finite number.] However, one verifies without diffi-cult that with this definition the commutative, associative, and distributive laws hold on [all of the numbers from zero to infinity] without any restriction. (Rudin, p. 18) This reveals a subtle but intrinsic difference between the pure language of the universe (i. e., the truth) and mathematical logic in practice today. Another aspect of the logical construction that distinguishes it from the pure lan-guage is the linear progression. By its very nature, every logical argument is linear in its development: A implies B, implies C, implies D, etc. But, every line has a beginning, i. e., every logical construction has a beginning, a group of definitions and axioms from which all other results derive. (This seemingly obvious fact was stated earlier and even-tally logically proven.) Therefore, its necessary to first define, for example, what is exactly, and derive all other mathematical relationships involving from that.

However, since the development states exact the nature of, all other results are not much more than mathematical coincidences; they become part of what is only in another construc-tion, where these facts are taken into account in the definition. This is not true of the pure language: as has become more and more apparent in science since the 1950's (and the new mathematics that arouse from it), nature is very non-linear. This means that there is no beginning or end to the truth: the number can be (intrinsically) many things at once, because there is no definition that nails down one interpretation of. Even though mathematical logic can be used to see the truth, the truth becomes unavoidably biased by it. There are many shortcomings of logic that keep it from being the pure language, the absolute truth, the Man Upstairs. Yet and still we have embraced this theology whole-heartedly (if not consciously, through societal conditioning).

Our desire to com-plete ly understand the universe (along with our belief that we can completely understand the universe) has blinded us into accepting falsehoods as facts. We dont have to scrap the whole idea of logic all together; we must, however, understand that logic isnt neces-scarily the truth, and always is neither the whole truth and nothing but the truth.