Saturday, February 13, 2010

Against Rationality-Part I

I guess four years is a wee bit too late to vent my anger at life, the universe and everything in general and the engineering world in particular, but hell, better late than never. Plus, four years of harrowing experiences in the midst of scientists and engineers does things to you, and I have to say some things before I go a little balmy in the head.

So this post (and a few more to come) is about "rationality", "logic", "reason", "science", "intellect", "intelligence" and so on and so forth. It is about the standard dogma that is indoctrinated into so many Indians, most of whom land in such grotesque places as the IITs. It is about the belief, reiterated till it becomes fact, that yes, life is logical, that reason, cause and effect are things of infallible accuracy and unfailing integrity. More particularly, it is about the high status we accord to science, logic and reason, and the farthings we throw at everything else.

So let me start. Being, unfortunately, a science student myself, I will let this first post follow "logic" through science.

Science itself is logical, and so is mathematics, so what use would it be to look at logic within the framework of science? Actually a lot, and for that precise reason. Science is something we always regard as being logical, in other words, being derived from fixed, though maybe unknown, rules. Rules, of deduction, inference and reasoning. We science people like so much to lay down rules, to lay down formulae, and to exclaim with unabashed pride that, hey, this sequence of symbols on paper explains everything!

Towards the end of the 19th century, this was the general mood prevalant among mathematicians. Mathematical proofs were getting more and more formal, with fixed rules of inference, and mathematical logic had firmly taken ground. Mathematical proofs were becoming more and more "mechanical". Hilbert, as part of his 20 problems, asked the obvious question (Entscheidungsproblem): How mechanical are mathematical proofs? Does there exist a set of axioms and a set of inference rules that will lead, "logically", and hence "mechanically", to every known theorem in the book?
If Hilbert's proposition was true, all that you needed for mathematics was a set of symbols, and a set of axioms and inference rules operating on those symbols. Nothing more. What those symbols meant, or if they had any meaning at all, would be insignificant. Meaning would essentially a matter of book-keeping
Then came Kurt Godel, and his Incompleteness theorem: For any formal logical system that was consistent, there was always a statement that would be true if your axioms were true, but that you could never prove by the rules of logic. In other words, logic, the simple rules of inference, would not suffice to determine or prove this statement, and yet this statement would be true. The way you could prove this statement was to talk about the meaning of the statement, something that logic was incapable of doing.

The point I want to drive home is this: logic is not how theorems are proven. Logic is not how science happens. Science and Mathematics, though they seem driven by logic, are not driven by logic, or at least not logic in the sense of a set of axioms and inference rules. What it is that drives them, and what kind of "logic" is involved, well, I'll harp on that on my next post.

Wednesday, February 3, 2010

Questions

What is the meaning of life? What is the purpose? Why the big deal about being born, crying and laughing, loving and hating, living and dying? Why are there relationships? Why are they so important? What is so unfathomable about solitude? Why must I need someone else?
What exactly is meaning, if I am searching for the meaning of life? How do I define meaning? Understanding? Truth? What is truth? What is reality? Is it confined to what we perceive? Or is it something other, our understanding of which is necessarily imperfect? Is meaning abstract? Is it tangible? Is it a mathematical equation that will crop up on running a MATLAB code? Can it be encapsulated in an equation?
What is my reality? Who am I? Am I just defined by how I act towards others? Is my identity dfefined only by my actions? What about thought? Am I defined only by my thoughts? Do I exist only because I think?
What does it mean to think? Who is thinking? Is the neuron in my head firing at so many times a second thinking? Does it know it is making me happy or sad? Does it have an inkling of the questions I am asking? Does the brain have an idea? Can I exist outside of my thoughts? Can I exist without my brain? I don't think during sleep; don't I exist in sleep?
Who is this I? Why do I keep saying I? What does this mass of cellls and tissues have to do with me? What prevents me from taking a scapel and dissecting myself to see what I look like? Why is this I so important? Why do we never hurt our 'I', but somehow always manage to hurt our 'we'? What is it that makes you different from me? Why are your thoughts your own, and why are my thoughts my own? If this I is embodied in a physical form why can't I take it out and keep it in a glass jar forever?
Is I abstract? What about thought? What about meaning? How much of it is captured in the alphas and betas of science? What prevents me from writing the Schrodinger equation for everything? Can this everything reside in an equation? Can this be a computer program, with an input and an output, and we merely players, chips in the Turing machine? Is there a tape running somewhere with a pattern of 0s and 1s that tells me everything about everything? If not, why am I studying science? Why am I looking at alphas and betas and trying to decipher meaning, if meaning doesn't reside in them? What does meaning, truth, reality, consciousness, life reside in? What are these words, and why are we so obsessed with them we write blog posts about them?

Signing off...