We study how messages on Twitter by large non-governmental organizations (NGOs), targeting companies from the S&P500, affect these companies’ stock prices. With a sample of 1,611 tweets between 2009 and 2017 by 18 large NGOs, we observe significant changes in the stock prices of the targeted firms. More specifically, NGO tweets stating a positive message about the environmental, social, or governance (ESG). Actions of the firm have a positive effect on stock prices, while negative tweets have a negative effect. Nevertheless, (...) we find that the presence of institutional owners hampers this effect: firms with high institutional ownership value positive tweets more negatively, and negative tweets more positively. These results support the idea that shareholders react significantly to NGO tweets but they react differently depending on their time horizon: for shareholders who have a more short-term horizon, typically institutional owners, the reaction diverges societal expectations about how firms should contribute to society. (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.

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and (...) influence. (shrink)

(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)

"Christian philosophy" is commonly regarded as an oxymoron, philosophy being thought incompatible with the assumptions and conclusions required by religious faith. According to this way of thinking, philosophy and theology must forever remain distinct. In From Theology to Theological Thinking, Jean-Yves Lacoste takes a different approach. Stepping back from contemporary philosophical concerns, Lacoste--a leading figure in the philosophy of religion--looks at the relationship between philosophy and theology from the standpoint of the history of ideas. He notes in particular (...) that theology and philosophy were not considered separate realms until the high Middle Ages, this distinction being a hallmark of the modern era that is coming to an end. Lacoste argues that the intellectual task before us now is to work in the frontier region between or beyond these domains, work he identifies as "the task of thinking." With this argument, Lacoste resets our understanding of Western Christian thought, contending that a new way of thinking that is at once philosophical and theological will be the lasting discourse of Christianity. (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)

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.

Que la musique soit faite pour etre ecoutee semble une evidence, et pourtant... C'est pour guider les melomanes et les aider a passer d'une audition passive a une ecoute active que Jean-Yves Bras partage ici son experience d'ecouteur. Apres avoir defini ce qu'est la musique, il s'interroge ensuite sur la nature de l'ecoute: que faut-il entendre par ecouter? Sur quoi porter notre attention? Comment ecouter? Les conditions materielles dans lesquelles nous consommons la musique, notre comportement au concert ou (...) a l'ecoute d'un disque, ont egalement une incidence importante sur la qualite de notre ecoute. Puis il analyse ces liens si mysterieux et si essentiels tisses entre compositeurs, interpretes et nous-memes, auditeurs. Enfin, il trace a grands traits l'histoire de nos oreilles de l'Antiquite a nos jours, pour conclure sur les differentes categories d'auditeurs actuels. Parallelement, l'auteur a cree un site Internet, www.artdecouter.fr, qui apporte un complement d'information agremente d'exemples sonores. Ce chemin d'initiation se parcourt sous forme de dialogue: une jeune personne souhaitant s'instruire, Mademoiselle Croche, nous permet par ses questions d'entendre s'ouvrir pour nous le langage de la musique. Jean-Yves Bras a ete directeur de la Documentation musicale de Radio France et a participe a de nombreuses emissions. Responsable artistique du Festival Chopin a Paris, il est l'auteur des Courants musicaux du XXe siecle et d'un ouvrage sur le chef d'orchestre Carlo Maria Giulini. (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)

In a first section, we discuss Quine’s claim according to which identity is a logical notion. We point out that Quine mixes up various types of identities: trivial (or diagonal) identity, Leibniz identity, etc.; and this leads him to commit several mistakes. In a second section, we review Quine’s criticisms to various philosophers (Wittgenstein, Whitehead, Leibniz, etc.), who ac-cording to him made confusion between names and objects in defining identity. We show that in fact only Korzybski can be accused of (...) such confusion. In a third section, we analyze the relation between identity and entity. We notice that for Quine a river is the result of the identification of river stages, but that he admits it as an entity by opposition to squareness, which according to him is a result of an identification process of higher abtraction. (shrink)

This is a collection of new investigations and discoveries on the theory of opposition by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.

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.

If it is true, as Bergson claimed, that the universe is the sum of images, and if it is correct, as Deleuze said, that this hypothesis bears direct consequences for our understanding of the cinematographic art, then the analysis of cinematographic images and, especially, of the cinematographic images of the body can provide not only interesting aesthetic comments about specific directors and films, but also a philosophical understanding of the diverse modes of the sensible incarnation of human bodies. Interestingly enough, (...) the more we believe in the truth of aesthetic images, the more we believe in the ontological reality of the body, that is, the more does ontological reality become, essentially, “imaginal.”. (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)

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.

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.

Ludics [1] is a novel approach to logic—especially proof-theory. The present introduction emphasises foundational issues.For ages, not a single disturbing idea in the area of “foundations”: the discussion is sort of ossified—as if everything had been said, as if all notions had taken their definite place, in a big cemetery of ideas. One can still refresh the flowers or regild the stone, e.g., prove technicalities, sometimes non-trivial; but the real debate is still: this paper begins with an autopsy, the autopsy (...) of the foundational project.Up to say 1900, the realist/dualist approach to science was dominant; during the last century some domains like physics evolved so as to become completely anti-realist; but this evolution hardly concerned logic.By the turn of the XXth century mathematics was jeopardised by paradoxes, the most famous of them being due to Russell. Hilbert's reaction was to focus on consistency. But the reduction of paradoxes—and therefore of foundations—to solely the antinomies is highly questionable: indeed, the typical paradoxical artifacts are secret sharers, objects satisfying the formal definitions but far astray from the intended meaning, typically the Peano “curve” which contradicts our perception of dimension. Fortunately, topology has been able to show that dimension m is not the same as dimension n … but just for a second, forget this and imagine consistent mathematics in which balls in any dimension are homeomorphic: what a disaster! This exclusive focus on consistency—not to speak of the strategic failure of the Programme—should explain why logic, especially foundations lost contact with other sciences during last century. (shrink)

For several years I have been developing a general theory of logics that I have called Universal Logic. In this article I will try to describe how I was led to this theory and how I have progressively conceived it, starting my researches about ten years ago in Paris in paraconsistent logic and the broadening my horizons, pursuing my researches in Brazil, Poland and the USA.

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)

French ethics of technology has followed a most peculiar path. Generally speaking, French philosophers of technology have dismissed the methodology of Applied Ethics as widely practiced. As a result, the most notorious thinkers have been those who have expressed the most considerable reservations about the “technical phenomenon.” I here attempt to establish that the most promising attempts to overcome this situation do not rise from social philosophy, but from a long-standing French tradition in the field of philosophy of life, supported (...) by an overriding project of integration of technology into culture. (shrink)

Contre une interprétation déconstructiviste de la question de l'animalité, on s'attache à montrer, par une présentation précise des objections adressées à P. Singer par G. Francione, que l'éthique animale « classique » comporte en elle-même les ressources d'une pensée critique extrêmement audacieuse.

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)

We assess the celebration of the 1st World Logic Day which recently took place all over the world. We then answer the question Why a World Logic Day? in two steps. First we explain why promoting logic, emphasizing its fundamental importance and its relations with many other fields. Secondly we examine the sense of a one-day celebration: how this can help reinforcing logic day-to-day and why logic deserves it. We make a comparison with other existing one-day celebrations. We end by (...) presenting and commenting the logo of the World Logic Day. (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.

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 pluralism, (...) non-classical logics and cognitive science. (shrink)

Les philosophies de l'histoire se nourrissaient de miettes tombées de la table du théologien. L'effondrement de leurs projets onto-théologiques permettrait-il de penser enfin l'histoire en fidélité au logos de la philosophie? Mettre toute métaphysique de l'histoire entre parenthèses ne consacre pas l'éternel retour du même, ou plutôt du pareil, mais libère le champ d'une temporalité plénière. Et parce que la temporalité - le temps tel que je le vis et que nous le vivons - se déploie comme ce que l'on (...) peut nommer une histoire, celle que je suis et celle que nous sommes, alors la question philosophique de l'histoire peut être logée sans reste dans une quaestio de tempore formulée après Husserl et Heidegger, et certains autres : sans préjuger d'une eschatologie que seule la théologie peut organiser, mais en s'autorisant à en précomprendre les raisons. L'existence est le mode d'être de l'étant que nous sommes, et l'existence est être en/comme histoire, historialité. L'historialité est une dimension de la temporalité. Qui le sait saura éviter les ornières de la philosophie de l'histoire. Non pas pour décrire une existence sans histoire, mais pour rendre raison du phénomène de l'histoire. En première instance seulement, certes, mais en rigueur, parce que sans prétention apocalyptique indue. L'histoire dont nous parlons est une réalité avant-dernière."--Page 4 of cover. (shrink)

“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, (3) Formal (...) systems in the sense of Hilbert, Curry and the formalist school, (4) Symbolic logic, a science using symbols, such as Venn diagrams, (5) Mathematical logic, a mathematical approach to reasoning. We argue that these five meanings are independent and that the meaning (5) is the one which better characterized modern logic, which should therefore not be called “formal logic”. (shrink)

In this article, I attempt to draw as many possible consequences from this fact : in the Mascareignes islands, the use of the word « Creole » is regulated by criteria that limit its application to subgroups of the Creole world. The use of this word is not “cognitive”, it does not refer to the inhabitant of the islands, the “native” : it marks that from which one must separate oneself within the Creole language itself, possibly through the evocation of (...) back-languages, of customs, beliefs and attitudes inherited from somewhere else. A crucial defining feature of Creole life thus appears to consist in a distance between forms of experience that coexist but that strive to be as separated and watertight as possible. Sensitivities are deeply trained in measuring this distance, which leads hybridization to be conceived as subtractions to the norms inherited from colonial times. Distance and hybridization are the main terms through which I have attempted to describe the Creole world in the Mascareignes ; but I tried to do so “from a distance”, in the spirit with which Derek Walcott described fragments of epics in the Caribbean. (shrink)

We discuss Sengupta's argumentation according to which Frege was wrong identifying reference with truth-value.After stating various possible interpretations of Frege's principle of substitution, we show that there is no coherent interpretation under which Sengupta's argumentation is valid.Finally we try to show how Frege's distinction can work in the context of modern mathematics and how modern logic grasps it.