Tühjade ja mitte-tühjade tõdede erinev käsitlemine

Tühjade ja mitte-tühjade tõdede erinev käsitlemine 

Karmo Talts

Vaatame argumente selle kasuks, et tühjalt tõeseid väiteid peaks käsitlema teisiti, kui mitte-tühjalt tõeseid väiteid. Ilma tõdede erinevust arvesse võtmata on kaks konditsionaali "kui P, siis Q" esinemisjuhtu omavahel kooskõlas. Kui me võtame seda erinevust arvesse, siis on räägivad tühjalt tõene konditsionaali "kui P, siis Q" esinemisjuht ja mitte-tühjalt tõene konditsionaali "kui P, siis Q" esinemisjuht üksteisele vastu.
Vaatame nüüd modus ponensit. Kui konditsionaal "kui P, siis Q" on mitte-tühjalt tõene ja P, siis Q.  Kui konditsionaal "kui P, siis Q" on tühjalt tõene ja P, siis on tegemist vasturääkivusega.
Vaatame nüüd vasturääkivusest tulenevaid järeldusi. Vasturääkiva konjunktsiooni elimineerimisel saame me P ja P eituse.  Esimesest neist järeldub, et konditsionaal "kui P, siis P või Q" on mitte-tühjalt tõene ja teisest, et konditsionaal "kui P, siis P või Q" on tühjalt tõene. P eitus räägib esimesele konditsionaali esinemisjuhule vastu ja P räägib teisele konditsionaali esinemisjuhule vastu.
Vaatame nüüd koondamist. Kaks väite P esinemisjuhtu on samaväärsed siis, kui nende tõesus on ühte liiki. Kui P üks esinemisjuht on tühjalt tõene ja teine P esinemisjuht on mitte-tühjalt tõene, siis on tegu vasturääkivate P esinemisjuhtudega. 

Vasturääkivused andmetes, refleksiivsus ja konjunktsiooni ellimineerimine

Vasturääkivused andmetes, refleksiivsus ja konjunktsiooni ellimineerimine 

Karmo Talts

Vaatame vasturääkivatest andmetest järelduse tegemist praktika seisust. Me ei tea, kumb vasturääkivatest väidetest on tõene või milline vasturääkivuse osaväidetest on tõene.
Vaatame nüüd selle tähendust loogika jaoks. Vasturääkivate väidete korral andmetes tähendab refleksiivsuse kasutamine mõlema vasturääkiva väite kasutamist järelduste tegemisel, milleks meil pole alust. Kuna me ei tea, kumb neist väidetest on tõene, siis pole meil alust mitte kummagi puhul refleksiivsust kasutada. Otsese vasturääkivuse korral tähendab konjunktsiooni elimineerimine vasturääkivuse mõlema osaväite kasutamist järelduste tegemiseks, milleks meil pole alust.
Vaatame nüüd, kuidas tehniliselt läbi viia seda, et sellistes olukordades refleksiivsust või konjunktsiooni ellimineerimist vältida. Kui meil on loogika, kus nõrgendamine ei kehti juhul, kui eelduste või järelduste hulka laiendadatakse väitega, mis olemasolevatele eeldustele või järeldustele vastu räägib, siis me saame käsitleda refleksiivsust normaaljuhul kehtiva reegli või eeldusena. Kui nõrgendamine ei kehti juhul, kui eelduste või järelduste hulka laiendadatakse otsese vasturääkivusega, siis me saame käsitleda konjunktsiooni elimineerimist  normaaljuhul kehtiva reegli või eeldusena.

Vasturääkivuse plahvatavus ja tühjad tõed

Vasturääkivuse plahvatavus ja tühjad tõed 
Karmo Talts

Vaatame, kuidas on seotud tühjad tõed ja vasturääkivuse plahvatavus. Kui väide on P väär, siis on tühi tõde, et P-st järeldub suvaline järeldus Q. Sellest, et P on vasturääkiv, järeldub konjunktsiooni elimineerimisel, et P on väär. Sellest, et P on väär, järeldub, et konditsionaal "kui P, siis Q" on tühi tõde. Sellest, et P on vasturääkiv, järeldub konjunktsiooni elimineerimisel, et P. P-st ja konditsionaalist "kui P, siis Q" järeldub Q.

 

Sarnaste objektide predikaadid ja soriitide paradoks

Sarnaste objektide predikaadid ja soriitide paradoks 

Karmo Talts

Vaatame soriitide paradoksi sarnaste objektide omaduste seisukohast. x juuksekarvaga pea ja x miinus ühe juuksekarvaga pea näivad väga sarnased ja see tõttu näib, et kui x juuksekarvaga pea pole kiilas, siis x miinus ühe juuksekarvaga pea pole kiilas. Soriitide eeldus taandub eeldusele, et kui x ja y on sarnased ja x-il on predikaat P, siis y-il on predikaat P. 
Vaatame nüüd, kuhu meid viib eeldus, et kui x on y-i sarnane ja x-il on predikaat P, siis on y-il predikaat P. Kui puhas vesi on sarnane veega, millel on lisatud läbipaistvat maitsetut lahtistit ja puhas vesi ei tee kõhtu lahti, siis ei tee  vesi, millele on lisatud läbipaistvat maitsetut lahtistit, kõhtu lahti. 

Semantiline dialetheism ja kõrgema järgu parakonsistentsed loogikad

Semantiline dialetheism ja kõrgema järgu parakonsistentsed loogikad 

Karmo Talts

Vaatame, milline loogika sobiks semantilisele dialetheistile. Kolmanda järgu loogikast madalamates loogikates pole üldse võimalik predikaatidele predikaate omistada, seega ta vajab vähemalt kolmanda järgu parakonsistentset loogikat.
Vaatame nüüd, kuidas ta saab lahus hoida vasturääkivused tähenduses ja maailmas. Kuigi ta ei tunnista eeldust, et iga predikaadi P puhul on nii, et P-l ei saa korraga olla predikaat Q ja mitte olla predikaat Q, võib ta omaks võtta eelduse, et iga esimese järgu objekti x puhul ei saa x-il korraga olla predikaati P ja mitte olla predikaati P. 

Selle uurimine, kas on nii nagu väide ütleb ja tõeskeem

Selle uurimine, kas on nii nagu väide ütleb ja tõeskeem 

Karmo Talts

Vaatame, kas selle välja uurimiseks, et lumi on valge, on vaja tõestada, et väide "lumi on valge" on tõene. Selleks on hoopis vaja vaadelda lund.
Vaatame nüüd selle tähendust tõeskeemi jaoks. Tõeskeem ei võta arvesse seda, et väite, et P on tõene, tõestamiseks on vaja P-d ja väide, et P on tõene, kõigest kasutab eeldust, et P. Seega siis, kui P, siis P on tõene ja kui me oleme tõestanud, et P on tõene, siis me oleme eeldanud, et P.

Koondamise kasutamise lubamine ainult esimese järgu väidetest järelduste tegemise käigus ja paradoksid

Koondamise kasutamise lubamine ainult esimese järgu väidetest järelduste tegemise käigus ja paradoksid

Karmo Talts

Võtame kasutusele järgmise piirangu koondamisele: koondamist saab kasutada ainult esimese järgu väidetest järelduste tegemise käigus.
Vaatame nüüd paradokse. Valetajalause ja Curry lause on väited väidete kohta ja heteroloogilisuse predikaadi kohta käivad väited on väited predikaadi kohta. Seega on nende väidete puhul tegu kõrgema järgu väidetega ja me ei saa kasutada nende kohta käivatest väidetest järelduste tegemise käigus koondamist.