Tõe koherentsiteooria ja eituse sissetoomine

Tõe koherentsiteooria ja eituse sissetoomine 

Karmo Talts

 

Vaatame eitus sissetoomist tõe konsistentsiteooria seisukohast. Kui selle tõestamiseks, et väitest P-järeldub vasturääkivus, läheb vaja eeldusi, mis P-st endast ei järeldu, siis ei tõesta see, et P-st järeldub vasturääkivus, mitte P eitust, vaid seda, et teooria ei ole kooskõlaline. Kas teooria muuta kooskõlaliseks P eitamise abil või eitades vähemalt ühte neist eeldustest, mida on vaja selle tõestamiseks, et P-st järeldub vasturääkivus, on valiku küsimus.

Vaatame nüüd selle tähendust tõe konsistenstiteooria jaoks sobiva eituse jaoks. Eitus ütleb, et P pole teooriaga kooskõlas. Lisaks võib kasutusele võtta teise eituse, mis ütleb, et P viib vasturääkivuseni kasutades ainult neid eeldusi, mis P-st ilma teiste eeldusteta järelduvad.