Results for 'Razvan Diaconescu'

Order:
  1. Recenzie la lucrarea: Pr. Prof. Univ. Dr. Nicolae Răzvan Stan (coord.), Rugăciunea în cultul Bisericii și în viața creștinului, Editura Mitropolia Olteniei, Craiova, 2022, 346p. [REVIEW]Doru Marcu - 2022 - Orthodox Theology in Dialogue 8:221-225.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Recenzie la lucrarea: Pr. Conf. Univ. Dr. Nicolae Răzvan Stan coord., Misiunea Bisericii Ortodoxe în Contextul Actual, Editura Mitropolia Olteniei, Craiova, 2016, 332 p. [REVIEW]Doru Marcu - 2016 - Mitropolia Olteniei (5-8):285-291.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2):287-312.
    We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one (...)
    Download  
     
    Export citation  
     
    Bookmark