We reconsider some classical natural semantics of integers in the perspective of Kolmogorov complexity. To each such semantics one can attach a simple representation of integers that we suitably effectivize in order to develop an associated Kolmogorov theory. Such effectivizations are particular instances of a general notion of “self-enumerated system” that we introduce in this paper. Our main result asserts that, with such effectivizations, Kolmogorov theory allows to quantitatively distinguish the underlying semantics. We characterize the families obtained by such effectivizations (...) and prove that the associated Kolmogorov complexities constitute a hierarchy which coincides with that of Kolmogorov complexities defined via jump oracles and/or infinite computations . This contrasts with the well-known fact that usual Kolmogorov complexity does not depend on the chosen arithmetic representation of integers, let it be in any base n ≥ 2 or in unary. Also, in a conceptual point of view, our result can be seen as a mean to measure the degree of abstraction of these diverse semantics. (shrink)

We obtain a large class of significant examples of n-random reals (i.e., Martin-Löf random in oracle $\varphi ^{(n - 1)} $ ) à la Chaitin. Any such real is defined as the probability that a universal monotone Turing machine performing possibly infinite computations on infinite (resp. finite large enough, resp. finite self-delimited) inputs produces an output in a given set O ⊆(ℕ). In particular, we develop methods to transfer $\Sigma _n^0 $ or $\Pi _n^0 $ or many-one completeness results of (...) index sets to n-randomness of associated probabilities. (shrink)

We consider the question of randomness of the probability ΩU[X] that an optimal Turing machine U halts and outputs a string in a fixed set X. The main results are as follows: ΩU[X] is random whenever X is $\Sigma _{n}^{0}$-complete or $\Pi _{n}^{0}$-complete for some n ≥ 2. However, for n ≥ 2, ΩU[X] is not n-random when X is $\Sigma _{n}^{0}$ or $\Pi _{n}^{0}$ Nevertheless, there exists $\Delta _{n+1}^{0}$ sets such that ΩU[X] is n-random. There are $\Delta _{2}^{0}$ sets (...) X such that ΩU[X] is rational. Also, for every n ≥ 1, there exists a set X which is $\Delta _{n+1}^{0}$ and $\Sigma _{n}^{0}$-hard such that ΩU[X] is not random. We also look at the range of ΩU as an operator. We prove that the set {ΩU[X]: X ⊆ 2<ω} is a finite union of closed intervals. It follows that for any optimal machine U and any sufficiently small real r, there is a set X ⊆ 2<ω recursive in ∅′ ⊕ r, such that ΩU[X] = r. The same questions are also considered in the context of infinite computations, and lead to similar results. (shrink)

Using possibly infinite computations on universal monotone Turing machines, we prove Martin-Löf randomness in ∅' of the probability that the output be in some set.

We introduce a notion of syntactical truth predicate (s.t.p.) for the second order arithmetic PA 2 . An s.t.p. is a set T of closed formulas such that: (i) T(t = u) if and only if the closed first order terms t and u are convertible, i.e., have the same value in the standard interpretation (ii) T(A → B) if and only if (T(A) $\Longrightarrow$ T(B)) (iii) T(∀ x A) if and only if (T(A[x ← t]) for any closed first (...) order term t) (iv) T(∀ X A) if and only if (T(A[X ←▵]) for any closed set definition $\triangle = \{x \mid D(x)\}$ ). S.t.p.'s can be seen as a counterpart to Tarski's notion of (model-theoretical) validity and have main model properties. In particular, their existence is equivalent to the existence of an ω-model of PA 2 , this fact being provable in PA 2 with arithmetical comprehension only. (shrink)

This volume surveys 150 law books of fundamental importance in the history of Western legal literature and culture. The entries are organized in three sections: the first dealing with the transitional period of fifteenth-century editions of medieval authorities, the second spanning the early modern period from the sixteenth to the eighteenth century, and the third focusing on the nineteenth and twentieth centuries. The contributors are scholars from all over the world. Each 'old book' is analyzed by a recognized specialist in (...) the specific field of interest. Individual entries give a short biography of the author and discuss the significance of the works in the time and setting of their publication, and in their broader influence on the development of law worldwide. Introductory essays explore the development of Western legal traditions, especially the influence of the English common law, and of Roman and canon law on legal writers, and the borrowings and interaction between them. The book goes beyond the study of institutions and traditions of individual countries to chart a broader perspective on the transmission of legal concepts across legal, political, and geographical boundaries. Examining the branches of this genealogical tree of books makes clear their pervasive influence on modern legal systems, including attempts at rationalizing custom or creating new hybrid systems by transplanting Western legal concepts into other jurisdictions. (shrink)

A far-reaching reinterpretation of Plato’s Timaeus and its engagement with time, eternity, body, and soul that in its original French edition profoundly influenced Derrida The Tomb of the Artisan God provides a radical rereading of Timaeus, Plato’s metaphysical text on time, eternity, and the relationship between soul and body. First published in French in 1995, the original edition of Serge Margel’s book included an extensive introductory essay by Jacques Derrida, who drew on Margel’s insights in developing his own concepts (...) of time, the promise, the world, and khōra. Now available in English with a new preface by Margel, this engagement with Platonic thought proceeds from two questions that span the history of philosophy: What is time? What is the body? Margel’s twinned interrogation centers around Plato’s concept of the demiurge (divine artisan or craftsman): its body, its anthropomorphic attributes, its productive capacities and regulatory functions in the ordering/organization/assembling of the world. He posits that this paradoxical figure is not merely a cosmological metaphor for the living body but also the site of its destruction, dissolution, and disappearance. Torn between the finite and the infinite, being and becoming, the concept of demiurge also poses metaphysical questions about time, time before time, and the end of time. The ontological status of the demiurge’s body, Margel argues, would become increasingly decisive in the history of philosophy, particularly in Christianity and the dogma of incarnation. (shrink)

Qui étaient les gnostiques? Simplement des hérétiques? Ou bien ont-ils, par leurs questionnements, contribué à la redéfinition de la religion monothéiste? Relevaient-ils du judaïsme, du christianisme, du mandéisme, du sabéisme, du manichéisme? Comment le mouvement gnostique a-t-il influencé le développement du christianisme dans l’Antiquité? L’Église a-t-elle rejeté ce mouvement? L’ouvrage de Serge Hutin répond à ces questions essentielles.

Various four- and three-valued modal propositional logics are studied. The basic systems are modal extensions BK and BS4 of Belnap and Dunn's four-valued logic of firstdegree entailment. Three-valued extensions of BK and BS4 are considered as well. These logics are introduced semantically by means of relational models with two distinct evaluation relations, one for verification and the other for falsification. Axiom systems are defined and shown to be sound and complete with respect to the relational semantics and with respect to (...) twist structures over modal algebras. Sound and complete tableau calculi are presented as well. Moreover, a number of constructive non-modal logics with strong negation are faithfully embedded into BS4, into its three-valued extension B3S4, or into temporal BS4, BtS4. These logics include David Nelson's three-valued logic N3, the four-valued logic N4 bottom, the connexive logic C, and several extensions of bi-intuitionistic logic by strong negation. (shrink)

This chapter addresses the relationship between Rorty's pragmatist philosophy and his view of literature and literary writing. It begins by examining the relationship between philosophy and literature, construed by Rorty in terms of the opposition between “normal,” professionalized, argument‐centered philosophical discourse and the kind of cultural criticism which emphasizes human finitude and contingency, seeking through the use of irony and literary inventiveness to transform our prevalent visions of what it means to be human. This humanist side of Rorty's argument is (...) further developed through the discussion of the role that literature plays in intellectual self‐formation and moral edification, by educating moral sensibility and providing transformational shifts of conceptual perspective. These dynamics of literary innovation are then shown to dovetail nicely with Rorty's naturalistic, evolutionary conception of cultural development as well as his views regarding the indispensable role of the personal, the private, and the unshared in producing genuine cultural innovation. (shrink)

On ne peut pas dénoncer " la société de consommation " sans se référer aux analyses de Jean Baudrillard (1929-2007). Le démontage de la publicité et la mise en lumière de son omniprésence manipulatrice sont au coeur de son premier grand livre. La décroissance, qui implique de s'extraire de la religion de la croissance et de l'économie, trouve aussi, dans un autre de ses livres majeurs, L'économie politique du signe, les arguments pour déconstruire la prétention de l'économie à dire le (...) réel. Baudrillard résiste pourtant à l'appropriation pure et simple dans une perspective de transformation sociale. Car si sa critique du système touche juste, les conclusions qu'il en tire sont si radicales qu'elles tendent à neutraliser l'action. L'entretien totalement inédit que nous publions à la suite de l'analyse détaillée de Serge Latouche éclaire ainsi la singularité et la dualité de cette figure, dont l'oeuvre toute entière tourne finalement autour du désenchantement mélancolique de la modernité, entre révolte rentrée et subversion ironique. (shrink)

St. Thomas Aquinas never commented on the Song of Songs. The purpose of this book is to demonstrate, however, that he meditated on it and absorbed it, so that the words of the Song are for him a familiar repertoire and a theological source. His work contains numerous citations of the Song, not counting his borrowings of vocabulary and images from it. In total, there are 312 citations of the Song in Aquinas's corpus, along with citations of the Song that (...) are found in citations that Aquinas makes of other authors (as for example in the Catena aurea). Understanding the purpose and placement of these citations significantly enriches our understanding of Aquinas as a theologian, biblical exegete, and spiritual master. The book contains an Appendix listing and contextualizing each citation. The study of the citations of the Song especially illuminates Aquinas's spiritual doctrine. By citing the Song, Aquinas emphasizes the spiritual life's path of dynamic ascent, through an ever increasing participation in the mystery of the nuptial union of Christ and the Church through love. The Song also highlights the eschatological tension or yearning present in the spiritual life, which is ordered to the fullness of beatific vision. Although Aquinas's theology is highly "intellectual," by citing the Song he brings out the affective character of the spiritual life and conveys the centrality of love in the soul's journey toward Christ. He also draws together contemplation and preaching through his use of the Song. (shrink)

While attention to research integrity has been growing over the past decades, the processes of signalling and denouncing cases of research misconduct remain largely unstudied. In this article, we develop a theoretically and empirically informed understanding of the causes and consequences of reporting research misconduct in terms of power relations. We study the reporting process based on a multinational survey at eight European universities. Using qualitative data that witnesses of research misconduct or of questionable research practices provided, we aim to (...) examine actors’ rationales for reporting and not reporting misconduct, how they report it and the perceived consequences of reporting. In particular we study how research seniority, the temporality of work appointments, and gender could impact the likelihood of cases being reported and of reporting leading to constructive organisational changes. Our findings suggest that these aspects of power relations play a role in the reporting of research misconduct. Our analysis contributes to a better understanding of research misconduct in an academic context. Specifically, we elucidate the processes that affect researchers’ ability and willingness to report research misconduct, and the likelihood of universities taking action. Based on our findings, we outline specific propositions that future research can test as well as provide recommendations for policy improvement. (shrink)

