Year:

  1. Paradeduction in Axiomatic Formal Systems.Edelcio Gonçalves de Souza, Alexandre Costa-Leite & Diogo Henrique Bispo Dias - 2019 - Logique Et Analyse 246 (62):161-176.
     
    Export citation  
     
    Bookmark  
  2.  16
    Apophatic Finitism and Infinitism.Jan Heylen - 2019 - Logique Et Analyse 62 (247):319-337.
    This article is about the ontological dispute between finitists, who claim that only finitely many numbers exist, and infinitists, who claim that infinitely many numbers exist. Van Bendegem set out to solve the 'general problem' for finitism: how can one recast finite fragments of classical mathematics in finitist terms? To solve this problem Van Bendegem comes up with a new brand of finitism, namely so-called 'apophatic finitism'. In this article it will be argued that apophatic finitism is unable to represent (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues