Dialoog minast

Verivärske dialoog. 

 

Dialoog minast
Karmo Talts

Tavainimene: Mul on vist keskeakriis.
Heideggeriaan: Oled sa mõelnud selle peale, et sa oled heidetud iseendasse?
Tavainimene: Kuidas endasse?
Heideggeriaan: Kui inimene muutub, siis ta ei koge enam ennast ja oma elu tuttavlikuna, vaid millegi võõra ja sattumuslikuna.
Tavainimene: Ja mida ma pean siis nüüd edasi tegema?
Heideggeriaan: Ma pole kindel. Ühest küljest sa oled pühendunud oma projektidele ning näed vaid neid iseenda ja oma elu külgi, mis on nende projektide jaoks vajalikud...
Tavainimene: Nii et ma pean oma projektidest distantseeruma, et oma tõelisest minast paremat pilti saada?
Heideggeriaan: Ma ütlesin, et ma pole kindel. Teisest küljest, kui sul on oma mina, siis sinu praegune elufaas ongi viis, kuidas su mina end näitab. See, kas ta end rohkem näitab, pole enam sinu teha.
Tavainimene: Ma saan ainult valmis olla selleks, kui see juhtuma peaks?
Eksistentsialist: Ma arvan, et ta eksib tõelise mina osas.
Tavainimene: Kuidas nii?
Eksistentsialist: Kas sul sündides oli oma mina? Inimene eelneb oma minale ja võib endale mina luua.
Tavainimene: Kas see ei tähenda seda, et ma olen juba endale mina loonud?
Eksistentsialist: Sa kahtled selles, sest kui sa oleks endale mina loonud, siis sa poleks rahulolematu?
Tavainimene: Just.
Eksistentsialist: Su mina pole kunagi midagi enamat kui enda looming ja sa ei saa kunagi päriselt lõpetada endalt küsimist, kas jääda enda senisele minale truuks või luua endale uus.
Absurdist: See mida eksistentsialist väidab, on vaid katse ratsionaliseerida seda, miks sa rahul ei ole. Tegelikult sa ei suuda leppida sellega, et su mina ei ole loogiline.
Tavainimene: Ma ei saa ju oma mina ära kaotada. Või kaudselt saan, kaotades ära selle olendi, kelle mina see on.
Absurdist: Sa võid ju püüda jätkata ebaloogilisena.
Tavainimene: See on raske.
Absurdist: Seda suuremat rõõmu sellega hakkama saamine teeb.

Valetajalause ja väite "valetajalause on korraga tõene ja väär" ekvivalentsus ja absurdi tõestamine

Valetajalause ja väite "valetajalause on korraga tõene ja väär" ekvivalentsus ja absurdi tõestamine
Karmo Talts

Vaatame valetajalause ja väite "valetajalause on korraga tõene ja väär" suhet. Valetajalausest järeldub, et ta on korraga tõene ja väär ja väites "valetajalause on korraga tõene ja väär" järeldub, et valetajaluse on tõene ja seega järeldub sellest väitest valetajalause.Seega on valetajalause ja väide "valetajalause on korraga tõene ja väär" ekvivalentsed.
Vaatame nüüd valetajalause absurdsuse tõestamist. Ekvivalentsed väited saab vastastikku asendada. Seega tõestab valetajalause absurdsus, et valetajalause pole korraga tõene ja väär.

Intuitsionistliku eituse sisse toomine ja Curry laused

Intuitsionistliku eituse sisse toomine ja Curry laused 

Karmo Talts

Vaatame intuitsionistlikku teoreemi, et kui väitest järeldub absurdsus, siis on väide väär. Selle kontrapositsioon on, et tõesest väitest ei järeldu absurdne järeldus.
Vaatame nüüd selle tähendust Curry paradoksi jaoks. Curry laused räägivad sellele teoreemile vastu.

Koondamine, tühjad tõed, absurdi tõestamine ja eituse sissetoomist

Koondamine, tühjad tõed, absurdi tõestamine ja eituse sissetoomist 

Karmo Talts

 

Vaatame koondamist väite vääruse seisukohast. Kui P on väär, siis on (P→ (P→ Q)) ja (P→ Q) tühjad tõed. Seega on ka (P→ (P→ Q))→(P→ Q) tühi tõde. Seega juhul, kui väide on väär, ei pruugi väide olla korduvaks järelduste tegemiseks saadaval.

Vaatame nüüd absurdi tõestamist ja eituse sissetoomist. Mõlemad eeldavad väära väite korduvat kasutamist, et tõestada väära väite eitust. Seega ei pruugi väide, mida nad kasutavad, olla korduvaks järelduste tegemiseks saadaval.

Curry lause ja absurdsuse ekvivalentsus

Curry lause ja absurdsuse ekvivalentsus 

Karmo Talts 

 

Vaatame absurdseid väiteid. Kuna absurdsed väited on väärad, siis on konditsionaalid, mille eelduseks on aburdne väide, tühjalt tõesed. Seega on väide "kui absurdsus on tõene, siis on Curry lause tõene" tühjalt tõene.

Vaatame nüüd selle tähendust Curry lausete jaoks. Kuna Curry lausest järeldub absurdsus ja absurdsusest järeldub Curry lause, siis on Curry lause ja absurdsus ekvivalentsed.