Loogiline nihilism ja nõrgendamine
Karmo Talts
Vaatame loogilise nihilismi ja struktuursete reeglite suhet. Kui ei kehti nõrgendamine, siis võib loogiline nihilist kasutada vaikimisi reegleid.
Vaatame nüüd võimalusi mõnede vaikimis reeglite süsteemide jaoks. Tühja väidete hulga korral kehtivad klassikalise loogika teoreemid. Kui lisada vasturääkivaid eeldusi, hakkavad kehtima hägusloogika reeglid. Kui lisada eeldusi, mis eiravad väite eituse tõeväärtuse arvutamise reegleid hägusloogikas, siis vastavalt sellele, kas nende eelduste konjunktsiooni tõeväärtus on üle või alamääratud, hakkavad kehtima inutsionistliku hägusloogika või mediatiivse hägusloogika reeglid.
No comments:
Post a Comment