Monthly Archives: September 2014

Questions and what fills the empty spaces

11 Thursday Sep 2014

Posted by in Questions in Mathematics

≈ Leave a comment

The arguments that space is filled with knowable and nameable positions (real numbers) are subtle and abstract. The ultimate concept for an ultimate stratification of space is difference.

Difference is related to movement and movement to the mind. If there is no difference at all, movement is not possible (if everything is A we cannot move to B), likewise if every position on the number line is different from each other (as is claimed by naming -“filling”- each space with a real number), movement across the number line is not possible (at each point the object is at rest) Zeno is the first recorded person to ask questions that reduced early notions that motion is fully knowable with points to absurdity.

Difference is at the center of thought, and talking about it can very easily lead into nonsense. Some people are paralyzed by a fascination with difference, assuming every difference to be “real”. This is strengthened by over-precise language. “If we already have words that separate these things, then they must “really” be separate”. The arguments for real numbers began in ancient Greece, but the rational number system was shown to be inadequate for describing “everything” with the logical argument that the square root of 2 is not a rational number.

Pythagoras of Samos was a mathematician during the time of ancient greece. Called the “Father of numbers”, he wrote about philosophy and religion of numbers. He came to believe through something like a divine revelation that “Everything is number”, “Everything is measurable”. According to legend, Pythagoras’ student Hippasos was executed for his proof that the square root of 2 was not rational. Why? They did not have real numbers; at the time the proof could have been interpreted to mean that not everything was number. Here is the likely proof of Hippasos: (the method is proof by contradiction)

Claim “~p”: square root of 2 is not a rational number

Suppose “p”: Square root of 2 is a rational number

By definition of a rational number, square root of 2 can be written as r/q with r, q integers having no common factor and q not equal to 0.

r/q= square root of 2=rt{2}
AND r-squared over q-squared = r^2/q^2=2
AND r^2=2q^2
AND r^2 is even
AND r is even, 
r=2k, some integer k. (This is because r^2 is even so there must be a 2 in the prime factors of r.)
AND 2q^2=4k^2
AND q^2=2k^2
AND q^2 is even.
AND q is even.
 Both r and q are even
AND 2 is a common factor of r and q
AND r and q share no common factor.

This is a contradiction, so what we supposed, “p”, must be false. Therefore (by the Law of the Excluded Middle) “~p” is true and square root of 2 is not a rational number.[1]

Calling these things that may not be numbers and that may not exist “irrational numbers” is a way of “covering it up”, as Pythagoras tried to do by (supposedly) murdering his student. Why cover it? What we are touching on here is “what are words?”. What can words do and how do questions modify our words?

To ease students into belief in irrational numbers often the teacher will draw a square with sides of one unit. The diagonal is square root of 2. This is a persuasive argument for the existence of the square root of 2 as a quantity. Is it a proof?

The following proof was something I was invited to teach in a lecture on logic. It is from a published book that also had the previous proof in it. At first the following may seem unrelated to the previous proof about what is a number and what isn’t, but I will show how they are both connected to the existence of a square:

Prove that if two lines are each perpendicular to a third line in the plane then the two lines are parallel. The method of proof is by contradiction.

Want to prove: Given lines L1, L2 and L3, if L1 is perpendicular to L3 and L2 is perpendicular to L3 then L1 is parallel to L2. Suppose not: If L1 is not parallel to L2 then they intersect.

Before we know what not-parallel is (intersection?), what is parallel? If not-parallel is intersection and parallel is not-intersection, then a curved line and a straight line can be parallel, when they don’t intersect each other.

The “proof” that was published in a math textbook continues to argue that since L1 and L2 intersect, a triangle is formed with two right angles, and that this is impossible. However a triangle with two right angles is possible. The geometry on a sphere (such as the Earth we’re standing on) seems to be logically consistent (meaning no contradictions have been found). Euclidean geometry and geometry on a sphere are on equal footing in this- they are equally consistent. And, if you laid out very large triangles on the ground, the angle measure would be larger than 180 degrees. Without using Euclidean distance, what is distance on the Earth? Number does not seem to be enough to describe.

