•  396
    Logica Universalis: Towards a General Theory of Logic (edited book)
    Birkhäuser Basel. 2007.
    Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there …Read more
  •  256
    La Pointure du Symbole (edited book)
    Petra. 2014.
    Dans un texte désormais célèbre, Ferdinand de Saussure insiste sur l’arbitraire du signe dont il vante les qualités. Toutefois il s’avère que le symbole, signe non arbitraire, dans la mesure où il existe un rapport entre ce qui représente et ce qui est représenté, joue un rôle fondamental dans la plupart des activités humaines, qu’elles soient scientifiques, artistiques ou religieuses. C’est cette dimension symbolique, sa portée, son fonctionnement et sa signification dans des domaines aussi var…Read more
  •  204
    What is “Formal Logic”?
    Proceedings of the Xxii World Congress of Philosophy 13 9-22. 2008.
    “Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition to an empirical science…Read more
  •  158
    The power of the hexagon
    Logica Universalis 6 (1-2): 1-43. 2012.
    The hexagon of opposition is an improvement of the square of opposition due to Robert Blanché. After a short presentation of the square and its various interpretations, we discuss two important problems related with the square: the problem of the I-corner and the problem of the O-corner. The meaning of the notion described by the I-corner does not correspond to the name used for it. In the case of the O-corner, the problem is not a wrong-name problem but a no-name problem and it is not clear wha…Read more
  •  155
    Professor Newton CA da Costa awarded Nicholas Copernicus University medal of merit
    with Newton C. A. da Costa and Otávio Bueno
    Logic and Logical Philosophy 7 7-10. 1999.
  •  139
    This paper introduces a special issue on logic and philosophy of religion in this journal (Sophia). After discussing the role played by logic in the philosophy of religion along with classical developments, we present the basic motivation for this special issue accompanied by an exposition of its content.
  •  133
    Sentence, proposition and identity
    Synthese 154 (3). 2007.
    In this paper we discuss the distinction between sentence and proposition from the perspective of identity. After criticizing Quine, we discuss how objects of logical languages are constructed, explaining what is Kleene’s congruence—used by Bourbaki with his square—and Paul Halmos’s view about the difference between formulas and objects of the factor structure, the corresponding boolean algebra, in case of classical logic. Finally we present Patrick Suppes’s congruence approach to the notion of …Read more
  •  133
    The relativity and universality of logic
    Synthese 192 (7): 1939-1954. 2015.
    After recalling the distinction between logic as reasoning and logic as theory of reasoning, we first examine the question of relativity of logic arguing that the theory of reasoning as any other science is relative. In a second part we discuss the emergence of universal logic as a general theory of logical systems, making comparison with universal algebra and the project of mathesis universalis. In a third part we critically present three lines of research connected to universal logic: logical …Read more
  •  120
    Identity, Structure and Logic
    Bulletin of the Section of Logic 25 89-9. 1996.
  •  89
    Relativizations of the Principle of Identity
    Logic Journal of the IGPL 5 (3): 17-29. 1997.
    We discuss some logico-mathematical systems which deviate from classical logic and mathematics with respect to the concept of identity. In the first part of the paper we present very general formulations of the principle of identity and show how they can be ‘relativized’ to objects and to properties. Then, as an application, we study the particular cases of physics and logic . In the last part of the paper, we discuss the alphabar logics, that is, those logical systems which violate a formulatio…Read more
  •  77
    Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective.
  •  68
    Classical negation can be expressed by one of its halves
    Logic Journal of the IGPL 7 (2): 145-151. 1999.
    We present the logic K/2 which is a logic with classical implication and only the left part of classical negation.We show that it is possible to define a classical negation into K/2 and that the classical proposition logic K can be translated into this apparently weaker logic.We use concepts from model-theory in order to characterized rigorously this translation and to understand this paradox. Finally we point out that K/2 appears, following Haack's distinction, both as a deviation and an extens…Read more
  •  65
    In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. A de…Read more
  •  55
    Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and di…Read more
  •  54
    Preface: Is logic universal? (review)
    Logica Universalis 4 (2): 161-162. 2010.
  •  53
    Truth as a Mathematical Object
    Principia: An International Journal of Epistemology 14 (1): 31-46. 2010.
    Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-…Read more
  •  50
    of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.
  •  48
    A new four-valued approach to modal logic
    Logique Et Analyse 54 (213): 109. 2011.
  •  47
    Idempotent Full Paraconsistent Negations are not Algebraizable
    Notre Dame Journal of Formal Logic 39 (1): 135-139. 1998.
  •  47
    Many-valued and Kripke semantics
    In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics, Springer. pp. 89--101. 2006.
  •  45
    According to Boole it is possible to deduce the principle of contradiction from what he calls the fundamental law of thought and expresses as \. We examine in which framework this makes sense and up to which point it depends on notation. This leads us to make various comments on the history and philosophy of modern logic.
  •  41
    BookReview
    Studia Logica 100 (3): 653-657. 2012.
  •  39
    Logic may be simple. Logic, congruence and algebra
    Logic and Logical Philosophy 5 (n/a): 129-147. 1997.
    This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied (including MacLane-Curry’s theorem and a discussion about Curry’s algebras). We also examine how these…Read more
  •  39
    The logic of confusion is a way to..
  •  36
    of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.
  •  36
    Preface
    Logica Universalis 2 (1): 1-1. 2008.
  •  34
    13 Questions about universal logic
    Bulletin of the Section of Logic 35 (2/3): 133-150. 2006.