“$\lor$”的谱系
逻辑
2021-12-15 v2 历史与综述
摘要
在形式逻辑中，使用符号 表示析取已无处不在。它从何而来？本文详述了符号 在其历史与逻辑语境中的演变。一些文献称，作为连接命题或公式的析取由皮亚诺引入；另一些则暗示它源自拉丁语“或”（vel）的缩写。我们表明，析取符号 的起源可追溯到怀特海与罗素在《数学原理》之前的形势逻辑工作。由于《数学原理》的影响，其记法被从事逻辑研究的哲学家（尤其是 1920 与 1930 年代的逻实主义者，特别是卡尔纳普与早期奎因）广泛采用。希尔伯特在其《理论逻辑基础》（Grundzüge der theoretischen Logic）中对 的采用，保证了它在数学逻辑学家中的广泛使用。文中亦讨论了其他逻辑符号的起源。
引用
@article{arxiv.2012.06072,
title = {The Genealogy of '$\lor$'},
author = {Landon D. C. Elkind and Richard Zach},
journal= {arXiv preprint arXiv:2012.06072},
year = {2021}
}