Related

Contents
134 found
Order:
1 — 50 / 134
  1. Paradoxes of Logical Equivalence and Identity.Andrew Bacon - 2013 - Topoi (1):1-10.
    In this paper a principle of substitutivity of logical equivalents salve veritate and a version of Leibniz’s law are formulated and each is shown to cause problems when combined with naive truth theories.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
    The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. On the self-predicative universals of category theory.David Ellerman - manuscript
    This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose from having (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Contradictions inherent in special relativity: Space varies.Kim Joosoak - manuscript
    Special relativity has changed the fundamental view on space and time since Einstein introduced it in 1905. It substitutes four dimensional spacetime for the absolute space and time of Newtonian mechanics. It is believed that the validities of Lorentz invariants are fully confirmed empirically for the last one hundred years and therefore its status are canonical underlying all physical principles. However, spacetime metric is a geometric approach on nature when we interpret the natural phenomenon. A geometric flaw on this will (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Ultimate V.Sam Roberts - manuscript
    Potentialism is the view that the universe of sets is inherently potential. It comes in two main flavours: height-potentialism and width-potentialism. It is natural to think that height and width potentialism are just aspects of a broader phenomenon of potentialism, that they might both be true. The main result of this paper is that this is mistaken: height and width potentialism are jointly inconsistent. Indeed, I will argue that height potentialism is independently committed to an ultimate background universe of sets, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcoming
    In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Peano, Frege and Russell’s Logical Influences.Kevin C. Klement - forthcoming - Forthcoming.
    This chapter clarifies that it was the works Giuseppe Peano and his school that first led Russell to embrace symbolic logic as a tool for understanding the foundations of mathematics, not those of Frege, who undertook a similar project starting earlier on. It also discusses Russell’s reaction to Peano’s logic and its influence on his own. However, the chapter also seeks to clarify how and in what ways Frege was influential on Russell’s views regarding such topics as classes, functions, meaning (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Singular Concepts.Nathan Salmón - forthcoming - Synthese.
    Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is here rebutted. Russell-Myhill is not a problem specifically for Alternative (0). (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Higher-order logic as metaphysics.Jeremy Goodman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Qua-Objects, (Non-)Derivative Properties and the Consistency of Hylomorphism.Marta Campdelacreu & Sergi Oms - 2023 - Metaphysica 24 (2):323-338.
    Imagine a sculptor who molds a lump of clay to create a statue. Hylomorphism claims that the statue and the lump of clay are two different colocated objects that have different forms, even though they share the same matter. Recently, there has been some discussion on the requirements of consistency for hylomorphist theories. In this paper, we focus on an argument presented by Maegan Fairchild, according to which a minimal version of hylomorphism is inconsistent. We argue that the argument is (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. Pedagogical Implication of The Principle of Identity and Russell"s Paradox. 은은숙 - 2023 - Journal of the New Korean Philosophical Association 114:263-294.
    본 연구는 논리학 및 수리논리학의 토대 개념인 동일성 원리에 대한 역사적인 논쟁들의 교육학적 함의를 도출하는 것이다. 이때 필자가 사용할 중심 방법은 구조-구성주의 인식론이다. 따라서 필자는 구조-구성주의 인식론의 관점에서 동일성 원리에 대한 핵심 논쟁들을 역사-비판적으로 재구성함으로써, 필자가 지속적으로 논변해 온 구조-구성주의 교수학습이론의 확고한 토대를 제공하고자 한다. 이를 위해 본고는 동일성 원리에 대한 역사발생학적 탐구와 정신발생학적 탐구를 종합한다. 구체적인 내용은 피아제의 발생학적 인식론의 관점에서 논리적 개념들 및 공리화에 대한 프레게-러셀의 선험주의적 논리주의와 비트겐슈타인의 회의론적 유명론을 동시에 비판하면서, 구조-구성주의 인식론 및 이것의 교육학적 함의를 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. In defense of Countabilism.David Builes & Jessica M. Wilson - 2022 - Philosophical Studies 179 (7):2199-2236.
    Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13. In Search of Modal Hypodoxes using Paradox Hypodox Duality.Peter Eldridge-Smith - 2022 - Philosophia 50 (5):2457-2476.
    The concept of hypodox is dual to the concept of paradox. Whereas a paradox is incompatibly overdetermined, a hypodox is underdetermined. Indeed, many particular paradoxes have dual hypodoxes. So, naively the dual of Russell’s Paradox is whether the set of all sets that are members of themselves is self-membered. The dual of the Liar Paradox is the Truth-teller, and a hypodoxical dual of the Heterological paradox is whether ‘autological’ is autological. I provide some analysis of the duality and I search (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Logical Form and the Development of Russell’s Logicism.Kevin C. Klement - 2022 - In F. Boccuni & A. Sereni (eds.), Origins and Varieties of Logicism. Routledge. pp. 147–166.
    Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not at all (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. The iterative solution to paradoxes for propositions.Bruno Whittle - 2022 - Philosophical Studies 180 (5-6):1623-1650.
    This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
    Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  17. Semantyczna teoria prawdy a antynomie semantyczne [Semantic Theory of Truth vs. Semantic Antinomies].Jakub Pruś - 2021 - Rocznik Filozoficzny Ignatianum 1 (27):341–363.
    The paper presents Alfred Tarski’s debate with the semantic antinomies: the basic Liar Paradox, and its more sophisticated versions, which are currently discussed in philosophy: Strengthen Liar Paradox, Cyclical Liar Paradox, Contingent Liar Paradox, Correct Liar Paradox, Card Paradox, Yablo’s Paradox and a few others. Since Tarski, himself did not addressed these paradoxes—neither in his famous work published in 1933, nor in later papers in which he developed the Semantic Theory of Truth—therefore, We try to defend his concept of truth (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. Aboutness Paradox.Giorgio Sbardolini - 2021 - Journal of Philosophy 118 (10):549-571.
    The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a modal predicative response (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Frege's Intellectual Life As a Logicist Project. [REVIEW]Joan Bertran-San Millán - 2020 - Teorema: International Journal of Philosophy 39:127-138.
    I critically discuss Dale Jacquette’s Frege: A Philosophical Biography. First, I provide a short overview of Jacquette’s book. Second, I evaluate Jacquette’s interpretation of Frege’s three major works, Begriffsschrift, Grundlagen der Arithmetik and Grundgesetze der Arithmetik; and conclude that the author does not faithfully represent their content. Finally, I offer some technical and general remarks.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Hájek’s Faulty Discussion of Philosophical Heuristics.Danny Frederick - 2020 - In Against thec Philosophical Tide. Yeovil: Critias Publishing. pp. 191-193.
    I point out some logical errors and infelicities in Hájek’s discussion of philosophical heuristics.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. Numbers, Empiricism and the A Priori.Olga Ramírez Calle - 2020 - Logos and Episteme 11 (2):149-177.
    The present paper deals with the ontological status of numbers and considers Frege ́s proposal in Grundlagen upon the background of the Post-Kantian semantic turn in analytical philosophy. Through a more systematic study of his philosophical premises, it comes to unearth a first level paradox that would unset earlier still than it was exposed by Russell. It then studies an alternative path, that departin1g from Frege’s initial premises, drives to a conception of numbers as synthetic a priori in a more (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Some Highs and Lows of Hylomorphism: On a Paradox about Property Abstraction.Teresa Robertson Ishii & Nathan Salmón - 2020 - Philosophical Studies 177 (6):1549-1563.
    We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23. Sets, lies, and analogy: a new methodological take.Giulia Terzian - 2020 - Philosophical Studies 178 (9):2759-2784.
    The starting point of this paper is a claim defended most famously by Graham Priest: that given certain observed similarities between the set-theoretic and the semantic paradoxes, we should be looking for a ‘uniform solution’ to the members of both families. Despite its indisputable surface attractiveness, I argue that this claim hinges on a problematic reasoning move. This is seen most clearly, I suggest, when the claim and its underlying assumptions are examined by the lights of a novel, quite general (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Paradoxical hypodoxes.Alexandre Billon - 2019 - Synthese 196 (12):5205-5229.
    Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25. 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, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Paradigms and self-reference: what is the point of asserting paradoxical sentences?Jakub Mácha - 2019 - In Shyam Wuppuluri & Newton da Costa (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein's Philosophy. Springer Verlag. pp. 123-134.
    A paradox, according to Wittgenstein, is something surprising that is taken out of its context. Thus, one way of dealing with paradoxical sentences is to imagine the missing context of use. Wittgenstein formulates what I call the paradigm paradox: ‘one sentence can never describe the paradigm in another, unless it ceases to be a paradigm.’ (PG, p.346) There are several instances of this paradox scattered throughout Wittgenstein’s writings. I argue that this paradox is structurally equivalent to Russell’s paradox. The above (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. Impredicativity and Paradox.Gabriel Uzquiano - 2019 - Thought: A Journal of Philosophy 8 (3):209-221.
    Thought: A Journal of Philosophy, EarlyView.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherst
    I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29. There is no standard model of ZFC.Jaykov Foukzon - 2018 - Journal of Global Research in Mathematical Archives 5 (1):33-50.
    Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11].
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. Modal set theory.Christopher Menzel - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. New York: Routledge.
    This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. The Completeness: From Henkin's Proposition to Quantum Computer.Vasil Penchev - 2018 - Логико-Философские Штудии 16 (1-2):134-135.
    The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Maximally Consistent Sets of Instances of Naive Comprehension.Luca Incurvati & Julien Murzi - 2017 - Mind 126 (502).
    Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33. The Naïve Conception of Properties.Benjamin Schnieder - 2017 - Philosophical Issues 27 (1):322-342.
    The semantic rules that govern ordinary property discourse appear to give rise to a version of Russell's antinomy. Do we therefore have an inconsistent conception of properties? This paper firstly develops a consistent conception of properties and secondly argues that we may indeed interpret ordinary property discourse as expressing the consistent conception rather than an inconsistent one.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.
    This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  35. The Unsatisfactoriness of Unsaturatedness.Danny Frederick - 2016 - In Piotr Stalmaszczyk (ed.), Philosophy and Logic of Predication. Frankfurt am Main: Peter Lang.
    Frege proposed his doctrine of unsaturatedness as a solution to the problems of the unity of the proposition and the unity of the sentence. I show that Frege’s theory is mystical, ad hoc, ineffective, paradoxical and entails that singular terms cannot be predicates. I explain the traditional solution to the problem of the unity of the sentence, as expounded by Mill, which invokes a syncategorematic sign of predication and the connotation and denotation of terms. I streamline this solution, bring it (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. Term Models for Abstraction Principles.Leon Horsten & Øystein Linnebo - 2016 - Journal of Philosophical Logic 45 (1):1-23.
    Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. The Reception of Russell’s Paradox in Early Phenomenology and the School of Brentano: The Case of Husserl’s Manuscript A I 35α.Carlo Ierna - 2016 - In Guillermo E. Rosado Haddock (ed.), Husserl as Analytic Philosopher. de Gruyter. pp. 119-142.
    Edmund Husserl’s engagement with Bertrand Russell’s paradox stands in a continuum of reciprocal reception and discussions about impossible objects in the School of Brentano. Against this broader context, we will focus on Husserl’s discussion of Russell’s paradox in his manuscript A I 35α from 1912. This highly interesting and revealing manuscript has unfortunately remained unpublished, which probably explains the scant attention it has received. I will examine Husserl’s approach in A I 35α by relating it to earlier discussions of relevant (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Papers on Formal Logic.John-Michael Kuczynski - 2016 - reateSpace Independent Publishing Platform.
    This volume brings together some of Dr. Kuczynski's most important work on mathematical logic. The crushing power of Kuczynski's intellect is on full display in these paper, in which he introduces the neophyte to the basic principles of set theory and logic while at the very same time articulating new and important theorems of his own.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  39. Husserl’s Manuscript A I 35.Dieter Lohmar & Carlo Ierna - 2016 - In Guillermo E. Rosado Haddock (ed.), Husserl as Analytic Philosopher. de Gruyter. pp. 289-320.
    The following pages contain a partial edition of Husserl’s manuscript A I 35, pages 1a-28b. The first few pages are dated on May 1927 and are included mostly for completeness’ sake. The bulk of the manuscript convolute, however, is from 1912. Four pages of the convolute, 31a-34b, have been published as Beilage XII (210, 2–216, 2) in Hua XXXII. The manuscript was excluded from the text selection of Husserliana XXI3 based on its much later date of composition. A I 35/24a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Tiny Proper Classes.Laureano Luna - 2016 - The Reasoner 10 (10):83-83.
    We propose certain clases that seem unable to form a completed totality though they are very small, finite, in fact. We suggest that the existence of such clases lends support to an interpretation of the existence of proper clases in terms of availability, not size.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. The 1900 Turn in Bertrand Russell’s Logic, the Emergence of his Paradox, and the Way Out.Nikolay Milkov - 2016 - Siegener Beiträge Zur Geschichte Und Philosophie der Mathematik 7:29-50.
    Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the part-whole logic and accept a kind of intensional predicate logic instead. Among other things, the predicate logic helped Russell embrace a technique of treating the paradox of infinite numbers with the help of a singular concept, which he called ‘denoting phrase’. Unfortunately, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  43. Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  44. The Importance of Developing a Foundation for Naive Category Theory.Marcoen J. T. F. Cabbolet - 2015 - Thought: A Journal of Philosophy 4 (4):237-242.
    Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used for constructing categories, and it is explicitly shown (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45. Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections.Toby Meadows - 2015 - Notre Dame Journal of Formal Logic 56 (1):191-212.
    This paper expands upon a way in which we might rationally doubt that there are multiple sizes of infinity. The argument draws its inspiration from recent work in the philosophy of truth and philosophy of set theory. More specifically, elements of contextualist theories of truth and multiverse accounts of set theory are brought together in an effort to make sense of Cantor’s troubling theorem. The resultant theory provides an alternative philosophical perspective on the transfinite, but has limited impact on everyday (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46. Theory Dualism and the Metalogic of Mind-Body Problems.T. Parent - 2015 - In Christopher Daly (ed.), Palgrave Handbook on Philosophical Methods. Palgrave Macmillan. pp. 497-526.
    The paper defends the philosophical method of "regimentation" by example, especially in relation to the theory of mind. The starting point is the Place-Smart after-image argument: A green after-image will not be located outside the skull, but if we cracked open your skull, we won't find anything green in there either. (If we did, you'd have some disturbing medical news.) So the after-image seems not to be in physical space, suggesting that it is non-physical. In response, I argue that the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. The paradoxes and Russell's theory of incomplete symbols.Kevin C. Klement - 2014 - Philosophical Studies 169 (2):183-207.
    Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48. The Russell–Dummett Correspondence on Frege and his Nachlaß.Kevin C. Klement - 2014 - The Bertrand Russell Society Bulletin 150:25–29.
    Russell corresponded with Sir Michael Dummett (1925–2011) between 1953 and 1963 while the latter was working on a book on Frege, eventually published as Frege: Philosophy of Language (1973). In their letters they discuss Russell’s correspondence with Frege, translating it into English, as well as Frege’s attempted solution to Russell’s paradox in the appendix to vol. 2 of his Grundgesetze der Arithmetik. After Dummett visited the University of Münster to view Frege’s Nachlaß, he sent reports back to Russell concerning both (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  49. Taming the Indefinitely Extensible Definable Universe.L. Luna & W. Taylor - 2014 - Philosophia Mathematica 22 (2):198-208.
    In previous work in 2010 we have dealt with the problems arising from Cantor's theorem and the Richard paradox in a definable universe. We proposed indefinite extensibility as a solution. Now we address another definability paradox, the Berry paradox, and explore how Hartogs's cardinality theorem would behave in an indefinitely extensible definable universe where all sets are countable.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. The Barber Paradox: On its Paradoxicality and its Relationship to Russell's Paradox.Jiri Raclavsky - 2014 - Prolegomena 13 (2):269-278.
    The Barber paradox is often introduced as a popular version of Russell’s paradox, though some experts have denied their similarity, evencalling the Barber paradox a pseudoparadox. In the first part of thepaper, I demonstrate mainly that in the standard (Quinean) defini-tion of a paradox the Barber paradox is a clear-cut example of a non-paradox. Despite some outward similarities, it differs radically fromRussell’s paradox. I also expose many other differences. In the secondpart of the paper, I examine a probable source of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 134