Ebakonsistentsed definitsioonid ja ekvivalentsuse kasutamise piiramine
Karmo Talts
Vaatame loogikat, kus on ebakonsistentsetena saab käsitleda definitsioone. Ebakonsistentse definitsiooni puhul tuleb piirata ekvivalentsuse kasutamist. Kui me ei saa asendada ebakonsistentselt defineeritud väidet (või predikaati) selle väite (või predikaadiga), mille abil väide (või predikaat) on defineeritud, siis me ei saa ka midagi paradoksaalset tuletada.
Kommentaare ei ole:
Postita kommentaar