Gillian Russelli eelduse paradoks ja koondamiseta loogika
Karmo Talts
Vaatame paradoksi, et eeldusest "see on eeldus" järeldub "see on eeldus", kuigi tegemist on hoopis järeldusega, koondamiseta loogika seisukohast. Kui me järeldame eeldusest „see on eeldus“, et see on eeldus, siis me jätame eelduse „see on eeldus“ edasiste järelduste tegemiseks saadavale“. Kui me kasutame eeldusi „see on eeldus“ ja „kui see (siin) on eeldus, siis see (siin) on (hoopis) järeldus“ selle järeldamiseks, et see siin on hoopis järeldus, siis me ei jäta eeldust „see on eeldus" edasiste järelduste tegemiseks saadavale.
No comments:
Post a Comment