问询:数理逻辑史上首次在英文自然语言中使用‘existential quantifier’术语的人物
数理逻辑史上首次在英文自然语言中使用‘existential quantifier’术语的人物
我现在有个疑问想请教大家:数理逻辑史上,是谁首次在著作中使用了“existential quantifier”这个术语?
我已经确认过,皮尔士(Peirce)并没有在他1883年的著作《Studies in Logic》,或是1885年发表在《American Journal of Mathematics》第7期的《On the algebra of logic》中使用过这个术语。
那到底是谁第一个使用它的呢?
补充说明:我想知道的是英文自然语言中首次使用“existential quantifier”这个术语的人。
备注:内容来源于stack exchange,提问作者Amandoros
相关产品推荐
相关产品推荐

