Switch to: References

Add citations

You must login to add citations.
  1. On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.
    The alleged proof of the non-mechanical, or non-computational, character of the human mind based on Gödel’s incompleteness theorem is revisited. Its history is reviewed. The proof, also known as the Lucas argument and the Penrose argument, is refuted. It is claimed, following Gödel himself and other leading logicians, that antimechanism is not implied by Gödel’s theorems alone. The present paper sets out this refutation in its strongest form, demonstrating general theorems implying the inconsistency of Lucas’s arithmetic and the semantic inadequacy (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Anti-Mechanist Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings.Paula Quinon - 2020 - Studia Semiotyczne 34 (1):243-266.
    This paper reassesses the criticism of the Lucas-Penrose anti-mechanist argument, based on Gödel’s incompleteness theorems, as formulated by Krajewski : this argument only works with the additional extra-formal assumption that “the human mind is consistent”. Krajewski argues that this assumption cannot be formalized, and therefore that the anti-mechanist argument – which requires the formalization of the whole reasoning process – fails to establish that the human mind is not mechanistic. A similar situation occurs with a corollary to the argument, that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.
    Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Why Mathematics Can Not be Ontology.Shiva Rahman - 2019 - Axiomathes 29 (3):289-296.
    The formalism of mathematics has always inspired ontological theorization based on it. As is evident from his magnum opus Being and Event, Alain Badiou remains one of the most important contemporary contributors to this enterprise. His famous maxim—“mathematics is ontology” has its basis in the ingenuity that he has shown in capitalizing on Gödel’s and Cohen’s work in the field of set theory. Their work jointly establish the independence of the continuum hypothesis from the standard axioms of Zermelo–Fraenkel set theory, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mind and the Environment.Jane McDonnell - 2018 - Axiomathes 28 (5):521-538.
    Intuitively, an object is something that coheres internally and is largely independent of its environment. But what is the environment? Viewed at one scale, it surrounds and separates objects and differentiates them. Viewed at another scale, it is itself a collection of objects surrounded by environment. At all scales, we describe the world in terms of objects in an environment. I examine the nature of the environment and its role in mediating the object-subject relation. This dedicated analysis of the environment (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Intuition as a Second Window.Nenad Miscevic - 2000 - Southern Journal of Philosophy 38 (S1):87-112.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
    In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philosophers of mathematics have explored maximality principles whilst attempting to prove categoricity theorems for set theory or providing criteria for selecting foundational theories. This article reviews recent work concerned with the formulation, investigation and justification (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Zermelo and Set Theory. [REVIEW]Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.
    Ernst Friedrich Ferdinand Zermelo (1871–1953) transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Gödel and philosophical idealism.Charles Parsons - 2010 - Philosophia Mathematica 18 (2):166-192.
    Kurt Gödel made many affirmations of robust realism but also showed serious engagement with the idealist tradition, especially with Leibniz, Kant, and Husserl. The root of this apparently paradoxical attitude is his conviction of the power of reason. The paper explores the question of how Gödel read Kant. His argument that relativity theory supports the idea of the ideality of time is discussed critically, in particular attempting to explain the assertion that science can go beyond the appearances and ‘approach the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.
    Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.
    Download  
     
    Export citation  
     
    Bookmark  
  • Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.
    In this paper I argue that it is more difficult to see how Godel's incompleteness theorems and related consistency proofs for formal systems are consistent with the views of formalists, mechanists and traditional intuitionists than it is to see how they are consistent with a particular form of mathematical realism. If the incompleteness theorems and consistency proofs are better explained by this form of realism then we can also see how there is room for skepticism about Church's Thesis and the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Gödel's path from the incompleteness theorems (1931) to phenomenology (1961).Richard Tieszen - 1998 - Bulletin of Symbolic Logic 4 (2):181-203.
    In a lecture manuscript written around 1961, Gödel describes a philosophical path from the incompleteness theorems to Husserl's phenomenology. It is known that Gödel began to study Husserl's work in 1959 and that he continued to do so for many years. During the 1960s, for example, he recommended the sixth investigation of Husserl's Logical Investigations to several logicians for its treatment of categorial intuition. While Gödel may not have been satisfied with what he was able to obtain from philosophy and (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Naturalism and ontology.Penelope Maddy - 1995 - Philosophia Mathematica 3 (3):248-270.
    Naturalism in philosophy is sometimes thought to imply both scientific realism and a brand of mathematical realism that has methodological consequences for the practice of mathematics. I suggest that naturalism does not yield such a brand of mathematical realism, that naturalism views ontology as irrelevant to mathematical methodology, and that approaching methodological questions from this naturalistic perspective illuminates issues and considerations previously overshadowed by (irrelevant) ontological concerns.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Consistency, mechanicalness, and the logic of the mind.Qiuen Yu - 1992 - Synthese 90 (1):145-79.
    G. Priest's anti-consistency argument (Priest 1979, 1984, 1987) and J. R. Lucas's anti-mechanist argument (Lucas 1961, 1968, 1970, 1984) both appeal to Gödel incompleteness. By way of refuting them, this paper defends the thesis of quartet compatibility, viz., that the logic of the mind can simultaneously be Gödel incomplete, consistent, mechanical, and recursion complete (capable of all means of recursion). A representational approach is pursued, which owes its origin to works by, among others, J. Myhill (1964), P. Benacerraf (1967), J. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.
    This paper concerns Alan Turing’s ideas about machines, mathematical methods of proof, and intelligence. By the late 1930s, Kurt Gödel and other logicians, including Turing himself, had shown that no finite set of rules could be used to generate all true mathematical statements. Yet according to Turing, there was no upper bound to the number of mathematical truths provable by intelligent human beings, for they could invent new rules and methods of proof. So, the output of a human mathematician, for (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (1 other version)Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2023 - Foundations of Science 28 (1):287-305.
    In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme (HP) has formulated several maximality principles, which express the maximality of V both in height and width. The paper provides an overview of the principles which have been investigated so far in the programme, as well as of the logical and model-theoretic tools which are needed to formulate them mathematically, and also briefly shows (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.
    Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.
    This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • (1 other version)Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2020 - Foundations of Science 28 (1):287-305.
    In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme (HP) has formulated several maximality principles, which express the maximality of V both in height and width. The paper provides an overview of the principles which have been investigated so far in the programme, as well as of the logical and model-theoretic tools which are needed to formulate them mathematically, and also briefly shows (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Phenomenological Ideas in the Philosophy of Mathematics. From Husserl to Gödel.Roman Murawski Thomas Bedürftig - 2018 - Studia Semiotyczne 32 (2):33-50.
    The paper is devoted to phenomenological ideas in conceptions of modern philosophy of mathematics. Views of Husserl, Weyl, Becker andGödel will be discussed and analysed. The aim of the paper is to show the influence of phenomenological ideas on the philosophical conceptions concerning mathematics. We shall start by indicating the attachment of Edmund Husserl to mathematics and by presenting the main points of his philosophy of mathematics. Next, works of two philosophers who attempted to apply Husserl’s phenomenological ideas to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
    The use of tensed language and the metaphor of set ‘formation’ found in informal descriptions of the iterative conception of set are seldom taken at all seriously. Both are eliminated in the nonmodal stage theories that formalise this account. To avoid the paradoxes, such accounts deny the Maximality thesis, the compelling thesis that any sets can form a set. This paper seeks to save the Maximality thesis by taking the tense more seriously than has been customary (although not literally). A (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Information Processing as an Account of Concrete Digital Computation.Nir Fresco - 2013 - Philosophy and Technology 26 (1):31-60.
    It is common in cognitive science to equate computation (and in particular digital computation) with information processing. Yet, it is hard to find a comprehensive explicit account of concrete digital computation in information processing terms. An information processing account seems like a natural candidate to explain digital computation. But when ‘information’ comes under scrutiny, this account becomes a less obvious candidate. Four interpretations of information are examined here as the basis for an information processing account of digital computation, namely Shannon (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (2 other versions)On the philosophical development of Kurt gödel.Mark van Atten & Juliette Kennedy - 2003 - Bulletin of Symbolic Logic 9 (4):425-476.
    It is by now well known that Gödel first advocated the philosophy of Leibniz and then, since 1959, that of Husserl. This raises three questions:1.How is this turn to Husserl to be interpreted? Is it a dismissal of the Leibnizian philosophy, or a different way to achieve similar goals?2.Why did Gödel turn specifically to the later Husserl's transcendental idealism?3.Is there any detectable influence from Husserl on Gödel's writings?Regarding the first question, Wang [96, p.165] reports that Gödel ‘[saw] in Husserl's work (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Kurt Godel and phenomenology.Richard Tieszen - 1992 - Philosophy of Science 59 (2):176-194.
    Godel began to seriously study Husserl's phenomenology in 1959, and the Godel Nachlass is known to contain many notes on Husserl. In this paper I describe what is presently known about Godel's interest in phenomenology. Among other things, it appears that the 1963 supplement to "What is Cantor's Continuum Hypothesis?", which contains Godel's famous views on mathematical intuition, may have been influenced by Husserl. I then show how Godel's views on mathematical intuition and objectivity can be readily interpreted in a (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Incompleteness, mechanism, and optimism.Stewart Shapiro - 1998 - Bulletin of Symbolic Logic 4 (3):273-302.
    §1. Overview. Philosophers and mathematicians have drawn lots of conclusions from Gödel's incompleteness theorems, and related results from mathematical logic. Languages, minds, and machines figure prominently in the discussion. Gödel's theorems surely tell us something about these important matters. But what?A descriptive title for this paper would be “Gödel, Lucas, Penrose, Turing, Feferman, Dummett, mechanism, optimism, reflection, and indefinite extensibility”. Adding “God and the Devil” would probably be redundant. Despite the breath-taking, whirlwind tour, I have the modest aim of forging (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Was gödel a gödelian platonist?Michael Potter - 2001 - Philosophia Mathematica 9 (3):331-346.
    del's appeal to mathematical intuition to ground our grasp of the axioms of set theory, is notorious. I extract from his writings an account of this form of intuition which distinguishes it from the metaphorical platonism of which Gödel is sometimes accused and brings out the similarities between Gödel's views and Dummett's.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Where do sets come from?Harold T. Hodes - 1991 - Journal of Symbolic Logic 56 (1):150-175.
    A model-theoretic approach to the semantics of set-theoretic discourse.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Gödel, Nagel, Minds, and Machines.Solomon Feferman - 2009 - Journal of Philosophy 106 (4):201-219.
    Ernest Nagel Lecture, Columbia University, Sept. 27, 2007.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On the pure logic of justified belief.Daniela Schuster & Leon Horsten - 2022 - Synthese 200 (5):1-21.
    Justified belief is a core concept in epistemology and there has been an increasing interest in its logic over the last years. While many logical investigations consider justified belief as an operator, in this paper, we propose a logic for justified belief in which the relevant notion is treated as a predicate instead. Although this gives rise to the possibility of liar-like paradoxes, a predicate treatment allows for a rich and highly expressive framework, which lives up to the universal ambitions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Fallibility and Fruitfulness of Deductions.Cesare Cozzo - 2021 - Erkenntnis (7):1-17.
    The fallibility of deduction is the thesis that a thoughtful speaker-reasoner can wrongly believe that an inference is deductively valid. The author presents an argument to the effect that the fallibility of deduction is incompatible with the widespread view that deduction is epistemically unfruitful (the conclusion is contained in the premises, and the transition from premises to conclusion never extends knowledge). If the fallibility of deduction is a fact, the argument presented is a refutation of the doctrine of the unfruitfulness (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.
    After a brief discussion of Kreisel’s notion of informal rigour and Myhill’s notion of absolute proof, Gödel’s analysis of the subject is presented. It is shown how Gödel avoids the notion of informal proof because such a use would contradict one of the senses of “formal” that Gödel wants to preserve. This Gödelian notion of “formal” is directly tied to his notion of absolute proof and to the question of the general applicability of concepts, in a way that overcomes both (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Use and Misuse of G^|^ouml;del's Theorem.Shingo Fujita - 2003 - Annals of the Japan Association for Philosophy of Science 12 (1):1-14.
    Download  
     
    Export citation  
     
    Bookmark  
  • In praise of replacement.Akihiro Kanamori - 2012 - Bulletin of Symbolic Logic 18 (1):46-90.
    This article serves to present a large mathematical perspective and historical basis for the Axiom of Replacement as well as to affirm its importance as a central axiom of modern set theory.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Mathematical realism and transcendental phenomenological realism.Richard Tieszen - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 1--22.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
    Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and a proof of Church's (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
    We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Gödel’s Disjunctive Argument†.Wesley Wrigley - 2022 - Philosophia Mathematica 30 (3):306-342.
    Gödel argued that the incompleteness theorems entail that the mind is not a machine, or that certain arithmetical propositions are absolutely undecidable. His view was that the mind is not a machine, and that no arithmetical propositions are absolutely undecidable. I argue that his position presupposes that the idealized mathematician has an ability which I call the recursive-ordinal recognition ability. I show that we have this ability if, and only if, there are no absolutely undecidable arithmetical propositions. I argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.
    Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Gödel, percepção racional e compreensão de conceitos.Sérgio Schultz - 2014 - Revista Latinoamericana de Filosofia 40 (1):47-65.
    Nosso objetivo neste artigo é o de lançar luz sobre alguns aspectos das concepções de Gödel acerca da percepção de conceitos. Começamos investigando a natureza e o papel da analogia entre percepção sensível e percepção de conceitos. A seguir, examinamos as conexões entre percepção de conceitos, razão e compreensão, tentando mostrar que a percepção de conceitos é compreensão de conceitos. Por fim, examinamos aqueles aspectos da concepção de Gödel em que a percepção de conceitos de fato se aproxima perigosamente da (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Two Draft Letters from Godel on Self-knowledge of Reason.Mark van Atten - 2006 - Philosophia Mathematica 14 (2):255-261.
    In his text ‘The modern development of the foundations of mathematics in the light of philosophy’ from around 1961, Gödel announces a turn to Husserl's phenomenology to find the foundations of mathematics. In Gödel's archive there are two draft letters that shed some further light on the exact strategy that he formulated for himself in the early 1960s. Transcriptions of these letters are presented, together with some comments.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Between abstraction and idealization: Scientific practice and philosophical awareness.Francesco Coniglione - 2004 - Poznan Studies in the Philosophy of the Sciences and the Humanities 82 (1):59-110.
    The aim of this essay is to emphasize a number of important points that will provide a better understanding of the history of philosophical thought concerning scientific knowledge. The main points made are: (a) that the principal way of viewing abstraction which has dominated the history of thought and epistemology up to the present is influenced by the original Aristotelian position; (b) that with the birth of modern science a new way of conceiving abstraction came into being which is better (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations