Deflatsiooniline tõeteooria ja väidete hulgad

Deflatsiooniline tõeteooria ja väidete hulgad

Karmo Talts 

 

Vaatame, kuidas deflatsioonilist tõeteooriat kohandada väidete hulkadele. Kui mingi hulk väiteid on tõesed, siis on nii, nagu kõik sellesse hulka kuuluvad väited ütlevad.

Vaatame nüüd võimalusi selle kirja panemiseks. Kui me tahame öelda,et on nii, nagu kõik väidete hulka gamma kuuluvad väited ütlevad, paneme me kirja kreeka tähe gamma.

Vaatame nüüd, mis sellest, et on nii, nagu kõik gammasse kuuluvad väited ütlevad, järeldub gammasse kuuluvate väidete kohta. Kui on nii, nagu gammasse kuuluvad väited ütlevad ja P kuulub gammasse, siis on nii, et P.

Vaatame nüüd võimalusi selle kirja panemiseks. Eelduste hulka kirjutame me Γ ja  P∈Γ ja järelduste hulka P.

Vaatam nüüd väärasid väiteid. Kui kõik mingisse väidete hulka kuuluvad väited on väärad, siis pole nii, nagu ükski sellesse hulka kuuluv väide ütleb.

Vaatame nüüd võimalusi selle kirja panemiseks. Kui me laiendame lauseloogikat kreeka tähete abil, siis me peame lubama kreeka tähtede abil kirja pandud väidetele loogikatehete rakendamist. 

Vaatame nüüd eitust. Kuna väidete hulga gamma teeb vääraks üksainus gammasse kuuluv väär väide, siis me peame eituse rakendamise kreeka tähetedele reserveerima selle jaoks, et vähemalt üks hulka kuuluv väide on väär. Seega me vajame me uut sümbolit, mis jaatab väidete hulka kuuluvate väidete eituste konjunktsiooni.   

Vaatame nüüd, mis sellest, et pole nii, nagu ükski gammasse kuuluv väide ütleb, järeldub gammasse kuuluvate väidete kohta. Kui pole nii nagu, ükski gammasse kuuluv väide ütleb ja P kuulub gammasse, siis pole nii, et P.

Vaatame nüüd võimalusi selle kirja panemiseks. Eelduste hulka kirjutame me, et gammale rakendub meie uus tehe ja  P∈Γ ja järeldustesse P eituse.

Arengu sattumuslikkus

Verivärske dialoog.

 

Arengu sattumuslikkus
Karmo Talts

Leonid: Tagane minust, hallutsinatsioon.
Georg: Ma olen vaim, mitte hallutsinatsioon.
Leonid: Vaime pole olemas.
Georg: Oled sa kindel, et midagi peale vaimu on üldse olemas? Aga ma tahtsin hoopis rääkida veast, mille ma tegin.
Leonid: Kui sina tegid vea, siis korjas Karl selle üles. See oleks katastroof!
Georg: See viga, nagu vead tihtipeale, on arengu jaoks vajalik. 
Leonid: Milles see viga siis seisneb?
Georg: Oletame, et mõistete areng toimub nii: mõiste on eristamatu oma eitusest ja sublanteerub sellega. Miks me peaks sel juhul arvame, et areng on paratamatu?
Leonid: Miks siis mitte?
Georg: Mõtlemine võib ju tarduda ja mitte jõuda mõiste sublanteerimiseni selle eitusega.
Leonid: Nüüd sa ütled veel, et mõtlemine võib taandareneda ja mõiste eristatamatust selle eitusest enam mitte märgata.
Georg: Just.
Leonid: See ju tähendab, et ühiskond võib tarduda ja mitte ületada oma vastuolusid.
Mihhail: Selle pärast sa peadki astuma eest ja mulle teed andma, Leonid.
Karl: Vaata ette, ühiskond võib ju taandareneda ja langeda tagasi ühiskondliku arengu eelmisele tasemele.
Mihhail: Seda ei saa juhtuda. 
Karl: Kui ühiskond saab tarduda, siis saab see ka ...
Mihhail: Ma pean nüüd ühiskonda äratama minema. Pärast räägime edasi, eks.

Vasturääkivustest järelduv väärus ja nõrgendamine

Vasturääkivustest järelduv väärus ja nõrgendamine

Karmo Talts

 

