Switch to: References

Add citations

You must login to add citations.
  1. 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 can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logic, Ontological Neutrality, and the Law of Non-Contradiction.Achille C. Varzi - 2014 - In Elena Ficara (ed.), Contradictions: Logic, History, Actuality. Boston: De Gruyter. pp. 53–80.
    Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)La teoría pragmática de la vaguedad. Problemas Y perspectivas (the pragmatic theory of vagueness. Problems and perspectives).Enrique Romerales - 2004 - Theoria 19 (1):49-75.
    Los dos grandes problemas del enfoque supervaluacionista para la vaguedad son determinar cuáles son las precisificaciones admisibles y la vaguedad de orden superior ilimitado. Apelando al uso de los términos vagos por la comunidad lingüística competente puede dividirse de forma tajante la extension de un término precisando en qué casos se aplica definidamente, en cuáles se aplica indefinidamente y en cuales es indeterminado si se aplica. Esto produce dos órdenes de vaguedad, con lo que se bloquean los argumentos sorites. Finalmente (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations