Eitt sindur um vÝsindaßst°­i ľ er vÝsindi skilborin?

 

John D. Olsen

jdalo@msn.com

 

┌rslit av fatanarevnum hjß einstaklingum vÝsa seg allasta­ni. VÝsindaligt virksemi gevur ßbending um, hvussu evnini til at fata, at gera eftir og at skapa burtur˙r nřggjum, er ein a­altßttur hjß okkum menniskjum ľ vÝsindi er skilbori­, um naka­ er skilbori­.

 

VÝsindi hevur gj°rt ˇmetalig framstig hesi seinastu tveyhundra­ ßrini. ┌rslit av vÝsindaligum arbei­i eru allasta­ni rundan um okkum. Hygg eftir teimum tˇlum, i­ lŠtta um okkara gerandisdag. Hugsa um lŠknavÝsindi, hvussu ˇmetaliga stˇran třdning hon hevur haft; og ˇiva, Ý enn st°rri mun, fer at hava Ý framtÝ­ini. Hugsa um hvussu nˇgvar sj˙kur, sum fyrr h°vdu dey­iligar fylgir, Ý dag lŠttliga kunnu gr°­ast. Hugsa um samfer­slukervi­, fer­am°guleikar, samskiftism°guleikar og frÝtÝ­arm°guleikar, hjß bŠ­i ungum og eldri. ═ ßvÝsan mun kunnu allir hesir hentleikar f°rast aftur til ˙rslit, sum vÝsindi hevur nßtt.

 

Hvat er vÝsindi? VÝsindi er eitt skilbori­ bragd, kundi eitt svar veri­. Ein anna­ svar kundi veri­ at greina vÝsindi Ý ands°gn til gudfr°­i. Lřsingin kastar ljˇs yvir, at vÝsindi arbei­ir vi­ at nßa ˙rslit, i­ kasta ljˇs yvir veruleikan. VÝsindi hjßlpir okkum at skilja og m°guliga at temja heimin. HarafturÝmˇti arbei­ir gudfr°­i vi­ opinbera­um tilfari, i­ hevur sannleikan um veruleikan. Gudfr°­i hevur Sannleikan (stˇrt S), Ý mun til vÝsindi, sum s°kir sannleikan (lÝti­ s).

 

Umframt at lřsa vÝsindi Ý andst°­u til gudfr°­i, er vanligt at skilmarka vÝsindi vi­ at siga, at hon arbei­ir ˙t frß tilfari, i­ ikki megnar at geva okkum sannleikan vi­ stˇrum S. VÝsindalig ˙rslit eru altÝ­ fallibil, t.e. ˙rslitini kunnu vera skeiv. Grundin til at vÝsindalig ˙rslit altÝ­ kunnu vera skeiv er, at hßtturin, i­ vÝsindi nřtir til at r°kka ˙rslit, er fallibilur. NŠr eru n°kur ˙rslit in-fallibil? t.e. nŠr eru tey solei­is hßtta, at ˇm°guligt er fyri tey at vera skeiv?

 

┌rslit sum ikki kunnu vera skeiv kunnu ver­a rokkin vi­ sokalla­um deduktivum prˇvf°rslum. Ein slÝk prˇvf°rsla er hendan: 1. ěll s˙gdjˇr geva teirra ungum brˇstamjˇlk. 2. Sey­ur er s˙gdjˇr. 3. TÝskil s˙gva (sey­a) lomb brˇstamjˇlk. Ta­ sum ey­kennir hesa prˇvf°rslu er, at einki nřtt liggur Ý ella kemur til sjˇndar Ý ni­urst°­uni, i­ ikki longu lß Ý dˇmsgrundunum. At sey­ir eru s˙gdjˇr, vistu vit ß­renn, ni­urst°­an var gj°rd ľ ni­urst°­an (3) lß Ý dˇmsgrundunum (1) og (2) ľ ni­urst°­an var drigin ˙t ˙r dˇmsgrundunum.

 

Vi­ °­rum or­um fylgir ni­urst°­an dˇmsgrundunum. Vi­ fylgir meinast, at um dˇmsgrundirnar eru sannar, so er ni­urst°­an, sambŠrt skilvÝsindi, eisini sonn (um vit ikki hava gj°rt ein skilvÝsindaligan feil).

 

Induktiˇn

═ vÝsindaligum h°pi fylgja ni­urst°­urnar ikki dˇmsgrundunum ß sama hßtt, sum Ý deduktivari prˇvf°rslu. ═ vÝsindindaligum samanhangi eru ni­urst°­urnar generaliseringar ella forsagnir frß informatiˇnum, har ni­urst°­ur (generaliseringar ella forsagnir) ikki fylgja dˇmsgrundunum (informatiˇninum) eins Ý deduktivari prˇvf°rslu. Hugsa um hesa generalisering: kongafiskur 1 er rey­ur, kongafiskur 2 er rey­ur....allir kongafiskar eru rey­ir (eisini teir sum vit ikki hava sŠ­). Her hava vit informatiˇnir um einstakar kongafiskar, i­ vÝsindamenn hava eygleitt. ┌t frß hesum eyglei­ingum ver­ur ni­urst°­a gj°rd vi­v. °llum kongafiskum ľ at teir eru rey­ir. Hßtturin, i­ vÝsindi nřtir til at koma vi­ generaliseringum, nevna vit induktiˇn.

 

Eitt anna­ ey­kenni, sum er vert at taka vi­, er munurin Ýmillum a priori og a posteriori prˇvf°rslu/vitan. ═ d°minum um s˙gdjˇr kanst t˙ sita heima Ý sofuni og tonkja teg fram til ni­urst°­una. Ta­ einasta sum er ney­ugt er, at t˙ skilur hugt°kini um s˙gdjˇr og sey­ o.s.fr. Ikki er ney­ugt, at t˙ fert ˙t at kanna heimin fyri at nßa ni­urst°­una. Vitanin, i­ t˙ fŠr, er ikki treyta­ av, at t˙ gert tŠr royndir av sey­i og s˙gdjˇrum ľ vitanin er a priori. ═ kongafiska-d°minum harafturÝmˇti kunnu vit ikki koma til ni­urst°­una uttan at hyggja eftir einst°kum kongafiskum. Ni­ust°­an er treyta­ av, at royndir eru gj°rdar. Vit kunnu ikki siga um kongafiskar, at teir eru rey­ir, uttan at hava hugt at kongafiskum ľ vitanin, sum vit fßa vi­ hesum d°minum, er a posteriori.

 

Ein ßhugaverd avbjˇ­ing liggur Ý at vÝsa, at induktiˇn er ßlÝtandi hßttur at r°kka ˙rslitum. Heimspekingar hava f°rt fram, at um vit ikki kunnu vÝsa ella prˇgva, at induktiˇn er skilbundin, so kunnu vit heldur ikki siga, at vÝsindi er skilborin. Um vit halda, at vÝsindi er, um naka­, skilbundin ľ ta­ lŠrir hugskygni ľ so mugu vit kunna vÝsa, at induktiˇn er skilbundin.

 

Nˇgv kjak innan vÝsindaßst°­i snřr seg um, hvussu ella um induktiˇn yvirh°vur er skilbundin. Um einasti hßttur, i­ vÝsindi hevur at nßa ˙rslit vi­, er Ýgj°gnum induktiˇn, so er ney­ugt at vÝsa at induktiˇn er ßlÝtandi, fyri at vit kunnu siga, at vÝsindi er skilbundin; solei­is ljˇ­ar avbjˇ­ingin.

 

Tann vakni lesarin hevur kanska longu sŠ­, hvussu ringt ta­ er at vÝsa, at induktiˇn er ßlÝtandi. Trupulleikin er, at um vit ynskja at vÝsa at induktiˇn er skilborin, so er hetta ikki m°guligt uttan at br˙ka induktiˇn, og harvi­ gerast vit sek Ý at ganga Ý sirkul ľ at argumentera Ý sirkul kann ikki vera at vÝsa at induktiˇn er ßlÝtandi. Hesin trupulleikin ver­ur av og ß rˇptur Humeĺsa trupulleiki, eftir bretska heimspekinginum David Hume (1711-1776). Hume f°rdi fram at um eitt argument gevur okkum vitan um ni­urst°­una, so mß argumenti rŠttvÝsgera okkara vitan um ni­urst°­una, uttan at ganga Ý sirkul. Ta­ gongur j˙ ikki at siga, at induktiˇn er skilbundin tÝ hon er skilbundin.

 

Peter Strawson (1919 - ), bretskur heimspekingur, f°rir fram, at vit kunnu vÝsa at induktiˇn er ßlÝtandi vi­ at heita ß ta­, i­ hann nevnir uniformitets-tesan. Uniformitets-tesan sigur, at heimurin vil vera solei­is Ý framtÝ­ini, sum hann hevur veri­ Ý fortÝ­ini. Av tÝ at heimurin er uniformur kunnu vit vÝsa at induktiˇn er ßlÝtandi, og tÝskil at grundleggjandi hßtturin hjß vÝsindi at nßa vitan er skilbundin. Men trupulleikin er at vÝsa, at uniformitets-tesan er ßlÝtandi. Hvussu vita vit at uniformitets-tesan er ßlÝtandi? T.d. kunnu vit vÝsa ß, at allar okkara royndir vÝsa, at uniformitets-tesan er ßlÝtandi. Hvussu vita vit hetta? Vi­ at taka fyri givi­ at okkara royndir eru ßlÝtandi. Ta­ kunnu vit tÝanverri ikki, ljˇ­ar avbjˇ­ingin. Vit kunnu einans vÝsa, at uniformitets-tesan er ßlÝtandi vi­ at br˙ka induktiˇn. So uniformitets-tesan loysir ikki trupulleikan ľ men flytur einans spurningin ß anna­ sta­.

 

Illa sett krav

Ein spurningur verdur at seta Ý hesum sambandi er hesin: hvÝ er ta­ ney­ugt at skula vÝsa, at induktiˇn er ßlÝtandi, ß­renn vit vilja geva hugtakinum lřsingina: skilborin. Okkara hugskygni sigur j˙, at vÝsindaligt virksemi er klßrt skilbori­, so kanska er ta­ kravi­ ella spurningurin, i­ er illa settur.

 

Somu avbjˇ­ing, i­ vit settu induktiˇn, kunnu vit seta okkara egnu sansingarg°gnum. Er ta­ einans skilbori­ at lÝta ß sansingarg°gnini, um vit kunnu vÝsa at tey eru ßlÝtandi? Um vit ikki kunnu vÝsa hetta, so er ikki skynsamt at lÝta ß sansingarg°gnini. Parallelurin er klßrur: um vit ikki kunnu vÝsa at x er ßlÝtandi, so kunnu vit ikki siga, at ta­ er skilbori­ at br˙ka x. Harumframt er hugskygni sera klßrt, tß talan er um okkara egnu sansingarg°gn: ta­ er skilbori­ at lÝta ß tey. Men vit kunnu ikki vÝsa, at okkara sansingarg°gn eru ßlÝtandi, uttan at nřta sansingarg°gnini til hetta. Sostatt kunnu vit ikki siga, at vit hava vÝst at okkara sansingarg°gn eru ßlÝtandi. Um kravi­ er at vit skulu vÝsa at tey eru ßlÝtandi, uttan at nřta okkara sansingarg°gn, so er hetta ˇm°guligt.

 

Kanska eitt sindur av ljˇsi kann ver­a kasta ß mßli­, um vit spyrja hendan spurningin: er ta­ skilbori­ ikki at lÝta ß sansingarg°gnini? Tveir tankar eru nŠrliggjandi her. Fyri ta­ fyrsta vÝsir ta­ seg, at vit ikki kunnu anna­ enn lÝta ß okkara sansingarg°gn. ═mynda tŠr hvussu var vori­ um t˙, tß t˙ sß 4 ßra gamla son tÝn liggja og vifta vi­ armunum vi­ h°vdinum undir vatnskorpuni Ý svimjihylinum; sum t˙ visti at hann ikki rakk ß botn Ý. ═ hesum f°rinum er ta­ ikki ein spurningur um at vilja ella meta at sansingarg°gnini eru ßlÝtandi ľ ta­ ver­ur tiki­ fyri givi­.

 

Fyri ta­ nŠsta, um vit ikki litu ß sansingarg°gnini, so vildu vit ˇiva vÝst tekin uppß ßlvarsliga sj˙ku. Ta­ er ikki solei­is, at tann, i­ lÝtur ß sÝni sansingarg°gn (sjßlvt um vi­komandi ikki hevur vÝst at tey eru ßlÝtandi), vÝsir manglandi skil; men heldur at tann, i­ ikki lÝtur ß sÝni sansingarg°gn, vÝsir manglandi skil. Um Karin, i­ metir at hennara sansingarg°gn ikki eru ßlÝtandi, sß son Ý ney­ Ý svimjihylinum, so vildi ta­ veri­ eitt tekin uppß manglandi skil, um hon setti teg ß beinkin fyri at grunda yvir, um sansingarg°gnini Ý hesum f°rinum kanska gˇvu ßlÝtandi informatiˇnir.

 

M°guleiki er sostatt fyri, at kravi­ til induktiˇn er ˇrÝmuligt. Hesin varhugin ver­ur stu­la­ur, tß sama krav ikki kann ver­a m°tt, tß umrŠ­ur okkara sansingarg°gn. Hervi­ er als ikki sagt, at allar induktivar ni­url°gur eru ßlÝtandi ella skilbornar, eins og ta­ eiheldur er sagt, at allar fatanir gj°rdar vi­ hjßlp av okkara sansingarg°gnum eru ßlÝtandi ľ ta­ er ey­sŠ­, vit taka feil og eru ˇskynsom til tÝ­ir. Vi­ hesum er einans vÝst, at um vit halda, at ta­ er skilbor­in meting, at okkara sansingarg°gn eru ßlÝtnandi, so kunnu vit eisini halda fast Ý okkara hugskygni um, at vÝsindi er skilborin, hˇast vit ikki hava vÝst (t.e. uttan sirkularitet) at áinduktiˇn er ßlÝtandi.