Euclidean space carries with it an assumption- that means no proof. It is called Euclid’s parallel postulate. Here it is: Given a straight line and two straight lines that intersect the first line, and the interior angles on the same side of the first line add up to less than two right angles, the two straight lines intersect. (it is the same as the attempted proof about L1, L2 and L3) Does this seem like a big assumption? It did to many mathematicians and they have been making arguments that they have “proved” it since Euclid wrote his book in 300 BC. Everyone who has claimed to prove it has made an assumption somewhere in the proof that is equivalent (the same as) the parallel postulate. In other words, mathematicians have failed to prove the parallel postulate to this day. It is a queer fact that Legendre attempted to prove it as well; there is a lot at stake in a proof of the parallel postulate, even in modern times. A successful proof would change the world. Examples of assumptions that are equivalent to the parallel postulate follow; they are all the same, even though they seem different.

1) Playfair’s axiom: “At most one line can be drawn through any point not on a given line parallel to the given line in a plane.”

2) The angle sum of any triangle is 180 degrees

Important:

3) There exists a square, or any rectangle

4) There is no upper bound to the area of a triangle

5) Every triangle can be circumscribed (a circle drawn on the vertices of the triangle)

Now we can get back to our first proof about the existence of the square root of 2. If you remember one argument was to construct a square, but the possibility of constructing a square must be assumed without proof, since it is equivalent to the parallel postulate. There is no proof that a square exists. In physics, “real” space is not Euclidean (Euclidean space is space where one of the equivalents of the parallel postulate is assumed to be true) In psychology, perceived space is not Euclidean (it is not even logically consistent)

So why is this “proof” of the parallel postulate published in a math textbook?

I’ll remind you that the proof is false and incorrectly done, and has never been successfully done in 2 thousand years. Why would mathematicians want to persuade us that space is Euclidean? Pythagoras wanted people to believe that “Everything is measurable”. Mathematicians are making arguments in the marketplace of ideas. They are drawing in fresh young minds.

Why is this proof that “irrational numbers” exist published in a math book? Why would mathematicians want to persuade us that irrational numbers exist and are numbers?

What does it mean “not rational”?   Graph paper is a picture of a Euclidean grid (many squares). Say that each of these lines are at rational positions- where in this picture is “not-rationalness?”

Kenneth Burke talks about a “terministic screen” – words are like colorful nets that attempt to capture and hold the world, without them, the world would make no sense. We see the world through a terministic screen, a collection of terms (words) that we use to determine our world. The words “terministic screen” have been chosen very carefully. There are many connections that can be made here just with the words. One use of a screen is to see things, as in a TV screen, another use is the kind of screen used to bar bugs (monsters) from getting in the house, or people from getting out of jail. Euclidean grid rejects certain ideas as, basically, illogical. These ideas are effectively invisible to one who uses the Euclidean screen to see the world.  So a screen also refers to the limitations we impose on what we use language to see(know). Do we choose these limitations? This is why words are just as likely to use you as you are to use them, if you leave them unexamined.

What are we barring from view by calling the empty spaces “irrational numbers”?

“Many of the observations are but implications of the particular terminology in terms of which the observations are made.” -Kenneth Burke

This picture of a grid assumes there are squares, which is not necessarily true, so another terministic screen could look like a bent grid, or a cloudy snarl of lines.  Buddhists call the main body of scriptures the three “baskets”. I believe they chose the word basket to describe their holy books very carefully. If rational words are the woven wicker of the basket, what is the “not rational”-ness?

The Greeks had a god to represent these empty spaces between what rational words could describe. Hermes, the “God of the Gaps”, (Palmer http://www.mac.edu/faculty/richardpalmer/liminality.html) was also a god of interpretation and a messenger. Meaning is found through interpretation and it requires some mysterious making sense of (leaping across) these gaps left by our words. To the Greeks a god of deft and lucky chance was needed so that people could understand each other and not interpret words poorly.

What does it mean for mathematicians to give names to “That which words cannot name?”  It seems that meaning and interpretation is crowded out of our terministic screen, and that our screen is so full, so thorough, that we can’t see through it and into the world anymore. Questions can re-open our investigation of the world by suggesting the “irrational” without giving it a name.

[1] This lecture was inspired when I was invited to use a book on logic to teach from that had a “proof” that Euclidean Geometry was logically necessary, and therefore the “one true geometry”. The same book also claimed to prove that square root of 2 is an irrational number. The author made a certain kind of argument that involved using negation in a deceptive way. The author grabs extra information by assuming that square root of 2 is irrational, but more importantly, that square root of 2 is a number. From the proof we have just done, we may not know what square root of 2 is. Do we know that square root of 2 exists? Many math books assume and omit discussion of this, and just teach students to repeat use of irrational numbers, but we do not know if square root of 2 exists. We started with the number 2, we tried to do some kind of operation or apply some rule to it, and we don’t know what comes out, if anything.

The “valid” logical argument

08 Monday Sep 2014

Posted by in Questions in Logic

≈ Leave a comment

Lets look at what a “valid” argument is[1]:

p | q | p then q | p and (p then q) | (p and (p then q)] then q
—|—-|—————|—————————|————————–
T | T |     T        |            T         |             T
T | F |     F        |            F         |             T
F | T |     T        |            F         |             T
F | F |     T        |            F         |             T

What is really satisfying is that I can complete this without learning, I just calculate truth tables. Its so easy (once you know the rules), that we can get a material computer to do it. But you know its strange, actually the fourth column of the truth table: p AND (p THEN q) is the same as just “p AND q”. Note that p AND q have the same truth values as p AND ( p THEN q) given the same truth values of p, q. (Compare truth values of 4th column above to 3rd column below)

p | q | p AND q
—|—-|———–
T | T |     T
T | F |     F
F | T |     F
F | F |     F

The idea of a valid argument is the same as:

Know: p AND q

Therefore: q.

We already knew q from (p AND q), however. All we did was take out our mental knife (or pen) and cut p out. Thats why its called “deduction”, you Take Away p from (p AND q), get q.

For example, I can teach my daughter “if you touch the hot pan then you get burned”, or I can teach her “Touch the hot pan and you will get burned”. The difference is subtle and purely rhetorical. My daughter would learn the same skill of not getting burned without the “if, then”.

So why do we do all this with our first truth table, calling a valid argument “p AND (p THEN q)” instead of just calling it “(p AND q)”? The “if, then” is reductive; it focuses the person on the result, cutting out the “fathering” premise. Interestingly, the etymology of the word “robot” has the same root as the word “orphan”. The “and” is inclusive. Because the idea of a “valid argument” persuades us that we are making “progress”. Eg. “this, then this, then this, …” The valid argument confuses us from seeing the simplicity of what we are actually doing. It is a rhetorical move. The foundations of logic are rhetorical in nature. Rhetoric is prior to logic. Saying “We know p and q, and so we know q” does not sound like progress. Logic- is it the right way to think? What is thought? The philosopher Wittgenstein decided this question could not be answered.  “Thought this peculiar being” The reason is if you “really” answer this question your thoughts become a servant of your answer, which is simply mind-control.

An attitude of skeptical uncertainty, or simply by asking a lot of questions, we can avoid and defend against overusing logic and debilitating our minds.

“Don’t go by reports, by legends, by traditions, by scripture, by logical conjecture, by inference, by analogies, by agreement through pondering views, by probability, or by the thought, “This contemplative is our teacher.””

-Kalama Sutta, translated from the Pali by Thanissaro Bhikkhu

Questions are power, what do I mean? What are questions? Power is notoriously difficult to define. The idea that “knowledge is power” or “power is knowledge” leads to a very difficult discussion about what is knowable and definable. Claim: “Questions always involve an intention towards the unknown.” If you already know the answer, perhaps the unknown is whether or not someone else knows the answer. But perhaps you ask yourself something to make yourself more aware of what you already know. So it is unknown whether questions involve an unknown. It is also problematic to describe the question as an “intention.”

“Every mental phenomenon includes something as object within itself, although they do not all do so in the same way. In presentation something is presented, in judgment something is affirmed or denied, in love loved, in hate hated, in desire desired and so on. This intentional in-existence is characteristic exclusively of mental phenomena. No physical phenomenon exhibits anything like it. We could, therefore, define mental phenomena by saying that they are those phenomena which contain an object intentionally within themselves.” (Franz Brentano)

“In-existence” is referring to the object’s existence within an intention. If I am curious about a neutron star, the neutron star has an existence within my curiosity- just as I have an existence within my curiosity. What else has an existence within my curiosity? Now, the power of this question is its ability to easily indicate as its object just about anything I’ve ever directed my senses and mind toward, including my mind itself. I have stepped outside my mind and self with this question and asked about my asking, and it was easy enough to ask. The trouble is now I still don’t know where my mind or self stops and the material world begins, since it seems I can easily push that limit to wherever I want. There are interesting and relevant claims in Buddhism about meditation. In meditation Buddhists have described a state of “infinite consciousness” which seems to have the same intention as my question which has as its object all my previous consciousness- now, is that an object? Apparently through meditation it is possible that one “enters and abides in the base of neither-perception nor-non-perception.” (Sallekha Sutta: Sutta 8 Effacement, Majjhima Nikaya p. 125 trans. Bhikkhu Nanamol and Bhikkhu Bhodi), which is a mental phenomenon that does not need an object anymore.

The question shares a likeness with power in that it is also very difficult to define.

[1] The truth table of p AND (p THEN q) THEN q is the valid argument. “q” is the conclusion “p” and “p then q” are the propositions. The notion of a valid argument must be translated into basic logic, otherwise, according to Russell’s theory of types, valid arguments must be irrelevant to logic itself since a valid argument is about logic. Nonetheless, a “valid argument” is usually introduced with any beginning set of lectures on logic, but not this way.

Logic and the Question

02 Tuesday Sep 2014

Posted by in Questions in Logic

≈ Leave a comment

Logic depends on the law of excluded middle, but to exclude the “middle” we have to have an understanding of the space where we operate. Is it two-dimensional? three? more? How many variables are there in all of reality? How many verbal variables? How many essential variables? These questions can be used to determine the space where we make our division/ create our opposition. It is like Derrida and Saussure’s assertion that words (such as “p” and “~p”) depend on the whole sign-system from which the words are derived. Saying logic is the calculation of distinction might suggest that it is universal, since distinction is commonly thought of as universal, whether it suggests the identity of a thing, or the world a thing is cut out of in order to identify it. The problem is that identities are not distinguished from the entire world (universe is a rather presumptuous word for the world, whatever that is), but from a certain frame of reference(visually) or sign-system(in language). Because of this logic is not universal, and it is not essential. Logic is mainly a way to create instructions that people can understand and follow. It is not the way the world works, it is not the way our mind works, it is merely a standard form for instructions that can be communicated because it is standard.

 

Logic is not a form of discovery unless you break the rules in “logical play,”- you must already assume your frame of reference before you start calculations- and that assumption determines what can be identified and how. Ideas can be more difficult to learn and understand when they are formalized into logic. The act of cutting your frame of reference out “the world” is itself a kind of distinction. The question operation is a way of expressing the necessity to think outside of a logic and its frame of reference- to expand our “operating table” to something larger. This necessity is clear when someone is caught up in a paradox.