Qu'y a-t-il de commun entre l'Univers, l'animal, la machine et la ville? A priori pas grand-chose si l'on prend en considération les différences d'échelle ou encore le fait que l'on cherche à rapprocher deux concepts "naturels", l'Univers et l'animal, à deux types de "constructions" humaines, la machine et la ville. Le propos de cet ouvrage est précisément de démontrer le contraire : des constatations identiques ou analogues peuvent s'appliquer à chacun d'eux. Notre appréhension de ces différentes entités a progressé de (...) façon considérable au cours du temps et notoirement au cours des dernières années. Les quatre termes deviennent de plus en plus complexes en même temps que nos analyses deviennent plus performantes. Chacun d'eux est constitué de structures emboîtées : ils sont en mosaïques, ensembles faits d'éléments distincts qui se juxtaposent, mais qui sont toujours plus que la simple somme de leurs éléments. Ils évoluent au cours du temps, et cette évolution est darwinienne : ils s'adaptent, cherchent l'équilibre, et seules subsistent les structures les plus robustes. Et ce qui est le plus réussi, le plus adapté, est aussi bien souvent ce que nous trouvons le plus beau... Mettre en parallèle les regards d'un astrophysicien, d'un biologiste, d'un architecte et d'un roboticien permet à chacune de ses disciplines d'apporter un éclairage nouveau sur les trois autres : un bel exercice de dialogue. (shrink)

Il ne s'agit pas seulement ici de rendre compte de la philosophie de la technique que l'on trouve chez Platon et chez Simondon, et de quelques autres parmi les plus importantes, mais d'affronter véritablement la question : qu'est-ce que la technique? On voudrait faire apparaître d'abord le caractère exemplaire et décisif de Platon pour la compréhension de ce qu'a été la réalité technique de son temps aussi bien que pour la compréhension, aujourd'hui encore, de la réalité technique actuelle, des problèmes (...) qui sont liés à son identification comme telle et à la démarche qui convient pour son étude. C'est aller contre la tradition qui en fait un ignorant et un ennemi de la technique, préoccupé avant tout d'un monde d'Idées 'coupées' du monde sensible. Cette tradition, quasiment aussi ancienne que Platon lui-même, est toujours vivante, fondée désormais sur une représentation de la technique qui se voudrait moderne (la technique comme 'application de la science'). C'est un des intérêts de la pensée de la technique de Gilbert Simondon (prolongeant et systématisant une tradition qui passe en France notamment par Henri Bergson et Georges Canguilhem), que de délivrer de l'idée précipitée selon laquelle l'essence de la technique serait d'être une application de la science, idée dont la faiblesse est la plus évidente quand il s'agit d'une époque où la science n'existait pas encore au sens actuel. La lecture de Platon n'est pas seulement libérée par la compréhension de la technique que propose Simondon, elle est elle-même une préparation très utile à la lecture de ce dernier, reposant sur des exemples plus simples. Ce qu'apprend une philosophie de la technique, on le voit exemplairement chez Platon et chez Simondon, n'est pas seulement comment organiser des concepts et des idées (dont l'importance politique et sociale est évidente), c'est comment regarder précisément le réel, penser son existence et son évolution."--Page 4 of cover. (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.

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)

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.

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)

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)

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 this paper we explain that the paraconsistent logic LP promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias.

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.

Sont réexaminées plusieurs inscriptions agonistiques d’Athènes. 1. Le texte IG II3 4, 624 pour un héraut périodonique doit certainement être attribué à Valerius Eklektos de Sinope, déjà connu par un long texte d’Athènes, une base à Olympie et un piédestal retrouvé à Delphes resté inédit et publié ici. L’ensemble permet de reconstituer le parcours d’un artiste hors norme connu par quatre textes gravés à des moments différents de sa carrière. 2. Les fragments IG II3 4, 616 et 617 appartiennent au (...) même palmarès du second tiers du IIIe s. et peuvent vraisemblablement être reliés l’un à l’autre. Si IG II3 4, 618 ne provient pas du même monument, il pourrait lui être en revanche contemporain. 3. La base SEG 58, 185 honore non un agonothète mais un épistate, dont sont vantés les succès lors d’une longue carrière. 4. IG II² 2772 est une dédicace funéraire faite par un boxeur et xystarque pour un parent ou un ami. (shrink)

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)

Un mot d'usage quotidien, "danger", est devenu concept chez Heidegger. L'usage heideggerien de "danger" n'est pourtant pas celui de ce livre, qui refuse de s'engager de front dans la "question de l'être" au profit des manières ou modes d'être, dont il explore un échantillon sans prétention exhaustive mais utilisé comme trame heuristique. Mode d'être de l'oeuvre d'art, mode d'être de la "chose" ou du sacrement, mode d'être comme "existence" et comme "vie", un danger est toujours présent : l'existence, telle que (...) décrite chez Heidegger, est déconstituée par des phénomènes auxquels elle ne peut rendre justice ; la vie abrite l'existence mais court le risque perpétuel de n'être que dans les frontières de l'existence, etc. Et si l'étant nous est toujours donné dans un comment - comment de son apparaître, donc comment de son être -, rien ne garantit la pérennité de cette donation : presque tout étant, et d'abord l'étant que nous sommes, est en danger d'apparaître autre qu'il ne nous apparaît maintenant. Aussi convenait-il, après avoir ajointé le concept de vie à celui d'esprit, après avoir dit que la vie est "spirituelle", de justifier le titre du livre en liant "être" et "danger" ; et il restait au final le temps de proposer, dans l'élément du possible, l'hypothèse d'une eschatologie de l'être, avant tout de notre être, sur laquelle le danger n'aurait plus de prise. (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)

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)

We are pleased to present this special issue of the journal History and Philosophy of Logic dedicated to the square of opposition.The square of opposition is a diagram and a theory of opposition re...

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.

Le comte Joseph de Maistre fut un ennemi radical des Lumières.

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 some situations, a decision is best represented by an incompletely analyzed act: conditionally on a given event A, the consequences of the decision on sub-events are perfectly known and uncertainty becomes probabilizable, whereas the plausibility of this event itself remains vague and the decision outcome on the complementary event ${\bar{A}}$ is imprecisely known. In this framework, we study an axiomatic decision model and prove a representation theorem. Resulting decision criteria aggregate partial evaluations consisting of (i) the conditional expected utility (...) associated with the analyzed part of the decision, and (ii) the best and worst consequences of its non-analyzed part. The representation theorem is consistent with a wide variety of decision criteria, which allows for expressing various degrees of knowledge on ( ${A, \bar{A}}$ ) and various types of attitude toward ambiguity and uncertainty. This diversity is taken into account by specific models already existing in the literature. We exploit this fact and propose some particular forms of our model incorporating these models as sub-models and moreover expressing various types of beliefs concerning the relative plausibility of the analyzed and the non-analyzed events ranging from probabilities to complete ignorance that include capacities. (shrink)

The aim of this paper is to redefine the notion of "heroism" through an investigation in the sociopolitics of popular Medias and especially the characters of Superheroes as they appear in comics of the late thirties and in the cinematographic industry since the nineties. This paper will pay a large tribute to the works of Gabriel Tarde, Henri Bergson and Gilles Deleuze whose concepts will be an imderlying constant reference. My purpose is to redefine the notion of heroism through the (...) notions of imitation and innovation, defined by Tarde as the fundamental principles of social life, and redefined by Deleuze as the collective expression of the primitive ontological forces of Repetition and Difference. Actually, the notion of imitation and innovation seem more appropriate to the study of popular culture phenomena than the statistic sociology of Durkheim. Based on that philosophical background, I will give an analysis of the political changes occurring in westem contemporary societies through an analysis of the representation of Superheroes. (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)

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

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)

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)

In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some generalizations of it in non-classical logics: many-valued matrix semantics with three and four values, non-truth-functional bivalent semantics, Kripke possible world semantics. • DOI:10.5007/1808-1711.2010v14n1p31.

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.

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)