Switch to: References

Add citations

You must login to add citations.
  1. Models as Fundamental Entities in Set Theory: A Naturalistic and Practice-based Approach.Carolin Antos - 2022 - Erkenntnis 89 (4):1683-1710.
    This article addresses the question of fundamental entities in set theory. It takes up J. Hamkins’ claim that models of set theory are such fundamental entities and investigates it using the methodology of P. Maddy’s naturalism, Second Philosophy. In accordance with this methodology, I investigate the historical case study of the use of models in the introduction of forcing, compare this case to contemporary practice and give a systematic account of how set-theoretic practice can be said to introduce models as (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Kreisel, the continuum hypothesis and second order set theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.
    The major point of contention among the philosophers and mathematicians who have written about the independence results for the continuum hypothesis (CH) and related questions in set theory has been the question of whether these results give reason to doubt that the independent statements have definite truth values. This paper concerns the views of G. Kreisel, who gives arguments based on second order logic that the CH does have a truth value. The view defended here is that although Kreisel's conclusion (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Oswajanie patologii matematycznych.Jerzy Pogonowski - 2020 - Principia 2020:87-118.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On an application of categoricity.Alexander Paseau - 2005 - Proceedings of the Aristotelian Society 105 (1):395-399.
    James Walmsley in “Categoricity and Indefinite Extensibility” argues that a realist about some branch of mathematics X (e.g. arithmetic) apparently cannot use the categoricity of an axiomatisation of X to justify her belief that every sentence of the language of X has a truth-value. My discussion note first corrects Walmsley’s formulation of his claim. It then shows that his argument for it hinges on the implausible idea that grasping that there is some model of the axioms amounts to grasping that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.
    Scientific knowledge develops in an increasingly fragmentary way.A multitude of scientific disciplines branch out. Curiosity for thisdevelopment leads into quests for a unifying understanding. To a certain extent, foundational studies provide such unification. There is a tendency, however, also of a fragmentary growth of foundational studies, like in a multitude of disciplinaryfoundations. We suggest to look at the foundational problem, not primarily as a search for foundations for one discipline in another, as in some reductionist approach, but as a steady (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.
    Pour le philosophe intéressé aux structures et aux fondements du savoir théorétique, à la constitution d'une « méta-théorétique «, θεωρíα., qui, mieux que les « Wissenschaftslehre » fichtéenne ou husserlienne et par-delà les débris de la métaphysique, veut dans une intention nouvelle faire la synthèse du « théorétique », la logique mathématique se révèle un objet privilégié.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Two Unpublished Contributions by Alfred Tarski.Francisco Rodriguez-Consuegra - 2007 - History and Philosophy of Logic 28 (3):257-264.
    Two unpublished contributions to meetings can be found in the Alfred Tarski Papers, at the University of California, Berkeley. The meetings took place in 1965, in Chicago and London, respectively....
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.
    This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Conceptions and paradoxes of sets.G. Aldo Antonelli - 1999 - 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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • Klassinen matematiikka ja logiikka.Panu Raatikainen - 1996 - In Logiikka, matematiikka ja tietokone – Perusteet: historiaa, filosofiaa ja sovelluksia. Espoo: Finnish Artificial Intelligence Society.
    Toisaalta ennennäkemätön äärettömien joukko-opillisten menetelmien hyödyntäminen sekä toisaalta epäilyt niiden hyväksyttävyydestä ja halu oikeuttaa niiden käyttö ovat ratkaisevasti muovanneet vuosisatamme matematiikkaa ja logiikkaa. Tämän kehityksen vaikutus nykyajan filosofiaan on myös ollut valtaisa; merkittävää osaa siitä ei voi edes ymmärtää tuntematta sen yhteyttä tähän matematiikan ja logiikan vallankumoukseen. Lähestymistapoja, jotka tavalla tai toisella hyväksyvät äärettömän matematiikan ja perinteisten logiikan sääntöjen (erityisesti kolmannen poissuljetun lain) soveltamisen myös sen piirissä, on tullut tavaksi kutsua klassiseksi matematiikaksi ja logiikaksi erotuksena nämä hylkäävistä radikaaleista intuitionistisista ja (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Meaning and existence in mathematics : on the use and abuse of the theory of models in the philosophy of mathematics.Charles Ernest Castonguay - unknown
     
    Export citation  
     
    Bookmark   1 citation