sienceEtDefiance_asRationalAsWeThink
π Society π Science and technology
What does it mean to “trust science”?

How to make the future more rational

par El Mahdi El Mhamdi, Assistant professor at École Polytechnique and Research scientist at Google
On June 23rd, 2021 |
5min reading time
El Mahdi El Mhamdi
El Mahdi El Mhamdi
Assistant professor at École Polytechnique and Research scientist at Google
Key takeaways
  • There are two types of logical reasoning: deduction and induction. Deduction used to infer knowledge based on a known ‘rule’, but to first define the ‘rule’ requires the use of inductive reasoning – which is less well understood.
  • In the past, deduction has played an essential role for society, for example in the formation of democracy, which relies on the ability of citizens to make informed and considered decisions.
  • Today, however, the power of automated deduction in our daily lives poses a threat to this capacity, for example through the spread of 'fake news'.
  • With the recent development of automated induction, we must try to preserve our rational autonomy through the education of future generations about the use of logic and the scientific method in general.

Over a year into the pan­de­mic, a lack of resources in science com­mu­ni­ca­tion, abuse of bad epis­te­mics and ques­tio­nable glo­bal gover­nance – such as vac­cine dis­tri­bu­tion – are still resul­ting in thou­sands of avoi­dable deaths per day. Even in wes­tern demo­cra­cies, poli­ti­cians still struggle to unders­tand the role of aero­sol-based trans­mis­sion and, as such, vital impro­ve­ments that could be easi­ly achie­ved by bet­ter ven­ti­la­tion. Meanw­hile, scep­ti­cism around vac­cines – whil­st it may be get­ting bet­ter – remains as long-stan­ding col­la­te­ral damage cau­sed by disor­der in the infor­ma­tion land­scape or info­de­mic

Limits of rationality

Of all human traits, ratio­na­li­ty is argua­bly one we che­rish most because we consi­der it a defi­ning dis­tinc­tion bet­ween us and other ani­mals. Howe­ver, this unfor­tu­na­te­ly also comes with a recur­rent over­con­fi­dence in our abi­li­ty to be ratio­nal lea­ding us to trust our intui­tion, believe in our gut-fee­ling and lis­ten to com­mon-sense. All of which go against ratio­na­li­ty. In addi­tion, nobo­dy is born with ratio­na­li­ty or inherent logic. Hence, it is up to socie­ty, through the accu­mu­la­tion of know­ledge, to endow indi­vi­duals with the abi­li­ty to think objec­ti­ve­ly. As such, the future of humanity’s abi­li­ty to per­form col­lec­tive pro­blem sol­ving requires a scale-up of the num­ber of citi­zens well-equip­ped with exter­nal thin­king stra­te­gies that include logic and the scien­ti­fic method. 

Of all human cha­rac­te­ris­tics, ratio­na­li­ty is pro­ba­bly the one we che­rish most.

A pos­sible first step could be to repair the popu­list impres­sion that our tech­no­lo­gi­cal­ly dri­ven era is too advan­ced for ‘non-pro­duc­tive’ arm­chair phi­lo­so­phy. After all, the modern com­pu­ter era was not ins­ti­ga­ted by engi­neers trying to build a gad­get, but rather a group of phi­lo­so­phers who were lite­ral­ly thin­king about thin­king. It was the foun­da­tio­nal cri­sis in logic in the late 19th Cen­tu­ry that led a series of phi­lo­so­phers and mathe­ma­ti­cians to ques­tion the very act of “pro­ces­sing infor­ma­tion”. In doing so, they found use­ful loo­pholes in logic and set the right ques­tions to which Kurt Gödel, Alan Turing, Alon­zo Church and others would bring awa­re­ness – a pre­cur­sor to many things today, in the form of lap­tops and smart­phones1.

Deduction vs. induction

Ano­ther use­ful step might be to stress how logic and the scien­ti­fic method, while still an end­less work in pro­gress, can be vie­wed through two of their most impor­tant com­po­nents : deduc­tion and induc­tion. Sim­ply put, deduc­tion is “top-down” logic, mea­ning how to infer a conclu­sion from a gene­ral prin­ciple or a law. This includes laun­ching a space rocket, curing a well-known disease, or applying a law in court. Whe­reas induc­tion is “bot­tom-up” logic, that is, how to infer – based on obser­va­tions – the laws to explain how these obser­va­tions hap­pen. This may be des­cri­bing the laws of gra­vi­ty, dis­co­ve­ring the cure for a new disease or defi­ning a law for socie­ty to abide by. All of which require an induc­tive mindset.

Deduc­tive logic was his­to­ri­cal­ly the first to be esta­bli­shed through algo­rithms. While today this term is pri­ma­ri­ly asso­cia­ted with tech­no­lo­gy, it should be stres­sed that it was ori­gi­nal­ly deri­ved from the name of a thin­ker, Al Khwa­ra­zi­mi. He was most­ly trying to help lawyers by wri­ting step-by-step rules that they could apply to reach com­pa­rable results2. Far from being a tool to ren­der the deci­sion-making pro­cess obs­cure, algo­rithms, such as writ­ten law, were his­to­ri­cal­ly a tool for trans­pa­ren­cy. We feel safer if we know we will be jud­ged accor­ding to a well-defi­ned rule or law, rather than accor­ding to the fluc­tua­ting mood of an autocrat.

Induc­tive pro­cesses are har­der than deduc­tive ones. Even though medie­val thin­kers such as Ibn Al Hay­tham (Alha­zen), Jabir Ibn Hayan (Geber) and, of course, Gali­leo left ear­ly traces of pro­gress in for­ma­li­sing the scien­ti­fic method used today, we still do not have a wide­ly adop­ted algo­rithm for induc­tion as we do have for deduc­tion. Impor­tant attempts to pro­vide algo­rithms for induc­tion were made by Bayes and Laplace3. The lat­ter even pro­du­ced an impor­tant, yet high­ly over­loo­ked “Phi­lo­so­phi­cal Essay on Pro­ba­bi­li­ties”, decades after for­ma­li­sing the laws of pro­ba­bi­li­ties (in the form of a course given at the then nascent Ecole Nor­male and Ecole poly­tech­nique). Rea­ding Laplace’s essay today, one finds pio­nee­ring ideas about what can go wrong with induc­tion – some­thing modern cog­ni­tive psy­cho­lo­gists refer to as cog­ni­tive biases.

The problem with deduction

Once we look at the details, many cog­ni­tive biases fall under an exces­sive use of a deduc­tive mind­set in situa­tions where an induc­tive one is more appro­priate. The most com­mon of which being confir­ma­tion bias : our brain would rather seek facts that prove the hypo­the­sis it alrea­dy has than to expend men­tal effort to go against it. There is also the other (less com­mon) extreme, exces­sive rela­ti­vism, where we refuse any cau­sal inter­pre­ta­tion, even when data jus­ti­fies an expla­na­tion more appro­pria­te­ly than exis­ting alternatives. 

To com­pen­sate for the weak­nesses of the human mind, scien­tists devi­sed heu­ris­tics to bet­ter per­form induc­tion : tes­ting a hypo­the­sis, control­led expe­ri­ments, ran­do­mi­sed trials, modern sta­tis­tics and so on. Bayes and Laplace went even fur­ther and gave us an algo­rithm to per­form induc­tion – the Bayes’ equa­tion. It can be used to show that first order logic, where sta­te­ments are either true or false, is a spe­cial case of the laws of pro­ba­bi­li­ty, where use­ful room is left for uncer­tain­ty. Whil­st the lan­guage of deduc­tion is most­ly ans­we­ring with a pre-defi­ned “because” to ques­tions star­ting with “why”, rigo­rous induc­tion requires a more pro­ba­bi­lis­tic ana­ly­sis that adds a “how much” to weigh eve­ry dif­ferent pos­sible cause. 

To com­pen­sate for the weak­nesses of the human mind and to make bet­ter use of induc­tion, scien­tists have deve­lo­ped heuristics.

Phi­lo­so­pher Daniel Den­nett4 des­cribes some of our grea­test scien­ti­fic and phi­lo­so­phi­cal revo­lu­tions as “strange inver­sions of rea­so­ning”. Dar­win was able to invert the logic that com­plex beings (i.e., humans) did not neces­sa­ri­ly need a more com­plex crea­tor to emerge. Turing sho­wed that com­plex infor­ma­tion pro­ces­sing does not need the agent (i.e., the com­pu­ter) per­for­ming it to be aware of any­thing other than simple mecha­ni­cal logi­cal ins­truc­tions. I would like to argue that what Den­nett calls strange inver­sions of rea­so­ning, are his­to­ri­cal moves from a deduc­tive (and somew­hat crea­tio­nist) fra­me­work to an induc­tive fra­me­work. The more com­plex the pro­blem, the less a “why” is use­ful and the more a “how much” is needed. 

Induction as a societal tool

While scien­tists were busy devi­sing logic and the scien­ti­fic method for the past mil­len­nia, the lar­ger part of socie­ty rea­li­sed the limits of the deduc­tive mind­set that comes with either auto­cra­cy, where a monarch sets the rule, or theo­cra­cy, where God, often a com­for­table shield for the monarch, sets the rule. This led to the pro­gres­sive deve­lop­ment of demo­cra­cy, where the aggre­ga­tion of opi­nions helps socie­ty per­form a bet­ter and more robust col­lec­tive induc­tion and, in prin­ciple, esta­blish more effec­tive rules. Yet, demo­cra­cy lies in the hope that a signi­fi­cant frac­tion of socie­ty is well-infor­med and acting in its own interest. 

Today, this assump­tion is at grea­ter threat than it has ever been before. For the first time in human his­to­ry, we are pro­du­cing infor­ma­tion dis­se­mi­na­tion tools that have the broad­cast power of the most dys­to­pian pro­pa­gan­da machine yet the fine-grai­ned per­so­na­li­sa­tion fea­tures of indi­vi­dual door-to-door cam­pai­gning – for the bet­ter or for worse. The digi­tal tools we enjoy today are most­ly the out­come of auto­ma­ting deduc­tion (pro­gram­ming), which most­ly hap­pe­ned during the past cen­tu­ry. As we are ente­ring a new phase of auto­ma­tion, which is this time data-dri­ven, it is impor­tant to stress that, beyond the gad­gets and the tech­no­lo­gy part, we are trying to auto­mate induc­tion, and, while doing so, bet­ter unders­tand what induc­tion is and how to do it right. 

Kee­ping that in mind in how we desi­gn our courses on Data Science or com­mu­ni­cate the advances of arti­fi­cial intel­li­gence to the public, might hope­ful­ly help pro­duce a new gene­ra­tion of citi­zens that are not only able to build or use these tools, but able to join the lar­ger conver­sa­tion on the future of rea­so­ning. A conver­sa­tion in which induc­tion, deduc­tion, society’s diet of infor­ma­tion and appro­priate col­lec­tive deci­sion-making are empo­we­red, and not cor­rup­ted by the very digi­tal tools that were inven­ted as mere side pro­ducts of the human endea­vour. Our endea­vour to unders­tand and auto­mate what we che­rish the most : our abi­li­ty to think.

1It is recom­men­ded to watch logi­cian Moshe Vardi’s lec­ture “from Aris­totle to the iPhone” (Given at the Israel Ins­ti­tute for Advan­ced Stu­dies in 2016, many later ver­sions exist online).
2It should also be stres­sed that Alkhwarizmi’s book is writ­ten in Ara­bic, where Com­pu­ta­tion and Judg­ment are some­times refer­red to using the same term : His­sab. (The Day of Judg­ment, Yawm Al His­sab, in the Qura­nic tra­di­tion, lite­ral­ly means “the day of com­pu­ta­tion”).
3The Equa­tion of Know­ledge : From Bayes’ Rule to a Uni­fied Phi­lo­so­phy of Science, Lê Nguyên Hoang. Chap­man and Hall, CRC, 2020.
4Which Den­nett bor­ro­wed from Robert Mac­Ken­zie Beverley’s cri­tique of Darwin’s “On the ori­gin of spe­cies”, tur­ning the cri­tique into an actual sup­por­ting sta­te­ment.

Contributors

El Mahdi El Mhamdi

El Mahdi El Mhamdi

Assistant professor at École Polytechnique and Research scientist at Google

El Mahdi El Mhamdi’s research is motivated by the understanding of robust information processing in nature, machines and society, with a focal line of research on the mathematics of collective information processing and distributed learning. He is the co-author of the upcoming book “The Fabulous Endeavor: Robustly Beneficial Information” on the scientific and social challenges of large-scale information processing, already available in French under “Le Fabuleux Chantier” (EDP Sciences, November 2019)

Support accurate information rooted in the scientific method.

Donate