For å vise at vi ikke kan skille gyldige induktive slutninger på en formallogisk måte, argumenterte Goodman for at vi alltid kan stille opp to induktive slutninger med identisk formal struktur, men motsiende konklusjon.
Goodman tar utgangspunkt i en rimelig induktiv slutningsregel, som for eksempel at dersom man trekker 1000 grønne baller opp av en beholder som skjuler ballenes farge, så vil den neste ballen en trekker opp, også vil være grønn. Regelen som støtter opp om en slik slutning og definerer dens formale struktur, vil være som følger:
Enkel induktiv regel:
- I et stort tilfeldig utvalg fra en begrenset mengde, er alle F G.
- Derfor vil den neste F være G (alternativt: Derfor vil alle F være G).
Denne regelen kan vi nå bruke til å konkludere med at siden vi har trukket mange grønne baller opp av en ugjennomsiktig beholder, så vil også den neste ballen være grønn:
- I et stort tilfeldig utvalg av baller trukket frem av en ugjennomsiktig beholder, har alle baller til nå vært grønne.
- Derfor vil den neste ballen vi trekker ut, også være grønn.
Grue og bleen er to fiktive ord Goodman laget fra de engelske farge-ordene, green og blue. Han definerte en ting som grue dersom det tilfredsstiller følgende betingelse: Noe er grue hvis og bare hvis det er grønt og observert før midnatt nyttårsaften år 2050, men ellers (det vil si etter midnatt nyttårsaften 2050) er det blått. Bleen defineres på samme måte hvis det motsatte er sant, det vil si at det er blått før nyttårsaften 2050, men grønt etter.
Disse fiktive ordene kan selvsagt virke tullete, men Goodmans poeng er at de lager prinsipielle problemer for å definere induktive slutninger formallogisk. Fordi dersom vi frem til midnatt nyttårsaften 2050 trekker utelukkende grønne baller opp av en ugjennomsiktig beholder, så vil begge disse to argumentene ha identisk formal form og samme induktive grunnlag:
Grønn:
- I et stort tilfeldig utvalg frem til nyttårsaften 2050 er alle baller grønne.
- Derfor vil den neste ballen være grønn.
Grue:
- I et stort tilfeldig utvalg frem til nyttårsaften 2050 er alle baller grue.
- Derfor vil den neste ballen være blå.
Ifølge Goodman vil samme argumentform med samme observasjonsgrunnlag gi opphav til to motstridende konklusjoner. At de fleste vil regne argumentet som heter Grønn, for å være det mest rimelige av de to, har ikke noe med det formale ved argumentsformen å gjøre, men er, ifølge Goodman, fordi farge-begreper som grønn har et meningsinnhold som er mer innarbeidet i vår kultur. Løsningen på induksjonsproblemet er derfor at vi benytter begreper som er innarbeidede i vårt språk, men dette lar seg ikke skille ut formallogisk eller syntaktisk. Derfor kan det ikke gis en logikk for induktive slutningsformer.
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.