Vaatame selle tähendust nõrgendamise jaoks, et klassikalises loogikas järeldub P-d ja P eitust sisaldavast eelduste hulgast väärus. Me saame eelduste hulgast, millesse kuulub P, P-d ja P eitust sisaldava eelduste hulga sellele eelduste hulgale P eituse lisamisel ja eelduste hulgast, millesse kuulub P eitus, P-d ja P eitust sisaldava eelduste hulga sellele eelduste hulgale P lisamisel. Seega on õigustatud vasak-nõrgendamise piiramine senistele eeldustele vasturääkivate eelduste lisamisel.
Vaatame nüüd parem-nõrgendamist. Sümeetria huvides on õigustatud parem-nõrgendamise piiramine nii, et me ei saa lisada järelduste hulgale järeldusi, mis kasutavad eitusi ja räägivad vastu järelduste hulgas sisalduvatele eitusi kasutatavatele väidetele.

Küsimustele õigesti vastatamise võimalikkus ja tõeväärtused

Küsimustele õigesti vastatamise võimalikkus ja tõeväärtused 

Karmo Talts

Vaatame tõeväärtusi küsimustele õigesti vastatamise võimalikkuse seisukohast. Kui küsimusele x on võimalik õigesti vastata, siis on küsimusel x õige vastus, mis on tõene väide ja on valed vastused, mis on väärad väited. Kui x-le pole õiget vastust, siis pole küsimuse x võimalikud vastused ei tõesed ega väärad või ei ole seda vähemalt võimalik kindlaks teha, kas nad on tõesed või väärad.
Vaatame nüüd esimest võimalust. See eeldab, et lisaks tõestele ja vääradele väidetele leiduvad väited, mis pole tõesed ega väärad. Väide y pole tõene ega väär siis, kui ei leidu ühtegi küsimust x, mille puhul y on x-i vastus ja x-ile on võimalik õigesti vastata.

Ebamäärasus ja objektidel keskmiselt olev omaduse määr

Ebamäärasus ja objektidel keskmiselt olev omaduse määr 

Karmo Talts

 

Vaatame, kas mõnikord lahendab ebamäärasuse probleemi see, kui objektil on omadus A siis, kui objektil on mingit teist omadust B rohkem või vähem, kui asjasse puutuvatel objektidel keskmiselt. Kui inimene on keskmisest palju pikem, siis on lihtne otsustada seda, kas ta on pikk. Kui keegi on keskmisest veidi pikem, siis on selle, et ta on pikk, kindlaks tegemiseks vaja ta täpselt ära mõõta ja teada inimeste keskmist pikkust.

Vaatame nüüd soriite. Keskmine inimene pole kiilas. Eeldus, et kui inimesel on rohkem juuksekarvu, kui keskmisel inimesel, siis ta pole kiilas, on tõene. Ilma inimeste täpset juustekarva arvu ja keskmist juustekarva arvu teadmata on raske inimeste juustekarvade arvu võrrelda. See tekitab illusiooni, et varieeruva juustekarvade arvuga inimestel on ligikaudu sama palju juukseid, kuigi x miinus üks juuksekarva ei ole sama palju juuksekarvu kui x miinus kaks juuksekarva, kumbki neist pole sama palju juuksekarvu, kui x miinus kolm juuksekarva jne.

Loogiline nihilism ja tõestamine

Loogiline nihilism ja tõestamine 

Karmo Talts 

 

Tõlgendame loogilist nihilismi tõestamise seisukohast. Pole tagatud, et tõestest eeldustest järelduvad tõesed järeldused, sest pole olemas loogikaseadusi, mille rakendamine selle tagaks.

Vaatame nüüd eelduse, et on tõestest eeldustest järelduvad tõesed järeldused, tähendust loogikaseaduste jaoks. Leidub vähemalt üks loogikaseadus.

Eeldus, et mõnesid predikaate ei saa omistada teatud tüüpi väidetele, ja eitus

Eeldus, et mõnesid predikaate ei saa omistada teatud tüüpi väidetele, ja eitus

Karmo Talts

  

Eeldame, et iga objekti x ja iga predikaadi P puhul x on tüüpi, millele saab omistada predikaadi P, ja x-il on predikaat P või x on tüüpi, millele saab omistada predikaadi P, ja x-il pole predikaati P või x on tüüpi, millele ei saa omistada predikaati P. Meil on nüüd vaja eituse, mis ütleb, et objektil x, mis on tüüpi, millele saab omistada predikaadi P, pole predikaati P, kõrvale eitust, mis ütleb, et P pole predikaat, mida saab tüüpi, kuhu kuulub x, kuuluvale objektile omistada.
Vaatame nüüd, kuidas see uus eitus käitub väite ees. Väide, mis rakendab väitele P-le seda eitust, ütleb, et P teeb vähemalt ühe lubamatu predikaadiomistuse või P rakendab vähemalt ühe korra valet tüüpi eitust.