Wednesday, November 25, 2015

The four sided negation: A tool for overcoming bias in science, atheism and democracy

Towards the end of the 12th century, the Islamist raider Bakthiyar Khilji ransacked the ancient Buddhist university of Nalanda in eastern India. Apart from the many students and monks who lived there, the monastery also housed a large library, similar in extent to the great library of Alexandria in Egypt. After he looted the wealth of the monastery and put to death many monks, Bankthiyar Khilji was asked to decide on what to do with the books in the library.

Khilji  first asked if there was a copy of the Quran in the library. The answer was negative. He then asked to burn all the books in the library. "But valuable knowledge in the books will be lost forever",  warned the caretakers of the library. Khilji famously answered as follows

"If there is a book that says anything against the teachings of the Quran, then it is blasphemous and should be burned. If there is a book that agrees with the teachings of the Quran, then it is superfluous and should also be burned. Please take care that no book is left unburned."

 The Persian historian Minhaj-i-Siraj who was accompanying the raid, recounted that the fires from the embers of the library kept blazing for several days. This action might horrify us today on account of its senselessness and violence, but there is a twisted logic to what Khilji said in defense of burning the books. An echo of this logic can be found in the pronouncement of George W. Bush after the 9-11 attacks on New York City in 2001.

You are either with us or you are against us! 

Bush did not see any shades of gray in the vast canvas of the political landscape of the world. Similarly, Khilji classified knowledge in a strict binary fashion, that which is in agreement with the Quran and that which is not in agreement. He considered Quran itself as all-encompassing in knowledge, so this strict binary classification precipitated his decision. But what was lost in the many books burnt in Nalanda was not only a vast compendium of facts and knowledge, but also a philosophical commentary on the limitations of binary classification of knowledge. Indeed, the most profound examination of these limitations was done by Nagarjuna, a Buddhist scholar who many centuries earlier served as a rector to the Nalanda university, in the third century AD. But what Nagarjuna elaborated on was an even more ancient tradition from India, tracing its roots at least three thousand years deeper into history when it was codified in the Vedas - the holy scriptures of the Hindu religion. According to this tradition, logic is not 2-valued (as commonly understood as true/false), not even 3-valued (as commonly understood to denote shades of gray), but is 4-valued. This 4-valued logic is known in Sanskrit as Chatuskoti. For a long period of human history, this logic reigned supreme in Asia. Eminent philosophers and logicians in China, Japan and southeast Asia have painstakingly translated the Buddhist scriptures into their native languages, the most cherished ones being the commentaries written by Nagarjuna.

I think it is sad that this ancient logic is lost today in practice. Due to its association with religious and spiritual discourse, this 4-valued logic is sometimes considered unscientific, but nothing can be farther from the truth. In fact, the most important applications of this logic have been in objective fields. In this blog, I will argue that considering 4 sides to a negation, instead of the usual 2 sides, is a necessary requirement for both scientific study and political discourse. Essentially, negation is the most elementary operation in language. We cannot think without using negation on different concepts and ideas. But every time we apply negation, we are introducing a strong bias into our thinking, which will eventually lead us to severe errors and paradoxes. We will examine this further, while taking some interesting detours in history.

Introduction to Catuskoti or the 4-sided negation: 

Figure 1: Venn diagram illustrating binary logic 

Let's consider a simple proposition "Cheetah is the fastest animal" and denote this by the symbol A. In regular logic, this proposition is either true or false. When we think of a proposition, we usually visualize it in the mind's eye on a straight line-segment: akin to a barometer of falsehood. On one end lies truth and on the other end lies falsehood.  When we are certain of the truth value of a proposition, this line-segment dissolves into two tiny dots, standing apart from each other, which we can call "A" and "Not A". However, this visualization is incorrect.

Instead, what we need to visualize is the  Venn diagram shown in Fig 1. When we frame a proposition, we create an island "A" in a vast sea of possibilities, known as the universe Ω. When we use strict binary logic, we associate "Not A" to everything in this Ω except the island denoted by A. Depending on how many words we use to describe A and how clearly we describe it, our knowledge of this island increases. But the vast sea surrounding this island can be still a mystery to us. For example, to elaborate on our example, a Cheetah can be described as a wild cat with a yellow fur coat and spots, that it is native to Africa and that it hunts gazelles. To go to the extreme, we may describe it by giving the entire genome of Cheetah in the code of DNA. But what exactly is "Not A", what differences to the genome of Cheetah will classify it as a Non-Cheetah ?

Figure 2: Venn diagram illustrating fuzzy or probabilistic logic 

As our knowledge about other animals increases, we can measure our understanding by creating an island of ambiguity "A and Not A" that is encroaching into the island of "A" in the Venn diagram. This island measures the ambiguity of the proposition, inherent to the finite length of description of A.  As we conduct experiments into how fast Cheetahs run as opposed to other animals, we can measure the probability of A being true. Ideally, this island of ambiguity shrinks and we get back to our binary world.

But in reality, we still have no complete knowledge of the universe Ω. What exactly is an animal ? How many other animals do we know ? What exactly do we mean by "fast" ? Can bacteria floating in rapid ocean currents be considered animals ? This is a case we have not considered when we framed the proposition A. Unlike the island of ambiguity, this uncertainty is not related to A but to the universe Ω. Specifically, it refers to the limitations of our understanding when we say "Not A", its overlap with Ω is not as complete as we imagine it to be. If we correct for this, we obtain a visualization of the 4-valued negation as follows.

Figure 3: Venn diagram illustrating Chatuskoti, or the 4-sided negation. 

This 4-sided negation creates four distinct zones in the universe Ω . With increasing knowledge,  our understanding of all these 4 zones increases, but the zone of "Neither A nor Not A" may remain forever. This is because we may predict that we don't know something about the universe, but we may not be able to express exactly what it is that we don't know.  Please note that this limitation is due to two things: (1) our understanding of the world and (2) the limited expressibility of language. Even if we allow humans to be omniscient (in whatever finite context for Ω  specified by our problem), the ambiguity in the language may never be resolved. This is a mathematical fact as well as a philosophical realization,  that is achieved very recently in Western philosophy. We can refer to the works of Bertrand Russel and Ludwig Wittgenstein, as well as the mathematician Kurt Godel. In contrast to the west, these  limitations were studied from the very beginning in Indian philosophy and logic.

 In the traditional Indian philosophical system of Vaiseshika, the universe is supposed to consist of many tiny atoms. In the Venn diagram above, this translates into Ω  being composed of many (possibly infinite) tiny discrete samples. When we use negation, it is like cutting the above Venn diagram with a knife. Our knife may not be sharp enough to cut precisely through the different atoms. Thus, the 4-sided negation is a fundamental tool in logic that acknowledges this limitation.

Unlike the island of ambiguity given by "A and Not A" which is addressed by fuzzy or probabilistic logic, the 4 zones of Catuskoti cannot be reduced to a single line segment between 0 and 1. Indeed, such a reduction is topologically impossible. What we need is a different mathematical construction. I am not aware if there is anything that fits to the bill.

I find it useful to employ an additional tool along with the traditional line-segment between 0 and 1, with which to measure probabilities. I suggest using a circle, to which the entire universe Ω  is projected. This circle can be visualized as roughly centered at the island "A". At each point on the circle, we can measure our uncertainty in predicting the world towards that direction. Unlike the probabilities, this uncertainty (ignorance) can be unlimited, but it can still be characterized in some way. For example, we can say that our ignorance is greater in certain directions than in others. The metaphor of a circle is also used in defining what a "well-rounded" education meant. Until a few decades ago, the education of a person was not considered complete until he achieved certain basic knowledge in various diverse fields. Without this fundamental knowledge on all directions, it was considered that any decisions or conclusions made by a person would be faulty. However, with increasing knowledge and diversification of scientific fields, our society has sadly reduced the impetus on well-rounded education. Though this is sad as it is, I think it is a symptom of a deeper problem in logic where the 4-sided negation was forgotten.  So where and how was this innovation in logic forgotten ?

The story of Ramon Llull and how European renaissance missed the 4-sided negation: 

Ramon Llull was a Catalan philosopher in the 13th century who was critically important for the historical development of European renaissance. He has traveled extensively and spent a significant amount of time in North Africa, conversing with Arabs in the Moorish centres of learning. During his time (roughly termed the middle ages), Europe has sunk into the depths of ignorance, with the classical discoveries of Greece and Rome forgotten. In contrast, Arab civilization was in full flourish, where the Arab mathematicians and astronomers have compiled and built upon the knowledge from multiple lands ranging from Greece to India and China. It was the contact with Arabs, in southern Spain and Italy, that sparked the fire of European scholarship. Ramon Llull was a critical piece of this puzzle.

Arab astronomers were interested not only in mapping the course of the stars and the planets, but also in understanding how this connects to the human psychology. These esoteric sciences of astrology, alchemy and parapsychology are shunned today as superstitions, but in earlier periods, all scientific investigation was done at the behest of such esoteric subjects. The fundamental goal of these scientists was to liberate human condition from suffering and achieve harmony with the universe, the objective study of natural phenomena was only a means to this end. The harbinger of modern science, Issac Newton, was himself a practitioner of alchemy. With Ramon Llull, these lines were blurred even further. The Arab astrologers were developing upon the ancient science of Indian astronomy and astrology (known as jyothisha). In ancient Indian mythology, the circle denoted the universe and the square denoted the human understanding of this universe. The Vedic sacrifice required mathematical understanding of how to convert a circle into a square. These esoteric ideas spurred a lot of mathematical development - arithmetic, algebra, trigonometric functions, infinite series and so on. Many of these ideas reached Europe via an Arab translation of an Indian text called  Brahmaguptasiddhanta, (translated into Arabic as Zij-al-Sindhind by the astronomer Muhammad al-Fazari). The Arab astrologers codified these ideas into a mechanical system that makes the right predictions irrespective of who is using the system. In one form, this mechanical system became a device known as a Zairja - the first human imagination of an automaton.

Ramon Llull was deeply inspired by the Zairja and created an esoteric art of symbolism that he termed Ars Magna. This was supposed to represent all the aspects of the universe, as well as all the aspects of God. By representing all the possible aspects of knowledge in a cartographic manner, he created the first representation of a "well-rounded" knowledge. He wanted to develop a mathematical automaton for debating with the Muslims, in order to win them over and convert them to Christianity. The legend goes that he was pelted with stones in Tunis when he announced that his Ars Magna could not be understood unless the person  accepted Christ as the savior. After his death, Llull was beatified by the church, but his most sincere disciple was burnt at stake. This was Giardano Bruno, who developed upon Ars Magna to denote all the cosmological concepts and who had come to the conclusion that sun was at the centre of the universe (and not the earth, as mentioned in the bible). Galileo escaped a similar fate from the church by recanting his sayings, although he could see the motion of the planets in his telescopes. This uneasy relationship with astrological and esoteric sciences persisted in all Abrahamic faiths, with practitioners often being accused of worshipping the devil. This is inevitable, because these sciences stemmed from pagan cultures like Greece and India.

The influence of Llull extended beyond astronomy. Leibnitz made his dissertation about Llull's art, and this greatly influenced his future pursuits: calculus and logicism in philosophy. He called this Ars Combinatoria.  Along with Newton, Leibnitz was the fundamental mover of the European renaissance in mathematics and physics. Many mathematicians tried to follow in Leibnitz's footsteps, to ultimately realize a consistent and mechanical system that can predict everything. The latest expression of this dream was by Hilbert, who tried to reduce all mathematics to a set of axioms. However, this adventure was cut short by Godel, who proved that inconsistencies inevitably will creep up in any system of axioms if it tries to be complete (describe everything). This crazy pursuit in history has been described aptly by the computer scientist Gregory Chaitin (who along with Vladimir Kolmogorov is reckoned as the founder of the field of algorithmic information theory). To this day, the field of knowledge representation in computer systems, ranging from databases to the internet, is indebted to Ramon Llull and the Zairja of Arab astrologers. The amazing thing is that this historical line of development has completely missed the Catuskoti or the 4-sided negation in logic. It is a mystery why this has not reached Arab scholarship from India, and from there to Europe. It is unlikely that all the knowledge disappeared with the burning of the Nalanda library.

If Llull was aware of the Indian tradition of logic, he wouldn't have expressed that the people of Tunis needed to convert to Christianity to understand his Ars Magna.  He would know that Ars Magna will forever be a work in progress, and forever be deficient of its goals. This was ultimately expressed in late 1800s by Emil-du-Bois Raymond as "Ignoramus et ignoramibus", and at that time, he was soundly ridiculed for saying this.

The history of western logic had another brief brush and fascination with India. The English mathematician George Boole was deeply inspired by Indian philsophy. His wife Mary Everest Boole, a significant mathematician of her own right, was the bridge to India. Her uncle Everest was a great adventurer in India and gave the eponymous mountain its name. Mary Boole also was in correspondence with Jagadish Chandra Bose, who was a noted Indian scientist at that time. She wanted him to study the efforts of her husband, but this letter was left unanswered by Bose. George Boole developed an elaborate system of logical inference by using the principles of algebra, which he wanted to apply for esoteric ends (salvation, transcendence etc.) Nobody at that time believed that this system would have any practical use. This changed dramatically when Claude Shannon used Boolean logic as the basis for his mathematical theory of information. It is an open question if the development of information theory would have taken a different course if Boole incorporated the 4-sided negation into his logic. However, this did not happen and computer systems today are mostly restricted to 2-sided or 3-sided logic (Infinite-valued logic, like fuzzy systems, are actually extensions of 3-sided logic as illustrated in Figure 2).


Philosophy of Nagarjuna 

In philosophy, western philosophers starting from Kant, have expressed doubts about the limitations of spoken knowledge. Russel and Wittgenstein have systematically characterized the various dilemmas and paradoxes that arise from these limitations of expression. In Indian philosophy, this awareness of these limitations was already fundamental due to the Catuskoti logic. The onus in Indian philosophy was not about finding these limitations, but about achieving spiritual transcendence by overcoming these limitations, even if it is not possible to express them in spoken language.

Historically, Indian philosophy was divided into 9 streams or viewpoints (Darshana in Sanskrit). Of these 9 streams, 6 are in support of the existence of a conscious self (Samkhya, Nyaya, Vaiseshika, Yoga, Mimamsa, Vedanta) and 3 are in opposition to the existence of self (Buddhism, Jainism, Charvaka philosophy). But all these systems germinate from the same root and stem, which is the Samkhya tradition, which provides the mythological imagery and symbols to argue different concepts. I have earlier written an introduction on this blog to the Samkhya system (meaning enumeration), clothing traditional philsophical terms in a modern garb of vocabulary, so that we can better understand them.  Mythological images can better express notions of paradox than linguistic symbols and logic. So many Indian religions have explored this route, developing a plethora of symbols and stories. The idea is that transcendence could be achieved through devotion, or love, or following the right action, without the necessity of knowledge expressible in the spoken form.

However, the path of knowledge was not altogether absent. Philosophical systems using logical inference and deduction were developed first by the Nyaya and Vaiseshika traditions, which are based on the Catuskoti. In this way, knowing these traditions (or viewpoints) was considered essential for greater philosophical study in other systems. The first significant challenge to these systems was given by Gautama Buddha. The Jain tradition also has an elaborately developed logic, criticizing and thus extending the earlier Nyaya systems. Probably, the most extensive development of logical inference for transcendental goals was done by the Buddhist philosopher Nagarjuna in the 3rd century AD. The Australian philosopher Graham Priest, who specializes in dialethist logic (or para-consistent logic) wrote a great introduction to Nagarjuna's philosophy, from a western perspective. He believes that the vision of Nagarjuna was greater than even Wittegenestein and Russel, as he observed greater paradoxes.

I will try to give a short introduction to Nagarjuna, but before we go there, we should know that he remains a profound influence in many Buddhist countries. His Madhyamika tradition (or middle-way) has deeply influenced the development in China and Japan. For example, when we speak of  Japanese koans (or riddles), they stem from a tradition that goes back to Nagarjuna. To get a more thorough overview of this philosophy, one should consult these living traditions. What I can give in this blog is a very brief glimpse. In India, the influence of Nagarjuna had been profound on Shankara, the philosopher who popularized the Advaita tradition in Hinduism. It is Shankara who is probably the closest link to existing religious practices in India and its ancient philosophic tradition. I believe that without understanding Nagarjuna we cannot decipher that link. I am not capable, in any measure, to do undo these mysteries. But I think I can give a hint.

Recall that we represented the Catuskoti using a Venn diagram with four zones, for studying an objective question such as "Is Cheetah the fastest animal ?". But any such objective study is limited to the very ground on which we observe the different phenomena. In other words, we are restricted to the 2D plane of the Venn diagram, although the real universe may have many more dimensions. The computer scientist Alan Kay once gave a good analogy to this situation. We can imagine that we are in the crevice of a deep gorge, like the grand canyon in USA, which is shaped by several eons of erosion and landscaping. By standing in this gorge, we can observe the many layers of sedimentary rock that reflect the movements of history. But our vision will be restricted by these rocks in the gorge. Very rarely we take a fleeting glimpse at the sky and wonder what may lie beyond. Alan Kay calls such a glimpse a "Kerpow", a punch that pushes oneself beyond the dimensions of the world they are living in. In Buddhist and Advaita philosophy, salvation or transcendence is considered to be obtained  by a series of such "kerpows".

Firstly, we do not even know the topology of the 2D plane of reality that we showed in the Venn diagram. Buddhist and Hindu philosophy considers this as "Samsara" - a cyclical world where we keep retracing the same steps. I think the Dutch artist Escher gave a brilliant visualization of such a world, with ants walking along a Möbius strip.


Figure 4: Ants walking around a Möbius strip - illustrating the Buddhist Samsara 

Nagarjuna considered the problem of logic in such a world. A rationalist person is like an ant walking around this Möbius strip of logical constructs (zones of Catuskoti). In order to escape from this restrictive world, Nagarjuna developed a 9-valued logic. The first four zones correspond to one-side of the plane, as illustrated in Figure 3. The next four zones correspond to the other side of the plane, an inversion of the previous four zones. Nagarjuna said that an inquisitive and philosophical mind will not be satisifed with either of these 8 zones and seek a 9th zone, which is an escape from the Möbius strip, into the three-dimensional space. Obviously, this is a procedure that has to be repeated several times, as we approach concepts of greater logical ambiguity. In Buddhist mythology, this is akin to climbing up the Meru mountain at the top of which lies salvation or Nirvana.

A very similar rhetorical exercise in negation is undertaken in the religion of Advaita. A follower of this tradition performs negation in a series of steps called "Neti Neti" ("not this, not that" in Sanskrit).

As we can see, Buddhist and Hindu philosophy graduated from 4-sided logic that is suitable for objective analysis to more complex 5-sided or 9-sided logics suitable for spiritual investigation. However, this gave a bad image for 4-sided logic, which got confused with esoteric and spiritual agenda. I believe a proper application of 4-sided negation to objective scientific fields will give fruitful dividends, especially in situations where our ignorance of the field is immense but predictable.

How to overcome bias in atheism and democracy: 

Bias in science is dangerous, but bias in politics has immediate consequences for humankind. Even if people don't have a thirst for knowledge, they need to survive through their daily struggles. In this way,  if our political discourse has serious limitations related to the logic we deploy, we will face the trauma of misunderstanding and violence.  Unfortunately, the majority of people who have active political opinions today use 2-sided or 3-sided logic in their heads. That means, they do not understand the 4th zone (neither yes nor no) that is reflective of their relative ignorance of the subject.

A faulty language in debate is like a bad posture of the human body - when used repetitively, it results in pain. A great analogy is with the case of vertigo that happens due to tiny calcium crystals that accumulate in the inner ear, destabilizing the balance of proprioception. People who suffer from this vertigo feel that their world is constantly spinning. Needless to say, this is a nightmare condition. A cure for this vertigo has been found very recently by an American doctor named John Epley. Using a 3D cast of the human ear's anatomy, he devised a series of motions (called the Epley maneuver) that moves these particles from the troublesome spot in the ear to a non-bothersome spot. The relief felt by the patient is dramatic and immediate, almost leading them to suspect of black magic. I think that heated political debates will benefit from the 4-sided negation in a similar manner.  By understanding how our language and words are framed, and how limited they are in expressing certain ideas, we can overcome our ignorance and conceit.

Of all the debates in politics, I think nothing is as absurd as the debate on religious freedom.  This is because nobody wants to really understand the other side in a religious debate. The famous (notorious) atheist Richard Dawkins recently put this as "If I want to repudiate Leprechauns, I should not be expected to understand Leprechaun ideology". This laziness is understandable. However, what is not excusable is the reluctance to see one's own ignorance. By using 4-sided logic, instead of the more intuitive but faulty 2-sided logic, we will develop a habit of systematically understanding where our ignorance lies.

