Tõeskeem ja väidete hulga alamhulga X elementidele, mis ütlevad, kuidas asjad on, rakenduv predikaat
Karmo Talts
Vaatame seda, et esmapilgul näib skeem "P on tõene parajasti siis, kui P" sellise tõepredikaadi, mille puhul on olemas kriteeriumid, kas seda saab rakendada väidetele, mis otse või kaudselt ei eita mõne väite tõesust, definitsioonina. Kui predikaat P rakendub igale väitele Q, mis kuulub väidete hulga pärisalamhulka X ja mille puhul on nii, nagu Q ütleb, siis P definitsoon on P(Q):=Q∧(Q∈X). Seega erineb P definitsioon tõeskeemist.
Kommentaare ei ole:
Postita kommentaar