65 found
Order:
See also:
Profile: Walter Carnielli (University of Campinas)
Profile: Walter Carnielli
  1. Walter Carnielli & Rodrigues Abilio, On the Philosophical Motivations for the Logics of Formal Consistency and Inconsistency.
    We present a philosophical motivation for the logics of formal inconsistency (LFIs), a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency (and inconsistency as well) within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  12
    Walter A. Carnielli & Itala Ml D'Ottaviano (1997). Translations Between Logical Systems: A Manifesto. 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 (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. Carlos Caleiro, Walter Carnielli, Marcelo Coniglio & João Marcos (2005). Two's Company: The Humbug of Many Logical Values. In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlag 169-189.
    The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with more (...)
     
    Export citation  
     
    My bibliography   7 citations  
  4.  14
    Walter Carnielli & Abílio Rodrigues (2015). Towards a Philosophical Understanding of the Logics of Formal Inconsistency. Manuscrito 38 (2):155-184.
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  20
    Walter A. Carnielli, João Marcos & Sandra De Amo (2000). Formal Inconsistency and Evolutionary Databases. Logic and Logical Philosophy 8 (2):115-152.
    This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  6.  26
    Walter Carnielli (2006). Surviving Abduction. Logic Journal of the IGPL 14 (2):237-256.
    Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation is a kind of complement for usual argumentation. There is, however, an inferential step from the explanandum to the abductive explanans . Whether this inferential step can be captured by logical machinery depends upon a number of assumptions, but in any case it suffers in principle from the triviality objection: any time a singular contradictory explanans occurs, the system collapses (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  7. Walter Carnielli (1986). Seventh Latin American on Mathematical Logic- Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. Journal of Symbolic Logic 51 (4):1093-1103.
    This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. -/- The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  37
    Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D'Ottaviano (2009). New Dimensions on Translations Between Logics. 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 (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  3
    Walter Carnielli (ed.) (2002). Paraconsistency:The Logical Way to the Inconsistent. CRC Press.
    The Logical Way to the Inconsistent Walter Alexandr Carnielli, Marcelo Coniglio, Itala Maria Lof D'ottaviano. Beyond Truth(-Preservation) R.E. JENNINGS Laboratory for Logic and Experimental Philosophy, Simon Fraser University, Burnaby, ...
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  10.  19
    Walter A. Carnielli & João Marcos (1999). Limits for Paraconsistent Calculi. Notre Dame Journal of Formal Logic 40 (3):375-390.
    This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as $ \mathcal {C}$n, 1 $ \leq$ n $ \leq$ $ \omega$, is carefully studied. The calculus $ \mathcal {C}$$\scriptstyle \omega$, in particular, constitutes no more than a lower deductive bound to this hierarchy and differs considerably from its companions. A long standing problem in the literature (open for more than 35 years) is (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  11.  20
    Juan C. Agudelo & Walter Carnielli (2011). Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities. Review of Symbolic Logic 4 (1):150-170.
    A new (sound and complete) proof style adequate for modal logics is defined from the polynomial ring calculus (PRC). The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra–Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S5, and can be easily extended (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  16
    A. M. Sette & Walter A. Carnielli (1995). Maximal Weakly-Intuitionistic Logics. Studia Logica 55 (1):181 - 203.
    This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  13.  19
    Walter A. Carnielli & Marcelo E. Coniglio (1999). A Categorial Approach to the Combination of Logics. Manuscrito 22 (2):69-94.
    In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  40
    Walter Carnielli & Abilio Rodrigues, On Philosophical Motivations for Paraconsistency: An Ontology-Free Interpretation of the Logics of Formal Inconsistency.
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  25
    Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
    his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  16.  2
    Lorenzo Magnani, Walter Carnielli & Claudio Pizzi (2012). Special Issue: Formal Representations in Model-Based Reasoning and Abduction. Logic Journal of the IGPL 20 (2):367-369.
    This is the preface of the special Issue: Formal Representations in Model-based Reasoning and Abduction, published at the Logic Jnl IGPL (2012) 20 (2): 367-369. doi: 10.1093/jigpal/jzq055 First published online: December 20, 2010.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  1
    Anderson De Araújo & Walter Carnielli (2012). Non-Standard Numbers: A Semantic Obstacle for Modelling Arithmetical Reasoning. Logic Journal of the IGPL 20 (2):477-485.
    The existence of non-standard numbers in first-order arithmetics is a semantic obstacle for modelling our arithmetical skills. This article argues that so far there is no adequate approach to overcome such a semantic obstacle, because we can also find out, and deal with, non-standard elements in Turing machines.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  19
    Cristina Sernadas, João Rasga & Walter A. Carnielli (2002). Modulated Fibring and the Collapsing Problem. Journal of Symbolic Logic 67 (4):1541-1569.
    Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the semantic and deductive levels. (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  19.  1
    Richard L. Epstein & Walter A. Carnielli (1989). Computability Computable Functions, Logic, and the Foundations of Mathematics. Monograph Collection (Matt - Pseudo).
    This book is dedicated to a classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal (...)
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  20.  31
    Tomás Barrero & Walter Carnielli (2005). Tableaux sin refutación. Matemáticas: Enseñanza Universitaria 13 (2):81-99.
    Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  65
    Newton C. A. Costa & Walter A. Carnielli (1986). On Paraconsistent Deontic Logic. Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  22.  25
    Walter A. Carnielli & Mamede Lima Marques (1991). Razão e irracionalidade na representação do conhecimento. Trans/Form/Ação 14:165-177.
    How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...)
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  23.  15
    Walter Carnielli & Maria Cláudia C. Grácio (2008). Modulated Logics and Flexible Reasoning. Logic and Logical Philosophy 17 (3):211-249.
    This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new monotonic logical systems are proposed here, the “Logic of (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  24.  21
    Walter Carnielli (2009). Meeting Hintikka's Challenge to Paraconsistentism. Principia 13 (3):283-297.
    http://dx.doi.org/10.5007/1808-1711.2009v13n3p283 Em uma série de seminários e conferências no Brasil em 2008, Jaakko Hintikka, em uma série de palestras no Brasil em 2008, defendeu que a “IF-lógica” (“independence friendly logic”) e a lógica paraconsistente são, em certo sentido, bastante similares. A partir do esboço de um novo sistema paraconsistente, ele afirma que várias potencialidades da IF-lógica podem ser reproduzidas na lógica paraconsistente. Uma das grandes dificuldades, deixada como um desafio, seria a formulação de condições de verdade para esta nova linguagem (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25.  15
    Walter Alexandre Carnielli & Luiz Paulo Alcantara (1984). Paraconsistent Algebras. Studia Logica 43 (1-2):79 - 88.
    The prepositional calculiC n , 1 n introduced by N.C.A. da Costa constitute special kinds of paraconsistent logics. A question which remained open for some time concerned whether it was possible to obtain a Lindenbaum''s algebra forC n . C. Mortensen settled the problem, proving that no equivalence relation forC n . determines a non-trivial quotient algebra.The concept of da Costa algebra, which reflects most of the logical properties ofC n , as well as the concept of paraconsistent closure system, (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  26.  6
    Igor Oliveira & Walter Carnielli (2009). Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories” Logic Journal of the IGPL, 16: 585–590. [REVIEW] Logic Journal of the IGPL 17 (6):803-804.
    This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008).
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  4
    Walter A. Carnielli (1987). The Problem of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):19-29.
    This paper investigates a problem related to quantifiers which has some analogies to that of propositional completeness I give a definition of quantifier in many-valued logics generalizing the cases which already occur in first order many- valued logics. Though other definitions are possible, this particular one, which I call distribution quantifiers, generalizes the classical quantifiers in a very natural way, and occurs in finite numbers in every m-valued logic. We then call the problem of quantificationa2 completeness in m-valued logic the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  4
    Luiz Paulo de Alcantara & Walter Alexandre Carnielli (1981). Transfinite Induction on Ordinal Configurations. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (31-35):531-538.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  15
    Walter Carnielli (2007). Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine. Springer 349--364.
    Polynomizing is a term that intends to describe the uses of polynomial-like representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  15
    Walter Carnielli (2004). Book Reviews: Claude P. Bruter (Editor), Mathematics in Art: Mathematical Visualization in Art and Education. Logic and Logical Philosophy 13:163-166.
    Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education, Springer-Verlag, New York, 2002, pp. X + 337, ISBN 3-540-43422-4.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  31.  6
    Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic (1999). Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW] Monograph Collection (Matt - Pseudo).
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) 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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  11
    Walter Carnielli (2006). Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge. Logic and Logical Philosophy 15 (1):91-96.
    Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  33.  11
    Walter Carnielli (2008). The Tyranny of Knowledge. Manuscrito 31 (1):511-518.
    EN In his “Logic, Language, and Knowledge” Chateaubriand denounces the tyranny of belief , but takes some positions on knowledge and justification which seem to be too exacting. The fact that Chateaubriand derives constraints on the notion of justification by a close parallel to the notion of proof makes it unnecessarily loaded with the individual, rather than with the collective perspective. His position seems to leave little room for common knowledge, collective knowledge and usual common-sense knowledge, and absolutely no room (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  11
    Walter Carnielli (2013). Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, Pp. Xvi+523, 113 Illus. ISBN: 978-94-007-0004-8 (Hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99. [REVIEW] Studia Logica 101 (1):229-232.
  35. Walter Alexandre Carnielli & Mamede Lima-Marques (1992). Reasoning Under Inconsistent Knowledge. Journal of Applied Non-Classical Logics 2 (1):49-79.
     
    Export citation  
     
    My bibliography   2 citations  
  36.  10
    João Rasga, Walter Carnielli & Cristina Sernadas (2009). Interpolation Via Translations. Mathematical Logic Quarterly 55 (5):515-534.
    A new technique is presented for proving that a consequence system enjoys Craig <span class='Hi'>interpolation</span> or Maehara <span class='Hi'>interpolation</span> based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear logic, a Kolmogorov-Gentzen-Gödel style translation, and a new (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  25
    Walter A. Carnielli (2004). Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, Pp. 480, ISBN 0-8176-4249-8, Hardcover. Dimensions (in Inches): 1.00 × 9.96 × 7.36. [REVIEW] Studia Logica 78 (3):479-481.
    Book review r A. (2004). "Book review: Yves nievergelt, foundations of ...
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  38.  3
    Walter Carnielli, Marcelo Coniglio & Itala D'ottaviano (2005). An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  3
    Walter Carnielli, Renata de Freitas & Petrucio Viana (2012). XVI Brazilian Logic Conference (EBL 2011). 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  
     
    My bibliography  
  40.  8
    Walter Carnielli & Marcelo E. Coniglio (2013). On Discourses Addressed by Infidel Logicians. In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer 27--41.
    We here attempt to address certain criticisms of the philosophical import of the so-called Brazilian approach to paraconsistency by providing some epistemic elucidations of the whole enterprise of the logics of formal inconsistency. In the course of this discussion, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the Aristotelian traditions can be accommodated within the precepts of the Brazilian school of paraconsistency.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  8
    Walter Carnielli (2000). Resenha de 'Logiques classiques et non classiques. essai sur les fondements de la logique' (Newton C.A. da Costa). Manuscrito 23 (1):235-241.
    This is a review of: Newton C.A. da Costa, Logiques Classiques et Non Classiques. Essai sur les Fondements de la Logique. Translated from the Portuguese by Jean-Yves Béziau (with two appendices by the translator) Culture Scientifique, Masson, Paris, 1997, 276p. ISBN 2-225-85247-2.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  21
    Sahid Rahman & Walter A. Carnielli (2000). The Dialogical Approach to Paraconsistency. Synthese 125 (1-2):201-232.
    Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which, say A and ¬A have been asserted.The dialogical approach suggests a way of studying thedynamic process of contradictions through which thetwo (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  43.  11
    Walter Carnielli & Claudio Pizzi (2013). Special Issue on Multimodal Logics: A Preface. [REVIEW] Logica Universalis 7 (1):1-5.
    This is a preface for the Special Issue on Multimodal Logics published in Logica Universalis, March 2013, Volume 7, Issue 1, pp 1-5.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  44.  20
    Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
    Although a very recent topic in contemporary logic, the subject of combinations of logics has already shown its deep possibilities. Besides the pure philosophical interest offered by the possibility of defining mixed logic systems in which distinct operators obey logics of different nature, there are also several pragmatical and methodological reasons for considering combined logics. We survey methods for combining logics (integration of several logic systems into a homogeneous environment) as well as methods for decomposing logics, showing their interesting properties (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  6
    Walter Carnielli (1999). Finite and Infinite-Valued Logics: Inference, Algebra and Geometry. Journal of Applied Non-Classical Logics 9 (1):7-8.
    This is the preface for a special volume published by the Journal of Applied Non-Classical Logics Volume 9, Issue 1, 1999.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  6
    Walter Carnielli (2011). Book Reviews: Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni Del Calcolo Logico. Logic and Logical Philosophy 20 (3):267-272.
    Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico. Original German text with Italian translation, commentary and annotations by Davide Bondoni, LED Edizioni, Milan, 2010, pp. 208, 15,5 × 22 cm, ISBN 978-88-7916-474-0.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  47.  5
    Walter Carnielli (1986). Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. Journal of Symbolic Logic 51 (4):1093 - 1103.
    This is the ASL report on the 7th Latin American Symposium on Mathematical Logic held in Campinas, SP, Brazil, from July 29- August 02, 1985.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  7
    Walter Carnielli (2011). The Single-Minded Pursuit of Consistency and its Weakness. Studia Logica 97 (1):81 - 100.
    I argue that a compulsive seeking for just one sense of consistency is hazardous to rationality, and that observing the subtle distinctions of reasonableness between individual and groups may suggest wider, structuralistic notions of consistency, even relevant to re-assessing Gödei's Second Incompleteness Theorem and to science as a whole.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  49.  6
    Walter Carnielli (2013). Ewa Orlowska and Joanna Golinska-Pilarek, Springer, Series: Trends in Logic, Vol. 33, 2011, Pp. Xvi+ 523, 113 Illus. ISBN: 978-94-007-0004-8 (Hardcover) EURO 181, 85, 978-94-007-0005-5 (eBook) EURO 159, 99. [REVIEW] Studia Logica 101 (1):229-232.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  4
    Walter Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki & Tarcísio Rodrigues (2014). On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency. Review of Symbolic Logic 7 (3):548-578.
    This paper investigates the question of characterizing first-order LFIs (logics of formal inconsistency) by means of two-valued semantics. LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational questions. Although focused on just one particular case, namely, the quantified logic QmbC, the method proposed here is completely general for this kind of logics, and can be easily extended to a large family of quantified paraconsistent (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 65