皮尔士谜题的范畴类型逻辑解析

皮尔士谜题关注的是自然语言及其形式化表达式真值不一致的问题。本文在概述皮尔士谜题的基本构造及其解决方案的基础上,借助范畴类型逻辑的技术手段,给出这一谜题的语言学解析方案,以便于进一步说明皮尔士谜题出现的语言学原因。