In France, there is currently a heated debate about the limits of religion. Owing to its historical revolutionary spirit against the catholic church and monarchy, French political life is very secular. However, this secularism comes from the pick-axes and shovel-fights of the 17th century, where all the debates were fought using the 2-sided negation. The secularist in France is highly confident in himself about how right he is. In this way, he is not much different from a rabid religious fundamentalist. The problem here is not with the ideology, but with the 2-sided negation.

Wise people of many cultures, including religious people, have learnt to be conscious of the limitations of their knowledge. In India, where many cultures and religions intermingled in history, people have high tolerance for  ambiguity. A person may be Hindu, but pray in a church, or seek blessings from a Muslim saint. A musician may be a very deeply religious Muslim, but still offer prayer to Saraswati (the Hindu goddess of learning). A good example was Ustad Bismillah Khan, a gifted Shehnai player. There were thousands of examples of Hindu and Muslim saints who cherished the company and customs of other religions. My favorite example was Kabir - a devoted Muslim poet who sang praises of Rama. The evidence of this cosmopolitan culture in India is present in all religions, including Christianity and Islam. All these religions are integral parts of the rich tapestry of Indian culture today.

There has recently been an opinion piece in New York Times, comparing the state of secularism in India and France. I find this essay to be a nice illustration of the problems with a 2-sided secularist outlook. France had an awful history of religious discrimination against Jews, Protestants and now against Muslims. By comparison, the history of India is a miracle, with very few incidents of religious violence for such a large population. In my opinion, the reason why India achieved this is not because of greater scientific knowledge or better legal rights, but because of a cultural assimilation of the 4-sided negation, which allows for greater tolerance in debate. In contrast, due to its reliance on 2-sided black and white logic, France is at a greater danger of discriminating against its own citizens.

However, India is not an idyll of peace. Its traditional tolerance is today under great threat. The urge for purity and austerity, as made notorious by the Islamist fundamentalists, is encroaching every religion. For example, in India, the Hindutva brigade is creating a cartoon version of Hinduism where the 4-sided logic is truncated into a 2-sided one. This desire for bifurcating everything in this world into two distinct boxes of good and bad, or pure and evil, is a self-destroying engine. Happiness and salvation in this world lie in a tolerance for ambiguity and in a consciousness of our limitations. This is as true of atheists as of religious people, of whatever religious stripes.

The works of Shakespeare are considered a turning point in western literature, where the internal dilemmas and mental confusion of characters are shared directly on stage. A human being is thus presented as a process in the making, and not as a finished product. The most famous example is the soliloquy of Hamlet "To be, or not to be".  This introspection of our mental processes is essential for us to be a better person. However, the story of Hamlet  was a tragic one. Hamlet succumbs to the guilt of murder. However, if Shakespeare used the 4-sided negation in the soliloquy of Hamlet, following the lead of Nagarjuna, he would have asked

"To be, or not to be"
"Or to be and not to be"
"Or neither to be nor not to be"
"Is there still a question ?"

A dramatic gesture would be to make Hamlet nod his head using the Indian head wobble. I will end this blog with this funny note. I believe that Nagarjuna's philosophy is responsible for this gesture, that stumps many foreigners who visit India, who cannot understand whether their Indian friend is saying yes or no. For greater clarification, they may ask,

"Do you mean yes ?" 
"Or no ?"
"Or yes and no ?"
"Or neither yes nor no ?"

"Or did you just reach nirvana ?" (This is an extremely rare case) 

Addendum: Representation of Chatuskoti using Predicate logic


After discussing with Joscha Bach (http://palmstroem.blogspot.com) on Twitter, I realized that Chatuskoti can be implemented in predicate logic using 3 predicates: A, Unknown(A) and Unknown(Not A). When these 3 predicates are treated as binary variables, they give rise to 8 states. More interesting things can be represented when these predicates are treated as continuous variables, able to take any value between [0,1]. The space spanned by these 3 predicates can be visualized as a cube standing on 3 axes. I propose to call this Gotama's cube (referring to the ancient Indian logician who developed Nyaya Sutras). The 8 states appear as corners of this cube, which can be enumerated as follows: 

0) Unknown Not A, Unknown A, Not A
1) Unknown Not A, Unknown A, A
2) Unknown Not A, Known A, Not A
3) Unknown Not A, Known A, A 
4) Known Not A, Unknown A, Not A 
5) Known Not A, Unknown A, A 
6) Known Not A, Known A, Not A 
7) Known Not A, Known A, A 

Of these 8 states, the states (4,5) are indistinguishable. So for practical purposes, they can be considered as 1 state, marked as "Unknown A". Similarly, the states (0,1,2,3) are indistinguishable. So they can be combined into a single state marked "Unknown Not A". With these 4 states, we get back to our traditional representation in the Chatuskoti. The clubbed state "Unknown A" is equivalent to "A and Not A". The clubbed state "Unknown Not A" is equivalent to the state "Neither A nor Not A". 

Why do we need 8 states in predicate logic and not 4 to represent Chatuskoti ? 

This is because Chatuskoti states clearly that only 1, and not any more, of the 4 states can be true: A, Not A, A and Not A, Neither A nor Not A. 

Because of this, we cannot map either of the states (A and Not A) or (Neither A nor Not A) to the predicate "Unknown (A)". This is because the predicate Unknown(A) can be true at the same time as A or Not A. This is the natural combination of predicates in predicate logic. However this is strictly forbidden in Chatuskoti. So the traditional method of handling uncertainty in predicate logic, using the predicate Unknown(A), which by the way is different from fuzzy or probabilistic logic without any additional predicate, is still insufficient to map the space of Chatuskoti. 

However, it is possible to cover all the 4 zones of Chatuskoti with 8 states, given by 3 predicates, by allowing for some redundancy. Please note that this is not the most compact representation of Chatuskoti. In theory, you can have just 2 predicates to map these 4 states. However, this predicate is not the usual "Unknown (A)". 

I am not sure if many people use 3 predicates, specifically an additional predicate "Unknown (Not A)" apart from "Unknown (A)" in computer-based logic and knowledge representation. This is a fairly simple method to adopt, and will potentially give rise to more stable knowledge representations. If you are a researcher in knowledge representation or machine learning, please go ahead and try it. All you need to do is modify your traditional error bars with 2 confidence values instead of one confidence value. :) 

You can also visualize the uncertainty on Gotama's cube : Using the HSV representation, map the hue value to the axis (A-Not A), map the saturation value to Unknown(A), and map the intensity value to Unknown (Not A). The interesting thing with this visualization is that it exposes the aspect that without saturation, you cannot distinguish hue. And without intensity, you can distinguish neither saturation nor hue. But in lighter shades, the colours become better visible. 

Do let me know if you do any such experiments. I will be happy to report them in the comments here. 




7 comments:

mOby said...

Awesome vakiba!!! Such a crisp and logical presentation of a complex mathematical/philosophical concept. It has even even ignited a small flame of curiosity in someone deep in throes of samasara. Thank you and keep writing!!!!!

Vamshi Ambati said...

Amazing man ! Kudos for the diligent research in connecting the dots and articulating it so well

P4p4b34R said...

Hey Vakiba,

I think you should consider reading the links between Catuskoti and Quantum information processing. Both of these have many in common. Quantum information processing could be the answer to provide the mathematical constructs to represent Catuskoti, although I am not completely sure.

I have one such reference below

http://arxiv.org/abs/1003.5735

I read this one and this seems a possible direction to explore.

I ll post more links as and when I find more material.



Ray Lightning said...

Thanks Moby, if you cannot beat the Möbius strip, I don't know who will ;-)

Vamshi, thanks a lot.

Nice hearing from both of you guys.

Sesh, thanks for the link. I am generally worried of Quantum stuff, because it gets appropriated by new age people easily. But I think Chatuskoti logic can find a good application in quantum theory. Quantum world is all about probabilities anyways, and Heisenberg uncertainty principle is at the core of it. May be there can be a more elegant mechanism to describe it.

I think the fundamental problem is to extend probability theory with a kind of functional analysis (like Fourier series), which can describe what I said as "projecting to the circle". That might give a better theory than basic probability theory. I don't know if such a mathematical theory already exists. You can check with the people in your lab :)

Prakash said...

Really loved reading your article.it was very deep and yet very clear and thought provoking. This is a good article emphasizing not all problems can be solved with same/simple tool (binary logic). Some complex problems (such as religious/ caste sentiments) need sophisticated tools (such as 4 sided negation) to solve. Appreciate your effort for awakening human consciousness !!

Ray Lightning said...

Thanks for the comment Prakash :)

iAshok said...

Great one Vakiba..Very thought provoking and well written explanation.