Switch to: References

Add citations

You must login to add citations.
  1. Signs as a Theme in the Philosophy of Mathematical Practice.David Waszek - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Springer.
    Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Genealogy of ‘∨’.Landon D. C. Elkind & Richard Zach - 2022 - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations