8 found
Order:
See also
Carlos A. Oller
Universidad de Buenos Aires (UBA)
  1.  30
    Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.
    William Parry conceived in the early thirties a theory of entail-
    ment, the theory of analytic implication, intended to give a formal expression to the idea that the content of the conclusion of a valid argument must be included in the content of its premises. This paper introduces a system of analytic, paraconsistent and quasi-classical propositional logic that does not validate the paradoxes of Parry’s analytic implication. The interpretation of the expressions of this logic will be given in terms of a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  18
    Contradictoriness, Paraconsistent Negation and Non-Intended Models of Classical Logic.Carlos A. Oller - 2016 - In Holger Andreas & Peter Verdee (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends In Logic. Dordrecht: Springer. pp. 103-110.
    It is usually accepted in the literature that negation is a contradictory-forming operator and that two statements are contradictories if and only if it is logically impossible for both to be true and logically impossible for both to be false. These two premises have been used by Hartley Slater [Slater, 1995] to argue that paraconsistent negation is not a “real” negation because a sentence and its paraconsistent negation can be true together. In this paper we claim that a counterpart of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Deontic Logic as Based on a System of Analytic Implication (Abstract).Carlos A. Oller - 1993 - Journal of Symbolic Logic 58 (4):1477-1478.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Los modificadores de predicado y su lógica.Carlos A. Oller - 1987 - Análisis Filosófico 7 (1):47.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  15
    La implicación lógica y el doble uso de los principios lógicos en Russell y Lewis - Logical implication and the double use of logical principles in Russell and Lewis.Carlos A. Oller - 2018 - Epistemologia E Historia de la Ciencia 2 (2):17-26.
    Una interpretación particularmente influyente de la teoría de la implicación lógica de Bertrand Russell y Clarence I. Lewis es la propuesta por Quine en su artículo “Reply to Professor Marcus”. Allí Quine sostiene que la lógica modal de Lewis nació en pecado: el pecado de confundir uso con mención, ya que cuando se afirma que una oración implica lógicamente a otra, estas oraciones no están siendo usadas sino mencionadas. Según la interpretación de Quine, Clarence I. Lewis persistió en el error (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  24
    Obligaciones Prima Facie y Derrotabilidad.Carlos A. Oller - 2006 - Análisis Filosófico 26 (1):147-155.
    Este artículo examina algunos de los problemas que presenta el tratamiento lógico de las obligaciones prima facie en la obra de Carlos Alchourrón. Por una parte, señalaremos que su sistema para los condicionales derrotables DFT no formaliza adecuadamente la noción intuitiva de condición contribuyente que Alchourrón utiliza para elucidar la de condicional derrotable. Por otra parte, argumentaremos que la noción de deber prima facie de David Ross no queda adecuadamente formalizada en el sistema AD de lógica deóntica que Alchourrón construye (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  9
    Lógica formal y argumentación.Carlos A. Oller - 2006 - Revista de Filosofía y Teoría Política 37:83-91.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  4
    Measuring Coherence Using LP-Models.Carlos A. OLLER - 2004 - Journal of Applied Logic 2 (4):451-455.
    This paper introduces a technique for measuring the degree of (in)coherence of inconsistent sets of propositional formulas. The coherence of these sets of formulas is calculated using the minimal models of those sets in G. Priest's Logic of Paradox. The compatibility of the information expressed by a set of formulas with the background or domain knowledge can also be measured with this technique. In this way, Hunter's objections to many-valued paraconsistent logics as instruments for measuring (in)coherence are addressed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation