| 拉姆赛 Frank Plumpton Ramsey1903—1930 亦译“阮墨西”。英国逻辑学家、哲学家。任教于剑桥大学。先后于1925年和1926年发表的论文《数学基础》和《数理逻辑》，提出区分两类不同性质悖论的思想。认为悖论可分为逻辑的与语义的。逻辑悖论不涉及内容，只涉及类、关系、数，能用符号逻辑体系的语言表述。这种悖论系由于试图建立逻辑体系而引起，表明逻辑或数学必定在什么地方出了差错。逻辑学家真正关心的就是这类悖论。语义悖论不是纯逻辑和纯数学的，仅用逻辑术语无法表达它们。因为它们含有一些经验的而非形式的术语。语义悖论不能归咎于逻辑或数学，而只能归咎于思想或语言中的错误观念。主张通过区分对象语言和元语言以解决语义悖论。完全以外延观点看待命题函数，将分支类型论简化为简单类型论，试图以此消除悖论，为数学寻找合适的逻辑基础。主要著作去世后由布雷斯威特编辑出版《数学基础和其他逻辑论文》(1931)。 |