5 found
Order:
  1.  15
    Aristotle’s Theory of Deduction and Paraconsistency.Evandro Luís Gomes & Itala M. Loffredo D'Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71-97.
    In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail the trivialization of the logical theory involved. This thesis is corroborated by three different theoretical topics by him discussed, which are presented in this paper. We analyse inference schema used by Aristotle in the Protrepticus and the method of indirect demonstration for categorical syllogisms. Both methods exemplify as Aristotle employs classical reductio ad absurdum strategies. Following, we discuss valid syllogisms from opposite premises studied by the Stagerian (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  25
    Paraconsistent Logics and Translations.Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa - 2000 - Synthese 125 (1/2):77 - 95.
    In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. " Cogito Ergo Sum Non Machina!" About Gödel's First Incompleteness Theorem and Turing Machines.Ricardo Pereira Tassinari & Itala M. Loffredo D'Ottaviano - 2007 - Cogito 7:3.
  4.  15
    Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤N<Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n (...))
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    CLE/SBL 25 Years XIII Brazilian Logic Conference.Itala M. Loffredo D'Ottaviano - 2004 - Bulletin of Symbolic Logic 10 (4):594-595.