It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...) algebras, unless they are already equivalent to a formula of intuitionistic calculus. These facts relativize to connectives over intermediate logics. In particular, the intermediate logic with values in the chain of length n may be "completed" conservatively by adding a single unary connective, so that the expanded system does not allow further axiomatic extensions by new connectives. (shrink)

An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all (...) connectives defined implicitly by axiomatic extensions of the logic are explicitly definable. (shrink)

Xavier Landes | : Happiness has become a central theme in public debates. Happiness indicators illustrate this importance. This article offers a typology of the main challenges conveyed by the elaboration of happiness indicators, where happiness can be understood as hedonia, subjective well-being, or eudaimonia. The typology is structured around four questions: what to measure?—i.e., the difficulties linked to the choice of a particular understanding of happiness for building an indicator; whom to include?—i.e., the limits of the community monitored (...) by such an indicator; how to collect the data?—i.e., the difficulties stemming from objective and subjective reporting; what to do?—i.e., the concerns about the use of happiness indicators in public policy. The major points of normative contention are discussed for each of these dimensions. The purpose of this article is to contribute in a constructive manner to happiness research by offering an overview of some major philosophical and political challenges of building happiness indicators. The conclusion underlines the importance of the strategy of diversification- hybridization, which consists in setting a variety of indicators or composite indicators that articulate different understandings of happiness. It is stressed that happiness indicators raise democratic and institutional issues with which normative thinkers should deal. | : Le bonheur est devenu un thème central dans les débats publics. Les indicateurs de bonheur illustrent cette importance. Cet article offre une typologie des principaux enjeux contenus dans le travail d’élaboration d’indicateurs de bonheur quand ce dernier est compris comme hedonia, bien-être subjectif ou eudaimonia. La typologie est structurée autour de quatre questions : 1) que mesurer?, où sont en jeu les difficultés liées au choix d’une compréhension particulière du bonheur pour construire un indicateur; 2) qui inclure?, c’est-à-dire comment tracer les limites de la communauté morale qui est l’objet d’un tel indicateur; 3) comment collecter les données?, où on interroge les difficultés propres aux techniques subjectives et objectives de collecte de données; 4) que faire?, où on soulève l’enjeu des craintes quant à l’usage d’indicateurs de bonheur dans les politiques publiques. Les points majeurs de dispute normative sont discutés pour chaque dimension. Nous espérons ainsi contribuer de manière constructive à la recherche sur le bonheur en offrant un aperçu de quelques défis philosophiques et politiques majeurs relatifs à la construction d’indicateurs de bonheur. Nous concluons en soulignant l’importance de la stratégie de diversification-hybridation qui consiste à mettre en place des indicateurs variés ou composites articulant différentes compréhensions du bonheur. Ces indicateurs soulèvent des enjeux démocratiques et institutionnels que les penseurs normatifs doivent considérer. (shrink)

Replying to Samuel Knafo and Benno Teschke, this article shows how Political Marxism offers powerful conceptual tools to understand modes of production that structure historical processes as fundamentally constituted by exploitative social and political relations. I explain how structure, or rules of reproduction, should be understood as alienated social relations, which are inherent to all class societies. Understanding structure this way leaves ample space for – and makes inevitable – the consideration of agency.

In this article we defend the inferential view of scientific models and idealisation. Models are seen as “inferential prostheses” (instruments for surrogative reasoning) construed by means of an idealisation-concretisation process, which we essentially understand as a kind of counterfactual deformation procedure (also analysed in inferential terms). The value of scientific representation is understood in terms not only of the success of the inferential outcomes arrived at with its help, but also of the heuristic power of representation and their capacity to (...) correct and improve our models. This provides us with an argument against Sugden’s account of credible models: the likelihood or realisticness (their “credibility”) is not always a good measure of their acceptability. As opposed to “credibility” we propose the notion of “enlightening”, which is the capacity of giving us understanding in the sense of an inferential ability. (shrink)

We report on the mechanisation of (preference-based) conditional normative reasoning. Our focus is on Åqvist's system E for conditional obligation, and its extensions. Our mechanisation is achieved via a shallow semantical embedding in Isabelle/HOL. We consider two possible uses of the framework. The first one is as a tool for meta-reasoning about the considered logic. We employ it for the automated verification of deontic correspondences (broadly conceived) and related matters, analogous to what has been previously achieved for the modal logic (...) cube. The equivalence is automatically verified in one direction, leading from the property to the axiom. The second use is as a tool for assessing ethical arguments. We provide a computer encoding of a well-known paradox (or impossibility theorem) in population ethics, Parfit's repugnant conclusion. While some have proposed overcoming the impossibility theorem by abandoning the presupposed transitivity of ‘better than’, our formalisation unveils a less extreme approach, suggesting among other things the option of weakening transitivity suitably rather than discarding it entirely. Whether the presented encoding increases or decreases the attractiveness and persuasiveness of the repugnant conclusion is a question we would like to pass on to philosophy and ethics. (shrink)

This paper reports completeness results for dyadic deontic logics in the tradition of Hansson’s systems. There are two ways to understand the core notion of best antecedent-worlds, which underpins such systems. One is in terms of maximality, and the other in terms of optimality. Depending on the choice being made, one gets different evaluation rules for the deontic modalities, but also different versions of the so-called limit assumption. Four of them are disentangled, and compared. The main observation of this paper (...) is that, even in the partial order case, the contrast between maximality and optimality is not as significant as one could expect, because the logic remains the same whatever notion of best is used. This is established by showing that, given analogous properties for the betterness relation, the same system is sound and complete with respect to its intended modelling. The chief result of this paper concerns Åqvist’s system F supplemented with the principle of cautious monotony. It is established that, under the maximality rule, F + is sound and complete with respect to the class of models in which the betterness relation is required be reflexive and smooth . From this, a number of spin-off results are obtained. First and foremost, it is shown that a similar determination result holds for optimality; that is, under the optimality rule, F + is also sound and complete with respect to the class of models in which the betterness relation is reflexive and smooth . Other spin-off results concern classes of models in which further constraints are placed on the betterness relation, like totalness and transitivity. (shrink)

Le Pere Xavier Tilliette est l'un des plus grands historiens contemporains de la philosophie. Il est l'auteur d'une monumentale etude en deux volumes sur Schelling... qui il avait d'ailleurs consacre plusieurs autres ouvrages. Il a egalement ecrit d'excellents livres sur d'autres grandes figures de la philosophie occidentale notamment Fichte, Merleau-Ponty, Lequier. Il est aussi et surtout le representant le plus connu d'un genre unique de la philosophie de la religion, celui qui traite des grands themes de la theologie chretienne (...) selon leurs dimensions proprement philosophiques. Rappelons simplement plusieurs travaux tres novateurs sur le Christ et la philosophie, mais aussi sur la philosophie et l'Eglise ou encore la philosophie et l'Eucharistie. Toutefois, Xavier Tilliette n'est pas seulement philosophe, il est aussi un grand erudit de l'histoire litteraire francaise, notamment de l'oeuvre de Paul Claudel. Apres deux Festschrift anterieures parues respectivement en Allemagne et en Italie, ce troisieme recueil publie en l'honneur du Pere Tilliette est edite en Belgique. Il contient trente contributions, plus de la moitie consacrees... l'histoire de la philosophie, avec un nombre eleve de textes sur Schelling. Les autres etudes, tres variees, tres originales, relevent de la philosophie de la religion, de la theologie philosophique et de l'histoire de la litterature. Ces travaux dont les auteurs, en provenance de huit pays et de trois continents, vont de jeunes erudits... peine trentenaires jusqu'aux contemporains de l'illustre jesuite, sont rediges en Francais, en Italien, en Allemand et en Anglais. Ils manifestent et illustrent la fecondite de l'oeuvre de ce disciple fervent des Peres de Lubac et Danielou, son rayonnement extraordinaire, les richesses multivalentes de ses deux-mille publications. (shrink)

Xavier Landes | : In this article, consensus, defined as the consent of all citizens, is argued to be the first best for part of the liberal tradition on political legitimacy. Consensus would be the foundation of the liberal society that, when out of reach, needs to be approximated through, for instance, voting. I build on the timid attempts in political theory at using the theorem of the second best as a tool to settle difficult decision making in applied (...) political theory. More precisely, I defend the view that consensus would be the first best for part of the liberal tradition on political legitimacy. Furthermore, I illustrate how moral, factual, disagreements may create second-best problems, especially in terms of stability. Finally, I spell out some reasons why such problems directly affect a liberal order, on pragmatic grounds. The final purpose is to contribute to the literatures on legitimacy and on the application of the theorem of the second best outside economics. The key idea is to stress that much more work has to be done for “importing” the theorem of the second best into political theory. | : Dans cet article, le consensus, défini comme le consentement de tous les citoyens, est présenté comme remplissant la fonction d’optimum de premier rang [first best] pour une partie de la tradition libérale quant à la légitimité politique. Le consensus fonderait la société libérale qui, lorsque hors d’atteinte, nécessiterait d’être approximer au travers, par exemple, du vote. Je m’appuie sur les timides tentatives en théorie politique d’utiliser le théorème de l’optimum de second rang [second best] comme outil pour résoudre des prises de décision difficiles en théorie politique appliquée. Plus précisément, je défends l’idée que le consensus serait l’optimum de premier rang pour une partie de la tradition libérale quant à la légitimité politique. De plus, j’illustre comment les désaccords moraux, factuels peuvent créer des problèmes d’optimum de second rang, en particulier en termes de stabilité. Enfin, j’expose quelques raisons pour lesquelles de tels problèmes affectent directement un ordre libéral, d’un point de vue pragmatique. Le but final est de contribuer aux littératures sur la légitimité et sur l’application du théorème d’optimum de second rang à l’extérieur des sciences économiques. L’idée principale est de souligner qu’il reste beaucoup de travail afin d’« importer » le théorème d’optimum de second rang en théorie politique. (shrink)

Xavier Landes,Martin Andersen,Klemens Kappel.

The past decade has seen a burgeoning of scholarly interest in conscientious objection in health care. Specifically, several commentators have discussed the implications that conscientious objection has for the delivery of timely, efficient, and nondiscriminatory medical care. In this paper, I discuss the main argument put forward by the most prominent critics of conscientious objection—what I call the Professional Duty Argument or PDA. According to proponents of PDA, doctors should place patients’ well-being and rights at the center of their professional (...) practice. Doctors should be prepared to set their personal moral or religious beliefs aside where these beliefs conflict with what is legal and considered good medical practice by relevant professional associations. Conscientious objection, on this account, should be heavily restricted, if even allowed at all. I discuss two powerful objections against PDA. The first objection, which I call the fallibility objection, notes that law and professional codes of conduct are fallible guides for ethical conduct and that conscientious objection has in the past and continues today to provide a check on aberrations in law and professional convention. The second, which I call the professional discretion objection, states that restrictions on conscientious objection undermine one of the cornerstones of good medical practice, namely, a practitioner’s right to independent professional judgment. I argue that these two objections give us reason to retain conscience clauses in professional codes of conduct. (shrink)

There has been significant debate about whether the moral norms of medical practice arise from some feature or set of features internal to the discipline of medicine. In this article, I analyze Edmund Pellegrino’s conception of the internal morality of medicine, and situate it in the context of Alasdair MacIntyre’s influential account of “practice.” Building upon MacIntyre, Pellegrino argued that medicine is a social practice with its own unique goals—namely, the medical, human, and spiritual good of the patient—and that the (...) moral norms that govern medical practice are derived from these goals. After providing an overview of Pellegrino’s work, I discuss some forceful objections to his theory—specifically, that it is too rigid and incapable of entering into dialogue with contemporary values systems; that it is dependent on an external conception of human flourishing; and that it is incompatible with the rapidly changing nature of modern medicine. In the final section of this article, I consider how theorists working in the Hippocratic tradition might respond to these objections against ethical essentialism by drawing upon MacIntyre’s historico-cultural method as well as what he calls Aristotle’s “metaphysical biology.”. (shrink)

