Fact, Fiction, and Forecast

"Fact, Fiction, and Forecast" on Nelson Goodmani filosoofiline raamat. Selle esmatrükk ilmus 1955.
Selles esitab ta muu hulgas uue induktsioonimõistatuse ja oma lahenduse sellele.

1. Probleem üldiselt

Kui puuduvad vahendid kontrafaktuaalide tõlgendamiseks, siis saab vaevalt väita, et meil on adekvaatne teadusfilosoofia. Teadusliku seaduse rahuldav definitsioon, rahuldav kinnitusteooria või dispositsiooniterminite (sealhulgas "punane") lahendaks suure osa kontrafaktuaalide probleemist. Ja kontrafaktuaalide probleemide lahendus annaks vastuse küsimustele seaduse ja kinnituse kohta ning potentsiaalsuse tähenduse kohta. Autor ei väida, et kontrafaktuaalide probleem on nende omavahel seotud probleemide seas loogiliselt või psühholoogiliselt esmane. Pole suurt vahet, kust alustada.
Milles probleem seisneb? Piirdume juhtumitega, kus nii antetsedent kui ka konsekvent on muudetamatult väärad. Probleem on määratleda asjaolud, mille korral antud kontrafaktuaal on tõene ning kontrafaktuaal, mille konsekvent on selle kontrafaktuaali konsekvendi eitus, ei ole tõene. Ja see kriteerium tuleb seada hoolimata sellest, et kontrafaktuaali ei saa empiiriliselt testida, realiseerides selle antetsedendi.
Jutt kontrafaktuaalide probleemist on eksitav selles mõttes, et probleem ei sõltu lause kujust. Kontrafaktuaali saab esitada ka faktikonditsionaalina, mille antetsedent ja konsekvent on tõesed. Näiteks kontrafaktuaalile "Kui seda võitükki oleks kuumutatud 50 kraadini, oleks see sulanud" saab esitada kujul "Et see võitükk ei sulanud, siis seda ei kuumutatud 50 kraadini". Mõlemal juhul on jutt  teatud laadi seosest osalausete vahel, ja lause tõeväärtus ei sõltu mitte osalausete tõeväärtustest, vaid selle seose olemasolust. Selle teisenduse võimalikkus valgustab probleemi olemust ja näitab, et asi ei ole faktivastasuses.
Semifaktuaali näide on lause "Isegi kui tikku oleks tõmmatud, ei oleks see (ikkagi) süttinud." Seda ei saa esitada kujul "Isegi kui tikk süttis, ikkagi seda ei tõmmatud." Ei tahetud öelda mitte seda, et tõmbamisest saab järeldada mittesüttimist, vaid seda, et tõmbamisest ei saa järeldada süttimist. Semifaktuaal tavaliselt eitab seda, mida väidab selle osalausete eitusi sisaldav täielik kontrafaktuaal, meie juhtumil "Kui tikku oleks tõmmatud, oleks see süttinud." Nii et praktikas (kui semifaktuaali ei võeta sõna-sõnalt; vihjeks on sõnad "isegi" ja "ikkagi") täielikud kontrafaktuaalid jaatavad ja semifaktuaalid eitavad teatud seost antetsedendi ja konsekvendi vahel.
Mõned kontrafaktuaalide liigid tekitavad spetsiaalseid probleeme, näiteks "kontraidentikaalid" "Kui mina oleksin Julius Caesar, siis ma ei oleks 20. sajandil elus" ja "Kui Julius Caesar oleks mina, siis ta oleks 20. sajandil elus," kus antetsedent on seesama samasus, kuid konsekvendid on just sellesama samasuse tõttu ühitamatud, ja "kontrakomparatiivid", mille antetsedent on "kui mul oleks rohkem raha". Viimase puhul on raskus selles, et kui ma tahan esitada osalaused ajatute ja mittemodaalsetena, siis ma saan "kui "mul on rohkem raha, kui mul on" tõene," mis on iseendale vasturääkiv. "Kontralegaalide" antetsedendid kas eitavad seadusi ("kui kolmnurgad oleksid ruudud") või oletavad võimatut fakti ("kui see suhkrukuup oleks ühtlasi kerakujuline"). Need raskused on huvitavad, kuid mitte ületamatud. (Kontrakomparatiivide puhul saab raskuse lahendada, kui need sõnastada nii, et see, millega võrreldakse, oleks fikseeritud.) Edaspidises esituses selliseid problemaatilisi kontrafaktuaale välditakse.
On kaks põhilist probleemi, mis pole küll sõltumatud ja mida võib vaadelda ühe probleemi osadena.  Kontrafaktuaal on tõene, kui on teatud seos antetsedendi ja konsekvendi vahel. Aga konsekvent järeldub antetsedendist harva pelga loogika tõttu. 1) Väide, et on seos, tehakse eeldusel, et on teatud asjaolud, mida antetsedendis ei mainita. Kui öeldakse: "Kui seda tikku oleks tõmmatud, oleks see süttinud," siis eeldatakse, et tingimused on niisugused, et sellest, et seda tikku tõmmatakse, saab järeldada, et tikk süttib, (tikk on kvaliteetne ja piisavalt kuiv, hapnikku jätkub jne). Nii et väidetavat seost võib mõista nii, et antetsedendi asemel on selle konjunktsioon tingimusi väljendavate väidetega. Kontrafaktuaali väite eelduseks need tingimused ei ole: me ei väida, et kontrafaktuaal on tõene, kui need tingimused on täidetud, vaid seda kontrafaktuaali väites me võtame sidumuse, et vastavaid tingimusi kirjeldavad väited ongi tõesed. Esimene põhiline probleem on määratleda asjassepuutuvad tingimused: konkretiseerida, millised tingimused on mõeldud võtta antetsedendile lisatavateks. 2) Aga isegi kui tingimused on konkretiseeritud, ei ole saadav seos tavaliselt loogiline seos. Printsiip, mis võimaldab sellest, et seda tikku tõmmatakse, see tikk on piisavalt kuiv, hapnikku on piisavalt jne, järeldada, et see tikk süttib, ei ole loogikaseadus, vaid loodusseadus ehk füüsikaseadus ehk kausaalne seadus. Teine põhiline probleem puudutab nende seaduste defineerimist.