Abstract The view that mirror self-recognition (MSR) is a definitive demonstration of self-awareness is far from universally accepted, and those who do support the view need a more robust argument than the mere assumption that self-recognition implies a self-concept (e.g. Gallup in Socioecology and Psychology of Primates, Mouton, Hague, 1975 ; Gallup and Suarez in Psychological Perspectives on the Self, vol 3, Erlbaum, Hillsdale, 1986 ). In this paper I offer a new argument in favour of the view that MSR (...) shows self-awareness by examining the nature of the mirror image itself. I argue, using the results of ‘symbol-mindedness’ experiments by Deloache (Trends Cogn Sci 8(2):66–70, 2004) , that where self-recognition exists, the mirror image must be functioning as a symbol from the perspective of the subject and the subject must therefore be ‘symbol-minded’ and hence concept possessing. Further to this, according to the Concept Possession Hypothesis of Self-Consciousness (Savanah in Conscious Cogn 2011 ), concept possession alone is sufficient to demonstrate the existence of self-awareness. Thus MSR as a demonstration of symbol-mindedness implies the existence of self-awareness. I begin by defending the ‘mark test’ protocol as a robust methodology for determining self-recognition. Then follows a critical examination of the extreme views both for and against the interpretation of MSR as an indication of self-awareness: although the non-mentalistic interpretation of MSR is unconvincing, the argument presented by Gallup is also inadequate. I then present the symbol-mindedness argument to fill in the gaps in the Gallup approach. Content Type Journal Article Pages 1-17 DOI 10.1007/s10539-012-9318-2 Authors Stephane Savanah, ARC Centre of Excellence in Cognition and its Disorders (CCD), Macquarie University, Sydney, NSW 2109, Australia Journal Biology and Philosophy Online ISSN 1572-8404 Print ISSN 0169-3867. (shrink)

The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.

We show the completeness of a Hilbert-style system LK defined by M. Valiev involving the knowledge operator K dedicated to the reasoning with incomplete information. The completeness proof uses a variant of Makinson's canonical model construction. Furthermore we prove that the theoremhood problem for LK is co-NP-complete, using techniques similar to those used to prove that the satisfiability problem for propositional S5 is NP-complete.

Quelle est l’ontologie sociale que réclame l’interprétation du capitalisme en général et du néocapitalisme en particulier? Cet article défend l’hypothèse selon laquelle cette ontologie doit suivre le fil conducteur de « l’aliénation objective ». Comprendre le capitalisme, c’est pour une large part comprendre comment des puissances détachées, expressions autonomisées de nos pouvoirs et de nos actions, en viennent à faire l’histoire sans nous et souvent contre nous, sous la pression de la tendance expansionniste qui les anime. L’article explicite cette hypothèse, (...) en souligne certaines difficultés, et, enfin, montre comment elle se rattache au propos de Marx au début du Capital. (shrink)

L’article montre comment, à côté d’une mise à distance progressive du psychologisme initial de ses positions, W. Dilthey s’est progressivement orienté vers une analyse relationnelle et dynamique de la personnalité individuelle dont l’intérêt reste intact.

Est-il sensé de croire que l’art et la littérature puissent jouer un rôle dans la formation morale de l’être humain? Aident-ils à rendre l’être humain meilleur? Apportent-ils des lumières au plan moral qui pourraient contribuer à éduquer les élus et les citoyens? Cet article se penche sur les débats récents entourant ces questions dans la philosophie anglo-américaine. J’entends évaluer les principaux arguments qui ont été avancés pour soutenir l’idée que l’art et la littérature peuvent contribuer à l’éducation morale, mais aussi (...) pour réfuter les critiques, nombreuses, qui ont été formulées à l’endroit d’une telle perspective. Trois objections, en particulier, retiennent mon attention : les objections conséquentialiste, épistémique et normative. (shrink)

Autrefois thème privilégié de débats doctrinaux byzantins autant que prétexte à des manipulations stratégiques consommées – c’est elle, après tout, qui permet de justifier la dictature du prolétariat –, la distinction marxienne entre socialisme et communisme semble depuis longtemps remisée au magasin des accessoires idéologiques d’une époque heureusement révolue, quand bien..

Subjectivism about well-being holds that an object contributes to one's well-being to the extent that one has a pro-attitude toward this object under certain conditions. Most subjectivists have contended that these conditions should be ideal. One reason in favor of this idea is that when people adapt their pro-attitudes to situations of oppression, the levels of well-being they may attain is diminished. Nevertheless, I first argue that appealing to idealized conditions of autonomy or any other condition to erase or replace (...) adaptive pro-attitudes is mistaken. Second, I show that the most natural version of subjectivism that does not appeal to any such idealizing condition can explain why the well-being of people having adaptive pro-attitudes should not be restricted to the fulfillment of these pro-attitudes. In sum, the existence of adaptive preferences does not militate in favor of the introduction of conditions of idealization but against it. (shrink)

La prestigieuse collection de la Bibliothèque Augustinienne (BA) s’enrichit d’un nouveau volume entièrement dédié à l’un des tout premiers dialogues philosophiques d’Augustin, consacré à la question du scepticisme, le Contra Academicos. L’édition ancienne et minimaliste de René Jolivet (1939, BA 4/1) rendait cette nouvelle édition nécessaire. Anne-Isabelle Bouton-Touboulic (dorénavant ABT) livre ici un volume particulièrement complet : l’édition du texte latin et sa traduction (p. 265-535) so...

The present study tested the assumption that self-ratings, such as those used for measuring state anxiety, do not measure a one-dimensional transcendent entity but involve decisions based on a multi-dimensional judgment. Two groups of subjects were presented with a balanced nine-item state anxiety questionnaire. Each group received a different set of instructions (a standard set and an altered instruction set suggesting unidimensionality of the questions in the questionnaire). It was hypothesized that this change in instructions would impact the structure of (...) the data. The impact of the instructions was detectable at the level of the observed correlation between the negative and positive composites, Cohen's (1988) q=-0.27$. A multigroup confirmatory factor analysis showed that positive and negative wording factors correlated more strongly when unidimensionality was suggested than when standard instructions were used, q=-0.54. Theoretical and practical implications are discussed. (shrink)

This paper presents the hypothesis that concept possession is sufficient and necessary for self-consciousness. If this is true it provides a yardstick for gauging the validity of different research paradigms in which claims for self-consciousness in animals or human infants are made: a convincing demonstration of concept possession in a research subject, such as a display of inferential reasoning, may be taken as conclusive evidence of self-consciousness. Intuitively, there appears to be a correlation between intelligence in animals and the existence (...) of self-consciousness. I present three discussions to support the hypothesis: an analogy between perception and conception, where both are self-specifying; an argument that any web of concepts will always include the self-concept; and a fresh interpretation of Bermũdez showing how his theory of non-conceptual content provides strong support for the concept possession hypothesis. (shrink)

En este artículo se desea mostrar la distinción que Jean-Luc Marion realiza entre fenómenos de derecho común y fenómenos saturados, se refleja de manera paradigmática su concepción de arte al presentar el ídolo como una modalidad saturada de los fenómenos; a su vez se presenta la diferencia entre los objetos construidos o los fenómenos constituidos por un sujeto que son presentados como principio y fundamento. Desde aquí se considera la pintura como una experiencia fenoménica de anamorfosis, donde la mirada del (...) espectador se somete al fenómeno, planteando la posibilidad de recibir aquello que se quiere ver. Además, busca mostrar cómo desde el arte, el proceso de la visibilidad es presentado como construcción del fenómeno que opera desde lo invisible. Se mostrará, entonces, cómo la reflexión artística de Jean-Luc Marion permite entrar en el corazón de su obra, observando cómo se puede modificar los conceptos de donación y de sujeto. (shrink)

Nous jugeons les réponses émotionnelles comme plus ou moins raisonnables étant donné leur objet et le contexte. Je soutiens que la légitimité de ces jugements repose sur le caractère raisonnable des désirs ou des dispositions émotionnelles qui expliquent ces réponses émotionnelles. Il est déraisonnable d’être triste de ne pas satisfaire un désir déraisonnable. Mais comment un désir peut-il être déraisonnable ? Je rejette l’idée selon laquelle les désirs seraient raisonnables parce que cohérents. Je suggère que nos désirs et nos dispositions (...) émotionnelles sont raisonnables à deux conditions : premièrement, qu’ils contribuent à une vie subjectivement heureuse ; deuxièmement, qu’ils soient moralement justifiés. (shrink)

Local sustainable food systems have captured the popular imagination as a progressive, if not radical, pillar of a sustainable food future. Yet these grassroots innovations are embedded in a dominant food regime that reflects productivist, industrial, and neoliberal policies and institutions. Understanding the relationship between these emerging grassroots efforts and the dominant food regime is of central importance in any transition to a more sustainable food system. In this study, we examine the encounters of direct farm marketers with food safety (...) regulations and other government policies and the role of this interface in shaping the potential of local food in a wider transition to sustainable agri-food systems. This mixed methods research involved interview and survey data with farmers and ranchers in both the USA and Canada and an in-depth case study in the province of Manitoba. We identified four distinct types of interactions between government and farmers: containing, coopting, contesting, and collaborating. The inconsistent enforcement of food safety regulations is found to contain progressive efforts to change food systems. While government support programs for local food were helpful in some regards, they were often considered to be inadequate or inappropriate and thus served to coopt discourse and practice by primarily supporting initiatives that conform to more mainstream approaches. Farmers and other grassroots actors contested these food safety regulations and inadequate government support programs through both individual and collective action. Finally, farmers found ways to collaborate with governments to work towards mutually defined solutions. While containing and coopting reflect technologies of governmentality that reinforce the status quo, both collaborating and contesting reflect opportunities to affect or even transform the dominant regime by engaging in alternative economic activities as part of the ‘politics of possibility’. Developing a better understanding of the nature of these interactions will help grassroots movements to create effective strategies for achieving more sustainable and just food systems. (shrink)

Programmed cell death (PCD) in unicellular organisms is in some instances an altruistic trait. When the beneficiaries are clones or close kin, kin selection theory may be used to explain the evolution of the trait, and when the trait evolves in groups of distantly related individuals, group or multilevel selection theory is invoked. In mixed microbial communities, the benefits are also available to unrelated taxa. But the evolutionary ecology of PCD in communities is poorly understood. Few hypotheses have been offered (...) concerning the community role of PCD despite its far-reaching effects. The hypothesis we consider here is that PCD is a black queen. The Black Queen Hypothesis (BQH) outlines how public goods arising from a leaky function are exploited by other taxa in the community. Black Queen (BQ) traits are essential for community survival, but only some members bear the cost of possessing them, while others lose the trait In addition, BQ traits have been defined in terms of adaptive gene loss, and it is unknown whether this has occurred for PCD. Our conclusion is that PCD fulfils the two most important criteria of a BQ (leakiness and costliness), but that more empirical data are needed for assessing the remaining two criteria. In addition, we hold that for viewing PCD as a BQ, the original BQH needs to include social traits. Thus, despite some empirical and conceptual shortcomings, the BQH provides a helpful avenue for investigating PCD in microbial communities. (shrink)

The aim of this paper is to determine how a Pyrrhonian considers the Law and can respond to Aristocles’ objection that a Pyrrhonian is unable to obey laws. First, we analyze the function of the Law in the 10th Mode of Aenesidemus, in order to show laws as a dogmatic source of value. But Sextus shows also that the Sceptic can live in a human society by following laws and customs, according to so-called ‘sceptical conformism’. In the light of Pyrrhonian (...) Hypotyposes 1.23–24 and Against the Mathematicians 11.162–164, I discuss the validity of the label ‘conformism’ in order to understand the nature of the political effect of the suspension of judgement. The real nature of the political position of Pyrrhonian Scepticism – that lack of commitment does not mean indifference to politics but rather a criticism of fanaticism and praise for political cautiousness – appears by comparison with the Scepticism of the New Academy. (shrink)

Our contribution concerns the continuous training of teachers that will be forming future teachers during their traineeship. It aims to describe how the professional development of the trainees’ coaches, both the training supervisors as well as the supervisors form the trainees’ schools, was used during a course proposed by a university and during meetings where practices were shared by the participants. In this manner, we identified the ideal moments for development of the trainees, as well as the most important levers (...) for the transformation of the coaches. We paid particular attention to the reflexive contract co-defined by the group, as well as to the principle of social moderation at the heart of the collaborative group’s dynamic. (shrink)

Il ne subsiste aucun vestige de la charpente du temple d’Apollon construit à Delphes durant le ive s. av. J.‑C., ni de bloc comportant des réservations pour l’appui des poutres. En revanche, de nombreux passages des comptes de construction mentionnent des pièces en bois et font état de travaux sur les parties hautes du monument. Nous présentons ici un commentaire de ces inscriptions qui s’articule autour de trois objectifs principaux : déterminer la destination et la fonction des pièces de bois (...) ; analyser le vocabulaire technique ; établir la chronologie des travaux dans les parties hautes du temple. Au‑delà d’une étude centrée sur l’architecture delphique, le corpus mobilisé contribue à la caractérisation des techniques de charpente et à la connaissance du déroulement des chantiers d’architecture monumentale en Grèce ancienne. (shrink)

In “Spinoza between the clouds. Philosophy of identity in Spinoza’s Ethics”, Stéphane Ferret offers a so-called integrative interpretation of the philosopher’s thought that can be summed up in a lapidary formula: Spinoza’s philosophy is a philosophy of identity. To give substance to and articulate this assertion, three statements of identity are proposed: God = World, Thought = Extent, Spirit = Body. With the exception of the first, they are often ignored and, even when glimpsed through the clouds of contradictory (...) interpretations, remain misunderstood. Three and a half centuries after the publication of Spinoza’s Ethics, the author here attempts to uncover the logical underpinnings of the text. (shrink)

L’invention de la théorie de l’inconscient, sur fond de Vaterkomplex non liquidé, semble avoir opéré chez Sigmund Freud – « Juif sans Dieu » revendiquant son athéisme –, comme un symptôme (Nom-du-Père) lui ayant garanti une « fidélité hérétique » dans son rapport contrasté au judaïsme. Peut-être bien que L’homme Moïse et la religion monothéiste (1939), œuvre testamentaire mise en chantier dans le contexte de la montée du nazisme en Europe, aurait à sa manière permis au fondateur de la psychanalyse (...) – au terme d’une méditation métapsychologique serrée sur la genèse et le devenir de l’identité juive –, l’esquisse d’une transfiguration par l’exil. (shrink)

Nel suo recente libro Das Recht der Freiheit, Axel Honneth propone un'interpretazione critica del neocapitalismo - risultato di una patologica evoluzione di un fenomeno, in sé, normale e persino positivo: la predominanza dei meccanismi di mercato nella sfera del lavoro e della produzione. Per Honneth, il mercato non solo č economicamente efficiente, ma permette anche l'emergere di forme di riconoscimento originali e insostituibili. Ciononostante, queste forme possono facilmente corrompersi se la relazione fra i partner dello scambio diventa troppo squilibrata, come (...) avviene nel neocapitalismo. L'articolo propone una valutazione critica di questa interpretazione storica. (shrink)

L’aliénation constitue l’un des thèmes fondateurs de la philosophie sociale. Entre autres fonctions, il a eu historiquement pour but de montrer comment certaines grandes objectivités sociales caractéristiques de la modernité se définissent par une tendance à s’autonomiser et à s’émanciper aux dépens des hommes et de la société en ne poursuivant que leur propre croissance irrationnelle, inévitablement parasitaire. Ce texte pose la question de la validité d’un tel modèle.

RESUMEN A pesar de la declaración de la muerte del Sujeto en la segunda mitad del siglo XX, tanto Marion como Badiou mantienen esta categoría en el centro de sus filosofías. Sin embargo, para poder hacerlo abandonan sus determinaciones metafísicas de principio y fundamento con el fin de desplazarlo dentro de una posición secundaria de Sujeto de un acontecimiento. Así, el Sujeto, en tanto que substancia, da lugar a un proceso de subjetivación que responde a un acontecimiento que, desde siempre, (...) lo llama. En este texto se muestra que esta estructura apostólica del Sujeto contemporáneo también tiene sus raíces en cierta lectura disidente de Descartes, con la condición de que aceptemos, en una lógica derridiana, escuchar la polifonía de sus textos filosóficos. ABSTRACT Despite the death of the Subject during the second half of the 20th century, both Marion and Badiou maintain this category at the centre of their philosophies. However, in order to do so, they abandon its metaphysical determinations of principle and foundation to displace it within a secondary position of Subject of an event. Thus, the Subject as a substance is replaced by a process of subjectivation that responds to an event that since ever calls it. We show in this text that this apostolic structure of the contemporary Subject has its deep roots in a dissenting reading of Descartes, if we accept to listen, with Derrida, all the polyphonic richness of philosophical texts. (shrink)

L'aptitude a dire Je est une des remarques distinctives de la subjectivite: si un caillou se mettait a nous parler de lui-meme, nous pourrions difficilement, l'etonnement dissipe, ne pas le tenir pour une personne. Toutefois, pour beaucoup de philosophes, cette aptitude a dire je n'est que l'une des manifestations d'une aptitude plus profonde et plus generale de la conscience de soi. Une creature ne pourrait parler de soi que parce qu'elle serait consciente de soi et c'est cette aptitude a la (...) conscience de soi qui constiturait l'essence de la subjectivite. On se propose de renverser ici cet order de preseance et de montrer que la subjectivite est identique a l'aptitude a dire je. L'egologie n'est pas le signe ou la manifestation de la subjectivite, mais son essence meme et la conscience de soi n'est rien d'autre que la pensee egologique. Il en resulte qu'une conscience, dont le langage ne contriendrait nul marqueur de la premiere personne, ne serait pas un sujet. Mais un langage pourrait-il ne pas contenir de marquer de la premiere personne? Etait-il possible que nous ne fussion pas des sujets? Une exsitence impersonnelle est-elle possible? (shrink)

Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...) sets of issues can lead to paradoxical outcomes. Any pragmatic method for running a multi-issue election will have to balance these two concerns. We identify and analyse the problem of generating an agenda for a given election, specifying which issues to vote on together in local elections and in which order to schedule those local elections. (shrink)

Stéphane Lemaire | : Subjectivists about well-being claim that an object is good for someone if and only if this individual holds a certain type of pro-attitude toward this object. In this paper, I focus on the dispute among subjectivists that opposes those who think that the relevant pro-attitudes are actual to those who think that they are counterfactual under some idealized conditions. My main claim is that subjectivism should be stringently actualist, though our actual pro-attitudes may be criticized (...) from an intrinsic perspective. To defend this claim, I first present three desiderata that a subjectivist theory of well-being should fulfil. Two of these desiderata result from the fact that a subjectivist theory of well-being should not be implicitly paternalist, while the other is that it should be able to play a normative role. I then show that several actualist theories that introduce light forms of idealization or other conditions that have a similar aim, fail to satisfy at least one of the antipaternalist desiderata. This gives some legitimacy to a very stringent version of actualism. I then describe three features of the kind of stringent actualism that I want to defend, which will explain the ability of what is good for someone to play its normative role. Finally, I show how these features allow us to deal with the classic objection that the objects of actual “defective attitudes” cannot be good for the holder of these pro-attitudes. | : Les subjectivistes à propos du bien-être soutiennent qu’un objet est bon pour un individu si et seulement si cet individu possède un certain type d’attitude positive à l’égard de cet objet. Dans cet article, je me concentre sur le débat à l’intérieur du camp subjectiviste qui oppose ceux qui pensent que les attitudes positives pertinentes sont actuelles à ceux qui pensent qu’elles sont contrefactuelles sous une condition d’idéalisation. Ma thèse principale est que le subjectivisme devrait être rigoureusement actualiste bien que nos attitudes positives actuelles puissent être critiquées d’un point de vue qui leur est interne. Afin de défendre cette position, je présente d’abord trois desiderata qu’une théorie subjectiviste du bien-être devrait satisfaire. Deux de ces desiderata résultent du fait qu’une théorie subjectiviste du bien-être ne devrait pas être implicitement paternaliste, alors que le troisième résulte de ce qu’elle devrait pouvoir jouer un rôle normatif. Je montre ensuite que plusieurs théories actualistes qui introduisent des formes modestes d’idéalisation ou d’autres conditions ayant la même visée échouent à satisfaire au moins un des desiderata anti-paternalistes. Une version très rigoureuse de l’actualisme subjectiviste s’en trouve ainsi légitimée. Je décris ensuite les trois aspects de l’actualisme rigoureux que je souhaite défendre et qui permettront d’expliquer dans quelle mesure ce qui est bon pour un individu peut jouer un rôle normatif. Enfin, je montre comment ces aspects nous permettent de répondre à l’objection classique selon laquelle les objets d’« attitudes défectives » actuelles ne peuvent être bons pour ceux qui ont ces attitudes. (shrink)

Je voudrais commencer par exprimer ma reconnaissance envers Rossella Fabbrichesi, Claude Gautier et Philippe Sabot. Non seulement ils ont pris le temps et la peine de lire et commenter mon livre, mais, chacun à leur manière, ils ont compté dans le parcours intellectuel qui y a mené. Claude Gautier m’a généreusement accompagné depuis quinze ans dans toutes mes aventures pragmatistes, jusque dans cette exploration exotique de la philosophie française d’un point de vue états-unien. Tout pragmati...

We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...) converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)

Selon le subjectivisme à propos du bien-être, un événement contribue au bien-être d’un individu dans la mesure où cet individu a ou aurait une certaine pro-attitude à l’égard de cet événement dans des circonstances à préciser. Une telle approche doit donc spécifier un certain nombre d’éléments de cette définition, par exemple les circonstances pertinentes. Dans cet article, je me concentre sur la pro-attitude pertinente. Afin d’organiser la discussion, je soutiens que cette pro-attitude doit satisfaire trois desiderata. Elle doit permettre de (...) formuler une conception du bien-être qui serait extensionnellement adéquate moyennant une détermination satisfaisante des circonstances pertinentes. Elle doit offrir une conception du bien-être qui ne varie pas, peu importe que l’on considère des êtres humains à la naissance, jeunes ou adultes. Elle doit enfin exister effectivement. Ces desiderata posés, je montre qu’un subjectivisme faisant appel au désir, à une pro-attitude cognitive ou plus complexe, éventuellement comprise en termes de désirs, ne peut satisfaire à la fois le critère d’adéquation extensionnelle et le critère d’invariabilité. En réponse à cette difficulté, je suggère que le subjectivisme devrait adopter une pro-attitude de valorisation. Une telle pro-attitude a été introduite par différents auteurs, mais j’en propose une interprétation plus simple et je soutiens qu’elle est la seule à satisfaire les trois desiderata initialement présentés. (shrink)

Les recherches poursuivies par les membres de l'école de Francfort depuis la seconde moitié des années quatre-vingt se signalent primordialement par l'intérêt porté au problème général des conditions d'application de l'éthique de la discussion au domaine du droit et de la politique. En témoignent les recueils publiés récemment par Karl-Otto Apel, en particulier Diskurs und Verantwortung et Zur Anwendung der Diskursethik in Politik, Recht und Wissenschaft, ainsi que l'ouvrage volumineux de J. Habermas consacré à la théorie du droit, Faktizität und (...) Geltung. Bien que non définitive, cette orientation de recherche n'en est pas moins suffisamment élaborée à l'heure actuelle pour permettre une évaluation. Le but du présent article sera plus spécialement de soumettre à un examen critique la voie de solution propre apportée par Apel à ce problème. Une thèse centrale sera défendue: celle suivant laquelle les difficultés que présente l'application de l'éthique communicationnelle au monde du droit et de la politique ne peuvent être entièrement solutionnées dans le cadre restreint de la théorie morale, mais exigent la transition à une théorie du droit et de la démocratie. (shrink)

This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...) the whole Presburger-CTL* into Presburger arithmetic, thereby enabling effective model checking. We provide evidence that our results are close to optimal with respect to the class of counter systems described above. (shrink)