This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related

Contents
28 found
Order:
  1. Boolean valued semantics for infinitary logics.Juan M. Santiago Suárez & Matteo Viale - 2024 - Annals of Pure and Applied Logic 175 (1):103333.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Sou uma rede de narrativas: aproximações entre Paul Ricoeur e Alice Munro.Jerzy A. Brzozowski, Ivone Maria Mendes Silva & Janessa Pagnussat - 2022 - Trans/Form/Ação 45 (4):93-116.
    ABSTRACT: In this article, we intend to address the role of memory and narrative in the constitution of personal identity, based on Alice Munro’s short story “The Bear Came Over the Mountain” and the theoretical concepts of Paul Ricoeur (especially in Oneself as Another). This movement will allow us to underscore the idea that, contrary to what part of the analytical literature on identity and narrative has held, it is not just what we might call self-narrative that plays a role (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
    Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4. What makes us human? Exploring the significance of ricoeur's ethical configuration of personhood between naturalism and phenomenology in health care.Bengt Kristensson Uggla - 2022 - Nursing Philosophy 23 (3):e12385.
    The aim of this article is to elaborate on how a distinct concept of the person can be implemented within person‐centred care as an ethical configuration of personhood in the tension between the two predominant cultures of knowledge within health care: naturalism and phenomenology. Starting from Paul Ricoeur's ‘personalism of the first, second, and third person’ and his ‘broken’ ontology, open‐ended, incomplete, and imperfect mediations, placed at the precise juncture where reality is divided up into two separate cultures of knowledge, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Maria Luísa Portocarrero, Testemunho, Atestação e Conflito. Balizas da Antropologia Hermenêutica de Paul Ricoeur (Coimbra: Imprensa da Universidade de Coimbra, 2021). 427 pp. ISBN: 978‑989‑26‑2094‑7. [REVIEW]Luís António Umbelino - 2022 - Revista Filosófica de Coimbra 31 (61):153-155.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Esbozos de una hermenéutica crítica en "Ideología y utopía" de Paul Ricoeur.Esteban Lythgoe - 2021 - Endoxa 48:145-163.
    En el presente artículo presentaremos algunos de los aspectos centrales del concepto ricoeuriano de hermenéutica crítica a partir de lo que se desprende de su análisis y discusión con las obras de Althusser y Habermas. En términos generales, mientras que las investigaciones históricas del primero apuntan a poner de manifiesto las estrategias de la reproducción de los sistemas de poder, el segundo propone un proyecto liberador basado en una construcción utópica independiente de la historia. El uso que hacen Althusser y (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. How to Appropriate a Text.Robert Piercey - 2021 - Idealistic Studies 51 (3):169-188.
    One of the core principles of Paul Ricoeur’s hermeneutics is that interpretation culminates in application, or appropriation. But what exactly is an appropriation, and what makes some appropriations better than others? I try to shed light on these difficult matters by examining Ricoeur’s own appropriation of Alasdair MacIntyre’s notion of the narrative unity of a life, and by contrasting it with Richard Rorty’s appropriation of the same notion. I argue that Ricoeur’s appropriation is more successful than Rorty’s, and that the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Creation and renunciation in Ricoeur’s political ethics of compromise.Dries Deweer - 2020 - Sage Publications Ltd: Philosophy and Social Criticism 48 (6):813-832.
    Philosophy & Social Criticism, Volume 48, Issue 6, Page 813-832, July 2022. Ricoeur interpreted the work of compromise as a creative process to imagine a new world by projecting ourselves into other people. The challenge of compromise is to learn to tell our own story differently within the contours of a broader collective narrative, in compliance with the paradigm of translation. As such, Ricoeur’s political ethics of compromise is at risk of highlighting the element of creation, which refers to the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Preservation of structural properties in intuitionistic extensions of an inference relation.Tor Sandqvist - 2018 - Bulletin of Symbolic Logic 24 (3):291-305.
    The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions and disjunctions. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. When best theories go bad.David Manley - 2009 - Philosophy and Phenomenological Research 78 (2):392-405.
    It is common for contemporary metaphysical realists to adopt Quine's criterion of ontological commitment while at the same time repudiating his ontological pragmatism. 2 Drawing heavily from the work of others—especially Joseph Melia and Stephen Yablo—I will argue that the resulting approach to meta-ontology is unstable. In particular, if we are metaphysical realists, we need not accept ontological commitment to whatever is quantified over by our best first-order theories.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11. Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
    Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which are—at least in principle—capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via "Gödel numbering") and hence with finite sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is called (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12. The Course of Recognition. Paul Ricoeur. Institute for Human Sciences Vienna Lecture Series.David Carr - 2007 - Journal of Speculative Philosophy 21 (4):324-325.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. On Paul Ricoeur: The Owl of Minerva.William Katerberg - 2006 - Utopian Studies 17 (1):270-274.
  14. Fernanda Henriques, Filosofia e Literatura. Um Percurso Hermenêutico com Paul Ricoeur. [REVIEW]Maria Luísa Ribeiro Ferreira - 2006 - Philosophica: International Journal for the History of Philosophy 14 (27):202-208.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Barwise: Infinitary logic and admissible sets.H. Jerome Keisler & Julia F. Knight - 2004 - Bulletin of Symbolic Logic 10 (1):4-36.
    §0. Introduction. In [16], Barwise described his graduate study at Stanford. He told of his interactions with Kreisel and Scott, and said how he chose Feferman as his advisor. He began working on admissible fragments of infinitary logic after reading and giving seminar talks on two Ph.D. theses which had recently been completed: that of Lopez-Escobar, at Berkeley, on infinitary logic [46], and that of Platek [58], at Stanford, on admissible sets.Barwise's work on infinitary logic and admissible sets is described (...)
    Remove from this list   Direct download (12 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16. Supervenience and Infinitary Logic.Michael Glanzberg - 2001 - Noûs 35 (3):419-439.
    The discussion of supervenience is replete with the use of in?nitary logical operations. For instance, one may often ?nd a supervenient property that corresponds to an in?nite collection of supervenience-base properties, and then ask about the in?nite disjunction of all those base properties. This is crucial to a well-known argument of Kim (1984) that supervenience comes nearer to reduction than many non-reductive physicalists suppose. It also appears in recent discussions such as Jackson (1998).
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17. Stationary sets and infinitary logic.Saharon Shelah & Jouko Väänänen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
    Let K 0 λ be the class of structures $\langle\lambda, , where $A \subseteq \lambda$ is disjoint from a club, and let K 1 λ be the class of structures $\langle\lambda, , where $A \subseteq \lambda$ contains a club. We prove that if $\lambda = \lambda^{ is regular, then no sentence of L λ+κ separates K 0 λ and K 1 λ . On the other hand, we prove that if $\lambda = \mu^+,\mu = \mu^{ , and a forcing axiom (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Infinitary logics and very sparse random graphs.James F. Lynch - 1997 - Journal of Symbolic Logic 62 (2):609-623.
    Let L ω ∞ω be the infinitary language obtained from the first-order language of graphs by closure under conjunctions and disjunctions of arbitrary sets of formulas, provided only finitely many distinct variables occur among the formulas. Let p(n) be the edge probability of the random graph on n vertices. It is shown that if p(n) ≪ n -1 satisfies certain simple conditions on its growth rate, then for every σ∈ L ω ∞ω , the probability that σ holds for the (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19. A model existence theorem in infinitary propositional modal logic.Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (4):337 - 367.
  20. Sistema Experto en Deducción dentro de la Lógica Normal Trivalente.Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón - 1990 - In Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón (eds.), VIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, octubre 3–5, 1990. National Autonomous University of Mexico.
    Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Infinitary propositional normal modal logic.Slavian Radev - 1987 - Studia Logica 46 (4):291 - 309.
    A logic with normal modal operators and countable infinite conjunctions and disjunctions is introduced. A Hilbert's style axiomatization is proved complete for this logic, as well as for countable sublogics and subtheories. It is also shown that the logic has the interpolation property.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. A complete infinitary logic.Kenneth Slonneger - 1976 - Journal of Symbolic Logic 41 (4):730-746.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  23. Review: Jon Barwise, Applications of Strict $Pi^1_1$ Predicates to Infinitary Logic. [REVIEW]N. J. Cutland - 1974 - Journal of Symbolic Logic 39 (2):335-336.
  24. The completeness theorem for infinitary logic.Richard Mansfield - 1972 - Journal of Symbolic Logic 37 (1):31-34.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 , pp. 226–252.E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Review: Jon Barwise, Infinitary Logic and Admissible Sets. [REVIEW]E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Applications of strict π11 predicates to infinitary logic.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (3):409 - 423.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. Infinitary logic and admissible sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
    In recent years much effort has gone into the study of languages which strengthen the classical first-order predicate calculus in various ways. This effort has been motivated by the desire to find a language which is(I) strong enough to express interesting properties not expressible by the classical language, but(II) still simple enough to yield interesting general results. Languages investigated include second-order logic, weak second-order logic, ω-logic, languages with generalized quantifiers, and infinitary logic.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   52 citations