Switch to: References

Add citations

You must login to add citations.
  1. The Genealogy of ‘∨’.Landon D. C. Elkind & Richard Zach - 2023 - Review of Symbolic Logic 16 (3):862-899.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Frege's Curiously Two-Dimensional Concept-Script.Landon D. C. Elkind - 2021 - Journal for the History of Analytical Philosophy 9 (11).
    In this paper I argue that the two-dimensional character of Frege’s Begriffsschrift plays an epistemological role in his argument for the analyticity of arithmetic. First, I motivate the claim that its two-dimensional character needs a historical explanation. Then, to set the stage, I discuss Frege’s notion of a Begriffsschrift and Kant’s epistemology of mathematics as synthetic a priori and partly grounded in intuition, canvassing Frege’s sharp disagreement on these points. Finally, I argue that the two-dimensional character of Frege’s notations play (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Frege's Principle.Richard Heck - 1995 - In J. Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. Kluwer Academic Publishers.
    This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations