possible worlds

Epistemic logic is a delusional subject. The notion of ignorance can not be formalized as a uniform probability distribution over the future possible states of the world, because the notion of future possible states does not make any sense. For instance, how do these states differ from each other? You need to have a theory of everything (TOE) at your disposal to answer that question. (In other words, an ignorant person is supposed to have perfect knowledge of what is possible but no knowledge of what is coming next. What an insane proposition!) Unfortunately we do not have such a theory at the moment. In fact, the reality may be inarticulable in a formal language. So there is no reason to suppose that a TOE exists. Moreover, if it exists, it may be extremely complex and inaccessible. Even if it exists and is accessible, the totality of all its future possible states may be humanly incomprehensible.

The notion of future possible states serves an instrumental purpose in finance and cosmology, and should not be taken really seriously. Even insurance companies are aware of the entirely groundless human tendency to think of the future as a model-dependent variation of the past. That is why they always use a God clause to contractually protect themselves from the totally unforeseeable surprises which the reality is always capable of producing.

While there is no model-independent way of legitimately speaking about the future possible worlds, there is absolutely no legitimate way of speaking about all possible worlds!

Even if we had a TOE, we would never know which aspects of it are arbitrary and therefore could have been different. In cosmology, one is often encouraged to engage in thought experiments where certain fundamental constants are imagined to be different than their current values. This is not a caricature example of what we will be able to do with a TOE. This sort of tweaking is exactly all we will be able to do! Of course, a TOE will be more than just a bunch of constants. But what is arbitrary about the rest of the structure will be a complete mystery. We will just have to sit down and wait for an anomaly to take place.

- Wait. What sort of an anomaly are you talking about? The TOE is supposed to explain everything!

That is my point. There are so many things wrong with the idea of a TOE! We can not rule out the possibility of a genuinely surprising future development. (Yes, I can legitimately use the word "possible" without invoking the language of possible worlds. It is an expression of my epistemological limitations.) Similarly, what is today taken as a constant may later be recognized to be a time-dependent variable. (No, a TOE will not be a timeless theory. We can explain only what we experience.) In fact, it may even be recognized to be space-dependent, as the horizon of our observable universe expands with the passage of time.

For instance, physicists have started to take seriously the idea that the fine structure constant may not be a constant after all:

Until quite recently, all attempts to evaluate what happens to the universe if the fine-structure constant changes were unsatisfactory. They amounted to nothing more than assuming that alpha became a variable in the same formulas that had been derived assuming it is a constant. This is a dubious practice. If alpha varies, then its effects must conserve energy and momentum, and they must influence the gravitational field in the universe. In 1982 Jacob D. Bekenstein of the Hebrew University of Jerusalem was the first to generalize the laws of electromagnetism to handle inconstant constants rigorously. The theory elevates alpha from a mere number to a so-called scalar field, a dynamic ingredient of nature. His theory did not include gravity, however. Four years ago one of us (Barrow), with Håvard Sandvik and João Magueijo of Imperial College London, extended it to do so.
This theory makes appealingly simple predictions. Variations in of a few parts per million should have a completely negligible effect on the expansion of the universe. That is because electromagnetism is much weaker than gravity on cosmic scales. But although changes in the fine-structure constant do not affect the expansion of the universe significantly, the expansion affects alpha. Changes to alpha are driven by imbalances between the electric field energy and magnetic field energy. During the first tens of thousands of years of cosmic history, radiation dominated overcharged particles and kept the electric and magnetic fi elds in balance. As the universe expanded, radiation thinned out, and matter became the dominant constituent of the cosmos. The electric and magnetic energies became unequal, and alpha started to increase very slowly, growing as the logarithm of time. About six billion years ago dark energy took over and accelerated the expansion, making it difficult for all physical influences to propagate through space. So alpha became nearly constant again.
In 2003 Barrow and David F. Mota of Cambridge calculated that alpha may behave differently within the galaxy than inside emptier regions of space. Once a young galaxy condenses and relaxes into gravitational equilibrium, alpha nearly stops changing inside it but keeps on changing outside. Thus, the terrestrial experiments that probe the constancy of suffer from a selection bias... No spatial variations of alpha have yet been seen... If alpha is susceptible to change, however, other constants should vary as well, making the inner workings of nature more fickle than scientists ever suspected. 
Barrow & Webb - Inconstant

Taking the set of all possible mathematical theories as the set of all possible TOEs does not resolve the issue neither. It just pushes the problem to a one step higher level. Now we will be at a loss, because it is not clear which type of logic is the right setting for these theories. (There are many different candidates out there!)

What about the set of all possible mathematical theories in all possible logics? That will not solve the problem neither. While one can legitimately consider mathematical statements within a certain logic, one can not legitimately consider the set of all logics. What will be the parameters of your variation?

P.S. I just love the insane examples that metaphysicists come up with. They literally make me burst into laughterous tears. Here is one example where a mentally challenging concept is illustrated via a physically handicapping example:

"The second type of apparent modal truth, however, is more challenging. Julius Caesar could have had a sixth right finger which was never burnt but which could have been burnt. This involves a nested possibility, which is troublesome to actualist representationism. To reveal the nesting clearly, let us articulate the possibility in question in a more pedantic and rigorous way. The following is possible: Julius Caesar had a sixth right finger such that (a) it was never burnt, and (b) the following is possible: It was burnt." (Source)

Update (November 2011):  There now seems to be some evidence for spatial variation of the fine structure constant. Here is an extract from Michael Murphy's website. (He is one of the scientists involved in the research.)

Our results are by no means conclusive. We have thoroughly searched for other possible explanations for our results. Research science is constantly plagued by the problem of "systematic errors". These errors mimic your result or somehow destroy it. They are notoriously hard to identify. And this is what we've been looking for in our results. But we still can't find anything that explains our results besides a varying alpha! The new "alpha dipole" adds a new twist as well, making it even more difficult to understand how a systematic effect (or several) might have mimicked what we found. 
The best approach in science is to always check (and re-check if necessary) your results using different equipment and analyses. We continue to analyse new, large datasets observed with the Very Large Telescope and Keck telescope. But, as mentioned above, there's a famous saying in science: "Extraordinary claims require extraordinary evidence.". Though we are claiming something quite extraordinary here, the evidence, though very strong, is not extraordinary enough. Yet. No one should really believe that constants are varying until another type of experiment confirms the results. Possibilities for other types of experiments include making very precise measurements of the fluctuations seen on the Cosmic Microwave Background sky -- the radiation left over from the big bang. Another possibility is to measure very accurately the abundances of the elements that were produced in the big bang. But these methods have their own problems and systematic errors. But we're hoping this will improve soon! 
Probably the best chance of confirming our results is to search for varying alpha in the laboratory somehow, perhaps by comparing the ticking rates of ultra-precise atomic clocks. The current best precision is not quite high enough but atomic clock technology is improving extremely rapidly, so we may know for sure sooner rather than later.  
... I mentioned that alpha is made up of three other constants: alpha = e2/hc where c is the speed of light, e is the charge of an electron and h is Planck's constant. Both laymen and scientists alike always ask whether we have any idea whether it's c, e or h that varies. This frequently asked question has a subtle and often misunderstood answer. 
In fact, one can never experimentally distinguish between a varying c or e because these quantities are always measured in some arbitrary units like meters, kilograms, seconds etc. Consider measuring the time it takes light to travel between you and me on Monday and then again on Tuesday. Imagine that the two answers were different. What does this tell you? You might conclude that the speed of light, c, has changed between Monday and Tuesday or, equally well, you could conclude that time has slowed/accelerated or that your measuring rods (i.e. meter rules) have changed length. These three conclusions are all equally valid and can not be distinguished by an experiment! But alpha is special because it is a dimensionless combination of other constants: alpha is just a number, i.e. no units! We can therefore measure changes in alpha unambiguously.  
Some confusion has arisen recently in the literature about this question. The problem is that there exist well defined theories called "Varying Speed of Light" (VSL) and "Varying Electric Charge" (VEC) theories. For example, in VSL theories, it is indeed the speed of light that is considered to vary. But this is just a mathematical convenience: one could easily convert any VSL theory into a VEC theory! The only reason one chooses to label one particular theory a VSL or VEC theory is because that theory might look simpler (mathematically and intuitively) when considering a varying c or e. Essentially, the confusion is that the (arbitrary) names given to these theories mask their inherent duality (or triality if you include h!).

fundamental ratios

  1. There are no big cells.
  2. There are no small animals in the polar regions.
  3. Red wines are kept in small barrels for aging.
  4. Grain dust is explosive but grain is not.
  5. Larger ships are more efficient.

All of these seemingly unrelated phenomena stem from one single principle: As a three dimensional object gets uniformly larger, its volume grows faster than its surface area.

Going back to the listed phenomena:

  1. After a certain size threshold, diffusion of molecules across the membrane can no longer handle the amount of traffic needed to sustain the cell metabolism.
  2. Small animals have more trouble maintaining their body temperature.
  3. Smaller barrels provide greater contact with the wood, allowing the wine to pick up the tannins faster.
  4. Grain dust is smaller, and therefore has relatively more surface area that is available for chemical reactions.
  5. Most of the steel used in the construction of a bulk carrier goes towards building the hull.

felsefi geyik

Tarik: Egemenlik nasil ilk batida bulunmus anlamadim.

Umut: Egemenlik kavrami, sosyal dusuncede ilk kez Jean Bodin denen bir adam tarafindan kullaniliyor. Yoksa bizim egemenlik dedigimiz sey ilk topluluklarda da var yani.

Tarik: Hmm. Entellektuel olarak ilk batida ele alindi diyorsun?

Umut: Evet.

Tarik: Illahi kaleme almak lazim zaten herseyi :) Almazsan unutulup gidiyorsun.

Umut: :) Alsan da unutuluyosun abi, cok istisnai bir sey yazmadiysan eger. O istisnai sey de daha önce kimsenin dile getirmedigi, cok bariz bir gercek oluyor. Ama ilk kavramsallastiran sen olunca "Vaaay buyuk filozof" deniliyor. Zor bir sey ama tabi.

Tarik: Allah'tan dil surekli evrim geciriyor. 10 bin yil sonra belki su anki filozoflari kimse anlayamayacak. "Acaba su kelime ile ne demek istedi?" filan diye carcur edecekler adamlarin dediklerini. Sonra ayni seyleri yeni dillerinde baskalari tekrar kesfedecek. Bu sefer herkes onlari referans vermeye baslayacak...

Umut: :) Evet abi. Felsefenin yarısı o zaten: "Acaba su kavramla ne demek istemis?" Bizim bugün bilmem ne dedigimize adam o zaman ne demis...

Tarik: Evet, icinden cikilmasi zor.

Umut: Aynen. Bundan dolayi felsefede farkli okullar, ogretiler cikiyor zaten ortaya. Sag Hegelci, sol Hegelci... :)

Tarik: Matematikte boyle bir problem yok :) Gayet guzel anliyoruz su an Euclid'in tam olarak ne demek istedigini.

Umut: :) Degil mi ?

Tarik: Isin kotusu, Hegel gibi adamlar gidip bir de en boktan sekilde yaziyorlar dusuncelerini. Yoruma acik hale geliyor hersey. Tam siciyor ortalik.

Umut: Evet :) Ama Hegel'in olayı consistency abi garip bir sekilde. Yani zaten felsefesinin dibinde bu var: Hic bir temel yok, istediğin yerden başlayabilirsin. Sirkuler.

Tarik: Dilin ozu zaten sirkuler... Sozluk mesela sirkuler.

Umut: O da dogru!

Tarik: Dusuncelerini kelimelere doktugun anda siciyor zaten olay, otomatikman. Dokmeyeceksin. Unutulacaksin.

Umut: Wittgenstein'sin :)

Tarik: En erdemli adamlar unutuldu gitti. Boyle hirs yapmis, dunyevi adamlar hatirlaniyor. Hepsi dunyaya bir sey kanitlamaya calisan, sorunlu herifler. "En akilli benim! En dogru benim!"

Umut: Abi, her seyi aciklama hirsi zaten cok manyak bir sey yani :)

Tarik: Evet. Bilimadamlarinda da var bu. Stephen Hawking tam gerizekali mesela.

Umut: O adam resmen paraplegic olmasindan dolayi bu kadar meshur. Avantajina kullaniyor.

Tarik: En son kitabinda o kadar sacmalamis ki. Aklinca metafizige karsi cikiyor. Kendi amator metafizik yapmis. Felsefi duyarliligi sifir adamin. Fizik yapsin, sussun.

Umut: Okumadim :)

Tarik: Ben de okumadim :) Elestirilerini okudum yetti.

Umut: Artık her seyi fizik kurallariyla acikliyoruz demis ama, degil mi?

Tarik: Cok aptal sorulara, aptal cevaplar vermis. Soru: "Why is there anything rather than nothing?" Cevap: "Universe just pops into existence."

Umut: Oha, bu sorunun cevabinin metafiziksel olmaması imkansız zaten.

Tarik: Fiziksel sekilde temellendiriyor cevabini. Quantum vakumlarindan filan bahsediyor herhalde...  Yanlis geyikler yani. Bosver!

Umut: Abi, "Why?" sorusunu bilim nasil cevaplasin ki?

Tarik: "Hiclik" filan sacma kavramlar abi. Evet, cevaplayamaz.

Umut: Ancak "How?" sorusuna cevap verebilir. "Why?" diye sorarsan metafizige girersin.

Tarik: "How?" sorusunu da metafizik yapmadan yoneltemiyorsun. "How" kelimesinden sonra ne diyeceksin? Muhtemelen "How something does something?" gibi bir cumle olacak.

