The tendency is strong to take the notion of “conflict of interests” for granted as if it had an invariant meaning and an ethical content independent of the historical context. It is doubtful however, from an historical and sociological point of view, that many of the cases now considered as instances of “conflicts of interests” would also have been conceived and perceived as such in, say, the 1930s. The idea of a “conflict of interests” presupposes that there are indeed interests (...) in conflict. Conversely, as long as there is a consensus among the different groups involved, they will not conceive and even less denounce a given practice as being an instance of a “conflict of interests”. In this article we will show that the content of the discussions over conflicts of interests has changed over time in close relation with the transformations of the research system. In other words: there are social conditions for the emergence of “conflicts of interests”. The changing meaning of the notion is assessed by analyzing the presence of the expression “conflicts of interests” in the magazine Science over the past century. Three different meanings emerge and their content has evolved in close link with the changing structure of the relations between the scientific community first with the State and then with industry. It moved from a situation external to the scientific community to a debate going on inside the scientific community generated by the growing relations between university and industries. (shrink)

After explaining the interdisciplinary aspect of the series of events organized around the square of opposition since 2007, we discuss papers related to the 4th World Congress on the Square of Opposition which was organized in the Vatican at the Pontifical Lateran University in 2014. We distinguish three categories of work: those dealing with the evolution and development of the theory of opposition, those using the square as a metalogical tool to give a better understanding of various systems of logic (...) and those related with applications of the theory of opposition to conceptual analysis and pedagogy. (shrink)

In this paper we discuss the notion of “possible worlds” contrasting a philosophical idea due to Malebranche with a mathematical concept of modern logic due to Kripke from which many pseudo-philosophical discussions have arisen.

(4) Jean apprécie ce livre-là. (‘Jean appreciates ce book-there’) (5) Jean apprécie ce livre-ci. (‘Jean appreciates ce book-here’) in a way that recalls in part non-standard English: (6) John is reading that there book. (7) John is reading this here book. with (6) akin to (4) and with (7) akin to (5). The difference in word order, whereby English has there/here prenominal in (6)/(7) and French has - là/-ci postnominal in (4)/(5), was analyzed by Bernstein (1997) (...) in terms of a movement operation that in French moves the noun to the left of -là/-ci, starting from an English-like order, in a way that recalls the difference between French and English adjective position, as in Cinque (2005; to appear). English allows that and this to occur without any visible noun present, as in. (shrink)

These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and philosophically as well: the relation between a question and its answer is a sort of equality where one side is ``more equal than the other'': one thus discovers essentialist blind spots. Starting (...) with Godel's paradox --so to speak, the incompleteness of answers with respect to questions--the book proceeds with paradigms inherited from Gentzen's cut-elimination. Various settings are studied: sequent calculus, natural deduction, lambda calculi, category-theoretic composition, up to geometry of interaction, all devoted to explicitation, which eventually amounts to inverting an operator in a von Neumann algebra. Mathematical language is usually described as referring to a preexisting reality. Logical operations can be given an alternative procedural meaning: typically, the operators involved in GoI are invertible, not because they are constructed according to the book, but because logical rules are those ensuring invertibility. Similarly, the durability of truth should not be taken for granted: one should distinguish between imperfect and perfect modes. The procedural explanation of the infinite thus identifies it with the unfinished, i.e., the perennial. But is perenniality perennial? This questioning yields a possible logical explanation for algorithmic complexity. This highly original course on logic by one of the world's leading proof theorists challenges mathematicians, computer scientists, physicists, and philosophers to rethink their views and concepts on the nature of mathematical knowledge in an exceptionally profound way. (shrink)

We discuss the origin and development of the universal logic project. We describe in particular the structure of UNILOG, a series of events created for promoting the universal logic project, with a school, a congress, a secret speaker and a contest. We explain how the contest has evolved into a session of logic prizes.

The first volume presents a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including (...) combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic (Aristotle, Avicenna, Buridan, Schröder, MacColl). This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic. (shrink)

Jean-Yves Béziau Abstract In this paper I relate the story about the new rising of the square of opposition: how I got in touch with it and started to develop new ideas and to organize world congresses on the topic with subsequent publications.

In his Brouillon Project on conic sections, Girard Desargues studies the notion of traversale, which generalizes that of diameter introduced by Apollonius. One often reads that it is equivalent to the notion of polar, a concept that emerged in the beginning of 19th century. In this article we shall study in great detail the developments around that notion in the middle part of the Brouillon project. We shall in particular show, using the notes added by Desargues after the first draft (...) was written, how here arises a new theory, that of the polarity associated to a conic section. We shall show that besides a natural correspondance between points and lines, Desargues has understood that a conic induces on every line in its plane an involution, and how he progressively handles the considerable conceptual difficulties he has to deal with when trying to explain clearly his novative ideas. (shrink)

Nous tentons dans cet article de proposer une thèse cohérente concernant la formation de la notion d’involution dans le Brouillon Project de Desargues. Pour cela, nous donnons une analyse détaillée des dix premières pages dudit Brouillon, comprenant les développements de cas particuliers qui aident à comprendre l’intention de Desargues. Nous mettons cette analyse en regard de la lecture qu’en fait Jean de Beaugrand et que l’on trouve dans les Advis Charitables.

This paper discusses the development of the Logic and Religion project and the various events organized within this framework, particularly the 3rd and 4th editions, with this volume including papers presented at both.

This special issue of Logica Universalis (Springer) deals with the relations between logic and religion, broadly conceived. It contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, (...) by Wolfgang Lenzen; A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion), by Jean-Pierre Desclés; Monotonic and Non-monotonic Embeddings of Anselm’s Proof, by Jacob Archambault; Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy, by C. Benzmüller, L. Weber and B. Woltzenlogel Paleo. (shrink)

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the square of (...) opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel’s opposition to diagrams De Morgan’s unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan’s four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts. (shrink)

Jean-Jacques Rousseau est l'auteur de l'entrée "économie politique" dans l'Encyclopédie en 1755. A ce titre, il aurait pu être l'un des fondateurs de cette discipline. Pourtant, la définition qu'il en donne est à l'encontre de la pensée libérale des physiocrates, puis des classiques, et constitue une véritable "anti-économique". En hypertrophiant le rôle de l'Etat et en niant l'intérêt personnel, Rousseau est au contraire l'un des pères du socialsme. En niant la liberté humaine, il nie aussi l'existence de choix éthiques.

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.

I discuss the origin and development of logic prizes around the world. In a first section I describe how I started this project by creating the Newton da Costa Logic Prize in Brazil in 2014. In a second section I explain how this idea was extended into the world through the manifesto A Logic Prize in Every Country! and how was organized the Logic Prizes Contest at the 6th UNILOG in Vichy in June 2018 with the participation of 9 logic (...) prizes winners from 9 countries. In a third section I discuss how this project will develop in the future with the creation of more logic prizes, an Encyclopædia of Logic, the book series Logic PhDs, as well as the creation of a World Logic Day, January 14, day of birth of Alfred Tarski and of death of Kurt Gödel. (shrink)

Jean-Yves Strasser The Olympia of Alexandria and the Pancratiast M. Aur. Asklepiades p.421-468 The Alexandrian Olympia are known thanks to inscriptions and especially papyri. The latter mention the olympionikoi, who may have been victors not in the great competition at Pisa, but in the Olympia of the Egyptian city. These competitions, created under Marcus Aurelius, became eiselastikoi under Gallien; they were first celebrated in 268. Like the majority of the great competitions in Egypt, they took place in the (...) winter of even years divisible by four. That was the case already in the 2nd century AD: the first Olympia were organised in 180. In 200, at the time of the sixth celebration, the periodonikes M. Aur. Asklepiades won the Olympia pancration in the presence of Septimius Severus and Caracalla. An inscription at Coptus (I. Portes 88) mentions a hellanodikes of Alexandria: he could have been serving at the time of the seventeenth Olympiad in 244; in 246-247 he had a statue of Sarapis Polieus erected under the prefect of Egypt Valerius Firmus. (shrink)

We first start by clarifying what axiomatizing everything can mean. We then study a famous case of axiomatization, the axiomatization of natural numbers, where two different aspects of axiomatization show up, the model-theoretical one and the proof-theoretical one. After that we discuss a case of axiomatization in a sense opposed to the one of arithmetic, the axiomatization of the notion of order, where the idea is not to catch a specific structure, but a notion. A third mathematical case is then (...) examined, the one of identity, a simple and obvious notion, but that cannot be axiomatized in first-order logic. We then move on to more general notions: the axiomatization of causality and the universe. To end with we deal with an even more tricky question: the axiomatization of reasoning itself. In conclusion we discuss in the light of our investigations the relation between axiomatization and understanding. (shrink)

This text is an outgrowth of notes prepared by J. Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between proposition & types). Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material & its prospective applications to computer science. The book covers a very active & exciting research area, & it will (...) be essential reading for all those working in logic & computer science. (shrink)

It is tempting to consider Girard Desagues’ mathematical work, more precisely his Brouillon project on conics, as a work of mathematics applied to perspective. We would like to show in this text that it is probably more pertinent to consider that Desargues does mathematics as a practitionner of the art of perspective. We shall analyse a few extracts of Desargues’ work with this point of view in mind so as to shed light on his innovative ideas that could be hard (...) to understand in his sometimes obscure style. We shall show how this way of doing geometry can be also be found in the works Philippe de la Hire and Jacques-Francois le Poîvre, leading them to consider a transformation of the plane into itself as an explicited mathematical object. (shrink)

Par-delà toute prise de position idéologique ou politicienne, la réflexion sur l'écologie est devenue de plus en plus présente dans notre société contemporaine, et les musiciens n'ont pas tardé à se sentir fortement concernés, ce qui a suscité, de leur part, des réponses de multiples natures. Certains compositeurs ont cherché à investir des lieux plus ouverts que la traditionnelle salle de concert, tandis que d'autres ont eu recours aux moyens technologiques et médiatiques les plus récents pour capter et diffuser les (...) sons qui nous entourent afin de les reprendre à leur compte ou de dialoguer avec eux, voire les révéler tels quels. La musique ayant de plus en plus tendance à envahir notre quotidien, d'autres encore ont entrepris de créer de nouveaux types d'environnement et de signalétique sonores. Et ces tentatives s'accompagnent fréquemment de confrontations avec différentes disciplines artistiques. L'initiateur d'une telle démarche n'était-il pas Erik Satie avec sa "musique d'ameublement"? Mais qu'aurait-il pensé du matraquage de la Muzak quelques décennies plus tard? (shrink)

We present a single sequent calculus common to classical, intuitionistic and linear logics. The main novelty is that classical, intuitionistic and linear logics appear as fragments, i.e. as particular classes of formulas and sequents. For instance, a proof of an intuitionistic formula A may use classical or linear lemmas without any restriction: but after cut-elimination the proof of A is wholly intuitionistic, what is superficially achieved by the subformula property and more deeply by a very careful treatment of structural rules. (...) This approach is radically different from the one that consists in “changing the rule of the game” when we want to change logic, e.g. pass from one style of sequent to another: here, there is only one logic, which—depending on its use—may appear classical, intuitionistic or linear. (shrink)

Jean-Yves Leloup nous propose ici deux lectures magistrales de deux géants de la culture occidentale : Nietzsche, l'athée et Maître Eckhart, le théologien-mystique. Il tente de remettre "à l'endroit" un texte de Nietzsche, Ecce Homo, souvent cité pour justifier tous les athéismes. Leloup montre que le Dieu en lequel Nietzsche voyait une "antithèse de la vie" n'a rien à voir avec le Dieu des Evangiles qui est au contraire une puissance de vie et de libération, une claire lumière (...) par laquelle le monde est vu. L'auteur, avec Maître Eckhart, nous entraîne ensuite au-delà des contraires, au-delà même de Dieu et de tous les Absolus que nous imaginons, vers notre essentielle et silencieuse liberté... Ce livre délicieux et audacieux nous montre, comme le disait Pascal, que "l'athéisme est une marque de force d'esprit, mais jusqu'à un certain degré seulement". (shrink)

Papers... "selected from a larger number of contributions most of them based on talks presented at the First World Congress on the Square of Opposition organized in Montreux in June 2007"--Preface, p. 12.

On cherche à démontrer que les logiques de fonctionnement de la formation professionnelle continue rendent difficile la réalisation d’objectifs contenus dans la législation de 1971. En effet, loin de contribuer à la promotion sociale du plus grand nombre des salariés, la formation professionnelle continue se caractérise surtout par des inégalités d’accès et des mécanismes discriminants qui participent au maintien de l’employabilité pour ceux qui sont déjà pourvus des qualifications les plus hautes et les plus compétitives.

Colors can be understood in a logical way through the theory of opposition. This approach was recently developed by Dany Jaspers, giving a new and fresh approach to the theory of colors, in particular with a hexagon of colors close to Goethe’s intuitions. On the other hand colors can also be used at a metalogical level to understand and characterize the relations of opposition, including the relations of opposition between colors themselves. In this paper we furthermore develop a theory of (...) psychic dispositions, using the hexagon of opposition of colors. We present a hexagon of psychic dispositions based on colors that we compare in particular with Plutchick’s wheel of emotions. (shrink)

Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where all things start (… ) An-Fang was near a city, the only living city with a pre-atomic name (… ) The headquarters of the People Programmer was at An-Fang, and there the mistake happened: A ruby trembled. Two tourmaline nets failed to rectify the laser beam. A diamond noted the error. Both the error and the correction went into the general computer. Cordwainer SmithThe Dead Lady (...) of Clown Town, 1964. (shrink)

We discuss the history of the revival of the theory of opposition, with its emerging paradigms of research, and the related events that are organized in this perspective, including the latest one in Leuven in 2022.

In the middle part of his Brouillon Project on conics, Girard Desargues develops the theory of the traversale, a notion that generalizes the Apollonian diameter and allows to give a unified treatment of the three kinds of conics. We showed elsewhere that it leads Desargues to a complete theory of projective polarity for conics. The present article, which shall close our study of the Brouillon Project, is devoted to the last part of the text, in which Desargues puts his theory (...) of the traversal into practice by giving a very elegant tratment of the classical theory of parameters and foci. This will lead us to show that Desargues’ proofs can only be understood if one accepts that he reasons in a resolutely projective framework, completely assimilating elements at infinity to those at finite distance in his proofs. (shrink)

L'expérience de la connaissance nous enseigne qu'il n'y a pas de Réalité Dernière, que tout train en cache un autre. Une évidence qu'il n'est pas facile d'accepter, d'où l'idée de ce train ultime, celui qui ne cacherait plus rien. La transparentisme postule l'existence, au-delà de la perception immédiate, d'un monde, d'un niveau de lecture, complètement intelligible, i.e, explicite et immédiat. D'où cette croyance en de prétendus "rayons X du savoir" qui nous dévoileraient l'envers de l'Univers.

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at (...) Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. (shrink)

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 what is the intuitive notion corresponding to it. We explain then that the triangle of contrariety proposed by different people such as Vasiliev and Jespersen solves these problems, but that we don’t need to reject the square. It can be reconstructed from this triangle of contrariety, by considering a dual triangle of subcontrariety. This is the main idea of Blanché’s hexagon. We then give different examples of hexagons to show how this framework can be useful to conceptual analysis in many different fields such as economy, music, semiotics, identity theory, philosophy, metalogic and the metatheory of the hexagon itself. We finish by discussing the abstract structure of the hexagon and by showing how we can swing from sense to non-sense thinking with the hexagon. (shrink)

This paper aims to shed new light on Hegel’s rather problematic statements about Asian thinking and Chinese philosophy by disclosing the Orientalist antecedents found in Kant’s anthropological works. First, the notion of Orientalism will be defined with reference to Orientalism and “Orientalism Reconsidered” by Edward Said. Second, an exploration of Kant’s anthropological research will show that this constituted the turning point in the Western Orientalist perception of China which had a strong influence on Hegel Finally, it will be claimed that (...) Hegel’s Orientalist perception of China rests on a definition of culture as the expression of the “spirit of a people” that has recently been revised by contemporary post-colonial anthropologists. (shrink)

This paper introduces the special issue on Logic and Religion of the journal Logica Universalis (Springer). The issue contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, (...) by Wolfgang Lenzen; A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion), by Jean-Pierre Desclés; Monotonic and Non-monotonic Embeddings of Anselm’s Proof, by Jacob Archambault; Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy, by C. Benzmüller, L. Weber and B. Woltzenlogel Paleo. (shrink)

We study here equiformity, the standard identity criterion for sentences. This notion was put forward by Lesniewski, mentioned by Tarski and defined explicitly by Presburger. At the practical level this criterion seems workable but if the notion of sentence is taken as a fundamental basis for logic and mathematics, it seems that this principle cannot be maintained without vicious circle. It seems also that equiformity has some semantical features ; maybe this is not so clear for individual signs but sentences (...) are often considered as meaningful combinations of signs. If meaning has to play a role, we are thus maybe in no better position than when dealing with identity criterion for propositions. In formal logic, one speaks rather about well-formed formulas, but closed formulas are called sentences because they are meaningful in the sense that they can be true or false. Formulas look better like mathematical objects than material inscriptions and equiformity does not seem to apply to them. Various congruencies can be considered as identities between formulas and in particular "to have the same logical form". One can say that the objects of study of logic are rather logical forms than sentences conceived as material inscriptions. (shrink)