Meiotic recombination in eukaryotic cells requires two homologs of E. coli RecA protein, Rad51 and Dmc1. Until recently, the role of Dmc1 in meiotic recombination was mostly attributed to genetic studies as purified Dmc1 was found to be a much weaker recombinase than Rad51 in the test tube. Now, Sehorn and colleagues1 have reported that, like Rad51, human Dmc1 is an efficient recombinase in vitro. Dmc1 forms helical nucleoprotein filaments—the signature of classical recombinases such as Rad51. These observations reveal a (...) high level of similitude between the Dmc1 and the Rad51 family of recombination enzymes in higher eukaryotes. BioEssays 26:1151–1155, 2004. © 2004 Wiley Periodicals, Inc. (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.

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)

The familiar connective of negation is broken into two operations: linear negation which is the purely negative part of negation and the modality “of course” which has the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.

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)

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 extension of (...) K. (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)

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

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)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Heidegger and Dao: Things, Nothingness, Freedom by Eric S. NelsonJean-Yves Heurtebise (bio)Heidegger and Dao: Things, Nothingness, Freedom. Eric S. Nelson. London: Bloomsbury, 2024. Pp. viii + 256. Paper $103.50, ISBN 978-1-350411-90-6.On the Way: from Heidegger to Nagarjuna via Lao-ZhuangAfter having reviewed Eric S. Nelson’s 2017 Chinese and Buddhist Philosophy in Early Twentieth-Century German Thought (for the Journal of Chinese Philosophy) and his 2020 Daoism and Environmental Philosophy (...) (for Monde Chinois Nouvelle Asie), reviewing now, for Philosophy East & West, Nelson’s 2024 Heidegger and Dao: Things, Nothingness, Freedom, which develops on the insights of his two previous opuses, is both a real pleasure and a true challenge. It’s a pleasure to read again Eric S. Nelson’s scholarly prose with its own specific conceptual style and distinctive philosophical rhythm. It’s a challenge to give a meaningful and fair overview of a conceptually complex, scholarly rich, and thought-provoking book.No one can speak better about the aim and goals of Nelson’s book than the author himself--following the wayist way of spontaneous ziranity, we will thus let the book speak for itself:Its primary thesis is that, entangled with Daoist and other intercultural sources, Heidegger’s path proceeds from the paradigmatic Occidental philosophy of available givenness and mere presence--which conceals the open spacing of things and seeks to logically exclude and dialectically subordinate negativity and the nothing--to nothingness, emptiness, and the clearing in their coming to presence and withdrawal in absence or, to accentuate its mutable verbal sense, presencing-absencing. […] Zhuangzi’s vision of free and easy wandering indicates ways of practicing philosophy as contesting and unraveling fixations. These practices allow rethinking Heidegger’s pathways and reimagining for ourselves things, nothingness, and world in the specificity of our existential condition.(p. 10)These lines can give already a good indication about what the reader will be provided with: a Heideggerian reading of Daoism nurturing and enriching a Daoist reading of Heidegger; a Daoist reinterpretation of the late Heidegger feeding and complexifying a Heideggerian Pre-Socratic reinterpretation of early Daoism; a continuous feedback loop leading to a process of mutual symbiosis and multiple conceptually creative hybridizations. Ziran and Dao are used to unlock the concealed potentialities of overdetermined Western concepts such as Nature and Ethos while the Heideggerian deconstruction of “Western metaphysics” is [End Page 1] used to de-Eurocentricize our understanding of Daoist and Buddhist thoughts about Thing and Nothingness.The book is divided in two parts: the first part deals with the concept of Thing, the second with the concept of Nothingness. Thing and Nothingness seem to be the perfect antithesis but the magic of Nelson’s reading of their tri-cultural Daoist, Buddhist and Heideggerian conceptualization is to dissipate the classical, ontological antinomy between Being and Non-Being to explore what’s both beyond and below: the natural source of life emergence, coming and returning to a Nothing that is Everything via a Thing that is never Anything (a ready-made and exchangeable object in the universal trading scheme of capitalist general equivalence) but always Something (this and that in particular, in their own specific rhythm of coming back and forth, from and to their source of un-nothingity).The first five chapters evoke the issue of the encounter of Heidegger and Daoist thinking in relation to the deconstruction of Thingness. In the first chapter, Nelson proposes a cross-cultural perspective about the Nature of the Thing linking Heidegger’s critique of the reduction of Things’ Presence to Functional Tools to the Daoist extended conception of Things in terms of Multitude (wanwu 萬物), in which objects, living beings, and spirits participate in the fabric of reality. Chapter 2 examines the connection between Heidegger’s and Daoism’s understanding of “nature” as manifesting a distinct yet similar attention to things’ autopoiesis: following the natural disclosing and unfolding of “things” entails a specific way to think and be in the world. In chapter 3, a comparison is established between Heidegger and Laozi with respect to the notion of void and emptiness: the fact that what powers the utility of a thing is what... (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)

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.

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.

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)

Despite its wealth and economic performances, Western Europe is anxious about its future and unable to solve its main problem: unemployment. Its great project is the building or Europe. But many questions have no real answers: how can we avoid social fractures? is globalisation and internationalisation a risk or chance? how should we fight corruption? Europe should be the best answer to those questions. But it depends on the answers to new questions: what are the social values on which we (...) want to build the European society of the next century. Eastern Europe is still poor. But the questions are the same and people are confronted with the same problems. Our common challenge is to build a society for the future. And for the first time of our long history, we have no model. We have to invent it. Firms and managers from Hungary and Eastern Europe have to bring their contribution and promote values and virtues as a major factor of the building of our common Europe. (shrink)

Cet ouvrage regroupe plusieurs textes centrés sur les questions cardinales de la philosophie de Merleau-Ponty, de ses premières à ses dernières oeuvres, en particulier : les questions de l'incarnation, de l'expression, de la peinture, de la vision et bien sûr du style. L'analyse est donc plutôt orientée du côté de l'esthétique et des rapports existant entre philosophie et non-philosophie. Merleau-Ponty a donné toute son importance au silence de la peinture pour tenter de comprendre la dimension du langage et de l'expression.

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)

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)

Goffi and Roux are interested in what makes some thought experiments work, while others do not work. They do not attempt to draw an a priori line between two types of thought experiments, but rather ask the following question: inasmuch as thought experiments are arguments, and notwithstanding the fact that some of them might involve the contemplation of an imaginary scenario, how is it that some of them work, while others do not? Taking inspiration from a counterfactual thought experiment presented (...) by Nicholas Rescher, they treat thought experiments as argumentative procedures resembling tests of consistency, which invite the experimenter to seek the weakest link in her body of beliefs. Equipped with this method, they examine two well-known successful thought experiments (Galileo’s two bodies strapped together, and Thomson’s violinist) and discuss Mach’s notion of thought experiments. Thus they reach the hypothesis that successful thought experiments respect the three following conditions: they do not deal with things, but with beliefs; they mobilise a set of beliefs shared by the interlocutors; and this set of beliefs has a hierarchical structure. Using once again examples written at different periods and taken from various disciplines (Descartes’ receding bodies, Aristotle’s weaving shuttles), Goffi and Roux argue that each of those conditions is individually necessary for a thought experiment to work. They finally conclude on the limits and consequences of their approach. (shrink)

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)

New commentary on Hadrian’s second letter to Dionysiac artists. A thorough study of the text structure and vocabulary reveals that the emperor has not always altered the schedule of Greek games. His main concern is to insert the competitions he himself has created and to avoid conflicts between the cities. He certainly didn’t offend the susceptibilities of the Greeks, but he probably also resisted numerous requests. He has favoured considerably Athens. The understanding of the end of the text can be (...) improved. The dates provided by Hadrian in the solar Julian calendar must be reinterpreted in light of a lunar calendar. (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)

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 variés que la chimie, la théologie, (...) les mathématiques, le code de la route et bien d’autres qui est l’objet du livre La Pointure du symbole. -/- Jean-Yves Béziau, franco-suisse, est docteur en logique mathématique et docteur en philosophie. Il a poursuivi des recherches en France, au Brésil, en Suisse, aux États-Unis (UCLA et Stanford), en Pologne et développé la logique universelle. Éditeur-en-chef de la revue Logica Universalis et de la collection Studies in Universal Logic (Springer), il est actuellement professeur à l’Université Fédérale de Rio de Janeiro et membre de l’Académie brésilienne de Philosophie. SOMMAIRE -/- PRÉFACE L’arbitraire du signe face à la puissance du symbole Jean-Yves BÉZIAU La logique et la théorie de la notation (sémiotique) de Peirce (Traduit de l’anglais par Jean-Marie Chevalier) Irving H. ANELLIS Langage symbolique de Genèse 2-3 Lytta BASSET -/- Mécanique quantique : quelle réalité derrière les symboles ? Hans BECK -/- Quels langages et images pour représenter le corps humain ? Sarah CARVALLO Des jeux symboliques aux rituels collectifs. Quelques apports de la psychologie du développement à l’étude du symbolisme Fabrice CLÉMENT Les panneaux de signalisation (Traduit de l’anglais par Fabien Shang) Robert DEWAR Remarques sur l’émergence des activités symboliques Jean LASSÈGUE Les illustrations du "Songe de Poliphile" (1499). Notule sur les hiéroglyphes de Francesca Colonna Pierre-Alain MARIAUX Signes de vie Jeremy NARBY Visualising relations in society and economics. Otto Neuraths Isotype-method against the background of his economic thought Elisabeth NEMETH Algèbre et logique symboliques : arbitraire du signe et langage formel Marie-José DURAND – Amirouche MOKTEFI Les symboles mathématiques, signes du Ciel Jean-Claude PONT La mathématique : un langage mathématique ? Alain M. ROBERT. (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 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)

Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that $\neg(a\wedge\neg a)$ is a theorem which can be algebraized by a technique similar to the Tarski-Lindenbaum technique.

t.l. Introduction à une anthropologie philosophique.

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)