Switch to: References

Add citations

You must login to add citations.
  1. 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   2 citations  
  • Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte.Shahid Rahman - 1997 - History and Philosophy of Logic 18 (3):165-183.
    The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Die signififchen Grundlagen der Mathematik.Gerrit Mannoury - 1934 - Erkenntnis 4 (1):317-345.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Die signififchen Grundlagen der Mathematik.Gerrit Monoury - 1934 - Erkenntnis 4 (1):317-345.
    Download  
     
    Export citation  
     
    Bookmark