Co-op

The company havn’t hire co-op for a long time during the down turn. The business has been slowly picking up, and the summer we have many co-ops like in good the old days. For those lives outside Canada, co-op is the term for intern in Canadian. Usually we hire university students for 4 months through this co-op job experience program.
My team got a co-op, who will be assigned to the tedious tasks that no one wants to touch. We think co-op are great slave labour, usually got fed all the boring jobs. I bumped into a friend working downstairs during a coffee break and asked him how do he like his new slave. I am surprise to find out his department didn’t get any co-op. Engineers with at least several years of experience has to do the grunt works. Not a very good use of resource. However, his department likes to outsource design works to India on the other hand. What is the logic behind oversource instead of hiring co-op. Co-op is as cheap as the Indian guys. From my experience, most of the co-ops are much better. You can work with the co-op face to face. If they have any problem, you can help them out easily. Most important, the co-op are eager to learn. On contrary, the Indian guys just want get by with minimium work and maximium pay.

Software as a service

Today I read a news article about Bill Gate’s comment on the future of software. He claim that in the future, all software will be sold as services instead of shrink wrap applications in a box. I am surprise this kind of nonsense come out from the person who once was a great coder. There is no difference between traditional software or software as a service. Software are just codes, method of delivery is irrelevant. No matter what form a software appears, it takes up some disk space and requires some CPU cycles to run. The questions where to store the code and where to run the code. The term software as a service really means storing and running the code on a remote server. Some application make sense to run remotely as such sales tools or CRM, which requires only a thin layer of code hook up with hugh backend database. The communication between the database and the user is the bottleneck. While most of traditional software doesn’t even make sense to run remotely. Try to image using photoshop or full-featured word over the internet. The speed, even with boardband, would be make it a pain to use. Today’s PC comes with cheap CPU power and harddisk space, while the boardband access is still relatively expensive. If Microsoft really decided to market all its software as services, I am sure the opensource folks will happy to fill in the gaps, as well as empty harddisk space and CPU cycles.

Install software

I have been spending my week nights and weekend setting up the software in my laptop. I havn’t update my software in my PC for quite a while and many are a version or two behind. It is very convinient that you can get almost all useful software on BT these days. I have concluded I have installed too many software on my computer over the years and decided to uninstall some rarely used ones. I plan to only keep usually used one installed in my laptop, since it doesn’t have many disk space. One of my bad habit is install all the software I came across, and install multiple software serving the same function. I should only install one software for each catogary, just simplily select the best one. I have also ported my bookmark and firefox extensions to the laptop, and there is a few tools to keep them in sync all the time. As for keep files in sync between two computers, I discovered a useful tool Synctoy, from Mirosoft. I will just store a copy of the files in my linux server for now. When I get my new linux box, I will setup subversion to revision control all my files.

哲學功課: On Fatalism

In this essay I will discuss the conflict between God’s foreknowledge and our freedom. I will first examine the problem of fatalism proposed by Richard Taylor. Then I will reproduce the resolution proposed by St. Augustine and William Rowe.

In chapter six of Taylor’s book Metaphysics, he has concluded determinism will logically lead to fatalism. Fatalism is a belief that whatever happens in the future is unavoidable. Normal people agree on the fact that the past cannot be changed. The fatalists take their belief one step further. They think that the future also cannot be changed. All events, from the past to the future, in the time line are static. We are just players acting out a predefined script; although we don’t necessary know what is going to happen.

One form of fatalism arises from religious beliefs. In this form of fatalism, there exists an omniscient God. This all-knowing, all-powerful God has foreknowledge about all events in the future. Therefore, although the future has not yet arrived, everything is already fixed in the eyes of God. Men may have illusion that their action can change the future, but nothing happen in the world is avoidable. In another words, it is impossible for us to have done it otherwise, according to the foreknowledge of God. There is another form of fatalism does not require the presence of God. The second form of fatalism is based on the law of excluded middle. Every statement about any event in any given time is either true or false, there is no middle ground. Therefore, there exists a set of true statements that describe every event that had happened, is happening or will happen in the world. Again, in another words, this also implies it is impossible for us to do it otherwise, according to that set of true statements.

In the dialog between Augustine and Erodins, Erodins questioned Augustine that the two propositions God has foreknowledge and we sin by free will are not compatible. Since men are inevitable to sin, men should be not judged nor punished. This question is essentially the same as the claim of fatalism, except that Erodins also brought the question of responsibility into the picture. Augustine responded by stating the distinction between will and necessity. He said that by definition the freedom of choices is not a will unless it is in our power. Therefore, the foreknowledge of God does not disprove our power to will anything voluntarily, as long as God also has knowledge of our power over it. Then Augustine further developed his argument claiming that due to we have free will, God’s foreknowledge that we will sin does not compel us to sin. Our sin is caused by our free will, so it is justified to punish those who had sinned. To summarize, Augustine provided an argument that free will is compatible with fatalism, as well as God’s foreknowledge.

In Rowe’s article on predestination, divine foreknowledge and human freedom, he tackled the problem from a different approach. First the he refuted Augustine’s definition of free will and the resolution by separating foreseeing the events from foreordaining the events. Rowe said power of will alone is not sufficient to justify human freedom; the other necessary condition is the power to do otherwise. He used growing old as an example. Say someone wants to grow old, although he indeed is growing old, but he still doesn’t grow old freely. Rowe clarity the problem by outlining the premise and the arguments that leads to the conclusion human has no freedom. The first premise is that God has foreknowledge. The second premise is that since God knows everything we will do, we cannot do otherwise. The third premise is that if we cannot do otherwise, then we don’t really have freedom. In order to dispute the conclusion, we have to reject at least one of the premises.

The first solution is to reject premise three, Augustine’s resolution, which already refuted by Rowe. The second solution is to reject premise two, deny God’s foreknowledge limits us to choose otherwise. Rowe cited the solution suggested by William of Ockham to classify statements about the past into two types: simply about the past and not simply about the past. Statements simply about the past are out of our power to control, however we may alter statements not simply about the past. God’s foreknowledge is statements not simply about the past, therefore God knows everything does not mutually exclude sometimes we have the power to do otherwise. The third solution is to reject premise three, deny God has foreknowledge. This resolution is adopted by many theologians such as Boethius and Thomas Aquinas. In short, this resolution claims God exists outside of time, therefore his foreknowledge does not affect men’s temporal passage. They claim that all events in all time are observed by God at the same moment. Therefore, there is no restriction from God’s foreknowledge limiting men’s freedom to choose otherwise.

To summarize this essay, Augustine made an unsuccessful attempt to solve the problem of fatalism. He made his argument from redefining the meaning of free will is shown too weak. This object is already addressed by Taylor in the end of chapter 5 of his book, Metaphysics. The second and third solution suggested by Rowe has built a much stronger case. Rowe had shown divine foreknowledge is compatible with human freedom by stating free will doesn’t involve altering the past. Taylor has no response to meet these two objects in his book and Rowe had successfully solved the problem of fatalism.

Lastly, the thesis of fatalism is built base on the premise that determinism is true. However from our latest philosophical understanding, determinism cannot be true due to the effect of randomness in reality. If there is no hard coded universal causal relationship between the past and the future, then the claim of fatalism that the future is unavoidable is vague. Therefore, there is no need to solve the problem of fatalism as the conflict between fatalism and free will is not valid in the first place.

哲學功課: Problems of McTaggart and the unreality of time

In this essay I will criticize the unreality of time proposed by McTaggart. First I will outline the arguments on the unreality of time by McTaggart. Then I will reject his premises and deductions one by one to show McTaggart has failed to conclude that time is unreal.

First we have to understand the A-series, B-series and C-series description of time proposed by McTaggart. Let’s start with C-series, which is not a temporal series. The C-series specify the order of events and the time between the events. The B-series adds the notation of direction of time to the C-series. In a B-series, each event is expressed in term of earlier than or later than other events. The A-series adds the notation of the present moment of time to the B-series. In an A-series, each event is either in past, at present or in the future. McTaggart stated that we can only observe time through the forming of either A-series or B-series.

McTaggart then said B-series is not sufficient to describe time. Events in a B-series indicate permanent relations. The earlier and later relationship of events in the B-series cannot describe changes, which is essential for time to exist. Therefore, we are only left with A-series to describe time. McTaggart then claimed that if the A-series is unreal, then time must be unreal. He answered two objections to the removal of A-series will destroy time. The first one deals with imaginary time-series, such as a time-line inside a novel. He dismissed it by claiming time only belongs to existent. The second objection deals with multiple time-series. He dismissed it by claiming the different time-series with multiple moment of present should be rejected because it is incompatible with the A-series.

Next, McTaggart went on to show A-series cannot exist by arguing the A-series is contradictory. He argued that the past, present and future of an event are incompatible determinations. Each event can be in all three incompatible states depending on the verb-from of the event. However using verb-form to explain the states of event induce a vicious circle of infinite A-series. Since A-series has no valid explanation, it is a contradiction and therefore time is unreal. McTaggart’s argument can be summarized in the following table.

  1. Time can only be observed by forming B-series and A-series
  2. Time involves changes, so B-series is out
  3. If A-series is unreal, then time is unreal
  4. A-series is invalid, so it is unreal
  5. Therefore, time is unreal.

Traditionally, there are two camps of philosophers trying to rejecting McTaggart’s claim by two different approaches. The B theorists think that B-series alone is sufficient to describe time. The A theorists accept McTaggart’s claim that A-series is necessary for the existence of time, but reject his claim that A-series is contradictory. Both A theorists and B theorists has their problem dealing with McTaggart, mostly due to they are trapped by framework defined by McTaggart when discussing time. In this essay, I will use a different approach. I will first examine and reject each line of McTaggart’s argument, from step 4 down to step 1 in the table above. In the process, I will uncover some fundamental errors in the McTaggart’s construction of the A-series and B-the series, and provide a new framework of time based on the scientific theories of time.

In step 4 of McTaggart’s argument, he claims that the A-series is unreal because it involves an endless regression of A-series. I am going to reject his claim in three different ways. 1.) An infinite series can also be a real series. All we have to do to take the integration. In mathematics, there are real numbers with endless regression, such as π, e, and irrational numbers. We can only claim that the A-series is not precise in describing the states of an event, but we cannot deduce A-series is unreal from the fact that it merely has infinite circles. 2.) McTaggart tried to solve the problem of time using verb-form is limited by semantic constructs of his language, English. There exist languages with verb-from common to all past, present and future, such as Chinese. The timing relationship of an event in such language is specified explicitly by a time qualifier, such as today, tomorrow, 3 hours ago, last year, etc. 3.) In Dummett’s article, he suggested that using token-reflexive expression, such as now, may refute McTaggart’s argument. He then subsequently claimed the token-reflexive expression of the observer introduce another time-series, hence the endless regression problem still exists. I would answer this by stating that the now event does not require a mind to be an observer. A computer can objectively apply the token-reflex expression to resolve A-series without any existence of mind, thus the now event is real instead of being subjective. Therefore with the help of a real now event, the infinite regression of A-series can be collapsed into a single real A-series with the now event at present.

In step 3 of McTaggart’s argument, he dismissed the objection from the theory of a plurality of time saying it is merely a hypothesis. McTaggart assume time is absolute for all observers. However his viewpoint contradicts with Einstein’s relativity theory, which is a scientific fact. According to principle of relativity, time experienced by an observer is a function of the speed of the observer and the speed of light, which is a constant real value. The faster the speed of the observer, the slower the time he will experience. The relativity of time is confirmed by the 1962 dual atomic clock experiment. In the experiment, two pairs of very accurate atomic clock are mounted on the bottom and the top of a tall tower and it is observed one clock is running slower than another. There is also the famous twins paradox. One of the twins travels in a spaceship near the speed of light. When he returns, he will be much younger than the other twin staying on earth. Each individual has his own frame of reference in time that depends on his velocity and his location related to massive bodies. McTaggart concluded time is unreal because he mistakenly assumed time must be absolute. If time is relative, then there exist many A-series and many instances of present in the universe. Therefore rejecting the A-series alone is not sufficient to prove the unreality of time. Moreover, since the speed of light is real and the speed of the observer is also real, time as a function of those two must also be real.

In step 2 of McTaggart’s argument, he claimed that the B-series indicate permanent relations. Therefore the B-series cannot describe the nature of change in time. McTaggart has made an assumption about the deterministic worldview of time. The B-series is only capable of describing past events. The very last event in the B-series is the now event marking all the possibilities are lying ahead in the future. Take McTaggart’s own example, the death of Queen Anne. Before the event actually happen, there are all sorts of possibilities that Queen Anne could escape death. She could be adducted by aliens preserved as a frozen specimen or she could ascend into heaven like Jesus. If N is earlier than O and later than M, it will only be so if all three events have already happened. If O is in the future, then there is no guarantee this event will exist in the B-series. Therefore, a growing B-series is sufficient to describe time, at least time earlier than the present moment. The becoming of an event is described by its position relative to the now event in the B-series. In this sense, a B-series is equivalent to an A-series after we apply some transform function between the two series using now as the operator.

At last, in step 1 of McTaggart’s argument, he claimed that we never observe time except forming both A-series and B-series and he also claimed that time can be subjective which cannot exists independent of human mind. Let’s try to imagine the following scenario. There is a third world war and every man on earth is killed by nuclear weapons. The earth is heavily polluted and will be inhabitable for the next several thousand years. However, there is a great scientist come up a plan to save humanity. He builds a modern version of Noah’s art safe keeping DNA of every species on earth, including human. The art is controlled by a super computer, which monitors the atmosphere. When the earth becomes habitable, it will populate man and animals from the art’s DNA database through cloning. It is obvious that computer would also keeps track of the time between the last man is dead and the first cloned man is born. During this period, there exists no human mind to subjective perceive time and yet time exists. This thought experiment demonstrated time exists independent of human mind. Moreover, we can also describe time through forming paths in light cones instead of forming the A-series and B-series. The future light-cone is the path of a light pulse from an event and the past light cone is the path of all the lights pulse that will pass through an event. For an event A to be affected by another event B, event A has to lie within the future light cone of event B, since nothing can travel faster than light. Therefore time can be described by the path of lights passing thought the light cones of events. If we use the framework of quantum physics, events change is just a secondary property of time. An event happens on the moment all the probability of the quantum wave equations collapsed into certainty. Then the becoming of an event can derives the change of an event. Therefore, change is not essential to time, instead becoming is essential to time.

In conclusion, in this essay I have rejected every single statement in McTaggart’s argument on the unreality of time. Therefore we have no reason to believe time is unreal based on his arguments. On the other hand, there are plenty of evidence in modern science showing time is real. Hence as a rational being, we should accept the reality of time instead of the unreality of time. In the matter of facts, the questions about the nature of time should no longer be a metaphysical question. It should follow the example of gravity, which moved from the department of philosophy to the department of physics.

References:
[1] J.M.E. McTaggart, “The Unreality of Time”
[2] Michael Dummett, “A Defense of McTaggart’s Proof of the Unreality of Time”
[3] Stephen Hawking, “A Brief History of Time”
[4] Stephen Hawking, “The Universe in a Nutshell”
[5] Wikipedia, “The Unreality of Time”, “Notes of McTaggart, The Unreality of Time”, “Philosphy of space and time”