In discussions of ‘religion-and-science’, faith is usually emphasized more than works, scientists’ beliefs more than their deeds. By reversing the priority, a lingering puzzle in the life of Ronald Aylmer Fisher , statistician, eugenicist and founder of the neo-Darwinian synthesis, can be solved. Scholars have struggled to find coherence in Fisher’s simultaneous commitment to Darwinism, Anglican Christianity and eugenics. The problem is addressed by asking what practical mode of faith or faithful mode of practice lent unity to his life? Families, (...) it is argued, with their myriad practical, emotional and intellectual challenges, rendered a mathematically-based eugenic Darwinian Christianity not just possible for Fisher, but vital. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ 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 ∨ 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 ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)