Formaalsed paradoksaalsed tuletuskäigud ja sisukatest eeldustest sisukate järelduste tegemine

Formaalsed paradoksaalsed tuletuskäigud ja sisukatest eeldustest sisukate järelduste tegemine

Karmo Talts

 

Vaatame selle, et loogika on formaalne, tähendust paradokside jaoks. Paradoksaalne tuletuskäik iseenesest ei ole sisukatest eeldustest sisukade järelduste tegemine.

Proovime nüüd valetajalause definitsioonile sisu anda. Kui me asendame X-i valetajalause definitsioonis deklaratiivse lausega P, saame me absurdsuse, et deklaratiivne lause P on väite „P on väär” nimi.

Vaatame nüüd X-i asendamist lausemuutujaid, mis tähistavad deklaratiivseid lauseid, kasutavate loogikatehetega. Me saame absurdsuse, et lausemuutujad, mis tähistavad deklaratiivseid lauseid, kasutavad loogikatehted on väite, et need loogikatehted on väärad, nimed.

Vaatame nüüd X-i edasist asendamist. Kui me asendame X-i lausemuutujatega, mis tähistavad lausemuutujaid, mis tähistavad deklaratiivseid lauseid, kasutavaid loogikateheteid, siis me saame absurdsuse, et lausemuutujad, mis tähistavad lausemuutujaid, mis tähistavad deklaratiivseid lauseid, kasutavaid loogikateheteid on, väite, et need loogikatehted on väärad, nimed. Jne.

Vaatame nüüd selle tähendust. Paradoksaalsele tuletuskäigule pole võimalik anda sisu.