Related categories

82 found
Order:
1 — 50 / 82
  1. added 2019-01-13
    Class-Theoretic Paradoxes and the Neo-Kantian Discarding of Intuition.Chris Onof - unknown
    Book synopsis: This volume is a collection of papers selected from those presented at the 5th International Conference on Philosophy sponsored by the Athens Institute for Research and Education (ATINER), held in Athens, Greece at the St. George Lycabettus Hotel, June 2010. Held annually, this conference provides a singular opportunity for philosophers from all over the world to meet and share ideas with the aim of expanding our understanding of our discipline. Over the course of the conference, sixty papers were (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2018-07-19
    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  
     
    Export citation  
     
    Bookmark  
  3. added 2018-06-03
    Paradoxical Hypodoxes.Alexandre Billon - forthcoming - Synthese 83.
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  4. added 2018-02-17
    The Origins of the Propositional Functions Version of Russell's Paradox.Kevin Klement - 2004 - Russell: The Journal of Bertrand Russell Studies 24 (2).
    Russell discovered the classes version of Russell's Paradox in spring 1901, and the predicates version near the same time. There is a problem, however, in dating the discovery of the propositional functions version. In 1906, Russell claimed he discovered it after May 1903, but this conflicts with the widespread belief that the functions version appears in The Principles of Mathematics, finished in late 1902. I argue that Russell's dating was accurate, and that the functions version does not appear in the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5. added 2018-02-17
    Minimalism and Paradoxes.Michael Glanzberg - 2003 - Synthese 135 (1):13-36.
    This paper argues against minimalism about truth. It does so by way of a comparison of the theory of truth with the theory of sets, and consideration of where paradoxes may arise in each. The paper proceeds by asking two seemingly unrelated questions. First, what is the theory of truth about? Answering this question shows that minimalism bears important similarities to naive set theory. Second, why is there no strengthened version of Russell's paradox, as there is a strengthened Liar paradox? (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. added 2018-02-16
    The Barber, Russell's Paradox, Catch-22, God, Contradiction, and More.Laurence Goldstein - 2004 - In Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction. Clarendon Press. pp. 295--313.
    outrageous remarks about contradictions. Perhaps the most striking remark he makes is that they are not false. This claim first appears in his early notebooks (Wittgenstein 1960, p.108). In the Tractatus, Wittgenstein argued that contradictions (like tautologies) are not statements (Sätze) and hence are not false (or true). This is a consequence of his theory that genuine statements are pictures.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. added 2017-12-31
    To Reduce Nothingness Into a Reference by Falsity.Hazhir Roshangar - manuscript
    Assuming the absolute nothingness as the most basic object of thought, I present a way to refer to this object, by reducing it onto a primitive object that supersedes and comes right after the absolute nothingness. The new primitive object that is constructed can be regarded as a formal system that can generate some infinite variety of symbols.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. added 2017-12-24
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2017-07-21
    Modal Set Theory.Christopher Menzel - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. London and 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  
  10. added 2017-06-21
    Numbers and Everything.Gonçalo Santos - 2013 - Philosophia Mathematica 21 (3):297-308.
    I begin by drawing a parallel between the intuitionistic understanding of quantification over all natural numbers and the generality relativist understanding of quantification over absolutely everything. I then argue that adoption of an intuitionistic reading of relativism not only provides an immediate reply to the absolutist's charge of incoherence but it also throws a new light on the debates surrounding absolute generality.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. added 2017-06-21
    A Not So Fine Modal Version of Generality Relativism.Gonçalo Santos - 2010 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 25 (2):149-161.
    The generality relativist has been accused of holding a self-defeating thesis. Kit Fine proposed a modal version of generality relativism that tries to resist this claim. We discuss his proposal and argue that one of its formulations is self-defeating.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2017-04-18
    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  
  13. added 2017-04-03
    Hájek’s Faulty Discussion of Philosophical Heuristics.Danny Frederick - manuscript
    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  
  14. added 2016-12-30
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. added 2016-12-08
    The Consistency of The Naive Theory of Properties.Hartry Field - 2004 - Philosophical Quarterly 54 (214):78-104.
    If properties are to play a useful role in semantics, it is hard to avoid assuming the naïve theory of properties: for any predicate Θ(x), there is a property such that an object o has it if and only if Θ(o). Yet this appears to lead to various paradoxes. I show that no paradoxes arise as long as the logic is weakened appropriately; the main difficulty is finding a semantics that can handle a conditional obeying reasonable laws without engendering paradox. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  16. added 2016-11-11
    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 and Analytic Philosophy. De Gruyter. pp. 119-142.
  17. added 2016-11-11
    Husserl’s Manuscript A I 35.Dieter Lohmar & Carlo Ierna - 2016 - In Guillermo E. Rosado Haddock (ed.), Husserl and Analytic Philosophy. De Gruyter. pp. 289-320.
  18. added 2016-11-11
    Über Grenzzahlen Und Mengenbereiche: Neue Untersuchungen Über Die Grundlagen der Mengenlehre.Ernst Zermelo - 1930 - Fundamenta Mathematicæ 16:29--47.
  19. added 2016-11-07
    The 1900 Turn in Bertrand Russell’s Logic, the Emergence of His Paradox, and the Way Out.Nikolay Milkov - 2017 - 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  
  20. added 2016-09-02
    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  
  21. added 2016-08-26
    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 (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22. added 2016-07-10
    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  
     
    Export citation  
     
    Bookmark  
  23. added 2016-03-22
    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  
  24. added 2016-03-22
    Against Limitation of Size.Øystein Linnebo - 2005 - The Baltic International Yearbook of Cognition, Logic and Communication 1.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  25. added 2016-02-08
    1983 Review in Mathematical Reviews 83e:03005 Of: Cocchiarella, Nino “The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy: Bertrand Russell's Early Philosophy, Part I”. Synthese 45 (1980), No. 1, 71-115.John Corcoran - 1983 - MATHEMATICAL REVIEWS 83:03005.
    CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2015-11-30
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  27. added 2015-10-20
    On Set Theoretic Possible Worlds.Christopher Menzel - 1986 - Analysis 46 (2):68 - 72.
  28. added 2015-10-11
    Review of Mark Sainsbury, Paradoxes. [REVIEW]Vincent C. Müller - 1994 - European Review of Philosophy 1:182-184.
  29. added 2015-10-11
    Paradoxien.Mark Sainsbury & Vincent C. Müller - 1993 - Reclam.
    Translation of Mark Sainsbury: Paradoxes (Cambridge University Press 1988).
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. added 2015-09-29
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2015-09-04
    A Presentation Without an Example?Arnold Zuboff - 1992 - Analysis 52 (3):190 - 191.
    This article presents a paradox of inclusion, like Russell’s paradox but in a natural language.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2015-06-29
    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  
  33. added 2015-06-29
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  34. added 2015-06-18
    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  
  35. added 2015-02-20
    Husserl, Frege and 'the Paradox'.Claire Hill - 2000 - Manuscrito 23 (2):101-132.
    In letters that Husserl and Frege exchanged during late 1906 and early 1907, when it is thought that Frege abandoned his attempts to solve Russell's paradox, Husserl expressed his views about the "paradox". Studied here are three deep-rooted differences between their approaches to pure logic present beneath the surface in these letters. These differences concern Husserl's ideas about avoiding paradoxical consequences by shunning three potentially para-dox producing practices. Specifically, he saw the need for: 1) correctly drawing the line between meaning (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. added 2014-12-17
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  37. added 2014-12-08
    Book Review:Philosophy of Logic Hilary Putnam. [REVIEW]John Corcoran - 1973 - Philosophy of Science 40 (1):131-.
    Putnam, Hilary FPhilosophy of logic. Harper Essays in Philosophy. Harper Torchbooks, No. TB 1544. Harper & Row, Publishers, New York-London, 1971. v+76 pp. The author of this book has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38. added 2014-06-09
    Theory Dualism and the Metalogic of Mind-Body Problems.T. Parent - 2015 - In Christopher Daly (ed.), The Palgrave Handbook of Philosophical Methods. Palgrave. 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  
  39. added 2014-05-10
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2014-05-04
    Zermelo's Conception of Set Theory and Reflection Principles.W. W. Tait - 2003 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press.
  41. added 2014-04-01
    A Contingent Russell's Paradox.Francesco Orilia - 1996 - Notre Dame Journal of Formal Logic 37 (1):105-111.
    It is shown that two formally consistent type-free second-order systems, due to Cocchiarella, and based on the notion of homogeneous stratification, are subject to a contingent version of Russell's paradox.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42. added 2014-03-25
    On Russell's Vulnerability to Russell's Paradox.James Levine - 2001 - History and Philosophy of Logic 22 (4):207-231.
    Influenced by G. E. Moore, Russell broke with Idealism towards the end of 1898; but in later years he characterized his meeting Peano in August 1900 as ?the most important event? in ?the most important year in my intellectual life?. While Russell discovered his paradox during his post-Peano period, the question arises whether he was already committed, during his pre-Peano Moorean period, to assumptions from which his paradox may be derived. Peter Hylton has argued that the pre-Peano Russell was thus (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. added 2014-03-25
    Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's Response Adequate?Kevin C. Klement - 2001 - History and Philosophy of Logic 22 (1):13-28.
    In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44. added 2014-03-25
    Russell's Paradox of the Totality of Propositions.Nino B. Cocchiarella - 2000 - Nordic Journal of Philosophical Logic 5 (1):25-37.
    Russell's "new contradiction" about "the totality of propositions" has been connected with a number of modal paradoxes. M. Oksanen has recently shown how these modal paradoxes are resolved in the set theory NFU. Russell's paradox of the totality of propositions was left unexplained, however. We reconstruct Russell's argument and explain how it is resolved in two intensional logics that are equiconsistent with NFU. We also show how different notions of possible worlds are represented in these intensional logics.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45. added 2014-03-25
    Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects.Kai F. Wehmeier - 1999 - Synthese 121 (3):309-328.
    In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1 1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  46. added 2014-03-24
    St. Anselm's Ontological Argument Succumbs to Russell's Paradox.Christopher Viger - 2002 - International Journal for Philosophy of Religion 52 (3):123-128.
  47. added 2014-03-24
    On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
    It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  48. added 2014-03-21
    Sets, Classes and Extensions: A Singularity Approach to Russell's Paradox.K. Simmons - 2000 - Philosophical Studies 100 (2):109-149.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49. added 2014-03-12
    Lesniewski and Russell's Paradox: Some Problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.
    Sobocinski in his paper on Leśniewski's solution to Russell's paradox (1949b) argued that Leśniewski has succeeded in explaining it away. The general strategy of this alleged explanation is presented. The key element of this attempt is the distinction between the collective (mereological) and the distributive (set-theoretic) understanding of the set. The mereological part of the solution, although correct, is likely to fall short of providing foundations of mathematics. I argue that the remaining part of the solution which suggests a specific (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. added 2014-03-12
    From Russell's Paradox to the Theory of Judgement: Wittgenstein and Russell on the Unity of the Proposition.Graham Stevens - 2004 - Theoria 70 (1):28-61.
1 — 50 / 82