Curry悖论研究 

Curry悖论1942年被Curry提出,起初并不是通常所研究的悖论形式而是针对早期组合子逻辑的不一致性。后来经Prior、Fitch的研究将其拓展至集合论悖论领域,而又经过Geach将其引申到语义悖论领域以致有了如今在逻辑哲学界中通常的表述:“如果这句话是真的,那么上帝存在”(这句话指代“如果这句话是真的,那么上帝存...
华中科技大学  硕士论文  2013年 下载次数(77)| 被引次数(0)