Muokataan osiota sivusta Suunnitteluteoria ja kreationismi

=== Havaintoesimerkki: koirat ja mäyräkoirat ===

Esimerkki valaissee asiaa: millainen on "koiran" ja "mäyräkoiran" välinen käsitteellinen suhde? Ilmeisesti ne ovat jossain mielessä sisäkkäisiä, mutta kumpi niistä tarkkaan ottaen sisältää toisen?

'''Väite 1''': "Mäyräkoira" sisältää "koiran".<br />
'''Perustelu 1''': Näkeehän sen suoraan, että "mäyräkoira" sisältää "koiran": jätetään vain alun "mäyrä"-osa pois, niin jäljelle jää nimenomaan "koira". Kun "koiraan" on ''lisätty'' jotain, nimittäin "mäyrä"-alku, on saatu jotain ''enemmän'' kuin mistä on lähdetty liikkeelle – pitäisihän kaikkien tietää, että lisäämällä saadaan enemmän, vähentämällä taas vähemmän. "Koira" on siis vähemmän, "mäyräkoira" enemmän, eikä enempi voi sisältyä vähempään vaan ainoastaan vähempi enempään. Lopultakin vain "tietämättömät, tyhmät, hullut tai ilkeät" voivat väittää näin ilmiselvää asiaa vastaan. '''M.O.T.'''

'''Väite 2''': "Koira" sisältää "mäyräkoiran".<br />
'''Perustelu 2''': "Mäyräkoira" on ''tietyn koirarodun'' nimi, mutta ''kaikenrotuiset koirat'' ovat tietysti koiria. Koiran käsite siis sisältää mäyräkoirankin käsitteen, koska kaikki mäyräkoirat voi ilman muuta luokitella myös koiriksi. Mäyräkoiran käsite ei sitä vastoin voi sisältää koiran käsitettä, sillä kaikkia koiria ei voi eikä saa luokitella mäyräkoiriksi. Mäyräkoira on siis suppeampi käsite, joka sisältyy kokonaisuudessaan laajempaan (tarkemmin määrittämättömän) koiran käsitteeseen. '''M.O.T.'''

Vaikuttaako paradoksaaliselta? Eiväthän molemmat ilmeisen ristiriitaiset väitteet voi olla oikeassa. Itse asiassa tässä puhutaankin kahdesta eri asiasta. Paradoksi raukeaa, kun väitteet ilmaistaan tarkemmin:

'''Väite 1'''': "Mäyräkoiran" ''intensio'' sisältää "koiran" ''intension'' (ja lisäksi muutakin).

Tämä tarkoittaa sitä, että kaikki "koira"-sanan ilmaisema informaatio sisältyy "mäyräkoira"-sanan ilmaisemaan informaatioon. Jos siis tiedämme, että Lusku on koira, tiedämme Luskusta jo paljon; mutta jos tiedämme Luskun mäyräkoiraksi, tiedämme saman kuin äskenkin ja ''lisäksi muutakin'', mitä emme tietäisi pelkästään siitä, että Lusku on (jonkinlainen) koira.

'''Väite 2'''': "Koiran" ''ekstensio'' sisältää "mäyräkoiran" ''ekstension'' (ja lisäksi muutakin).

Tämä taas tarkoittaa sitä, että "kaikkien mäyräkoirien joukko" on "kaikkien koirien joukon" osajoukko. Jos siis ajattelemme kaikkia mäyräkoiria, niin niitähän on jo paljon; mutta jos ajattelemmekin kaikkia koiria, niin silloin ajattelemme yhä kaikkia mäyräkoiria ja ''lisäksi muutakin'', nimittäin kaikkia niitäkin koiria, jotka eivät ole mäyräkoiria, kaikkiaan siis äskeistä vielä paljon useampia eläimiä.