Predikaadid, mis rakenduvad ainult predikaatidele, ja paradoksid
Karmo Talts
Vaatame predikaate, mis rakenduvad predikaatidele. Mõned neist rakenduvad ainult predikaatidele ja teised rakenduvad ka muudele objektidele peale predikaatide. Ma nimetan predikaate, mis rakenduvad ainult predikaatidele metapredikaatideks.
Vaatame nüüd paradokse. Kui me käsitleme väiteid null-kohaliste predikaatidena, siis on suur osa paradokse seotud metapredikaatidega nagu „heteroloogiline” ja „väär”.
Vaatame nüüd harilikke mitte-paradoksaalseid juhte. See, et predikaat Punane on heteroloogiline sõltub sellest, et tal puudub mitte-metapredikaat Punane. See, et väide „lumi on valge” on tõene, sõltub sellest, et lumel on mitte-metapredikaat Valge.
Vaatame nüüd mitte-paradoksaalised juhte, mis on siiski anomaalsed. See, et me ei saa otsustada, kas väide „see väide on tõene” on tõene, sõltub sellest, et me ei saa otsustada, kas sellel väitele on metapredikaat Tõene.
Vaatame nüüd selle tähendust metakeele ja objektkeele eristuse jaoks. Oluline pole eristus mitte selle vahel, kas väide käib keele kohta või mitte, vaid selle vahel, kas väide kasutab metapredikaate või mitte.
Kommentaare ei ole:
Postita kommentaar