Related

Contents
70 found
Order:
1 — 50 / 70
  1. A Reassessment of Cantorian Abstraction based on the ε-operator.Nicola Bonatti - forthcoming - Synthese.
    Cantor's abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor's proposal based upon the set theoretic framework of Bourbaki - called BK - which is a First-order set theory extended with Hilbert's ε-operator. Moreover, it is argued that the BK system and the ε-operator provide a faithful reconstruction of Cantor's insights on cardinal numbers. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Varieties of Class-Theoretic Potentialism.Neil Barton & Kameryn J. Williams - 2024 - Review of Symbolic Logic 17 (1):272-304.
    We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Competing Roles of Aristotle's Account of the Infinite.Robby Finley - 2024 - Apeiron 57 (1):25-54.
    There are two distinct but interrelated questions concerning Aristotle’s account of infinity that have been the subject of recurring debate. The first of these, what I call here the interpretative question, asks for a charitable and internally coherent interpretation of the limited pieces of text where Aristotle outlines his view of the ‘potential’ (and not ‘actual’) infinite. The second, what I call here the philosophical question, asks whether there is a way to make Aristotle’s notion of the potential infinite coherent (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. A Taxonomy for Set-Theoretic Potentialism.Davide Sutto - 2024 - Philosophia Mathematica:1-28.
    Set-theoretic potentialism is one of the most lively trends in the philosophy of mathematics. Modal accounts of sets have been developed in two different ways. The first, initiated by Charles Parsons, focuses on sets as objects. The second, dating back to Hilary Putnam and Geoffrey Hellman, investigates set-theoretic structures. The paper identifies two strands of open issues, technical and conceptual, to clarify these two different, yet often conflated, views and categorize the potentialist approaches that have emerged in the contemporary debate. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. The iterative conception of function and the iterative conception of set.Tim Button - 2023 - In Carolin Antos, Neil Barton & Giorgio Venturi (eds.), The Palgrave Companion to the Philosophy of Set Theory. Palgrave.
    Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Символічна логіка: повернення до витоків. Стаття ІV. Графіки функцій та відношень.Yaroslav Kokhan - 2023 - Multiversum. Philosophical Almanac 2 (2):129-143.
    The paper is the Part IV of the large research, dedicated to both revision of the system of basic logical categories and generalization of modern predicate logic to functional logic. The topic of the paper is consideration of graphs of functions and relations as a derivative and definable category of ultra-Fregean logistics. There are two types of function specification: an operational specification, in which a function is first applied to arguments and then the value of the function is entered as (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Level Theory, Part 3: A Boolean Algebra of Sets Arranged in Well-Ordered Levels.Tim Button - 2022 - Bulletin of Symbolic Logic 28 (1):1-26.
    On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a natural (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Introduction to the IndetermSoft Set and IndetermHyperSoft Set.Florentin Smarandache - 2022 - Neutrosophic Sets and Systems 51 (1):629-650.
    In this paper one introduces for the first time the IndetermSoft Set, as extension of the classical (determinate) Soft Set, that deals with indeterminate data, and similarly the HyperSoft Set extended to IndetermHyperSoft Set, where ‘Indeterm’ stands for ‘Indeterminate’ (uncertain, conflicting, not unique outcome). They are built on an IndetermSoft Algebra that is an algebra dealing with IndetermSoft Operators resulted from our real world. Afterwards, the corresponding Fuzzy / Intuitionistic Fuzzy / Neutrosophic / and other fuzzy-extension IndetermSoft Set & IndetermHyperSoft (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Practical Applications of IndetermSoft Set and IndetermHyperSoft Set and Introduction to TreeSoft Set as an extension of the MultiSoft Set.Florentin Smarandache - 2022 - Neutrosophic Sets and Systems 51 (1):939-947.
    The IndetermSoft Set is as an extension of the Soft Set, because the data, or the function, or the sets involved in the definition of the soft set have indeterminacy - as in our everyday life, and we still need to deal with such situations. And similarly, IndetermHyperSoft Set as extension of the HyperSoft Set, when there is indeterminate data, or indeterminate functions, or indeterminate sets. Herein, ‘Indeterm’ stands for ‘Indeterminate’ (uncertain, conflicting, incomplete, not unique outcome). We now introduce for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):461-484.
    Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Level theory, part 1: Axiomatizing the bare idea of a cumulative hierarchy of sets.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):436-460.
    The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12. (1 other version)Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Символічна логіка: повернення до витоків. Стаття ІІІ. Похідні логістичні категорії.Yaroslav Kokhan - 2021 - Multiversum. Philosophical Almanac 2 (2):141-155.
    The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of semantics. Fregean logictics (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Conceptions of Set and the Foundations of Mathematics.Luca Incurvati - 2020 - Cambridge University Press.
    Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  15. The limits of classical mereology: Mixed fusions and the failures of mereological hybridism.Joshua Kelleher - 2020 - Dissertation, The University of Queensland
    In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16. Einige Bemerkungen Kurt Gödels zur Mengenlehre.Merlin Carl and Eva-Maria Engelen - 2019 - SieB – Siegener Beiträge Zur Geschichte Und Philosophie der Mathematik 11:143–169.
  17. Considerações de Brouwer sobre espaço e infinitude: O idealismo de Brouwer Diante do Problema Apresentado por Dummett Quanto à Possibilidade Teórica de uma Infinitude Espacial.Paulo Júnio de Oliveira - 2019 - Kinesis 11:94-108.
    Resumo Neste artigo, será discutida a noção de “infinitude cardinal” – a qual seria predicada de um “conjunto” – e a noção de “infinitude ordinal” – a qual seria predicada de um “processo”. A partir dessa distinção conceitual, será abordado o principal problema desse artigo, i.e., o problema da possibilidade teórica de uma infinitude de estrelas tratado por Dummett em sua obra Elements of Intuitionism. O filósofo inglês sugere que, mesmo diante dessa possibilidade teórica, deveria ser possível predicar apenas infinitude (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  18. A naturalistic justification of the generic multiverse with a core.Matteo de Ceglie - 2018 - Contributions of the Austrian Ludwig Wittgenstein Society 26:34-36.
    In this paper, I argue that a naturalist approach in philosophy of mathematics justifies a pluralist conception of set theory. For the pluralist, there is not a Single Universe, but there is rather a Multiverse, composed by a plurality of universes generated by various set theories. In order to justify a pluralistic approach to sets, I apply the two naturalistic principles developed by Penelope Maddy (cfr. Maddy (1997)), UNIFY and MAXIMIZE, and analyze through them the potential of the set theoretic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. What we talk about when we talk about numbers.Richard Pettigrew - 2018 - Annals of Pure and Applied Logic 169 (12):1437-1456.
    In this paper, I describe and motivate a new species of mathematical structuralism, which I call Instrumental Nominalism about Set-Theoretic Structuralism. As the name suggests, this approach takes standard Set-Theoretic Structuralism of the sort championed by Bourbaki and removes its ontological commitments by taking an instrumental nominalist approach to that ontology of the sort described by Joseph Melia and Gideon Rosen. I argue that this avoids all of the problems that plague other versions of structuralism.
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Finitist set theory in ontological modeling.Avril Styrman & Aapo Halko - 2018 - Applied ontology 13 (2):107-133.
    This article introduces finitist set theory (FST) and shows how it can be applied in modeling finite nested structures. Mereology is a straightforward foundation for transitive chains of part-whole relations between individuals but is incapable of modeling antitransitive chains. Traditional set theories are capable of modeling transitive and antitransitive chains of relations, but due to their function as foundations of mathematics they come with features that make them unnecessarily difficult in modeling finite structures. FST has been designed to function as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. 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  
  22. Nine Kinds of Number.John-Michael Kuczynski - 2016 - JOHN-MICHAEL KUCZYNSKI.
    There are nine kinds of number: cardinal (measure of class size), ordinal (corresponds to position), generalized ordinal (position in multidimensional discrete manifold), signed (relation between cardinals), rational (different kind of relation between cardinals), real (limit), complex (pair of reals), transfinite (size of reflexive class), and dimension (measure of complexity.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. 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  
  24. (2 other versions)The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. (1 other version)Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.
    We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  26. History and philosophy of infinity: Selected papers from the conference “Foundations of the Formal Sciences VIII” held at Corpus Christi College, Cambridge, England, 20–23 September 2013.Brendan P. Larvor, Benedikt Löwe & Dirk Schlimm - 2015 - Synthese 192 (8):2339-2344.
  27. UN SEMPLICE MODO PER TRATTARE LE GRANDEZZE INFINITE ED INFINITESIME.Yaroslav Sergeyev - 2015 - la Matematica Nella Società E Nella Cultura: Rivista Dell’Unione Matematica Italiana, Serie I 8:111-147.
    A new computational methodology allowing one to work in a new way with infinities and infinitesimals is presented in this paper. The new approach, among other things, gives the possibility to calculate the number of elements of certain infinite sets, avoids indeterminate forms and various kinds of divergences. This methodology has been used by the author as a starting point in developing a new kind of computer – the Infinity Computer – able to execute computations and to store in its (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. (1 other version)Gödel’s Cantorianism.Claudio Ternullo - 2015 - In E.-M. Engelen (ed.), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence. pp. 417-446.
    Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Varieties of Indefinite Extensibility.Gabriel Uzquiano - 2015 - Notre Dame Journal of Formal Logic 56 (1):147-166.
    We look at recent accounts of the indefinite extensibility of the concept set and compare them with a certain linguistic model of indefinite extensibility. We suggest that the linguistic model has much to recommend over alternative accounts of indefinite extensibility, and we defend it against three prima facie objections.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  30. Set-Theoretic Dependence.John Wigglesworth - 2015 - Australasian Journal of Logic 12 (3):159-176.
    In this paper, we explore the idea that sets depend on, or are grounded in, their members. It is said that a set depends on each of its members, and not vice versa. Members do not depend on the sets that they belong to. We show that the intuitive modal truth conditions for dependence, given in terms of possible worlds, do not accurately capture asymmetric dependence relations between sets and their members. We extend the modal truth conditions to include impossible (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Canonizing relations on nonsmooth sets.Clinton T. Conley - 2013 - Journal of Symbolic Logic 78 (1):101-112.
    We show that any symmetric, Baire measurable function from the complement of $\ezero$ to a finite set is constant on an $\ezero$-nonsmooth square. A simultaneous generalization of Galvin's theorem that Baire measurable colorings admit perfect homogeneous sets and the Kanovei-Zapletal theorem canonizing Borel equivalence relations on $E_0$-nonsmooth sets, this result is proved by relating $\ezero$-nonsmooth sets to embeddings of the complete binary tree into itself and appealing to a version of Hindman's theorem on the complete binary tree. We also establish (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Indifferent sets for genericity.Adam R. Day - 2013 - Journal of Symbolic Logic 78 (1):113-138.
    This paper investigates indifferent sets for comeager classes in Cantor space focusing of the class of all 1-generic sets and the class of all weakly 1-generic sets. Jockusch and Posner showed that there exist 1-generic sets that have indifferent sets [10]. Figueira, Miller and Nies have studied indifferent sets for randomness and other notions [7]. We show that any comeager class in Cantor space contains a comeager class with a universal indifferent set. A forcing construction is used to show that (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
    A pointwise definable model is one in which every object is \loos definable without parameters. In a model of set theory, this property strengthens $V=\HOD$, but is not first-order expressible. Nevertheless, if \ZFC\ is consistent, then there are continuum many pointwise definable models of \ZFC. If there is a transitive model of \ZFC, then there are continuum many pointwise definable transitive models of \ZFC. What is more, every countable model of \ZFC\ has a class forcing extension that is pointwise definable. (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34. Lifschitz realizability for intuitionistic Zermelo–Fraenkel set theory.Ray-Ming Chen & Michael Rathjen - 2012 - Archive for Mathematical Logic 51 (7-8):789-818.
    A variant of realizability for Heyting arithmetic which validates Church’s thesis with uniqueness condition, but not the general form of Church’s thesis, was introduced by Lifschitz (Proc Am Math Soc 73:101–106, 1979). A Lifschitz counterpart to Kleene’s realizability for functions (in Baire space) was developed by van Oosten (J Symb Log 55:805–821, 1990). In that paper he also extended Lifschitz’ realizability to second order arithmetic. The objective here is to extend it to full intuitionistic Zermelo–Fraenkel set theory, IZF. The machinery (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35. Impure Sets May Be Located: A Reply to Cook.Nikk Effingham - 2012 - Thought: A Journal of Philosophy 1 (4):330-336.
    Cook argues that impure sets are not located. But ‘location’ is an ambiguous word and when we resolve those ambiguities it turns out that on no resolution is Cook's argument compelling.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. How to be a minimalist about sets.Luca Incurvati - 2012 - Philosophical Studies 159 (1):69-87.
    According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical literature is that sets are somehow constituted by their members. In the first part of the paper, I present a number of problems for this answer, paying special attention to the view that sets are metaphysically dependent upon their members. In the second part of the paper, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  37. To be or to be not, that is the dilemma.Juan José Luetich - 2012 - Identification Transactions of The Luventicus Academy (ISSN 1666-7581) 1 (1):4.
    A set is precisely defined. A given element either belongs or not to a set. However, since all of the elements being considered belong to the universe, if the element does not belong to the set, it belongs to its complement, that is, what remains after all of the elements from the set are removed from the universe.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  38. Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies.Juliette Kennedy & Roman Kossak (eds.) - 2011 - Cambridge University Press.
    Machine generated contents note: 1. Introduction Juliette Kennedy and Roman Kossak; 2. Historical remarks on Suslin's problem Akihiro Kanamori; 3. The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture W. Hugh Woodin; 4. [omega]-Models of finite set theory Ali Enayat, James H. Schmerl and Albert Visser; 5. Tennenbaum's theorem for models of arithmetic Richard Kaye; 6. Hierarchies of subsystems of weak arithmetic Shahram Mohsenipour; 7. Diophantine correct open induction Sidney Raffer; 8. Tennenbaum's theorem and recursive reducts James H. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  39. Category theory as an autonomous foundation.Øystein Linnebo & Richard Pettigrew - 2011 - Philosophia Mathematica 19 (3):227-254.
    Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy: logical, conceptual, and justificatory. Focusing on a categorical theory of sets, we argue that a strong case can be made for its logical and conceptual autonomy. Its justificatory autonomy turns on whether the objects of a foundation for mathematics should be specified only up to isomorphism, as is customary in other (...)
    Remove from this list   Direct download (15 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  40. Universality in Set Theories: A Study in Formal Ontology.Manuel Bremer - 2010 - Frankfurt, Germany: Ontos.
  41. (1 other version)Nowy postulat teorii mnogości – aksjomat Leibniza-Mycielskiego.Piotr Wilczek - 2010 - Filozofia Nauki 18 (3).
    In this article we will present the Leibniz-Mycielski axiom (LM) of set theory (ZF) introduced several years ago by Jan Mycielski as an additional axiom of set theory. This new postulate formalizes the so-called Leibniz Law (LL) which states that there are no two distinct indiscernible objects. From the Ehrenfeucht-Mostowski theorem it follows that every theory which has an infinite model has a model with indiscernibles. The new LM axiom states that there are infinite models without indis-cernibles. These models are (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  42. Rendering conditionals in mathematical discourse with conditional elements.Joseph S. Fulda - 2009 - Journal of Pragmatics 41 (7):1435-1439.
    In "Material Implications" (1992), mathematical discourse was said to be different from ordinary discourse, with the discussion centering around conditionals. This paper shows how.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. The structure of emptiness.Graham Priest - 2009 - Philosophy East and West 59 (4):pp. 467-480.
    The view that everything is empty (śūnya) is a central metaphysical plank of Mahāyāna Buddhism. It has often been the focus of objections. Perhaps the most important of these is that it in effect entails a nihilism: nothing exists. This objection, in turn, is denied by Mahāyāna theorists, such as Nāgārjuna. One of the things that makes the debate difficult is that the precise import of the view that everything is empty is unclear. The object of this essay is to (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  44. A Philosophical Interpretation of Rough Set Theory.Chang Kyun Park - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:23-29.
    The rough set theory has interesting properties such as that a rough set is considered as distinct sets in distinct knowledge bases, and that distinct rough sets are considered as one same set in a certain knowledge base. This leads to a significant philosophical interpretation: a concept (or phenomenon) may be understood as different ones in different philosophical perspectives, while different concepts (or phenomena) may be understood as a same one in a certain philosophical perspective. Such properties of rough set (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Motivating reductionism about sets.Alexander Paseau - 2008 - Australasian Journal of Philosophy 86 (2):295 – 307.
    The paper raises some difficulties for the typical motivations behind set reductionism, the view that sets are reducible to entities identified independently of set theory.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Plenum theory.Nicholas Rescher & Patrick Grim - 2008 - Noûs 42 (3):422-439.
    Plena are large-scale macro-totalities appropriate to the realms of all facts, all truths, and all things. Our attempt here is to take some first technical steps toward an adequate conception of plena.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Review of T. Arrigoni, What is meant by V?: Reflections on the universe of all sets[REVIEW]Mary Tiles - 2008 - Philosophia Mathematica 16 (1):132-133.
    The stated aim of this small book is ‘to interpret the façcon de parler that V is the universe of all sets in a way that is faithful to what is actually done in set theory’. In this I think it succeeds and in the process seeks to account for the sense of many mathematicians that successive results in set theory are teaching us more about V ….
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  48. Categories, sets and the nature of mathematical entities.Jean-Pierre Marquis - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 181--192.
  49. Plural predication.Thomas J. McKay - 2006 - New York: Oxford University Press.
    Plural predication is a pervasive part of ordinary language. We can say that some people are fifty in number, are surrounding a building, come from many countries, and are classmates. These predicates can be true of some people without being true of any one of them; they are non-distributive predications. However, the apparatus of modern logic does not allow a place for them. Thomas McKay here explores the enrichment of logic with non-distributive plural predication and quantification. His book will be (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   139 citations  
  50. Some Recent Existential Appeals to Mathematical Experience.Michael J. Shaffer - 2006 - Principia: An International Journal of Epistemology 10 (2):143–170.
    Some recent work by philosophers of mathematics has been aimed at showing that our knowledge of the existence of at least some mathematical objects and/or sets can be epistemically grounded by appealing to perceptual experience. The sensory capacity that they refer to in doing so is the ability to perceive numbers, mathematical properties and/or sets. The chief defense of this view as it applies to the perception of sets is found in Penelope Maddy’s Realism in Mathematics, but a number of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 70