Mitä

Kun mistä tahansa teoriasta poistetaan oletukset,jää vain loppupäätelmä.

Teoriat koostuvat pääteelyketjusta,jossa premissejen,eli oletusten pohjalta päätellään johtopäätös.

A1 A2 A3... AN=Z

Nämä oletukset on voitava asettaa kyseenalaiseksi,jotta voisimme varmistua niiden oikeudellisuudesta. Emme voi saada varmaa tietoa mistään,sillä jonkun yksinkertaisimmankin ilmiön varmistaminen vaatii äärettömän määrän testejä. Edes "Roope -Setä-Miljardit" testit ei riitä.

Jos "oletukset" poistetaan,jää
[] [] [] ... []=Z

Jäljelle jää siis jonkinlainen rakenne,jolla päättely on suoritettu oletusten pohjalta. Yksinään ne eivät merkkaa kuitenkaan mitään
(Jos[]on totta ja []on totta,niin siitä seuraapi että Z)
Jos oletukset poistetaan,jää jäljelle jokaikisestä teoriasta, pelkkää merkityksetöntä sanahelinää ja loppupäätelmä.

Siksi tärkeää onkin se,että oletukset ovat mahdollisimman yksinkertaisia(=rajaavia) ja niitä on mahdollisimman vähän, ja että ne voitaisiin osoittaa jollain tavoin vääräksi.
Jos oletus on kyvyiltään rajaamaton,eikä sitä voitaisi millään vastaesimerkeillä osoittaa vääräksi,niin on se kyllä joka tilanteessa ristiriidaton,mutta se ei ole sellainen oletus,jota voitaisiin tieteeseen ottaa. Kun luomisopista poistaa Suunnittelijan,mitä jää jäljelle?

höh