Year:

  1.  5
    Hobson’s Conception of Definable Numbers.Zhao Fan - 2020 - History and Philosophy of Logic 41 (2):128-139.
    In this paper, I explore an intriguing view of definable numbers proposed by a Cambridge mathematician Ernest Hobson, and his solution to the paradoxes of definability. Reflecting on König’s paradox and Richard’s paradox, Hobson argues that an unacceptable consequence of the paradoxes of definability is that there are numbers that are inherently incapable of finite definition. Contrast to other interpreters, Hobson analyses the problem of the paradoxes of definability lies in a dichotomy between finitely definable numbers and not finitely definable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  14
    Frege: A Philosophical Biography: Dale Jacquette, Cambridge: Cambridge University Press, 2019. Xiv + 667 Pp. Hardcover $45.00. ISBN: 978-0-521-86327-8. Ebook $36.00, ISBN 978-1-108-36504-8. [REVIEW]Wolfgang Kienzler - 2020 - History and Philosophy of Logic 41 (2):199-202.
    Volume 41, Issue 2, May 2020, Page 199-202.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  18
    Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered.Paolo Maffezioli - 2020 - History and Philosophy of Logic 41 (2):191-198.
    I investigate Bocheński's first-order logic formalization of the argument for the incorruptibility of the human soul given by Aquinas in Summa Theologiae (Ia,75,6). I suggest a slightly different axiomatization that reflect better Aquinas' informal argument. Along the way, I also fix a mistake in Bocheński's derivation that the human soul is not corruptible per se.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    On Jan Łukasiewicz's ‘The Principle of Contradiction and Symbolic Logic’.Adam Trybus & Bernard Linsky - 2020 - History and Philosophy of Logic 41 (2):183-190.
    This is a companion article to the translation of ‘Zasada sprzeczności a logika symboliczna’, the appendix on symbolic logic of Jan Łukasiewicz's 1910 book O zasadzie sprzeczności u Arytotelesa (On the Principle of Contradiction in Aristotle). While the appendix closely follows Couturat's 1905 book L'algebra de la logique (The Algebra of Logic), footnotes show that Łukasiewicz was aware of the work of Peirce, Huntington and Russell (before Principia Mathematica). This appendix was influential in the development of the Polish school of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    Proof Vs Provability: On Brouwer’s Time Problem.Palle Yourgrau - 2020 - History and Philosophy of Logic 41 (2):140-153.
    Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I will argue. This and other consequences of Brouwer’s attempt to found mathematics on the intuition of a move of time have heretofore been insufficiently appreciated. Whereas the mathematical anomalies of intuitionism have received enormous attention, too little time, I’ll try to show, has been devoted to some of the temporal anomalies (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  13
    The Principle of Contradiction and Symbolic Logic.Jan Łukasiewicz, Adam Trybus & Bernard Linsky - 2020 - History and Philosophy of Logic 41 (2):154-182.
    This is the first English translation directly based on the original Polish ‘Zasada sprzeczności a logika symboliczna’, the appendix on symbolic logic of Jan Łukasiewicz's 1910 book O zasadzie sprzeczności u Arytotelesa (On the Principle of Contradiction in Aristotle).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues