Preface -- 1. Propositional logic : proofs from axioms and inference rules -- 2. First order logic : proofs with quantifiers -- 3. Set theory : proofs by detachment, contraposition, and contradiction -- 4. Mathematical induction : definitions and proofs by induction -- 5. Well-formed sets : proofs by transfinite induction with already well-ordered sets -- 6. The axiom of choice : proofs by transfinite induction -- 7. applications : Nobel-Prize winning applications of sets, functions, and relations -- 8. Solutions (...) to some odd-numbered exercises. (shrink)

Book review r A. (2004). "Book review: Yves nievergelt, foundations of ...

This is a review of Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover.

Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory is (...) a prerequisite for producing specifications of planners for agents that can acquire information at run time. It is also essential to account for cooperation among agents. Our account is more general than previous proposals, correctly handles programs containing loops, and incorporates a solution to the frame problem. It can also be used to prove programs containing sensing actions correct. (shrink)

Applying ethical values in scientific research is conditional to the determination of a metaphysical position on human beings as such. The contemporary context of science and technoscience is essentially based on technological fallouts and a modern dogma of efficiency, relegating ethics to a second place at best. This carries possibly dangerous consequences for humanity. The objective of natural sciences worthy or their name is a return to a form of investigation closer to its origin, but also more conscious of the (...) implications of modern technology. Hence, ethics must be at the heart of scientific education and research, not in its margins. (shrink)

Les « commodités de la conversation », on le sait, désignaient spirituellement les fauteuils pour les Précieuses de Molière. Nous tentons de mettre en place les « commodités du silence », en nous défiant du mobilier habituel. À toutes les époques et sous toutes les civilisations, les lieux de l'énonciation ne se contentent pas de refléter les propos, ils participent à leur fabrication. Le babil à ciel ouvert dans le mail de Madame de Sévigné, les rudes affrontements verbaux de la (...) « case à palabres » - Etudes japonaises – Nouvel article. (shrink)

Section précédente Deuxieme section – L'indétermination L'informe, est au cœur de leur recherche plastique. Telle, au sein des « Vers nouveaux », cette exclamation de Mémoire : Regret des bras épais et jeunes d'herbe pure! Qui regrette? Génitif objectif ou subjectif? Quand? Quels bras? De quels corps? Ceux d'un enfant ou d'une rivière? La nominalisation délivre de toute référence événementielle et temporelle ; la modalité exclamative fait surgir radieusement le - Poétique et Études littéraires – GALERIE – Nouvel article.

Section précédente Troisième section – La naissance éternelle Tout, chez le dernier Rimbaud et le dernier Cézanne, dit la naissance, son allégresse et sa fraîcheur. Dans ce monde indécis, aux déséquilibres primordiaux de l'enfantement, où tout « demande grâce au jour », les objets chancellent et les êtres titubent, frappés de malformations. Fig. G – Madame Cézanne à la jupe rayée, vers 1877 Huile sur toile 72 x 56cm Museum of Fine Arts, - Poétique et Études littéraires – GALERIE – (...) Nouvel article. (shrink)

En 1723, la Charte fondatrice de la Grande Loge de Londres donne à l'ordre Maçonnique pour projet de devenir le « centre de l'union et le moyen de nouer une amitié fidèle parmi des hommes qui sans cela seraient restés à perpétuelle distance ». De cette aspiration à relever Babel procèdent les tentatives pour cartographier la République maçonnique, mettre sur pied un réseau de correspondance et une langue véritablement universels - ce dernier chantier menant à l'espéranto. L'ordre Maçonnique a décliné (...) tout au long du XVIIIe siècle cette utopie planétaire sur le mode d'une véritable citoyenneté de la République maçonnique avec son passeport, ses droits et ses devoirs. Puis il a dû répondre aux formidables bouleversements issus de 1789 et de l'éveil des nationalités, en s'orientant vers une conception plus engagée de la République universelle des francs-maçons, sensible aux idées libérales et à lémancipation des peuples, au risque de donner des arguments à ses détracteurs, qui lui reprochent de se rendre coupable d'un crime d'indifférenciation. (shrink)

Michel van de Kerchove : une figure de référence de la pensée pénale Tout au long de sa carrière académique et scientifique, Michel van de KERCHOVE a apporté à la pensé pénale des contributions majeures, essentielles et parfois radicales, n’hésitant pas à en bousculer les standards quand il dénonce le pouvoir mystificateur du langage ou interroge l’effectivité des normes juridiques. À travers ses innombrables travaux, il n’a cessé de rappeler l’importance d’une approche critique et interdisciplinaire du droit. Tel est dès (...) lors l’esprit et le fi l conducteur des deux journées organisées en l’honneur de celui qui fut, notamment, une cheville ouvrière de la revue Déviance et Société. La peine est un thème sur lequel Michel van de KERCHOVE a écrit les plus belles pages, mobilisant tour à tour les ressources du droit pénal et de la sociologie juridique, de la théorie générale et de la philosophie du droit. L’ambition de cet ouvrage est d’être une référence sur cette question. C’était l’occasion pour les auteurs de se mettre au travail sous le regard vigilant de Michel van de KERCHOVE, ce qui est peut-être le plus bel hommage qui pouvait lui être rendu. Le sens, la fonction et les justifications de la peine Dans un premier temps, il s’est agi d’interroger le sens, la fonction et les justifications de la peine à travers la littérature, la philosophie et la politique. La peine et les peines sont, ensuite, examinées au regard de l’exigence des droits fondamentaux garantis aujourd’hui dans les instruments universels et régionaux de protection des droits de l’homme. Les auteurs se dirigent alors vers les scènes européenne et internationale où se situent déjà aujourd’hui, et certainement encore plus à l’avenir, le centre de gravité du droit pénal. Les évolutions de la peine et de son exécution Dans un second temps, les auteurs abordent les évolutions de la peine et de son exécution pour interroger l’inflation pénale, la victimisation et le contexte sécuritaire qui caractérisent le droit pénal contemporain. Enfin, en abordant certains contentieux et dispositifs périphériques à la peine, ils S’interrogent le sens et les contours que prend aujourd’hui, et peut-être demain, le droit pénal. (shrink)

Les trente dernières années du XX e siècle ont été marquées par une très forte inflation des règles du droit du travail visant à protéger l’emploi. Ces règles encadrent notamment le licenciement et tentent d’endiguer le recours aux contrats précaires. Mais on s’aperçoit aujourd’hui qu’il n’existe pas de rapport mécanique entre les objectifs poursuivis (protéger l’emploi), leur traduction législative et les résultats produits qui sont décevants. Prenant acte de son impuissance le législateur entend désormais changer de paradigme en concentrant ses (...) efforts sur la protection des transitions professionnelles. Toutefois les lois les plus récentes qui s’inscrivent dans cette perspective connaissent de nombreux déboires, et pour l’instant il ne semble pas évident que la prospection sur ces nouvelles terres donne plus de résultats que ceux obtenus sur les anciennes. (shrink)

YVES CHARLES ZARKA — Éric Marty, je suis content d’avoir un dialogue avec vous aujourd’hui. Il y a un moment déjà que je souhaitais discuter d’un phénomène qui est pour moi assez surprenant. Je pense au nombre de publications actuelles en France sur la question juive, les Juifs, le Juif, parfois sur la dénomination « juif ». On ne sait plus très bien. Des ouvrages à répétition,..

La conversion de la France à une politique de « réduction des risques » , est généralement interprétée comme l’indice d’un changement de paradigme en matière de toxicomanie. Il est néanmoins possible de la voir comme une forme de réagencement politique du monde des consommations de drogues, visant à définir de nouveaux seuils, les plus bas possibles, pour l’entrée dans des dispositifs de soin et de service. L’examen des visions du monde sur lesquelles reposent ces équipements politiques, en France comme (...) dans le reste de l’Union européenne, montre d’ailleurs que la vision du monde autonomiste y compose avec d’autres, compensatoires et additives, plus anciennement implantées. C’est sans doute pourquoi on retrouve, à divers niveaux, un véritable décalage entre les mesures volontaristes liées à ces politiques publiques et les contextes dans lesquels elles sont mises en œuvre : qu’il s’agisse des promoteurs, professionnels ou amateurs, ou qu’il s’agisse des destinataires, tout le monde semble s’accommoder d’un fonctionnement minimal de ces dispositifs, vérifiant ainsi une fois de plus la force des liens faibles.The French turn to the so-called « risk reduction policy » , is generally interpreted as a shift of the paradigm of drug addiction policies. One can, nevertheless, see it as a kind of new political layout of the drug addiction field, intended to define new thresholds for one’s entering in the treatment and care devices. When we examine the worldviews which sustain these political equipments , we can see that the autonomist worldview has to come to terms with others, namely : the compensatory and additive ones. That is probably why we can see, at various levels, a real discrepancy between the strong willings supporting the actions promoted by the risk reduction policies, and the contexts in which they take place : would it be the main actors , or the beneficiaries, everyone seems to be satisfied with a minimal functioning of these devices, verifying once again the strength of the weak ties. (shrink)

Le consensus différencié, mis en œuvre dans une compréhension commune de la doctrine de la justification , peut-il être entendu comme une application du principe de charité mis en avant par le philosophe D. Davidson ? Si cet accord œcuménique a pris la forme d'une correspondance entre deux totalités qui préservent leur cohérence propre, il n'a pas été présumé. Il a été construit. Alors que tout accord doctrinal se fonde sur une éthique non seulement de la justice mais encore de (...) l'équité , il requiert pourtant la charité, un excès de bonté, comme mode de vie plutôt que forme de rationalité, là en particulier où pèse une identité non réconciliée des partenaires du dialogue. Can the differentiated consensus which has been realized in a common understanding of the doctrine of justification be understood as an application of the principle of charity, introduced by the philosopher D. Davidson ? If this ecumenical agreement has taken the form of a correspondence between two systems that keep their own coherence, it has not been overestimated. It has been constructed. Whereas each doctrinal agreement is not only based on ethics of justice but also of equity , it still requires love, an excess of goodness, as a way of life rather than a form of rationality. This is particularly true in case there is no reconciled identity of the dialogue partners. (shrink)

La sagesse des chrétiens désigne la nécessité d’un arbitrage réfléchi dans la vie théologale : une vie appelée quotidiennement et promise définitivement à la communion avec Dieu. On le montre en mettant en situation successivement les vertus de foi, d’espérance et d’amour. La vie théologale doit fidélité à la folie de la Croix, qui est aussi la sagesse de Dieu, selon le témoignage de Paul. En retour, si la sagesse pratique, encore appelée prudence, appartient à la communauté universelle, les chrétiens (...) trouvent confirmation de sa justification à travers les nombreuses paroles de sagesse attribuées à Jésus. Sans négliger ces paroles, parfois déjà reçues par tradition, ni rejeter les leçons d’autres traditions, les chrétiens ont d’abord à faire preuve de réflexion et de jugement. Ils y sont invités par des philosophes qui ont compris qu’il fallait penser mieux pour vivre mieux. (shrink)

L’étude reprend la philosophie inaugurée par La réciprocité des consciences (1942) en fonction de philosophies plus récentes de l’intersubjectivité (E. Lévinas et F. Jacques). Après avoir montré comment le caractère fondamental de la réciprocité fonde la causalité des personnes et se fonde sur le Dieu personnel et tripersonnel, elle revient d’une manière critique sur une possible mise en tutelle d’une pensée personnaliste par une pensée religieuse. L’amour n’aurait-il pas laissé en retrait la réciprocité, la personne la relation, la communion la (...) communication, enfin l’intime le social ? On ne saurait pourtant oublier Maurice Nédoncelle. Il a défendu avec raison une priorité de la réciprocité sur l’altérité, dans l’intersubjectivité ; de la personne sur la nature, dans la théologie ; de la souffrance sur le péché, dans la théodicée. (shrink)

This volume shows how late medieval dream-poetry explored problems arising from the reception of Aristotle's philosophical work concerning human knowledge. Marco Nievergelt explores how the work of three medieval poets in the genre of allegorical fiction addressed these problems in distinctive, non-academic terms.

Niccolò Machiavelli is the most prominent and notorious theorist of violence in the history of European political thought - prominent, because he is the first to candidly discuss the role of violence in politics; and notorious, because he treats violence as virtue rather than as vice. In this original interpretation, Yves Winter reconstructs Machiavelli's theory of violence and shows how it challenges moral and metaphysical ideas. Winter attributes two central theses to Machiavelli: first, violence is not a generic technology (...) of government but a strategy that tends to correlate with inequality and class conflict; and second, violence is best understood not in terms of conventional notions of law enforcement, coercion, or the proverbial 'last resort', but as performance. Most political violence is effective not because it physically compels another agent who is thus coerced; rather, it produces political effects by appealing to an audience. As such, this book shows how in Machiavelli's world, violence is designed to be perceived, experienced, remembered, and narrated. (shrink)

The popularity of surgical modifications of race-typical features among Asian women has generated debates on the ethical implications of the practice. Focusing on blepharoplasty as a representative racial surgery, this article frames the ethical discussion by viewing Asian cosmetic surgery as an example of medicalization, which can be interpreted in two forms: treatment versus enhancement. In the treatment form, medicalization occurs by considering cosmetic surgery as remedy for pathologized Asian features; the pathologization usually occurs in reference to western features as (...) the norm. In the enhancement form, medicalization occurs by using medical means to improve physical features to achieve a certain type of beauty or physical appearance. Each type of medicalization raises slightly different ethical concerns. The problem with treatment medicalization lies in the pathologization of Asian features, which is oppressive as it continues to reinforce racial norms of appearance and negative stereotypes. Enhancement medicalization is ethically problematic because cosmetic surgery tends to conflate beauty and health as medical goals of surgery, overemphasizing the value of appearance that can further displace women’s control over their own bodies. I conclude that in both forms of medicalization, cosmetic surgery seems to narrowly frame a complex psychosocial issue involving physical appearance as a matter that can be simply solved through surgical means. (shrink)

Presents essays describing the author's impressions of art and architectural works.

Yves R. Simon explores moral virtue in this piece through identifying three moral positions common in modernity that attempt to substitute the traditional concept of virtue, as well as discussing the distinction between nature and use of sources of good or evil. He also discusses the distinctions between habits and opinions, as well as the virtue and science. He gives clear examples that make this book enjoyable for readers of all levels to understand moral virtue.

This article defends four claims. The first is that in the last few decades, two waves of democratic innovation based on random selection must be differentiated by their partly different concrete devices, embodying different social dynamics and pointing toward different kinds of democracy. The second claim is that the rationale of the first wave, based on randomly selected minipublics, largely differs from the dynamic of political sortition in Athens, as it points toward deliberative democracy rather than radical democracy. Conversely, empowered (...) sortition processes that have emerged during the second wave capture better the spirit of radical Athenian democratic traditions. The third claim is normative: these empowered sortition processes are more promising for a real democratization of democracy. The last claim is that any proposal of a legislature by lot must rely on this lesson when trying to defend a normatively convincing and politically realistic perspective. (shrink)

Scheinerman (2023) proposes that at the Human Genome Editing Initiative international summit (held in March 2023) there should have been a parallel, separate Citizens’ Jury, and that the Human Geno...