You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

问询:数理逻辑史上首次在英文自然语言中使用‘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

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.04.17 11:08:12