The essays in this volume trace the fluid movement between phenomenological and religious descriptions of the capable self that emerges across Ricoeur's oeuvre ...

Traces the decentered formulation of self at the heart of Paul Ricoeur's philosophy from his earliest works to his most recent.

RÉSUMÉ: L'herméneutique de Paul Ricœur est centrée sur le problème de l'interprétation de soi par le moyen de la référence sémantique du monde du texte. Bien que Ricœur poursuive un examen fort important du rapport entre le discours narratif et le processus de formation de l'identité, la façon dont il prolonge cette dynamique poury inclure la question du soi est problématique. La distinction qu'il tente de tracer entre deux types d'identités, liés l'un à «ce qu'est» une personne et l'autre à (...) «qui» elle est enchevêtre inévitablement sa compréhension de la pragmatique du soi dans la sémantique de l'identité. (shrink)

This paper explores the relation between personal identity and story telling. In particular l examine how Paul Ricoeur links narrative discourse to identity formation. For Ricoeur stories are not simply aesthetic objects disconnected from experience, but are rooted in the very fabric of life and have the capacity to profoundly refigure our world. Narrative discourse and life are for Ricoeur dialcetically tied to each other through a “mimetic arc.” This, however, poses interesting problems and difficulties. How do stories affect the (...) transformation of experience? According to Ricoeur the identity of the text can be incorporated into my own personal and communal identity through a mode of analogical transfer. This is the art of interpretation, the art of selfhood, the performative process of becoming a self in relationship with others.Cet artiele analyse la relation entre identité personnelle et le fait de raconter une histoire. J’aborde en partieulier le lien entre le discours narratif et la formation identitaire, tel que le conçoit Ricoeur. Pour ce dernier, les histoires ne sont pas simplement des objets esthétiques détachés de I’experience; elles sont plutôt ancrées dans le tissu même de la vie, et ont le pouvoir de refigurer profondément notre monde.Le discours narratif et la vie sont, dans la pensée de Ricoeur, liés defaçon dialectique par un «arc mimétique». Une telle façon de voir soulève, cependant, des questions et des difficultés interéssantes. Comment les histoires affectent-elles la transformation de l’expérience? Selon Ricoeur, l’identite du texte peut être intégrée dans ma propre identité personnelle et collective par un mode de transfert analogique. C’est en cela que consiste l’art de I’interprétation, de l’ipséité, le proeessus performatif du devenir de soi en relation avec les autres. (shrink)

This collection of essays is dedicated to the prolific career of Paul Ricoeur. Honoring his work, this anthology addresses questions and concerns that defined Ricoeur’s.

"L'oeuvre d'art est une tentative vers l'unique, elle s'affirme comme un tout, comme un absolu et, en même temps, elle appartient à un système de relations complexes [...]. Elle est matière et elle est esprit, elle est forme et elle est contenu [...]. Elle est créatrice de l'homme, créatrice du monde et elle installe dans l'histoire un ordre qui ne se réduit à rien d'autre." Un Eloge de la main complète ce texte. "La main arrache le toucher à sa passivité (...) réceptive, elle l'organise pour l'expérience et pour l'action [...]. Elle se mesure avec la matière qu'elle métamorphose, avec la forme qu'elle transfigure. Educatrice de l'homme, elle le multiplie dans l'espace et dans le temps." [Source : 4e de couv.]. (shrink)

We introduce a cyclic proof system for the two-way alternation-free modal μ-calculus. The system manipulates one-sided Gentzen sequents and locally deals with the backwards modalities by allowing analytic applications of the cut rule. The global effect of backwards modalities on traces is handled by making the semantics relative to a specific strategy of the opponent in the evaluation game. This allows us to augment sequents by so-called trace atoms, describing traces that the proponent can construct against the opponent’s strategy. The (...) idea for trace atoms comes from Vardi’s reduction of alternating two-way automata to deterministic one-way automata. Using the multi-focus annotations introduced earlier by Marti and Venema, we turn this trace-based system into a path-based system. We prove that our system is sound for all sequents and complete for sequents not containing trace atoms. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. (...) Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V.We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity calledHenkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the first-order correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...) approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...) embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V. We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity called Henkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the firstorder correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

"With its signal distinction between 'intuition' and 'analysis' and its exploration of the different levels of Duration, _An Introduction to Metaphysics_ has had a significant impact on subsequent twentieth century thought. The arts, from post-impressionist painting to the stream of consciousness novel, and philosophies as diverse as pragmatism, process philosophy, and existentialism bear its imprint. Consigned for a while to the margins of philosophy, Bergson’s thought is making its way back to the mainstream. The reissue of this important work comes (...) at an opportune time, and will be welcomed by teachers and scholars alike." --Peter A. Y. Gunter, University of North Texas. (shrink)

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...) approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist (...) axioms to our generalized setting and proving both a correspondence and a canonicity result for distributive modal logics axiomatized by Sahlqvist axioms. Our proof of the correspondence result relies on a reduction to the classical case, but our canonicity proof departs from the traditional style and uses the newly extended algebraic theory of canonical extensions. (shrink)

A monumental work by an important modern philosopher, Matter and Memory (1896) represents one of the great inquiries into perception and memory, movement and time, matter and mind. Nobel Prize-winner Henri Bergson surveys these independent but related spheres, exploring the connection of mind and body to individual freedom of choice. Bergson’s efforts to reconcile the facts of biology to a theory of consciousness offered a challenge to the mechanistic view of nature, and his original and innovative views exercised a profound (...) influence on other philosophers--including James, Whitehead, and Santayana--as well as novelists such as Dos Passos and Proust. Matter and Memory is essential to an understanding of Bergson’s philosophy and its legacy. (shrink)

Bringing together evolutionary biology, psychology, and philosophy, Henry Plotkin presents a new science of knowledge, one that traces an unbreakable link between instinct and our ability to know.

Giroux argues that challenge gives new meaning to the importance of resistance, the relevance of pedagogy, and the significance of political agency.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This paper establishes model-theoretic properties of \, a variation of monadic first-order logic that features the generalised quantifier \. We will also prove analogous versions of these results in the simpler setting of monadic first-order logic with and without equality and \, respectively). For each logic \ we will show the following. We provide syntactically defined fragments of \ characterising four different semantic properties of \-sentences: being monotone and continuous in a given set of monadic predicates; having truth preserved under (...) taking submodels or being truth invariant under taking quotients. In each case, we produce an effectively defined map that translates an arbitrary sentence \ to a sentence \ belonging to the corresponding syntactic fragment, with the property that \ is equivalent to \ precisely when it has the associated semantic property. As a corollary of our developments, we obtain that the four semantic properties above are decidable for \-sentences. (shrink)

We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is (...) strongly sound and complete with respect to the class of frames determined by the axioms and the rules. (shrink)

Treating the existential quantification ∃ν i as a diamond $\diamond_i$ and the identity ν i = ν j as a constant δ ij , we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full cylindric set algebras are the complex algebras of the intended multidimensional frames called cubes. The main (...) contribution of the paper is a characterization of these cube frames for the finite-dimensional case and, as a consequence of the special form of this characterization, a completeness theorem for this class. These results lead to finite, though unorthodox, derivation systems for several related formalisms, e.g. for the valid n-variable first order formulas, for type-free valid formulas and for the equational theory of representable cylindric algebras. The result for type-free valid formulas indicates a positive solution to Problem 4.16 of Henkin, Monk and Tarski [16]. (shrink)

The intersection of biology and religion has spawned exciting new areas of academic research that raise issues central to understanding our own humanity and the living world. In this comprehensive and accessible survey, Michael L. Peterson and Dennis R. Venema explain the engagement between biology and religion on issues related to origins, evolution, design, suffering and evil, progress and purpose, love, humanity, morality, ecology, and the nature of religion itself. Does life have a chemical origin - or must there (...) be a divine spark? How can religious claims about divine goodness be reconciled with widespread predation, suffering, and death in the animal kingdom? Peterson and Venema develop a philosophical discussion around such controversial questions. The book situates each topic in its historical, scientific, and theological context, making it the perfect introduction for upper-level undergraduates, graduate students, scholars, and the interested general reader. (shrink)

Both an ideal entrée for beginning readers and a solid text for scholars, the second edition of Peter Kalkavage's acclaimed translation of Plato's _Timaeus_ brings enhanced accessibility to a rendering well known for its faithfulness to the original text. An extensive essay offers insights into the reading of the work, the nature of Platonic dialogue, and the cultural background of the _Timaeus_. Appendices on music, astronomy, and geometry provide additional guidance. A brief outline of the themes of the work, a (...) detailed glossary, and a selected bibliography are also included. (shrink)

We study a generalization of the standard syntax and game-theoretic semantics of logic, which is based on a duality between two players, to a multiplayer setting. We define propositional and modal languages of multiplayer formulas, and provide them with a semantics involving a multiplayer game. Our focus is on the notion of equivalence between two formulas, which is defined by saying that two formulas are equivalent if under each valuation, the set of players with a winning strategy is the same (...) in the two respective associated games. We provide a derivation system which enumerates the pairs of equivalent formulas, both in the propositional case and in the modal case. Our approach is algebraic: We introduce multiplayer algebras as the analogue of Boolean algebras, and show, as the corresponding analog to Stone’s theorem, that these abstract multiplayer algebras can be represented as concrete ones which capture the game-theoretic semantics. For the modal case we prove a similar result. We also address the computational complexity of the problem whether two given multiplayer formulas are equivalent. In the propositional case, we show that this problem is co-NP-complete, whereas in the modal case, it is PSPACE-hard. (shrink)

It is argued that the principles of classical physics are inimical to the development of a satisfactory science of consciousness The problem is that insofar as the classical principles are valid consciousness can have no e ect on the behavior and hence on the survival prospects of the organisms in which it inheres Thus within the classical framework it is not possible to explain in natural terms the development of consciousness to the high level form found in human beings In (...) quantum theory on the other hand consciousness can be dynamically e cacious quantum the ory does allows consciousness to in uence behavior and thence to evolve in accordance with the principles of natural selection However this evo lutionary requirement places important constraints upon the details of the formulation of the quantum dynamical principles.. (shrink)

For the past 30 years, Paget Henry has been one of the most articulate and creative voices in Caribbean scholarship, making seminal contributions to the study of Caribbean political economy, C.L.R. James studies, critical theory, phenomenology, and Africana philosophy. This volume includes some of his most important essays from across his remarkable career, providing an introduction to a broad range of pressing contemporary themes and to the unique mind of one of the leading Caribbean intellectuals of his generation.

Introduction -- Ethics and politics -- Ethical judgments -- Pleasure and desire -- Free will -- Ethical principles and methods -- Egoism and self-love -- Chapter viii-intuitionism -- Good -- Book II: Egoism -- The principle and method of egoism -- Empirical hedonism -- Empirical hedonism (continued) -- Objective hedonism and common sense -- Happiness and duty -- Deductive hedonism -- Book III: Intuitionism -- Intuitionism -- Virtue and duty -- The intellectual virtues -- Benevolence -- Justice -- Laws and (...) promises -- Classification of duties. truth -- Other social duties and virtues -- Self-regarding virtues -- Courage, humility, etc. -- Review of the morality of common sense -- Motives or springs of action as subjects of moral judgment -- Philosophical intuitionism -- Ultimate good -- Book IV: Utilitarianism -- The meaning of utilitarianism -- The proof of utilitarianism -- The relation of utilitarianism to the morality of common sense -- The method of utilitarianism -- The method of utilitarianism (continued) -- Concluding chapter: The mutual relations of the three methods. (shrink)

The possibility of employing human enhancement interventions to aid in future space missions has been gaining attention lately. These possibilities have included one of the more controversial kinds of enhancements: biomedical moral enhancement. However, the discussion has thus far remained on a rather abstract level. In this paper we further this conversation by looking more closely at what type of interventions with what sort of effects we should expect when we are talking about biomedical moral enhancements. We suggest that a (...) more grounded way to picture moral enhancement, at least in the near term, is to envision a form of cognitive enhancement that also provides some moral benefits by heightening the enhanced person's capability for acting according to their own subjective moral code. While this concept of moral adherence enhancement also has relevance for the moral enhancement discussion more widely, in this paper we apply it specifically in the context of space missions. We argue that there are weighty reasons to consider making biomedical enhancements of the proposed kind a mandatory feature of early-phase long-distance space travel because these missions are high-stakes in nature and take place in an environment where the enhancement could be seen as conferring important advantages while negating many of the traditional arguments weighed against it. (shrink)

This landmark book is now reissued in a new edition that has been vastly rewritten and updated to respond to recent Kantian literature.

Henry S. Richardson is Professor of Philosophy at Georgetown University. From 2008-18, he was the editor of Ethics. His previous books include Practical Reasoning about Final Ends, Democratic Autonomy, and Moral Entanglements. He has held fellowships sponsored by the Alexander von Humboldt Foundation, the National Endowment for the Humanities, and the University Center for Human Values at Princeton University.

Henry E. Allison presents a comprehensive commentary on Kant's Groundwork for the Metaphysics of Morals. Allison pays special attention to the structure of the work and its historical and intellectual context. He argues that, despite its relative brevity, the Groundwork is the single most important work in modern moral philosophy.

This book explains, in simple but accurate terms, how orthodox quantum mechanics works. The author, a distinguished theoretical physicist, shows how this theory, realistically interpreted, assigns an important role to our conscious free choices. Stapp claims that mainstream biology and neuroscience, despite nearly a century of quantum physics, still stick essentially to failed classical precepts in which mental intentions have no effect upon our bodily actions. He shows how quantum mechanics provides a rational basis for a better understanding of this (...) connection, even allowing an explanation of certain phenomena currently held to be "paranormal". These ideas have major implications for our understanding of ourselves and our mental processes, and thus also for the meaningfulness of our lives. (shrink)

This paper exhibits a general and uniform method to prove axiomatic completeness for certain modal fixpoint logics. Given a set Γ of modal formulas of the form γ, where x occurs only positively in γ, we obtain the flat modal fixpoint language by adding to the language of polymodal logic a connective γ for each γΓ. The term γ is meant to be interpreted as the least fixed point of the functional interpretation of the term γ. We consider the following (...) problem: given Γ, construct an axiom system which is sound and complete with respect to the concrete interpretation of the language on Kripke structures. We prove two results that solve this problem.First, let be the logic obtained from the basic polymodal by adding a Kozen–Park style fixpoint axiom and a least fixpoint rule, for each fixpoint connective γ. Provided that each indexing formula γ satisfies a certain syntactic criterion, we prove this axiom system to be complete.Second, addressing the general case, we prove the soundness and completeness of an extension of . This extension is obtained via an effective procedure that, given an indexing formula γ as input, returns a finite set of axioms and derivation rules for γ, of size bounded by the length of γ. Thus the axiom system is finite whenever Γ is finite. (shrink)

In his new book the eminent Kant scholar Henry Allison provides an innovative and comprehensive interpretation of Kant's concept of freedom. The author analyzes the concept and discusses the role it plays in Kant's moral philosophy and psychology. He also considers in full detail the critical literature on the subject from Kant's own time to the present day. In the first part Professor Allison argues that at the centre of the Critique of Pure Reason there is the foundation for (...) a coherent general theory of rational agency. The second part employs this account of rational agency as a key to understanding Kant's concept of moral agency and associated moral psychology. The third part focuses on Kant's attempt to ground both moral law and freedom in the Groundwork and the Critique of Practical Reason. This is a major contribution to the interpretation of Kant which will be of special interest to scholars and graduate students of Kant's moral theory. (shrink)

A part of the “return to religion” now evident in European philosophy, this book represents the culmination of the career of a leading phenomenological thinker whose earlier works trace a trajectory from Marx through a genealogy of psychoanalysis that interprets Descartes’s “I think, I am” as “I feel myself thinking, I am.” In this book, Henry does not ask whether Christianity is “true” or “false.” Rather, what is in question here is what Christianity considers as truth, what kind of (...) truth it offers to people, what it endeavors to communicate to them, not as a theoretical and indifferent truth, but as the essential truth that by some mysterious affinity is suitable for them, to the point that it alone is capable of ensuring them salvation. In the process, Henry inevitably argues against the concept of truth that dominates modern thought and determines, in its multiple implications, the world in which we live. Henry argues that Christ undoes “the truth of the world,” that He is an access to the infinity of self-love, to a radical subjectivity that admits no outside, to the immanence of affective life found beyond the despair fatally attached to all objectifying thought. The Kingdom of God accomplishes itself in the here and now through the love of Christ in what Henry calls “the auto-affection of Life.” In this condition, he argues, all problems of lack, ambivalence, and false projection are resolved. (shrink)

This book examines an important area of Aristotle's philosophy: the generation of substances. While other changes presuppose the existence of a substance (Socrates grows taller), substantial generation results in something genuinely new that did not exist before (Socrates himself). The central argument of this book is that Aristotle defends a 'hylomorphic' model of substantial generation. In its most complete formulation, this model says that substantial generation involves three principles: (1) matter, which is the subject from which the change proceeds; (2) (...) form, which is the end towards which the process advances; and (3) an efficient cause, which directs the process towards that form. By examining the development of this model across Aristotle's works, Devin Henry seeks to deepen our grasp on how the doctrine of hylomorphism - understood as a blueprint for thinking about the world - informs our understanding of the process by which new substances come into being. (shrink)

We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus. For this purpose we consider a monadic second-order logic for monotone neighborhood structures. Our main result shows that the monotone modal mu-calculus corresponds exactly to the fragment of this second-order language that is invariant for neighborhood bisimulations.

One of time's most puzzling aspects concerns its ontological status: on the one hand, it is a subjective and relative notion, based on our conscious experience of successive events; yet, on the other hand, our civilization and technology are based on the understanding that something like objective, absolute Time exists. Some philosophers have taken this paradox so far as to conclude that time is unreal; others, accepting the existence of absolute time, have engaged in heated debates regarding its structure, be (...) it linear or circular, bounded or unbounded, dense or discrete. (shrink)