Umut: Oradaki "something"ler de metafizik aslinda, degil mi :)

Tarik: Evet. Birincisi "existential", ikincisi "structural". "Sadece structure yeterli." diyenler cikti simdi. Gene kafa karisikligi! Neyse :)

Umut: Structuralism?

Tarik: Ontic-structuralism! Goruyorsun, nasil da yeni terminoloji uretiyorlar hemen... Kesin biri gecmiste baska bir sekilde ayni konuya deginmistir.

Umut: Tabii ki abi :) Antik Yunan'da bile bahseden olmustur, eminim.

Tarik: Muhtemelen. Sorun su abi. Metafor repertuarimiz genislemiyor hic bir zaman.

Umut: Conceptual framework'ler degisiyor.

Tarik: Hala insaniz sonucta. Sempanzelerle az cok ayni beyne sahibiz. Yazili tarih icerisinde pek bir gelisme olmadi. Explanation is deep down always metaphorical: "Something is like something."

Umut: O da sirkuler.

Tarik: Evet, mecburen. O yuzden zaten "Why?" sorusuna hic bir zaman cevap veremiyorsun. Insaniz abi. Bir parcasi oldugumuz oyunla ilgili ne kadar sey ogrenebiliriz ki? Oyun dedim bak... O da metafor!

Umut: Pek fazla degil.

Tarik: Politik felsefe filan bu yuzden guzel iste. Kendi yarattigimiz lavuk seyleri tartisiyoruz. Bir yerlere varma sansimiz daha yuksek.

Umut: Aynen :) Etik de oyle. Artefact tartisiyorsun sonucta.

Tarik: Bu arada su olaganustu bir deney: "Then there is neuroscientist Antonio Damasio work. In Descartes Error he described a study subject whose prefrontal cortex –where we do conscious thinking and deciding – could not communicate with his limbic system – the area of the brain associated with feelings and affect. This man could not make any choices or behave rationally, because the facts had no valence. Without input on how the facts felt, they literally had no meaning." Bayagi bir felsefi geyigi cope atiyor.

Umut: :)

Tarik: Bir bu sekilde rasyonalismin agzina sicmak var, bir de postmodernist (kendi kendiyle celisen) geyiklerle agzina sicmak var...

Umut: Abi duz rasyonalist pek kalmadı gibi ya.

Tarik: Kalmadi da, duygulardan bahseden de yok epistemolojide. Takmislar empiricisme. Gorsel dusunuyorlar cunku... Neyse. O study subject'in yerinde olmadigimiz icin bilemeyecegiz tam olarak nasil bir durum.

Umut: Evet. Duygulardan eskiden daha cok bahsediliyordu. Hume filan deginiyor...

anomalous spaces

Some people think that infinite dimensional spaces are weird. That is plain wrong! Such spaces emerge as a natural setting for the rings of polynomials. Who can dare to claim that polynomials, one of the first algebraic inventions of the human mind, are weird?

It is actually the lower dimensional spaces that are truly anomalous. As opposed to their higher dimensional analogues they can be visualized!

We are the source of all anomalies in mathematics. This is a profound observation and its counterpart in physics was the source of several intellectual revolutions. For instance, why are symmetry principles so prevalent and powerful in physics? The answer is very simple: They remove the effects of our own existence and help us move one step closer to the impossible dream of an observer-independent description of the reality.

cultural epistemology

What passes as an explanation has a cultural dimension to it. This is true even for science. For example, before Newton, action-at-a-distance was perceived as magic. Then eventually people got used to it and started to accept it as a final explanation. This cultural adaptation took place despite the fact that Newton himself was very uncomfortable with the notion:

"It is inconceivable that inanimate brute matter should, without the mediation of something else which is not material, operate upon and affect other matter without mutual contact…That gravity should be innate, inherent, and essential to matter, so that one body may act upon another at a distance through a vacuum, without the mediation of anything else, by and through which their action and force may be conveyed from one to another, is to me so great an absurdity that I believe no man who has in philosophical matters a competent faculty of thinking can ever fall into it." (Source)

memetic originality

Ideas have a life of their own, and are subject to the same evolutionary dynamics that govern biological systems. The current state of development together with the current environmental context determines more or less what the next stage of development will be. Our most original ideas are either juxtapositions of some old material, or reactionary moves taken against some environmental changes.

Even if the next step is not obvious from our local point of view, it always is so from the global point of view. The society as a whole will sooner or later give birth to the next new idea. It may be impossible to predict its author, but so what? That is not a societal concern.

