Switch to: References

Add citations

You must login to add citations.
  1. Frege’s Ancestral and Its Circularities.Ignacio Angelelli - 2012 - Logica Universalis 6 (3-4):477-483.
    After presenting the ordinary and the Fregean formulations of the ancestral, I raise the question of what is their relationship, the natural candidate being that the Fregean version is an analysans intended to improve upon, and replace, the common notion of ancestral (the analysandum). Next, two types of circles that arise in connection with the Fregean ancestral are presented, and it is claimed that one of the circles makes it impossible to maintain the just described (“replacement”) interpretation. A reference is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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  
  • The Origin of the Theory of Types.Ryo Ito - 2018 - Annals of the Japan Association for Philosophy of Science 27:27-44.
    Download  
     
    Export citation  
     
    Bookmark  
  • Preuves intuitionnistes touchant la première philosophie.Joseph Vidal-Rosset - 2013 - In . Les Cahiers D'Ithaque.
    Download  
     
    Export citation  
     
    Bookmark  
  • La méthode axiomatique durant la crise des fondements.Mathieu Bélanger - 2013 - In . Les Cahiers D'Ithaque.
    Download  
     
    Export citation  
     
    Bookmark