This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
17 found
Search inside:
(import / add options)   Sort by:
  1. G. Aldo Antonelli (1999). Conceptions and Paradoxes of Sets. Philosophia Mathematica 7 (2):136-163.
    This paper is concerned with the way different axiom systems for set theory can be justified by appeal to such intuitions as limitation of size, predicativity, stratification, etc. While none of the different conceptions historically resulting from the impetus to provide a solution to the paradoxes turns out to rest on an intuition providing an unshakeable foundation,'each supplies a picture of the set-theoretic universe that is both useful and internally well motivated. The same is true of more recently proposed axiom (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. George Bealer (1981). Foundations Without Sets. American Philosophical Quarterly 18 (4):347 - 353.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. John Corcoran (1973). Book Review:Philosophy of Logic Hilary Putnam. [REVIEW] 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Wolfgang Degen, Barbara Heller, Heinrich Herre & Barry Smith (2001). GOL: A General Ontological Language. In C. Welty B. Smith (ed.), Formal Ontology and Information Systems. Acm Press.
    Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. J. Ferreiros (1996). Traditional Logic and the Early History of Sets, 1854-1908. Archive for History of Exact Sciences 50:5-71.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Han Geurdes, The Construction of Transfinite Equivalence Algorithms.
    Context: Consistency of mathematical constructions in numerical analysis and the application of computerized proofs in the light of the occurrence of numerical chaos in simple systems. Purpose: To show that a computer in general and a numerical analysis in particular can add its own peculiarities to the subject under study. Hence the need of thorough theoretical studies on chaos in numerical simulation. Hence, a questioning of what e.g. a numerical disproof of a theorem in physics or a prediction in numerical (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. B. Hale (2013). Properties and the Interpretation of Second-Order Logic. Philosophia Mathematica 21 (2):133-156.
    This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Carlo Ierna (2012). La notion husserlienne de multiplicité : au-delà de Cantor et Riemann. Methodos. Savoirs Et Textes 12 (12).
    The concept of a Mannigfaltigkeit in Husserl has been given various interpretations, due to its shifting role in his works. Many authors have been misled by this term, placing it in the context of Husserl’s early period in Halle, while writing the Philosophy of Arithmetic, as a friend and colleague of Georg Cantor.Yet at the time, Husserl distanced himself explicitly from Cantor’s definition and rather took Bernhard Riemann as example, having studied and lectured extensively on Riemann’s theories of space. Husserl’s (...)
    Remove from this list |
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Juliette Kennedy (2011). Can the Continuum Hypothesis Be Solved? The Institute Letter.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  10. Øystein Linnebo (2007). Burgess on Plural Logic and Set Theory. Philosophia Mathematica 15 (1):79-93.
    John Burgess in a 2004 paper combined plural logic and a new version of the idea of limitation of size to give an elegant motivation of the axioms of ZFC set theory. His proposal is meant to improve on earlier work by Paul Bernays in two ways. I argue that both attempted improvements fail. I am grateful to Philip Welch, two anonymous referees, and especially Ignacio Jané for written comments on earlier versions of this paper, which have led to substantial (...)
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  11. Øystein Linnebo & Richard Pettigrew (2011). Category Theory as an Autonomous Foundation. 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 (14 more)  
     
    My bibliography  
     
    Export citation  
  12. Anne Newstead (2008). Intertwining Metaphysics and Mathematics: The Development of Georg Cantor's Set Theory 1871-1887. Review of Contemporary Philosophy 7:35-55.
  13. Richard Pettigrew (2010). The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory. Cahiers du Centre de Logique 17:99-118.
    In this paper, I pursue such a logical foundation for arithmetic in a variant of Zermelo set theory that has axioms of subset separation only for quantifier-free formulae, and according to which all sets are Dedekind finite. In section 2, I describe this variant theory, which I call ZFin0. And in section 3, I sketch foundations for arithmetic in ZFin0 and prove that certain foundational propositions that are theorems of the standard Zermelian foundation for arithmetic are independent of ZFin0.<br><br>An equivalent (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  14. Adam Rieger (2000). An Argument for Finsler-Aczel Set Theory. Mind 109 (434):241-253.
    Recent interest in non-well-founded set theories has been concentrated on Aczel's anti-foundation axiom AFA. I compare this axiom with some others considered by Aczel, and argue that another axiom, FAFA, is superior in that it gives the richest possible universe of sets consistent with respecting the spirit of extensionality. I illustrate how using FAFA instead of AFA might result in an improvement to Barwise and Etchemendy's treatment of the liar paradox.
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  15. Mary Tiles (2002). Review of J. P. Mayberry, The Foundations of Mathematics in the Theory of Sets. [REVIEW] Philosophia Mathematica 10 (3):324-337.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Rafal Urbaniak (2013). Lesniewski's Systems of Logic and Foundations of Mathematics. Springer.
  17. Jouko Väänänen (2012). Second Order Logic or Set Theory? Bulletin of Symbolic Logic 18 (1):91-121.
    We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be in manifest conflict with each (...)
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation