Results for 'Iml D’Ottaviano'

930 found
Order:
  1. The Centre for Logic in Campinas and the development of logic in Brazil.Iml D'Ottaviano, Wa Carnielli & Eh Alves - forthcoming - Logique Et Analyse.
  2. Conservative translations.Iml D’Ottaviano & H. A. Feitosa - 2001 - Annals of Pure and Applied Logic 108:205-227.
     
    Export citation  
     
    Bookmark   9 citations  
  3. The centre for logic in campinas and the development of logic in Brazil iml D'Ottaviano, wa Carnielli and eh Alves.Loglca Matemdtlca - 1996 - Logique Et Analyse 39 (154):15-29.
  4. Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
    This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.
     
    Export citation  
     
    Bookmark  
  5.  15
    Conference Report.I. D'ottaviano, W. Carnielli, A. Sette & M. Wrigley - 1997 - Logic Journal of the IGPL 5 (3):135-173.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  34
    Paraconsistent Logics and Translations.Itala M. Loffredo D’Ottaviano & Hércules de Araújo 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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  49
    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   3 citations  
  8.  58
    Definability and quantifier elimination for j3-theories.Ítala M. L. D'Ottaviano - 1987 - Studia Logica 46 (1):37 - 54.
    The Joint Non-Trivialization Theorem, two Definability Theorems and the generalized Quantifier Elimination Theorem are proved for J 3-theories. These theories are three-valued with more than one distinguished truth-value, reflect certain aspects of model type logics and can. be paraconsistent. J 3-theories were introduced in the author's doctoral dissertation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  35
    Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.
    This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  42
    Para além das Colunas de Hércules, uma história da paraconsistência.Evandro Luis Gomes & Itala Maria Loffredo D'Ottaviano - 2017 - Campinas, Brazil: Editora da Unicamp.
  11.  77
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  14
    Conferences.I. M. L. D'Ottaviano - 1997 - Logic Journal of the IGPL 5 (3):1-38.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  37
    CLE/SBL 25 Years XIII Brazilian Logic Conference.Itala M. Loffredo D'Ottaviano - 2004 - Bulletin of Symbolic Logic 10 (4):594-595.
  14.  32
    Deductive systems and translations.Itala M. Loffredo D'Ottaviano & H. A. Feitosa - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite, Perspectives on Universal Logic. Milan, Italy: Polimetrica. pp. 125--157.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Um panorama da teoria aristotélica do silogismo categórico.Evandro Luís Gomes & Itala Maria L. D'Ottaviano - 2010 - CLE E-Prints 10 (4):1-22.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  18
    Cogito ergo sum non machina! About Gödel's first incompleteness theorem and turing machines.Ricardo Pereira Tassinari & Itala M. Loffredo D'Ottaviano - 2007 - CLE E-Prints 7 (3):10.
    The aim of this paper is to argue about the impossibility of constructing a complete formal theory or a complete Turing machines' algorithm that represent the human capacity of recognizing mathematical truths. More specifically, based on a direct argument from Gödel's First Incompleteness Theorem, we discuss the impossibility of constructing a complete formal theory or a complete Turing machines' algorithm to the human capacity of recognition of first-order arithmetical truths and so of mathematical truths in general.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  55
    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 (contrary and contradictory) studied (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  53
    Aristotle's Theory of Deduction and Paraconsistency.Evandro L. Gomes & Ítala M. L. D.?Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71-97.
    No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  31
    Foreword DOI: 10.5007/1808-1711.2011v15n1p1.Evandro Agazzi, Ítala M. Loffredo D’Ottaviano & Daniele Mundice - 2011 - Principia: An International Journal of Epistemology 15 (1):1-5.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20. Translations between logical systems: a manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
    The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  55
    An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.Walter Carnielli, Marcelo Coniglio & Itala D'ottaviano - 2005 - Logic Journal of the IGPL 13 (1):1-3.
    This volume corresponds to the Proceedings of the XIII Brazilian Logic Conference held at the CLE - Centre for Logic, Epistemology and the History of Science in Campinas, SP, Brazil from May 26-30, 2003 under the auspices of the SBL - Brazilian Logic Society and the ASL - Association for Symbolic Logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Pragmatic Nonsense.Ricardo Peraça Cavassane, Itala M. Loffredo D'Ottaviano & Felipe Sobreira Abrahão - manuscript
    Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  15
    Quality and Form in the philosophy of Charles Sanders Peirce.Alexandre Augusto Ferraz & Itala M. Loffredo D’Ottaviano - 2020 - Cognitio 20 (2):343-377.
    O principal objetivo deste artigo é apresentar uma identidade possível entre os conceitos de forma e de qualidade na filosofia de Charles Sanders Peirce, por meio de seus argumentos em sua Semiótica e em sua Cosmologia. Em outras palavras, nosso objetivo é mostrar que a primeiridade consiste em uma forma, parte constitutiva da natureza da terceiridade, na medida em que a tendência à generalização ou à aquisição de hábitos estava prefigurada na origem do cosmos. De natureza indutiva, o passo do (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  41
    Pablo Domínguez Prieto. Indeterminación y verdad. La polivalencia lógica en la escuela de Lvóv-Varsovia. Nossa y Jara Editores, Madrid 1995, 289 pp. [REVIEW]Itala M. L. D'Ottaviano - 2000 - Bulletin of Symbolic Logic 6 (3):349-351.
  25.  59
    Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
    In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  26.  75
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. New dimensions on translations between logics.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano - 2009 - Logica Universalis 3 (1):1-18.
    After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  28. Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli & Itala M. L. D'ottaviano - 2001 - Studia Logica 69 (3):439-439.
     
    Export citation  
     
    Bookmark  
  29. Aftermath of the Logical Paradise.Jean-Yves Beziau, Alexandre Costa-Leite & Itala M. Loffredo D’Ottaviano (eds.) - 2017
    No categories
     
    Export citation  
     
    Bookmark  
  30. Natural deduction for paraconsistent logic.Milton Augustinis de Castro & Itala Maria Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
     
    Export citation  
     
    Bookmark   2 citations  
  31. Critica dell' idéalismo, Coll. « Problemi d'oggi », 3e série, vol. I.Carmelo Ottaviano - 1960 - Revue de Métaphysique et de Morale 65 (2):224-224.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  27
    Virgil, eclogue 4.53–4: A quantum of spiritus is not enough.Silvia Ottaviano - 2013 - Classical Quarterly 63 (2):897-899.
    In a recent contribution to this journal, D. Kovacs addresses the following passage from the fourth Eclogue :o mihi tum longae maneat pars ultima uitae,spiritus et quantum sat erit tua dicere facta!Kovacs takes it for granted that the meaning of l. 54 should correspond to the Loeb translation, ‘and inspiration enough to hymn your deeds!’. Starting from this assumption, he rejects the reading spiritus, arguing that a genitive is required ; the possible solution he suggests is pectoris, used metaphorically in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Lottin Dom Odon, "la théorie du libre arbitre depuis S. Anselme jusqu'à S. Thomas d'aquin". [REVIEW]Carmelo Ottaviano - 1930 - Rivista di Filosofia Neo-Scolastica 22:405.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  51
    Paraconsistency: the logical way to the inconsistent, edited by Walter A. Carnielli, Marcelo E. Coniglio, and Itala M. Loffredo D'Ottaviano, Marcel Dekker, New York, 2002, xiv + 552 pp. [REVIEW]Casey N. McGinnis - 2003 - Bulletin of Symbolic Logic 9 (3):410-412.
  35.  30
    Carnielli, Walter (ed.). Logic and Philosophy of the Formal Sciences: A Festscrift for Itala M. Loffredo D´ Ottaviano. São Paulo: Centro de Lógica, Epistemología e Historia da Ciência, UNICAMP (Número especial de Manuscrito, Revista Internacional de Filosofia, vol. 28, n. 2, jul-dez.) pp. 191-591.(2005). [REVIEW]Tomás Barrero - 2006 - Ideas Y Valores 55 (132):124-126.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  54
    Richard L. Epstein. The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux. Nijhoff international philosophy series, vol. 35. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xxii + 386 pp. [REVIEW]Graeme Forbes - 1991 - Journal of Symbolic Logic 56 (4):1499-1500.
  37. Farah, I., Basis problem for turbulent actions I: Tsirelson submeasures (1} 3) 189} 203 Feitosa, HA and Lo4redo D: Ottaviano, IM, Conservative translations (1} 3) 205} 227 Friedman, Sy D., see Bagaria, J.(1} 3) 3} 13. [REVIEW]R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (373):374.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  43
    Roman Egypt La Serie dei Prefetti di Egito. I. Da Ottaviano Augusto a Diocleziano (A. 3c Av. Cr.—A.D. 288.) By Luigi Cantarelli. Roma: Accademia dei Lincei. 1906. Pp. 78. 5 lire. [REVIEW]G. M. Young - 1907 - The Classical Review 21 (06):183-184.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. Alexius Celadenus And Ottaviano Ubaldini: An Epilogue To Bessarion's Relationship With The Court Of Urbino.John Monfasani - 1984 - Bibliothèque d'Humanisme Et Renaissance 46 (1):95-110.
    No categories
     
    Export citation  
     
    Bookmark  
  40. (1 other version)Many-valued points and equality.Costas Drossos & Daniele Mundici - 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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. (1 other version)Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  7
    The algebra of ordinary discourse. On the semantics of Cooper’s logic.Umberto Rivieccio - forthcoming - Archive for Mathematical Logic:1-23.
    We develop an algebraic study of W.S. Cooper’s three-valued propositional logic of ordinary discourse ( $$\mathcal{O}\mathcal{L}$$ O L ). This logic displays a number of unusual features: $$\mathcal{O}\mathcal{L}$$ O L is not weaker but incomparable with classical logic, it is connexive, paraconsistent and contradictory. As a non-structural logic, $$\mathcal{O}\mathcal{L}$$ O L cannot be algebraized by the standard methods. However, we show that $$\mathcal{O}\mathcal{L}$$ O L has an algebraizable structural companion, and determine its equivalent semantics, which turns out to be a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  41
    Strange Bedfellows: Ayn Rand and Vladimir Nabokov.D. Johnson - 2000 - Journal of Ayn Rand Studies 2 (1):47 - 67.
    D. Barton Johnson traces the parallel lives and literary origins of two Russo-American writers: Ayn Rand and Vladimir Nabokov. Born in Saint Peterburg six years apart, they overlapped on the New York Times bestsellers list in the late fifties. While Nabokov's Russian cultural roots have been much explored, Rand's were little realized prior to Chris Matthew Sciabarra's investigation of her Russian philosophical context. Nabokov and Rand represent polar examples of their cultural heritage: for Nabokov, the aesthetically-oriented tradition of the modernist (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  20
    7. Just how big are natural languages?D. Terence Langendoen - 2010 - In Harry van der Hulst, Recursion and Human Language. De Gruyter Mouton. pp. 139-146.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  14
    Die Suche nach Wahrheit im Horizont fragmentarischer Existenzialität: eine Studie über den Sinn der Frage nach "Gott" in der Gegenwart in Auseinandersetzung mit Gianni Vattimo, John D. Caputo und Jean-Luc Nancy.Friederike D. Rass - 2017 - Tübingen: Mohr Siebeck.
    The quest for the one "Truth" in a pluralist society seems to have become as redundant as it is problematic - in much the same way that the idea of one "God" being the all-determining reality has. Yet we have not given up searching and the word "God" still continues to polarize, whether in society, theology or philosophy. In view of this seeming paradox, Friederike D. Rass seeks an alternative route that goes off the beaten track and beyond the temptation (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Les Méthodes de la Définition d'après Aristote.M. D. Roland-Gosselin - 1912 - Revue des Sciences Philosophiques Et Théologiques 6:235-252.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Explaining altruistic behavior in humans.D. M. Messick - unknown
    Recent experimental research has revealed forms of human behavior involving interaction among unrelated individuals that have proven difficult to explain in terms of kin or reciprocal altruism. One such trait, strong reciprocity is a predisposition to cooperate with others and to punish those who violate the norms of cooperation, at personal cost, even when it is implausible to expect that these costs will be repaid. We present evidence supporting strong reciprocity as a schema for predicting and understanding altruism in humans. (...)
     
    Export citation  
     
    Bookmark  
  50.  22
    On Writing: A Column by Morton D. Rich.Morton D. Rich - 1990 - Inquiry: Critical Thinking Across the Disciplines 5 (2):2-2.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 930