Switch to: References

Add citations

You must login to add citations.
  1. Mereology and time travel.Carlo Proietti & Jeroen Smid - 2020 - Philosophical Studies 177 (8):2245-2260.
    Core principles of mereology have been questioned by appealing to time travel scenarios. This paper questions the methodology of employing time travel scenarios to argue against mereology. We show some time travel scenarios are structurally equivalent to more standard ones not involving time travel; and that the three main theories about persistence through time can each solve both the time travel scenario as well as the structurally similar classical scenario. Time travel scenarios that are not similar to more standard arguments (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Minimal Sartre: Diagonalization and Pure Reflection.John Bova - 2018 - Open Philosophy 1:360-379.
    These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre’s theory of pure reflection, the linchpin of the works of Sartre’s early period and the site of their greatest difficulties, and, on the other hand, the quasi-formalism of diagonalization, the engine of the classical theorems of Cantor, Gödel, Tarski, Turing, etc. Surprisingly, the dialectic of mathematical logic from its inception through (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Epistemic Horizons and the Foundations of Quantum Mechanics.Jochen Szangolies - 2018 - Foundations of Physics 48 (12):1669-1697.
    In-principle restrictions on the amount of information that can be gathered about a system have been proposed as a foundational principle in several recent reconstructions of the formalism of quantum mechanics. However, it seems unclear precisely why one should be thus restricted. We investigate the notion of paradoxical self-reference as a possible origin of such epistemic horizons by means of a fixed-point theorem in Cartesian closed categories due to Lawvere that illuminates and unifies the different perspectives on self-reference.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Category Theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Quantum hocus-pocus.K. Svozil - 2016 - Ethics in Science and Environmental Politics 16 (1):25-30.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • A fixed-point problem for theories of meaning.Niklas Dahl - 2022 - Synthese 200 (1):1-15.
    In this paper I argue that it’s impossible for there to be a single universal theory of meaning for a language. First, I will consider some minimal expressiveness requirements a language must meet to be able to express semantic claims. Then I will argue that in order to have a single unified theory of meaning, these expressiveness requirements must be satisfied by a language which the semantic theory itself applies to. That is, we would need a language which can express (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Burali-Forti as a Purely Logical Paradox.Graham Leach-Krouse - 2019 - Journal of Philosophical Logic 48 (5):885-908.
    Russell’s paradox is purely logical in the following sense: a contradiction can be formally deduced from the proposition that there is a set of all non-self-membered sets, in pure first-order logic—the first-order logical form of this proposition is inconsistent. This explains why Russell’s paradox is portable—why versions of the paradox arise in contexts unrelated to set theory, from propositions with the same logical form as the claim that there is a set of all non-self-membered sets. Burali-Forti’s paradox, like Russell’s paradox, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • A Yabloesque Paradox in Epistemic Game Theory.Can Başkent - 2018 - Synthese 195 (1):441-464.
    The Brandenburger–Keisler paradox is a self-referential paradox in epistemic game theory which can be viewed as a two-person version of Russell’s Paradox. Yablo’s Paradox, according to its author, is a non-self referential paradox, which created a significant impact. This paper gives a Yabloesque, non-self-referential paradox for infinitary players within the context of epistemic game theory. The new paradox advances both the Brandenburger–Keisler and Yablo results. Additionally, the paper constructs a paraconsistent model satisfying the paradoxical statement.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • The Abstraction/Representation Account of Computation and Subjective Experience.Jochen Szangolies - 2020 - Minds and Machines 30 (2):259-299.
    I examine the abstraction/representation theory of computation put forward by Horsman et al., connecting it to the broader notion of modeling, and in particular, model-based explanation, as considered by Rosen. I argue that the ‘representational entities’ it depends on cannot themselves be computational, and that, in particular, their representational capacities cannot be realized by computational means, and must remain explanatorily opaque to them. I then propose that representation might be realized by subjective experience, through being the bearer of the structure (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Diagonal Arguments and Fixed Points.Saeed Salehi - 2017 - Bulletin of the Iranian Mathematical Society 43 (5):1073-1088.
    ‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • A Brief Critique of Pure Hypercomputation.Paolo Cotogno - 2009 - Minds and Machines 19 (3):391-405.
    Hypercomputation—the hypothesis that Turing-incomputable objects can be computed through infinitary means—is ineffective, as the unsolvability of the halting problem for Turing machines depends just on the absence of a definite value for some paradoxical construction; nature and quantity of computing resources are immaterial. The assumption that the halting problem is solved by oracles of higher Turing degree amounts just to postulation; infinite-time oracles are not actually solving paradoxes, but simply assigning them conventional values. Special values for non-terminating processes are likewise (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Abstract Logical Structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.
    Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Negation-Free Proof of Cantor's Theorem.N. Raja - 2005 - Notre Dame Journal of Formal Logic 46 (2):231-233.
  • Some Non-Classical Approaches to the Brandenburger–Keisler Paradox.Can Başkent - 2015 - Logic Journal of the IGPL 23 (4):533-552.
  • Incompleteness in a General Setting.John L. Bell - 2007 - Bulletin of Symbolic Logic 13 (1):21-30.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2011 - In Dov Gabbay, Akihiro Kanamori & John Woods (eds.), Handbook of the history of logic. Elsevier.
  • An Impossibility Theorem on Beliefs in Games.Adam Brandenburger & H. Jerome Keisler - 2006 - Studia Logica 84 (2):211-240.
    A paradox of self-reference in beliefs in games is identified, which yields a game-theoretic impossibility theorem akin to Russell’s Paradox. An informal version of the paradox is that the following configuration of beliefs is impossible:Ann believes that Bob assumes that.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations