Võimalus tegelikku maailma kirjeldada moonutatult ja väita midagi, mis üldse ei kirjelda tegelikku maailma ning tõeväärtused

Võimalus tegelikku maailma kirjeldada moonutatult ja võimalus väita midagi, mis üldse ei kirjelda tegelikku maailma ning tõeväärtused

Karmo Talts

 

Vaatame selle tähendust võimalike loogikate jaoks, et väär väide võib maailma kirjeldada moonutatult või üldse mitte maailma kirjeldada. On võimalik luua loogika, kus väide P kirjeldab maailma adekvaatselt või P kirjeldab maailma moonutatult või P ei kirjelda maailma.

Vaatame nüüd millal eksistentsiväide kirjeldab maailma moonutatult. Kui väide P ütleb, et leidub x, millel on predikaadid Q, R... ja leidub x, millel on vähemalt üks neist predikaatidest ja puudub vähemalt üks neist predikaatidest, siis kirjeldab eksistentsiväide maailma moonutatult.

Vaatame nüüd millal eksistentsiväide ei kirjelda maailma. Kui väide P ütleb, et leidub objekt x, millel on predikaadid Q, R... ja tegelikult ei leidu x-i, millel on vähemalt üks neist predikaatidest, siis P ei kirjelda maailma.

Vaatame nüüd millal üldine väide kirjeldab maailma moonutatult. Kui väide P ütleb, et igal objektil x on predikaadid Q, R.. ja tegelikult igal x-il on vähemalt üks neist predikaatidest ja puudub vähemalt üks neist predikaatidest, siis kirjeldab P maailma moonutatult.

Vaatame nüüd millal üldine väide ei kirjelda maailma. Kui väide P ütleb, et leidub objekt x, millel on predikaadid Q, R... ja tegelikult igal x-il puuduvad kõik need predikaadid , siis P ei kirjelda maailma.

Vaatame nüüd tõestamist. Tegelikkust adekvaatselt kirjeldav eeldus tõestab vähemalt ühe tegelikkust adekvaatselt kirjeldava järelduse, tegelikkust moonutatult kirjeldav eeldus tõestab vähemalt ühe tegelikkust moonutatult kirjeldava järelduse ja eeldus, mis ei kirjelda tegelikkust, tõestab vähemalt ühe järelduse, mis ei kirjela tegelikkust.

Vaatame nüüd, kas tegelikkust moonutavad järeldused tõestavad väärasid järeldusi. Kuna mitme predikaadi omistatavatusest rääkivatest eeldustest on võimalik teha järeldusi selle kohta, kuidas on lood ühe predikaadi omistatavusega ja ühte predikaati omistatavusest rääkivad väited kas kirjeldavad tegelikkust või ei kirjelda seda, siis järeldub tegelikkust moonutavatest eeldustest ka järeldusi, mis ei kirjelda tegelikkust

Vaatame nüüd teaduslikke teooriaid. Erinevad tegelikkust moonutavad teooriad tõestavad erineva hulga tegelikkust adekvaatselt kirjeldavaid järeldusi ja tõestavad erineva hulga tegelikkust moonutavaid järeldusi ja tõestavad erineva hulga järeldusi, mis ei kirjelda tegelikkust. Seega on tegelikkust moonutavatel teooriatel erinev kvaliteet.