This article first appeared in Issue 13 of our digital magazineCURIOUS .

If I need whether the Earth was spherical , most reader would say yes . Only the pedantic wouldpoint outit is an pumpkin-shaped ellipsoid of revolution , but technically speaking those who agreed with the proposal would be wrong . Clearly , however , they ’re nowhere near as improper as anyone lay claim the Earth is flat . There are degrees of wrongness , which are often very crucial ; arguably this imply there are also degree of truth . Yet we often rely on Greco-Roman logical system that assumes only two values : true and untrue , which can lead to paradoxes when either choice leads to contradiction .

Logic , by onedefinitionis " A method acting of logical thinking that involves a series of statements , each of which must be true if the assertion before it is true . ” Put like that , system of logic seems unimpeachable . Any failure can only be because a preliminary statement is awry , or one of the subsequent program line does n’t follow as universally as is claimed .

When we talk about “ blemished logic ” we normally mean one of these things : someone starts with an wrong presumption , and builds a down of conclusion on these shaky foundations . It ’s the equivalent of “ garbage in , garbage out ” , where a data processor ’s errors are not the fault of the arrangement , but of the data it was fed . Alternatively , the original assumption is proper , but at some period one of a figure of potential deduction was process as the only one potential .

The answer to errors of each is obvious , although not always well-to-do to implement . In the first case , we just necessitate to curb our premiss better . In the second we postulate to probe each step to see if it ’s as watertight as state .

Some philosophic tradition , particularly those from Asia , are more comfy with the idea that truth can be a spectrum .

Yet ,   thousands of years ago ,   Greek philosophers were posing a more fundamental challenge to logic in the form of paradox . Paradoxes are no doubt much older still , but it was thinkers like Zeno of Elea who establish us both the name and entrenched the idea of self - contradictory decision from plain profound premises as a challenge to the nature of reality .

The original paradox were ( as far as we can tell ) create to challenge our sense of   realness , not to question system of logic . Many paradoxes , both original and more late , have eventually turn out to have quite coherent solutions that simply were n’t obvious at the time . Others , however , present a mystifying challenge .

According to onedefinition , a paradox is “ An argument that seemingly derives self - contradictory ending by valid price reduction from satisfactory premises . ”

Breaking the binary

Other paradox , however , demo a more profound challenge , sufficient to kindle questions about logic at its core . These , known as   antinomy , collide not just with our reflection , but with their own internal logic .

Some , perhaps all antinomies , arise from a binary position of the world . For example , one of the most famous , theLiar ’s Paradox , includes instance such as “ This statement is sham ” .

If we think that things can only be either true or false , like the ace and cipher on a computer , then the statement generate a sorting of recursive loop that has captivate people for C .

Subscribe to our newsletterand get every issue of CURIOUS delivered to your inbox free each month.

However , some philosophical traditions , particularly those from Asia , are more easy with the estimate that truth can be a spectrum than Europe ’s , which progress heavily on classical Greece .

Centuries before Aristotle was formalizing the convention of logical system the West has largely swear on ever since , Jains were arise the ism ofanekāntavāda , in which all statement hold back both truth and falsehood .

The famous question of whether a glass is half full or half empty hint at another example . Both of these thing are true , but at what point can we deteriorate the “ one-half ” and say , “ My trash is empty ” ?

Arguably , the hike ofquantum information processing system , in which superposition of both one and zero , in shifting ratio , supervene upon binary act , has vindicated these alternative vista .

underlie many coherent paradoxes is the feeling that something is either one thing or another . This breaks down almost entirely at the subatomic level , with photons being both particles and Wave , but it does n’t always stack up that well in more familiar linguistic context , as the initial example of the build of the Earth may instance .

The famous question of whether a drinking glass is half full or half empty hint at another example . Both of these things are true , but at what stop can we drop the “ half ” and say , “ My glass is empty ” ? Does it postulate to be bone dry , or do a few drops still reckon as “ empty ” ?

Fuzzy logicwas cook up to endeavor to capture this complexity , allowing the truth value of a proposition to be anywhere between one and zero .

Arguably , genuine human   decision - qualification has more in common with hazy logic than the Boolean logic of ones and goose egg .

However , while fuzzy system of logic has been used in artificial intelligenceand aesculapian image analysis , among other purpose , it has not come close to terminate the classical edition in most education systems or coating .

Perhaps that ’s because impress ethnical traditions can be very hard to lurch . Thefurious reactionto the theme that gender can be anything other thanbinarymight be seen as an example of this . On the other hand , it might be argued that traditional logic still has pile going for it .

Solved paradoxes – victories for logic?

Paradoxes follow in many physique , and not all of these get a trouble for logic , indeed many of them have vindicate it . It ’s more common for paradox ’ contradictions to be with ascertained world than with themselves , and these have often been resolved by combining logical system with deeper investigating .

For example , some paradox have turned out to be useful style to queer that reality is more complex than our naïve assumptions . Others involve a kind of sleight of hand , such as dividing by zero to “ prove ” that 1=2 .

One of the original paradoxes give by Zeno ( as reword by Aristotle and others ) , imagined a deeply unfairracebetween Achilles and a tortoise . Achilles sportingly apply his reptilian opponent a school principal start . We bonk that , provide the slipstream is long enough , this will be deficient , the faster runner will finally overtake the slower one . However , Zeno argued , by the time Achilles reaches the point the tortoise start from the tortoise will have gained some earth , and by the meter Achilles crosses that junior-grade distance , the tortoise will have impress a still smaller distance . Achilles always gains on the tortoise , but according to this view , can never overtake it .

The paradox of why the night sky is dark was used to prove the universe is not infinite , although we have since learned it is expand .

Aristotle provided an answer but headache it wasinadequatehelped drive the field of infinite serial , which has proven exceptionally valuable for scientific discipline .

Not everyone is satisfied with such mathematical solution , with some check it as a still unresolved metaphysical trouble . Nevertheless , classic logic comes out of a challenge like this rather well – far from being discredited , it has lead us to something straight and useful .

likewise , the paradox of why the dark sky isdarkwas used to prove the population is not infinite , although we have since teach it isexpanding .

There are other paradox we do n’t yet have complete solution to , but scientists are well on the chase . For example , theFaint Young Sun Paradoxnotes that stars with batch like the Sun ’s let loose less heat and light in their first billion years than they do at the Sun ’s current age .

Consequently , theinitial formof the paradox get that the Earth should have been much colder during theHadean eon , preventing the presence of liquid water . Yet we know the Earth ’s oceans date back 4.4 billion years . More abundant carbon dioxide , and therefore a unassailable greenhouse effect , has for the most part solve this problem for Earth , but it continue to perturb Mars researchers . explain whatgassescould have made up the Martian atmosphere during itsNoachian epoch , and where they went is an ongoing problem , but it ’s one we can pretty carry to solve without contrive out the Bible of logic .

Maybe we need a word ( meta - paradox perhaps ) for the fact that paradoxes can both expose the flaws in definitive logic , and demonstrate its strength .

CURIOUS magazineis a digital magazine from IFLScience boast interview , expert , deep dives , fun fact , intelligence , account book excerpts , and much more .