Semanttiset ongelmat

Loogisen empirismin semantiikka eli merkitysoppi käsittelee aihetta:

Kuinka atomilauseiden totuus määritellään?

Koska kysymys on empirismistä on totuus määriteltävä empiirisen maailman mukaan.

Voidaan puhua totuusfunktiosta joka yhdistää lauseen ja maailman.

Usein ihmiset ovat arkielämässään liiankin hanakoita pitämään tätä kielen ja maailman suhdetta triviaalina. He uskovat lähes kaiken kuulemansa, ja se mistä on mustaa valkoisella on varmasti totta.

Mikä tahansa kielellinen ilmaus antaa vain jonkinlaisen epätäydellisen kuvan maailmasta. Vanha Zen - sanonta vertaa sanojen ja todellisuuden suhdetta Kuuhun ja kuuta osoittavaan sormeen.

Loogisen empirismin verifioitavuusprinsiippi edellyttää totuuden korrespondenssimääritelmää, eli Tarskin totuusmääritelmää:

Totuuden korrespondenssimääritelmä:

Atomilause on tosi silloin ja vain silloin kun sen kertoma asiantila vallitsee maailmassa.

 

Verifiointiongelmia

Korrespondenssimääritelmän avulla on helppo verifioida lause:

Naapurin kissa on musta.

Verifiointi tapahtuu katsomalla minkä värinen naapurin kissa on.

Asia muuttuu huomattavasti ongelmallisemmaksi kun puhutaan yleiskäsitteistä.

Lause

Kissoilla on neljä jalkaa.

tarkastelee yleiskäsitettä kissa . Lauseen verifioiminen edellyttäisi kaikkien maailman kissojen jalkojen laskemista ja on käytännössä mahdoton, joskin periaatteessa mahdollinen.  Näin palataan monasti käsiteltyyn ongelmaan induktiivisista yleistyksistä.

Jos tarkastellaan yleiskäsitettä musta käsitteleviä lauseita joudutaan kysymään mitä empiiristä seikkaa tämä käsite vastaa? Onko se kenties kaikkien mustien esineiden joukko.

Tieteellisissä teorioissa on valtavasti käsitteitä joita ei voi empiirisesti verifioida. Jos looginen empirismi hyväksytään jyrkässä muodossa on mieletöntä puhua absoluuttisen nollapisteen olosuhteista, mustan kappaleen säteilystä, tai siitä miten funktio käyttäytyy äärettömyydessä tai nimittäjän nollakohdissa.

Tietysti on paljon lauseita, joita ei pystytä empiirisesti verifioimaan, mutta jotka periaatteessa on verifioitavissa, kuten: Onko muiden tähtien planeetoilla elämää.

Totuuden koherenssimääritelmä

Huomattuaan kuinka vaikeita semanttisia ongelmia verifioitavuusprinsiippi aiheuttaa Wittgenstein luopui loogisesta empirismistä.  Hänen mukaansa lievennetty verifioitavuusprinsiippi vesittää koko teorian, eikä sen avulla voi sanoa filosofisten lauseiden mielekkyydestä mitään.

Käytännön tieteessä on kuitenkin omaksuttu tämä lievempi totuusmääritelmä:

Totuuden koherenssimääritelmä

Lausetta voidaan pitää totena kunnes se empiirisesti osoitetaan vääräksi.

 

 

 

 

 

paluu