Results for 'metmathematics'

Order:
  1.  50
    Julius Konig et les Principes Aristoteliciens.Marcel Guillaume - 2009 - Principia: An International Journal of Epistemology 13 (2):153-164.
    In his posthumous book from 1914, "New foundations of logic, arithmetic and set theory", Julius Konig develops his philosophy of mathematics. In a previous contribution, we attracted attention on the positive part (his truth and falsehood predicates being excluded) of his "pure logic": his "isology" being assimilated to mutual implication, it constitutes a genuine formalization of positive intuitionistic logic. Konig's intention was to rebuild logic in such a way that the excluded third's principle could no longer be logical. However, his (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark