"16 'On Justification and Interpretation', ARSP-Beiheft, 53, pp. 255-68." -- "17 'Authority Reasons in Legal Interpretation and Moral Reasoning', ARSP Supplementa (III), pp. 144-52." -- "18 'Two Types of Substantive Reasons: The Core of a Theory of Common-Law Justification', Cornell Law Review, 63, pp. 707-88." -- "19 'Reasonableness and Objectivity', Notre Dame Law Review, 74, pp. 1575-603.

This article deals with the relation between a theory of law and a theory of legal reasoning. Starting from a close reading of Chapter VII of H. L. A. Hart's The Concept of Law, it claims that a theory of law like Hart's requires a particular theory of legal reasoning, or at least a theory of legal reasoning with some particular characteristics. It then goes on to say that any theory of legal reasoning that satisfies those requirements is highly implausible, (...) and tries to show that this is the reason why not only Hart, but also writers like Neil MacCormick and Joseph Raz have failed to offer a theory of legal reasoning that is compatible with legal positivism as a theory of law. They have faced a choice between an explanation of legal reasoning that is incompatible with the core of legal positivism or else strangely sceptical, insofar as it severs the link between general rules and particular decisions that purport to apply them. (shrink)

Este artículo discute la relación entre la teoría democrática y las instituciones que pretenden realizarla. Dada la relación entre ambas, en toda explicación de las instituciones democráticas es posible leer, a pesar de sus autores incluso, una teoría de la democracia y viceversa. Este punto es ilustrado por una comprensión “realista” de la democracia, usando como ejemplo la defendida por Hans Kelsen en su Esencia y valor de la democracia. La crítica “populista” a la democracia realmente existente tiene una inesperada (...) continuidad con una teoría realista como esa. La pregunta entonces discutida es si esa continuidad muestra algo acerca de la imposibilidad de la democracia en nuestra época, que sería por eso la época del populismo. (shrink)

This article discusses the concept of constituent power and its application to the situation in Chile after the 18th October 2019. In particular, it discusses the relation between constituted and constituent powers, with a view to understanding the significance of the 15 November Agreement that opened the way for the ongoing constituent process.

This paper studies the formality of law and legal reasoning. It argues that, though the law (and its application) is indeed formal in that it does not take into account a significant number of considerations that should in principle be relevant for an all–things–considered decision, this is not to be explained on the basis of some ontology of rules (i.e., rules as exclusionary reasons), but upon the nature of legal discourse when viewed as a social practice. How the law is (...) applied to particular cases, when substantive considerations not referred to by the rules are important enough to defeat their application to the case and questions of this kind are not answered by the legal material (which includes or might include rules, principles etc.), but by beliefs that underlie legal practice, beliefs about the world and its relation to human beings and society. Insofar as these beliefs have impact upon practices we recognise as legal they are termed “images of law.” Legal reasoning cannot be understood without paying due attention to the nature and evolution of images of law. (shrink)

This book presents the first English translation of the original French treatise “La Physique d’Einstein” written by the young Georges Lemaître in 1922, only six years after the publication of Albert Einstein’s theory of General Relativity. It includes an historical introduction and a critical edition of the original treatise in French supplemented by the author’s own later additions and corrections. -/- Monsignor Georges Lemaître can be considered the founder of the “Big Bang Theory” and a visionary architect of modern Cosmology. (...) The scientific community is only beginning to grasp the full extent of the legacy of this towering figure of 20th century physics. Against the best advice of the greatest names of his time, the young Lemaître was convinced, solely through the study of Einstein’s theory of General Relativity, that space and time must have had a beginning with a tremendous “Big Bang” from a “quantum primeval atom” resulting in an ever-expanding Universe with a positive cosmological constant. -/- But how did the young Lemaître, essentially on his own, come to grips with the physics of Einstein? A year before his ordination as a diocesan priest, he submitted the audacious treatise, published in this book, that was to earn him Fellowships to study at Cambridge, MIT and Harvard, and launched him on a scientific path of ground-breaking discoveries. Almost a century after Lemaître’s seminal publications of 1927 and 1931, this highly pedagogical treatise is still of timely interest to young minds and remains of great value from a history of science perspective. (shrink)

Simone Weil was a sustained and trenchant critic of Marxism from 1930 till her death. In her writings as a philosopher she proposes a rereading of the Marxist analysis of the alienation of work, pointing to the inadequacies and illusions of Marx’s project. Whereas Marx locates the origins of alienation (defined as the human subject’s incapacity to comprehend its work) in the structure of the capitalist market, Weil is convinced that alienation stems from the very nature of the organization of (...) work. The points of convergence between Marx and Weil are essential to an understanding of the philosophy of Simone Weil and to a fuller grasp of its originality and current relevance. (shrink)

The growing literature on gender in armed conflict and the debates over post-conflict reparations for women, focus on the prevalence and harms of sexual violence. While this focus has recently been critiqued, there are few articulations of other types of gendered injuries. This article decentres the emphasis on sexual violence by examining the intersection between forced displacement and political insecurity. Based on extensive field research in Colombia, and using as an example a case study of an internally displaced women’s grassroots (...) organization in Cartagena, Colombia, this article examines political insecurity as a specifically gendered harm. It reflects on the concrete circumstances of insecurity, on the relevance of traditional gender roles in the constitution of insecurity, and on the challenges for court-ordered remedies. This widening of the scope of attention also invites complex reflection on the possibility of transformative reparations in post-conflict situations. (shrink)

Ce volume fait le point sur plusieurs années de recherches méthodologiques et archivistiques et complète les publications récentes des membres du GDR sur le sujet, dont les dernières : Entre mémoire et histoire. Écriture ordinaire et émergence de l’individu, éd. S. Mouysset et N. Lemaitre, Paris, CTHS ; Car c’est moy que je peins. Écritures de soi, individu et liens sociaux (Europe, xve-xxe siècle), dir. S. Mouysset, Jean-Pierre Bardet et François-Joseph Ruggiu, Toulouse, Framespa, coll. « Mé...

Workplace spirituality deals with paradoxes. This concept has been taken on board since the late 1980s, but very few human resource managers have realised that workplace spirituality could make an essential contribution to a better understanding of workplace and corporate reality. Increasing numbers of academic papers are being published on this subject but mere remain many grey areas for researchers. The aim of this paper is to use Simone Weil’s philosophy as a reading grid to get an insight into workplace (...) spirituality as a new paradigm of management. Initial studies attempting to apply Weil’s philosophy to management highlight the necessity for all the actors within the organisation to define their job tasks and contents according to their own way of thinking. Our interpretation of Weil’s philosophy also sheds light on the impossibility of dissociating thinking and acting and reminds us that work is done to nourish both the body and the soul. By concentrating on the spirituality of work, we can establish new links between ethics and human resource management. (shrink)

Notre article porte sur l’usage que Schelling fait du concept d’âme, d’abord dans l’analyse des conditions de possibilité de la conscience de soi, où il implique de prendre en considération l’organicité du corps. Nous suivons ensuite l’anthropologie que constitue Schelling dans sa « philosophie intermédiaire », et en particulier dans Les âges du monde, où l’homme tient une place centrale dans le monde en raison de l’unité d’esprit et de nature qu’il constitue grâce à l’âme. Est alors attribuée à l’âme (...) une fonction médiatrice, à comprendre comme un travail de production de soi et donnant lieu à une pensée de l’inconscient. (shrink)

In recent decades, some feminists have turned to the writings of Hannah Arendt in order to propose a truly emancipatory ethic of care or to find the principles that could lead to the political institutionalization of care. Nevertheless, the feminist interpretations of Hannah Arendt are particularly contrasted. According to Sophie Bourgault, this recourse to Hannah Arendt is deeply problematic, mainly because of her strong distinction between the private and public spheres. This article discusses the relevance of using Arendt’s concepts to (...) think about the institutionalization of care by Joan Tronto. Indeed, the most recent analyses developed on the politics of care are shaped by Arendt’s concepts such as power, amor mundi or by her conception of politics as a relationship. (shrink)

Cette uvre fait partie de la serie TREDITION CLASSICS. La maison d'edition tredition, basee a Hambourg, a publie dans la serie TREDITION CLASSICS des ouvrages anciens de plus de deux millenaires. Ils etaient pour la plupart epuises ou unique-ment disponible chez les bouquinistes. La serie est destinee a preserver la litterature et a promouvoir la culture. Avec sa serie TREDITION CLASSICS, tredition a comme but de mettre a disposition des milliers de classiques de la litterature mondiale dans differentes langues et (...) de les diffuser dans le monde entier. (shrink)

Nous nous proposons dans cette étude de dégager le caractère aporétique du traitement schellingien de la question de l’histoire dans le Système de l’idéalisme transcendantal. Cette aporie consiste en l’impossibilité de concilier le libre arbitre, condition de la phénoménalisation de la liberté, et la nécessité comme légalité supérieure unifiant les volontés particulières en fonction d’un but commun. Les figures de l’improvisation et du tragique par lesquelles Schelling pense l’histoire dessinent alors une forme de pessimisme historique, qui revêt une double fonction (...) positive : penser le pratique dans sa radicalité absolue et comprendre la nécessité de son propre dépassement dans une philosophie de l’art. (shrink)

Résumé Cette étude se propose de confronter les pensées de Schelling et de Nicolas de Cues, bien que rien n’atteste que le premier ait connu le second. L’intérêt de cette confrontation réside alors dans la manière dont chacun traite, avec les moyens qui lui sont propres, une même problématique, celle de l’articulation entre unité, posée comme principe ontologique suprême, et totalité. Il apparaît que tous deux, pour y répondre, mettent en œuvre une conception « itérative » de l’identité, et mobilisent (...) le paradigme de l’image pour penser le statut des choses finies. Cette comparaison permet de constater que ces deux pensées de l’unité n’ont pas pour conséquence d’annuler toute multiplicité, mais réservent au contraire à la singularité une place centrale. (shrink)

Drosophila responds to a septic injury by the rapid synthesis of antimicrobial peptides. These molecules are predominantly produced by the fat body, a functional equivalent of mammalian liver, and are secreted into the hemolymph where their concentrations can reach up to 100 μM. Six distinct antibacterial peptides (plus isoforms) and one antifungal peptide have been characterized in Drosophila and their genes cloned. The induction of the gene encoding the antifungal peptide relies on the spätzle/Toll/cactus gene cassette, which is involved in (...) the control of dorsoventral patterning in the embryo, and shows interesting structural and functional similarities with cytokine‐induced activation of NF‐ϰB in mammalian cells. An additional pathway, dependent on the as yet unidentified imd (for immune‐deficiency) gene, is required for the full induction of the antibacterial peptide genes. Mutants deficient for the Toll and imd pathways exhibit a severely reduced survival to fungal and bacterial infections, respectively. Recent data on the molecular mechanisms underlying recognition of non‐self are also discussed in this review. (shrink)

Si l’œuvre de Nietzsche présente une familiarité étonnante avec la pensée de Dostoïevski, le rapport du philosophe allemand au romancier russe est plus complexe qu’il n’y paraît. En effet, Nietzsche découvre par un heureux hasard, vers la fin de sa vie, les écrits de Dostoïevski. En quelques mois, il passe d’un enthousiasme absolu à l’aveu d’une déception à l’égard de celui qu’il considère comme un simple décadent chrétien. Comment interpréter ce retournement de Nietzsche vis-à-vis de Dostoïevski? Est-ce simplement un nouvel (...) exemple de la versatilité du philosophe allemand? Ou peut-on y déceler quelque chose de plus profond? Cet article tente de reconstituer la chronologie du rapport de Nietzsche à Dostoïevski et les indices permettant d’éclairer l’apport réel du romancier russe à la philosophie nietzschéenne. (shrink)

This paper seeks to establish whether the categories of MacIntyrean virtue ethics as applied to business organizations are meaningful in a non-western business context. It does so by building on research reported in Moore : 363–387, 2012) in which the application of virtue ethics to business organizations was investigated empirically in the UK, based on a conceptual framework drawn from MacIntyre’s work. Comparing these results with an equivalent study in Sri Lanka, the paper finds that the categories are meaningful but (...) that there are both similarities to and considerable differences in the content of these categories from the UK study. The paper draws on aspects of institutional theory to explore and explain these findings. Overall, there is supportive evidence that the categories of MacIntyrean virtue ethics are generalizable, and so can be used to characterize problems of organizational virtue and vice around the world, while providing evidence that there may be polities which are more conducive to the ‘practice-like conduct of production’ : 77–91, 2008). (shrink)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...) new interpretation to theories of classical arithmetic and analysis. (shrink)

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)

We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.

Jean-Marie Vaysse (1950-2011) hat das philosophische Leben in Frankreich durch die Originalität seines Nachdenkens über die Geschichte der Philosophie dauerhaft geprägt. Spinoza, Heidegger und Deleuze waren seine wichtigsten Weggefährten, mit denen er versucht hat, Fluchtlinien zu entwerfen, um über das Schicksal des zeitgenössischen Denkens nachzusinnen. Seine der deutschen Philosophie von Kant bis Heidegger gewidmete Lehre hat bei seinen Studenten an der Universität Toulouse II - Le Mirail eine sehr lebendige Erinnerung hinterlassen. Dieses Buch ehrt sein Werk, indem es seine außergewöhnliche (...) Art, philosophische Texte zu lesen, und seine Schärfe in der Analyse einiger bevorzugter Lehren hervorhebt und den Geist seiner Methode mit originalen Beiträgen fortführt. Außerdem werden zwei Texte postum veröffentlicht, die den Schwung eines nun abgebrochenen Denkens bezeugen. Jean-Marie Vaysse (1950-2011) a marqué durablement la vie philosophique française, par l’originalité de sa réflexion sur l’histoire de la philosophie. Spinoza, Heidegger et Deleuze ont constitué les principaux compagnons de route avec lesquels il s’est efforcé de dessiner des lignes de fuite pour méditer la destinée de la pensée contemporaine. Son enseignement à l’Université de Toulouse II-Le Mirail, consacré à la philosophie allemande, de Kant à Heidegger, a laissé un souvenir toujours vivant chez ses étudiants. Le présent volume rend hommage à son œuvre, en soulignant la singularité de sa pratique de lecture des textes philosophiques, l’acuité de son analyse de certaines doctrines privilégiées, et en perpétuant l’esprit de sa démarche par des contributions originales. Enfin, nous publions à titre posthume deux inédits, qui témoignent de l’élan d’une pensée interrompue. (shrink)

In "'Yes" and "No'" (2000), Ian Rumfitt proposed bilateralism--a use-based account of the logical words, according to which the sense of a sentence is determined by the conditions under which it is asserted and denied. One of Rumfitt's key claims is that bilateralism can provide a justification of classical logic. This paper raises a techical problem for Rumfitt's proposal, one that seems to undermine the bilateralist programme.

We show how to interpret intuitionistic propositional logic into a predicative second-order intuitionistic propositional system having only the conditional and the universal second-order quantifier. We comment on this fact. We argue that it supports the legitimacy of using classical logic in a predicative setting, even though the philosophical cast of predicativism is nonrealistic. We also note that the absence of disjunction and existential quantifications allows one to have a process of normalization of proofs that avoids the use of "commuting conversions.".

As public administrations adopt artificial intelligence (AI), we see this transition has the potential to transform public service and public policies, by offering a rapid turnaround on decision making and service delivery. However, a recent series of criticisms have pointed to problematic aspects of mainstreaming AI systems in public administration, noting troubled outcomes in terms of justice and values. The argument supplied here is that any public administration adopting AI systems must consider and address ambiguities and uncertainties surrounding two key (...) dimensions: the algorithms’ results, and how public managers make decisions for and about AI systems’ design. The article is based on bibliographic research in institutional theory perspective that relates the design of AI systems and relevant literature on the decision-making process in public policy. The main finding is to explain why autonomous decision systems continue to reproduce ambiguities and uncertainties when applied in public administration and propose a reflection on AI governance in public administration. This article points to the need for design institutions that immerse themselves in understanding the nuances, details, and potential outcomes of AI governance for public administration. Such institutions would reconcile consequentialist logic with a logic of appropriateness to help navigate and mediate ambiguities and uncertainties. (shrink)

It has been known for six years that the restriction of Girard's polymorphic system $\text{\bfseries\upshape F}$ to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each $\beta$-reduction step of the full intuitionistic propositional calculus translates into one or more $\beta\eta$-reduction steps in the restricted Girard system. As a consequence, we obtain (...) a novel and perspicuous proof of the strong normalization property for the full intuitionistic propositional calculus. It is noticed that this novel proof bestows a crucial role to $\eta$-conversions. (shrink)

Nourrie des textes de la tradition philosophique, la pensée de Hannah Arendt vise à tirer les leçons des phénomènes totalitaires pour restaurer une conception de la politique propre à assurer l'existence et la permanence d'un monde à partager et à aimer. Dans ce monde, chaque homme, simplement parce qu'il est homme, serait considéré comme étant porteur d'une valeur inconditionnelle, lui garantissant sa place parmi les siens et une égale dignité. Construire un tel monde implique de rompre avec les travers de (...) la plupart des philosophes, qui depuis Platon se sont révélés résolument hostiles à la politique et à l'action, et se sont réfugiés dans le monde des idées pour se consacrer à la contemplation, laissant ainsi le champ libre aux idéologies mortifères. La plupart des grands philosophes ont ainsi manqué le sens du politique. Et en cela, ils sont en partie responsables et coupables du chaos qui a conduit à l'avènement du nazisme. C'est cette incapacité des philosophes à penser la politique qui poussa Hannah Arendt à refuser avec constance ce qualificatif au profit de celui de théoricienne politique. Le désir insatiable de comprendre les phénomènes, dont elle fut actrice ou spectatrice, amena Hannah Arendt à s'affranchir des catégories et des usages pour proposer une démarche audacieuse et inclassable. La volonté de construire un monde où aucun homme ne serait plus considéré comme superflu la conduisit à emprunter un long chemin semé d'embûches, que cet ouvrage tente de retracer, révélant ainsi une pensée puissante, humaniste et complexe, qui nous permet d'éclairer sous un jour différent notre présent."--Page 4 of cover. (shrink)

In Frege’s logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege’s logical system is inconsistent, but Richard Heck showed that its restriction to predicative quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck’s system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the (...) predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thoroughly Fregean way. (shrink)

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma$$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma$$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predicate calculus into a second-order predicative system for which there is no need for commuting conversions. Furthermore, we show that the redex (...) and the conversum of a commuting conversion of the original calculus translate into equivalent derivations by means of a series of bidirectional applications of standard conversions. (shrink)