The past decade has seen a burgeoning of scholarly interest in conscientious objection in healthcare. While the literature to date has focused primarily on individual healthcare practitioners who object to participation in morally controversial procedures, in this article we consider a different albeit related issue, namely, whether publicly funded healthcare institutions should be required to provide morally controversial services such as abortions, emergency contraception, voluntary sterilizations, and voluntary euthanasia. Substantive debates about institutional responsibility have remained largely at the level of (...) first-order ethical debate over medical practices which institutions have refused to offer; in this article, we argue that more fundamental questions about the metaphysics of institutions provide a neglected avenue for understanding the basis of institutional conscientious objection. To do so, we articulate a metaphysical model of institutional conscience, and consider three well-known arguments for undermining institutional conscientious objection in light of this model. We show how our metaphysical analysis of institutions creates difficulties for justifying sanctions on institutions that conscientiously object. Thus, we argue, questions about the metaphysics of institutions are deserving of serious attention from both critics and defenders of institutional conscientious objection. (shrink)

In this paper, we present a prenex form theorem for a version of Independence Friendly logic, a logic with imperfect information. Lifting classical results to such logics turns out not to be straightforward, because independence conditions make the formulas sensitive to signalling phenomena. In particular, nested quantification over the same variable is shown to cause problems. For instance, renaming of bound variables may change the interpretations of a formula, there are only restricted quantifier extraction theorems, and slashed connectives cannot be (...) so easily removed. Thus we correct some claims from Hintikka [8], Caicedo & Krynicki [3] and Hodges [11]. We refine definitions, in particular the notion of equivalence, and sharpen preconditions, allowing us to restore those claims, including the prenex form theorem of Caicedo & Krynicki [3], and, as a side result, we obtain an application to Skolem forms of classical formulas. It is a known fact that a complete calculus for IF-logic is impossible, but with our results we establish several quantifier rules that form a partial calculus of equivalence for a general version of IF-logic reflecting general properties of information flow in games. (shrink)

This paper examines the logic of conditional obligation, which originates from the works of Hansson, Lewis, and others. Some weakened forms of transitivity of the betterness relation are studied. These are quasi-transitivity, Suzumura consistency, acyclicity and the interval order condition. The first three do not change the logic. The axiomatic system is the same whether or not they are introduced. This holds true under a rule of interpretation in terms of maximality and strong maximality. The interval order condition gives rise (...) to a new axiom. Depending on the rule of interpretation, this one changes. With the rule of maximality, one obtains the principle known as disjunctive rationality. With the rule of strong maximality, one obtains the Spohn axiom (also known as the principle of rational monotony, or Lewis’ axiom CV). A completeness theorem further substantiates these observations. For interval order, this yields the finite model property and decidability of the calculus. (shrink)

Since the 1970s, the concepts of “lifeworld” and “everyday life” have been part of the discourse of social pedagogy and social and educational work in general. Xavier Úcar's objective in this article is to generate and communicate socio-pedagogical knowledge that helps social pedagogues to build socio-educational relationships that are more effective, more sustainable, more satisfactory, and ultimately richer in terms of both experiences and learning for participants. A conceptually oriented, nonsystematic analysis procedure was used to conduct this research. The (...) procedure involved an in-depth investigation of documents that focus on the two target areas of this study: (1) social pedagogy, and (2) lifeworld and everyday life. The results describe the theoretical background of lifeworld and everyday life, discuss the development of the perspective of “lifeworld orientation” within the framework of social pedagogy in Germany, and analyze how everyday life is understood through actions undertaken by social pedagogues. These results provide ideas for mapping the essential dimensions of everyday life from the perspective of social pedagogy. (shrink)

Résumé L’écriture, la peinture et la relation à l’architecture sont les trois points d’entrée de ce rappel de l’œuvre de Claude Rutault, au travers d’une mise en parallèle avec celle de Rémy Zaugg. Sur le mode du témoignage, Xavier Douroux revient sur l’histoire du Consortium et de sa coopération avec Claude Rutault, notamment sur les expériences de peinture « en architecture » à la villa Savoye de Le Corbusier, à l’agence de Dominique Perrault, au pavillon de Mies Van der (...) Rohe, et à l’ Éclat de folie de Bernard Tschumi. (shrink)

Cette recension a déjà paru sur le blog Abandonedfootnotes. Nous remercions Xavier Marquez de nous avoir autorisé à la reproduire ici. I have previously encouraged people to read Randall Collins' work (his infrequently updated blog, The Sociological Eye, is typically excellent), but it is only recently that I tackled his book on interaction rituals. And despite its forbidding title, seemingly promising a work on some technical topic in the sociology of religion, this is a very good book that (...) (...) - Recensions. (shrink)

**" CHAPTER * HUMAN NATURE In May, at the time when the French Civil Code was being drafted, one of the orators of the Tribunat, in seeking to justify the ...

À l’instar de Lautréamont, il faut louer les « mathématiques sévères » quand elles éclairent autrement et avec une lumière plus vive une question, pourtant réputée bien connue. En reprenant les statistiques des recensements depuis 1901, en en revisitant les implicites et les impensés, la sociologue Margaret Maruani et la statisticienne Monique Meron recomptent le travail des femmes, en même temps qu’elles décryptent la façon de compter (p. 7). Elles proposent ainsi un autre récit, à la fois p...

‘Epistemic’ arguments for conservatism typically claim that given the limits of human reason, we are better off accepting some particular social practice or institution rather than trying to consciously improve it. I critically examine and defend here one such argument, claiming that there are some domains of social life in which, given the limits of our knowledge and the complexity of the social world, we ought to defer to those institutions that have robustly endured in a wide variety of circumstances (...) in the past while not being correlated with intolerable outcomes. These are domains of social life in which our ignorance of optimal institutions is radical, and there is uncertainty about the costs of error. This is an argument for the preservation of particular institutions, not particular policies or outcomes, and it specifically identifies these with the institutions that John Rawls called ‘the basic structure of society.’ The argument further implies that to the extent that there is any reason to change these institutions, changes should be calculated as far as possible to increase their ‘epistemic power.’. (shrink)

Thomas Riisfeldt’s essay1 is a valuable contribution to the literature on palliative sedation, appropriately titrated administration of opioids (ATAOs) and euthanasia. In this response, I will not deal with the author’s empirical claim about the relationship between opioid use, palliative sedation and survival time. Rather, I will briefly critique the author’s discussion of doctrine of double effect (DDE) and its application to palliative sedation and opioid use at the end of life. That is, I will focus on the ethical claims (...) made by the author. Riisfeldt argues that DDE is incompatible with both Kantian deontology and Millian consequentialism. Yet, I will argue that the DDE is coherent and defensible when interpreted from the perspective of the philosophy of Thomas Aquinas, the theorist who first proposed the doctrine. I will also argue that Riisfeldt mischaracterises ATAOs and palliative sedation as procedures that hasten death as a means to relieve pain. While death may indeed be hastened by ATAOs and palliative sedation, it is not at all clear that clinicians intend to hasten death as a means to relieve pain. Indeed, clinical guidelines explicitly prohibit the intentional hastening of death. Riisfeldt provides a brief summary of the DDE. He describes DDE as a ‘strange hybrid of four principles’. He lists the four criteria that must be met for an act with a good and a bad effect to be permissible. These criteria are the ‘intention and means criteria’ and the ‘intrinsic and proportionality criteria’ (p.127). The author uses Kant and Mill as lens through which to highlight a tension between the intrinsic and proportionality criteria of DDE. The author claims that ‘the intrinsic criterion is derived from deontology, the predominant form of which is championed by Kant’, and that ‘the proportionality criterion is derived from consequentialism, the predominant form of …. (shrink)

Cuerpo físico y cuerpo vivido no deben interpretarse como dos realidades separadas, sino que representan dos aspectos distintos de la misma experiencia corporal descrita en términos fenomenológicos. La experiencia de la corporalidad puede seguir dos direcciones: a) la primera es una dirección ascendente, que implica el desarrollo de las posibilidades de movimiento, acción y expresión del cuerpo en toda su plenitud; b) el otro camino o dirección, en contraste con el anterior, toma una senda descendente, y se halla estrechamente relacionado (...) con la experiencia del dolor, de la limitación, de la resistencia corporal que es experimentada como oposición a la propia voluntad: es el cuerpo vulnerable. Aquí reaparece un nuevo dualismo: el cuerpo poético de la expresión frente al cuerpo vulnerable de la enfermedad y el dolor. Mi contribución trata de cuestionar la idea de que el cuerpo poético de la expresión artística y el cuerpo vulnerable de la vejez, de la discapacidad o de la enfermedad, pertenezcan a esferas completamente separadas. Con este propósito, se intenta poner de relieve los múltiples puntos de intersección entre ambas perspectivas, al tiempo que se sostiene que tales intersecciones pueden llegar a ser interesantes puntos de partida de la investigación interdisciplinar. (shrink)

We generalize a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models. Moreover, it is shown that compactness is in fact equivalent to ordinary normality of the model spaces when L has uniform reduction for infinite disjoint sums of structures. Some applications follow. For example, a countably generated logic is countably compact if and only if every clopen class in the model spaces is elementary. The model spaces (...) of L are not normal for vocabularies of uncountable power ωα. It also follows that first-order logic is the only finite-dependence logic having normal model spaces and satisfying at the same time the downward Löwenheim-Skolem theorem and uniform reduction for pairs. (shrink)

INTELIGENCIA Y LOGOS es el segundo volumen de la trilogía que sobre el tema general de LA INTELECCION HUMANA publica el filósofo XAVIER ZUBIRI (San Sebastián, 1898). Este volumen es continuación del primero (INTELIGENCIA SENTIENTE) y se completa con el tercero y último, INTELIGENCIA Y RAZÓN. La obra completa analiza, entre otros muchos, los temas y problemas fundamentales de la disciplina filosófica conocida con los nombres de Teoría del conocimiento, Epistemología y Crítica, replanteando en una dimensión hasta ahora inédita (...) cuestiones tales como las de la intelección, el juicio, el conocimiento, la razón, el saber, la comprensión, la verdad, la ciencia, etc. No hay duda de que el enfoque que Zubiri da a estas cuestiones es profundamente original. Desde los tiempos de Parménides la filosofía ha solido resolver el problema de las relaciones entre la inteligencia y la realidad en el punto que constituye el tema central de este volumen, el «logos», cuya expresión más clásica es el «juicio». Zubiri se opone frontalmente a esta tradición, que según él conduce a un logicismo formalista que desvirtúa el papel de la inteligencia e impide el acceso a la realidad. Afirmar que el logos es la estructura fundamental de la intelección supone logificar la inteligencia, es decir, hacer de ella una facultad puramente formal y conceptiva. El resultado de esto es el conceptismo y el idealismo, los males seculares de la filosofía. Frente a esto, Zubiri afirma la preeminencia de la intelección sobre el logos. La inteligencia, como quedó expuesto en el volumen anterior, meramente actualiza las cosas en tanto que «reales». El logos es un modo ulterior de la intelección que permite expresar lo que esas cosas reales son «en realidad». El desarrollo de esta idea central constituye el argumento del presente libro. (shrink)