As Victor Hugo said, "there is nothing more powerful than an idea whose time has come." All we have to do is to open our mouth or grab a pen.

Every once in a while a particular species will evolve too fast for its own good. Anticipating and adopting the far future can be a costly activity. Authors that are too out-of-sync with the general flow of ideas will be doomed to oblivion until the time for their products finally arrive.

poker face

A poker player has two ideal options:

1) Sit perfectly still. Be non-responsive and maintain a blank expression.

2) Randomize. Respond erratically so that the opponent can not pick up any reliable indicators.

The problem with the second approach is two folds:

1) It is energy intensive in comparison to the first approach.

2) Human beings often detect spurious patterns in randomly generated data. (This phenomenon is called Pareidolia.) Your opponent may devise a strategy based on his interpretation of your random moves. It will be very difficult for you to unravel this strategy and respond in a cogent way.

Update (July 2012): In finance, most people fall prey to Pareidolia, including those "sober-thinking", contrarian traders:  "For bubble and anti-bubble thinking are both wrong because they hold the truth is social. But if the herd isn’t thinking at all, being contrarian—doing the opposite of the herd—is just as random and useless." (From Blake Masters' notes on Peter Thiel's course at Stanford University)

top down vs. bottom up

At any moment in time, there is always more than one scientific theory that can explain the available data. How one formalism is preferred over another one depends on historical factors (e.g. physicists avoiding models that employ mathematics that they are not familiar with), on sociological factors (e.g. one theorist being a lot more famous than the other), on metaphysical criteria (e.g. Occam's Razor), or on aesthetic criteria (e.g. one model being more beautiful than the other). Because of this state of affairs, it is said that scientific theories are, by their very nature, under-determined.

Here the term "under-determined" can be confusing. Scientific theories are under-determined from the point of view of nature. (A theory is never specific enough to be the only possible explanation that does not contradict the available data.) However they are over-determined from the point of view of available evidence. Not only do they make predictions about the future dynamics of the examined phenomenon, they also predict the existence of unrelated phenomena. Predictions of the second type are not supported per se by any current data. (This is the sort of stuff that lends credulity and prestige to a new model: Prediction and subsequent confirmation of entirely new and uninvestigated phenomena.)

There are two types of models:

1) Top-down ones that contain certain universal principles putting constraints on what can possibly take place. (Examples: Thermodynamics, General Relativity).

2) Bottom-up ones that start out with a theory about what the constituents of the reality are and define how they interact in ensembles to generate the phenomenon that our experiments can detect. (Examples: Newtonian Mechanics, Standard Model)

The top-down models are more under-determined in the sense that they do not uniquely explain everything. They just constrain the number of theories that can do the job. Depending on the nature of the principles involved, they can be more or less over-determined in the other sense of the term. (The principle postulating the finiteness of speed of light makes just a single prediction, namely the principle itself. On the other hand, the second principle of thermodynamics makes many simultaneous predictions.) In any case, compared with bottom-up models, they are less likely to be rendered obsolete due to unnecessary metaphysical assumptions with regards to the constituents of reality.

Two speculative remarks:

1) Just as science emerges from the interplay of bottom-up and top-down models, mathematics emerges from the interplay of set theory and category theory. Think of science and mathematics as sandwiches. The top and bottom buns are respectively the top-down and bottom-up approaches. In the case of science, in between lies the physical universe. In the case of mathematics, in between lies the mathematical universe.

2) The list of alternative foundations for mathematics has been exhausted. Structures can be examined and characterized inside-out or outside-in. There exists no other possible approach.

failure of holism

Despite its philosophical appeal, holism has produced little or nothing of practical value. It has resulted in the development of some conceptually interesting mathematical frameworks (e.g. Chaos Theory), and some deep metaphysical principles (e.g. those of Buddhism). On the other hand, it has also laid the foundations of the Post-Modernist movement (e.g. the belief that truth is context dependent etc), and in some circles even led to the rise of an anti-scientist sentiment.

peptic ulcer

If I am still alive today, I owe a thanks to an extraordinary scientist who continued to stand up for his opinion despite being alienated and ridiculed by his peers. Peptic ulcer used to be thought of as a complicated psychosomatic disease that is caused by certain types of life styles and high levels of stress. When Barry Marshall claimed that ulcer was in fact just a bacterial disease, no scientist in his right mind could believe him. After all, how could any bacteria survive in the highly acidic environment of the stomach? In order to prove his theory beyond any doubt, this courageous man drank a beaker of helicobacter pylori culture and fell violently ill. He subsequently cured himself using antibiotics, and later was awarded a Nobel Price for his discovery that saved millions of people from extreme discomfort and death.