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

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

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)

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 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.

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)

So much for the Aesthetic. We can now proceed to the Analytic, the philosophical importance of which is much greater. Kant's main contentions in this part of his work can be summed up in; two propositions: human understanding contains certain a priori concepts, and on these are based certain non-empirical principles; these concepts are only general concepts of a phenomenal object, and therefore the principles in question are only prescriptive to sense-experience. As has already been said, interest in the first (...) proposition has distracted attention from the fact that the important thing Kant has to say is contained in the second. (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)

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)

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)

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)

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)

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)

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)

The aim of this paper is to study the n-variable fragment of first order logic from a modal perspective. We define a modal formalism called cylindric mirror modal logic, and show how it is a modal version of first order logic with substitution. In this approach, we can define a semantics for the language which is closely related to algebraic logic, as we find Polyadic Equality Algebras as the modal or complex algebras of our system. The main contribution of the (...) paper is a characterization of the intended ‘mirror cubic’ frames of the formalisms and, a consequence of the special form of this characterization, a completeness theorem for these intended frames. As a consequence, we find complete finite yet unorthodox derivation systems for the equational theory of finite-dimensional representable polyadic equality algebras. (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)

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)

We prove that every rectangularly dense diagonal-free cylindric algebra is representable. As a corollary, we give finite, sound and complete axiomatizations for the finite-variable fragments of first order logic without equality and for multi-dimensional modal S5-logic.

We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.

This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof theory in which there is only a limited possibility to use structural rules. Following the literature, we use an operator to mark formulas to which the extra structural rules may be applied. New in our approach is that we do not see this ▽ as a modality, but rather as the meet of the marked formula with a special type Q. In this (...) way we can make the specific structural behaviour of marked formulas more explicit. The main motivation for our approach is that we can provide a nice, intuitive semantics for hybrid substructural logics. Soundness and completeness for this semantics are proved; besides this we consider some proof-theoretical aspects like cut-elimination and embeddings of the 'strong' system in the hybrid one. (shrink)

We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.

We give a characterization of the simple, and of the subdirectly irreducible boolean algebras with operators (including modal algebras), in terms of the dual descriptive frame, or, topological relational structure. These characterizations involve a special binary topo-reachability relation on the dual structure; we call a point u a topo-root of the dual structure if every ultrafilter is topo-reachable from u. We prove that a boolean algebra with operators is simple iff every point in the dual structure is a topo-root; and (...) that it is subdirectly irreducible iff the collection of topo-roots is open and non-empty in the Stone topology on the dual structure iff this collection has non-empty interior in that topology. (shrink)

This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof theory in which there is only alimited possibility to use structural rules. Following the literture, we use an operator to mark formulas to which the extra structural rules may be applied. New in our approach is that we do not see this as a modality, but rather as themeet of the marked formula with a special typeQ. In this way we can make (...) the specific structural behaviour of marked formulas more explicit.The main motivation for our approach is that we can provide a nice, intuitive semantics for hybrid substructural logics. Soundness and completeness for this semantics are proved; besides this we consider some proof-theoretical aspects like cut-elimination and embeddings of the strong system in the hybrid one. (shrink)

We show that there exist 2 ℵ 0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any first-order definable class of relational structures. Using a variant of this construction, we resolve a long-standing question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any first-order definable class of Kripke frames (a monomodal example can then be obtained using simulation results of (...) Thomason). The constructions use the result of Erd $\H{o}$ s that there are finite graphs with arbitrarily large chromatic number and girth. (shrink)

This study examines the professionalization of political communication by focusing on changes to campaign posters for Bundestag elections over the course of five eras of German post-war history. We conducted a quantitative content analysis of both visual and textual elements of campaign posters in the period from 1949 to 2017 with regard to personalization, de-ideologization, and negative campaigning. The study revealed differences related to the five eras. Following the early conservative governments, high levels of personalization and ideologization first became defining (...) features of election campaigns during the social-liberal era. After the Kohl era, these trends have occurred again since the Schröder era and have been reinforced in the Merkel era. Furthermore, we found neither a clear upward nor a downward trend for negative campaigning. Overall, our study demonstrated that political parties adapt their communication strategies to the context of the respective election. (shrink)

With each projective geometry we can associate a Lyndon algebra. Such an algebra always satisfies Tarski's axioms for relation algebras and Lyndon algebras thus form an interesting connection between the fields of projective geometry and algebraic logic. In this paper we prove that if G is a class of projective geometries which contains an infinite projective geometry of dimension at least three, then the class L(G) of Lyndon algebras associated with projective geometries in G has an undecidable equational theory. In (...) our proof we develop and use a connection between projective geometries and diagonal-free cylindric algebras. (shrink)

With each projective geometry we can associate a Lyndon algebra. Such an algebra always satisfies Tarski's axioms for relation algebras and Lyndon algebras thus form an interesting connection between the fields of projective geometry and algebraic logic. In this paper we prove that if G is a class of projective geometries which contains an infinite projective geometry of dimension at least three, then the class L of Lyndon algebras associated with projective geometries in G has an undecidable equational theory. In (...) our proof we develop and use a connection between projective geometries and diagonal-free cylindric algebras. (shrink)