Välistatud kolmanda seaduse konkreetsete objektide omadustele üldistatud kuju ja vääruse definitsioon klassikalises loogikas
Karmo Talts
Üldistame välistatud kolmanda seaduse kujule "iga objekti x puhul, x-il on predikaat P või pole x-il predikaati P, kolmandat võimalust pole".
Vaatame nüüd traditsioonilist välistatud kolmanda seadust. Välistatud kolmanda seadus eeldab, et predikaat Väärus on defineeritud negatiivse predikaadi Pole tõene abil.
No comments:
Post a Comment