La crise écologique actuelle prend ses racines dans une histoire faite de possibles, parfois aboutis, d'échecs et de renoncements. Près de deux siècles de politiques environnementales que Serge Audier synthétise ici à la lumière des entraves et des infléchissements qui les ont forgées, les empêchant encore aujourd'hui de répondre efficacement à l'urgence toujours plus criante. Depuis la fin du XXe siècle, des signaux d'alarme écologiques ne cessent de retentir : réchauffement climatique toujours plus incontrôlable, destruction exponentielle et dramatique de (...) la biodiversité, déforestations accélérées, pollutions diverses, " plastification " des mers, etc. Pourtant, les défenseurs de la cause écologique peinent à véritablement convaincre l'ensemble de la société ainsi que les décideurs économiques et politiques de la nécessité d'un changement urgent de modèle. Pourquoi les forces politiques, de droite mais aussi de gauche, n'ont-elles pas su ou voulu prendre en charge le défi écologique? C'est à cette question que s'intéresse ce livre de Serge Audier, qui offre une ample fresque inédite sur les racines philosophiques, idéologiques et politiques de la crise actuelle. Au croisement de l'histoire et de la philosophie, cette généalogie intellectuelle examine les logiques doctrinales et politiques qui, depuis près de deux siècles, ont présidé aux prises de position et aux programmes en matière environnementale, à leurs réussites comme à leurs nombreux échecs. L'auteur montre notamment pourquoi, dans de nombreuses régions du monde, la logique socio-économique, politique et culturelle dominante est allée dans le sens d'un modèle productiviste qui a provoqué une destruction accélérée et sans précédent du milieu naturel. Parallèlement, il soulève la question des " possibles " non aboutis ou non réalisés, et invite à (re)découvrir des voies alternatives - entre anarchisme et socialisme - qui ont cherché à articuler critique sociale et critique écologique du capitalisme, dans l'horizon d'une " cité écologique " à venir. (shrink)

Alors que monte la prise de conscience du péril environnemental, les obstacles à une véritable mutation écologique des sociétés contemporaines restent massifs et les modèles alternatifs peinent à s'imposer. Les traditions intellectuelles de la gauche semblent souvent impuissantes à apporter des réponses. Pire, n'ont-elles pas contribué, par leur culte des "forces productives", à l'impasse actuelle? La généalogie intellectuelle proposée par Serge Audier revient sur des évidences trompeuses, notamment celle qui voudrait que les mouvements émancipateurs n'aient abordé que très tardivement (...) les enjeux écologiques. On redécouvre certes peu à peu des voix minoritaires qui, de Henry D. Thoreau à William Morris, avaient manifesté très tôt un souci inédit de la nature. Mais en les érigeant en héros solitaires, on contribue à occulter une nébuleuse beaucoup plus large et méconnue qui, entre socialisme et anarchisme, a esquissé les traits d'une "société écologique". L'objectif de ce livre est d'exhumer et de reconstituer une pensée sociale de la nature et de l'émancipation, construite aux marges du "grand récit" socialiste et républicain. De fait, cette tendance dissidente a été ignorée, marginalisée, voire combattue par les courants hégémoniques, qui ont souvent vu dans l'écologie un conservatisme traditionaliste ou un romantisme réactionnaire... Si les "ennemis" de la "société écologique" se trouvent bien entendu du côté des forces du capitalisme, il serait faux et dangereux d'oublier qu'ils font aussi partie de l'histoire même de la gauche et du socialisme dans ses orientations majoritaires, encore prégnantes."--Page 4 of cover. (shrink)

En 1517, il y a cinq cents ans, la réforme de Luther fracture l'Europe. La même année, les conquistadores espagnols s'en prennent au Mexique, qu'ils colonisent et christianisent. Ils y introduisent aussi notre façon d'écrire l'histoire. Les vainqueurs ignorent tout des sociétés indigènes. Or pour imposer leur loi, ils doivent impérativement connaître les coutumes et donc le passé des vaincus. Mais que sont l'histoire et le temps dans l'esprit des Indiens? Le temps n'est pas encore une valeur universelle. Comment les (...) Espagnols formatés dans une Europe chrétienne où l'histoire est chronologique et orientée auraient-ils pu concevoir et accepter la cosmologie méso-américaine? Civilisés contre barbares? En quelques décennies, la machine à remonter le temps des envahisseurs s'emploie à capturer les mémoires des sociétés amérindiennes pour leur fabriquer un passé qui puisse être rattaché au patrimoine antique de la chrétienté. Du côté des Indiens, le souvenir de leur monde au sein duquel les êtres, les choses et les dieux étaient liés se dilue avec le passage des générations même si, dans les codex ou dans les mystérieux cantares, subsistent quelques pans secrets de leur mémoire. Serge Gruzinski propose ici une exploration inédite des débuts de l'expansion coloniale et nous explique comment, sur le terrain, religieux et Indiens se mettent à écrire l'histoire du monde. (shrink)

This first book in English by Serge-Christophe Kolm provides an overview of his far-reaching vision of distributive justice. Kolm derives justice from considerations of rationality.

Active ending of the life of a newborn baby is a crime. Yet its clandestine practise is a reality in several European countries. In this paper, we defend the necessity to institute a proper legal frame for what we define as active neonatal euthanasia. The only legal attempt so far, the Dutch Groningen protocol, is not satisfactory. We critically analyse this protocol, as well as several other clinical practises and philosophical stances. Furthermore, we have tried to integrate our opinions as (...) clinicians into a law project, with the purpose of pinpointing several issues, specific of perinatality that should be addressed by such a law. In conclusion, we argue that the legalisation of neonatal euthanasia under exceptional circumstances is the only way to avoid all the “well-intentioned” malpractices associated with ending life at the very dawn of it. (shrink)

Peer review of journal submissions has become one of the most important pillars of quality management in academic publishing. Because of growing concerns with the quality and effectiveness of the system, a host of enthusiastic innovators has proposed and experimented with new procedures and technologies. However, little is known about whether these innovations manage to convince other journal editors. This paper will address open questions regarding the implementation of new review procedures, the occurrence rate of various peer review procedures and (...) their distribution over scientific disciplines or academic publishers, as well as the motivations for editors or publishers to engage in novel review procedures. It shows that in spite of enthusiastic innovation, the adoption of new peer review procedures is in fact very slow, with the exception of text similarity scanners. For now, peer review innovations appear to be restricted to specific niches in academic publishing. Analysing these niches, the article concludes with a reflection on the circumstances in which innovations might be more widely implemented. (shrink)

Le rapport entre culture et politique est l'un des plus débattu sous l'angle des sciences sociales, opposant notamment culture légitime et culture anthropologique ; et ceci selon deux points de vue complémentaires : d'abord quant aux vicissitudes subies par les politiques culturelles des États-nations, à l'exemple de la France du fait de l'échec de l'objectif de démocratisation culturelle, ensuite quant à leur remise en cause frontale par les processus de la mondialisation libérale. C'est dans ce contexte que s'inscrit la diversité (...) culturelle substituée à l'exception culturelle, et comportant la diversité linguistique, défendue par la FrancophonieThe relation between culture and politics represents one of the most discussed topics from the social sciences perspective, particularly the opposition between high culture and popular culture. The question is viewed from two complementary standpoints: firstly, one related to difficulties faced by the cultural politics of Nation States, for example France’s difficulties because of the fact that the objective of cultural democratization has not been achieved; and secondly bringing cultural politics into question by the process of liberal globalisation. It is in this context that cultural exception is replaced by cultural diversity including linguistic diversity as defended by Francophony. (shrink)

The recent trend in cognitive robotics experiments on language learning, symbol grounding, and related issues necessarily entails a reduction of sensorimotor aspects from those provided by a human body to those that can be realized in machines, limiting robotic models of symbol grounding in this respect. Here, we argue that there is a need for modeling work in this domain to explicitly take into account the richer human embodiment even for concrete concepts that prima facie relate merely to simple actions, (...) and illustrate this using distributional methods from computational linguistics which allow us to investigate grounding of concepts based on their actual usage. We also argue that these techniques have applications in theories and models of grounding, particularly in machine implementations thereof. Similarly, considering the grounding of concepts in human terms may be of benefit to future work in computational linguistics, in particular in going beyond “grounding” concepts in the textual modality alone. Overall, we highlight the overall potential for a mutually beneficial relationship between the two fields. (shrink)