Order:
  1.  98
    Is Leibnizian Calculus Embeddable in First Order Logic?Piotr Błaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Taras Kudryk, Thomas Mormann & David Sherry - 2017 - Foundations of Science 22 (4):73 - 88.
    To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on pro- cedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian infinitesimal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  8
    Podwójna Negacja W B 2 Poematu Parmenidesa.Piotr Błaszczyk & Kazimierz Mrówka - 2012 - Argument: Biannual Philosophical Journal 2 (2):235-244.
    Download  
     
    Export citation  
     
    Bookmark  
  3.  7
    Podwójna negacja w B2 Poematu Parmenidesa.Kazimierz Mrówka & Piotr BŁASZCZYK - 2012 - Argument: Biannual Philosophical Journal 2 (2):235 - 244.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark