Järeldamine, ressursid ja paradoksid
Karmo Talts
Üldistame konditsionaali tõestamise ressurside hankimisele. Kui A abil saab esile kutsuda protsessi, mille tulemuseks on B, siis saab A abil hankida B-d. Konditsionaali tõestamine on selle erijuht, kus eelduse A abil saab esile kutsuda järeldamiseprotsessi, mille tulemuseks on B järeldamine.
Vaatame nüüd, kuidas erinevad vähem abstraktsed ressursid ja eeldused. Vähem abstraktse ressursi puhul on ligilähedaselt kindlaks tehtav, kui palju A-d B hankimiseks kulub. Kuna näiliselt saab sama eelduse kasutamise juurde lõputult tagasi pöörduda ja enamasti ei teki sellest probleeme, siis näib järeldamise puhul kehtivat koondamise struktuurne reegel.
Vaatame nüüd paradokside tähendust. Kuna paradoksi puhul samade eelduste juurde tagasi pöördumine tekitab probleemi, siis ei saa kõik väited olla ühetaolised ressursid.
Vaatame nüüd, kuidas erinevad väidetele viitavad väited teistest väidetest. Kui väide A ei viita mõnele väitele, siis võib küll tõestuses kasutada ekvivalentsust, aga A tähendus ei sõltu ainult sellest ekvivalentsusest.
Vaatame nüüd selle tähendust ekvivalentsuse kasutamise jaoks. Harilikul juhul saame me A asendamisel ekvivalenste väitega B väite, mis ei ole väide, millest A tähendus täielikult sõltub.
Vaatame nüüd selle tähendust koondamise jaoks. Harilikult saame me A-d B-ga asendades ressursi, millest A täielikult ei sõltu. Kui me jätkame A kasutamist juhul, kus A viitab mõnele väitele, siis me käsitleme A-d B-st sõltumatu ressursina, millest tulenevad järeldused, mis ei sõltu B-st. Kuna sel juhul tegelikult A tähendus ja A-s tulenevad järeldused sõltuvad täielikult B-st, siis A-st ei tulene järeldusi, mida ei tulene B-st ja A asendamise järel B-ga tuleb lõpetada A-st järelduste tegemine.
