论文标题
“ $ \ lor $”的家谱
The Genealogy of '$\lor$'
论文作者
论文摘要
在形式逻辑中使用符号$ \ lor $用于脱节的情况无处不在。它来自哪里？本文详细介绍了符号$ \ lor $在其历史和逻辑上下文中的演变。一些消息来源说，Peano引入了将其用作连接命题或公式的脱节。其他人则认为它起源于拉丁语“或”，vel的缩写。我们表明，符号$ \ lor $的脱节的起源可以追溯到怀特海和罗素在正式逻辑领域的主要工作。由于原理的影响，其符号被从事逻辑（1920年代和1930年代的逻辑经验家，尤其是Carnap和早期Quine）的哲学家广泛采用。希尔伯特（Hilbert）在他的grundzügedertheoretischen逻辑中采用了$ \ lor $，保证了数学逻辑学家的广泛使用。还讨论了其他逻辑符号的起源。
The use of the symbol $\lor$ for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol $\lor$ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for "or", vel. We show that the origin of the symbol $\lor$ for disjunction can be traced to Whitehead and Russell's pre-Principia work in formal logic. Because of Principia's influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert's adoption of $\lor$ in his Grundzüge der theoretischen Logic guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed.
