Switch to: References

Add citations

You must login to add citations.
  1. Mathematical and Moral Disagreement.Silvia Jonas - 2020 - Philosophical Quarterly 70 (279):302-327.
    The existence of fundamental moral disagreements is a central problem for moral realism and has often been contrasted with an alleged absence of disagreement in mathematics. However, mathematicians do in fact disagree on fundamental questions, for example on which set-theoretic axioms are true, and some philosophers have argued that this increases the plausibility of moral vis-à-vis mathematical realism. I argue that the analogy between mathematical and moral disagreement is not as straightforward as those arguments present it. In particular, I argue (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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  
  • Proof vs Provability: On Brouwer’s Time Problem.Palle Yourgrau - 2020 - History and Philosophy of Logic 41 (2):140-153.
    Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I will argue. This and other consequences of Brouwer’s attempt to found mathematics on the intuition of a move of time have heretofore been insufficiently appreciated. Whereas the mathematical anomalies of intuitionism have received enormous attention, too little time, I’ll try to show, has been devoted to some of the temporal anomalies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.
    This is a survey of Gödel's perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert's program, using his published and unpublished articles and lectures as well as the correspondence between Bernays and Gödel on these matters. There is also an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Brouwer and Nietzsche: Views about Life, Views about Logic.Miriam Franchella - 2015 - History and Philosophy of Logic 36 (4):367-391.
    Friedrich Nietzsche and Luitzen Egbertus Jan Brouwer had strong personalities and freely expressed unconventional opinions. In particular, they dared to challenge the traditional view that considered Aristotelian logic as being absolute and intrinsic to man. Although they formed this opinion in different ways and in different contexts, they both based it on a view of life that considered it as a struggle for power in which logic was a weapon. Therefore, it is interesting to carry out an in-depth analysis on (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Kant and real numbers.Mark van Atten - unknown
    Kant held that under the concept of √2 falls a geometrical magnitude, but not a number. In particular, he explicitly distinguished this root from potentially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant's philosophy this identification is impossible.
    Download  
     
    Export citation  
     
    Bookmark  
  • Husserl’s Transcendentalization of Mathematical Naturalism.Mirja Hartimo - 2020 - Journal of Transcendental Philosophy 1 (3):289-306.
    The paper aims to capture a form of naturalism that can be found “built-in” in phenomenology, namely the idea to take science or mathematics on its own, without postulating extraneous normative “molds” on it. The paper offers a detailed comparison of Penelope Maddy’s naturalism about mathematics and Husserl’s approach to mathematics in Formal and Transcendental Logic. It argues that Maddy’s naturalized methodology is similar to the approach in the first part of the book. However, in the second part Husserl enters (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Fundamental results for pointfree convex geometry.Yoshihiro Maruyama - 2010 - Annals of Pure and Applied Logic 161 (12):1486-1501.
    Inspired by locale theory, we propose “pointfree convex geometry”. We introduce the notion of convexity algebra as a pointfree convexity space. There are two notions of a point for convexity algebra: one is a chain-prime meet-complete filter and the other is a maximal meet-complete filter. In this paper we show the following: the former notion of a point induces a dual equivalence between the category of “spatial” convexity algebras and the category of “sober” convexity spaces as well as a dual (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.
    Brouwer's papers after 1945 are characterized by a technique known as the method of the creating subject. It has been supposed that the method was radically new in his work, since Brouwer seems to introduce an idealized mathematician into his mathematical practice. A newly opened source, the unpublished text of a lecture of Brouwer from 1934, fully supports the conclusions of our analysis that: - There is no idealized mathematician involved in the method;- The method was not new at all;- (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Husserlian Essentialism.Nicola Spinelli - 2021 - Husserl Studies 37 (2):147-168.
    Husserl’s official account of essence is modal. It is also, I submit, incompatible with the role that essence is supposed to play, especially relative to necessity, in his overall philosophy. In the Husserlian framework, essence should rather be treated as a non-modal notion. The point, while not generally acknowledged, has been made before (by Kevin Mulligan for one); yet the arguments given for it, though perhaps sound, are not Husserlian. In this paper I present a thoroughly Husserlian argument for that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Husserlian essentialism revisited : a study of essence, necessity and predication.Nicola Spinelli - 2016 - Dissertation, University of Warwick
    Husserlian Essentialism is the view, maintained byEdmundHusserl throughout his career, that necessary truths obtain because essentialist truths obtain. In this thesis I have two goals. First, to reconstruct and flesh out Husserlian Essentialism and its connections with surrounding areas of Husserl's philosophy in full detail – something which has not been done yet. Second, to assess the theoretical solidity of the view. As regards the second point, after having presented Husserlian Essentialism in the first two chapters, I raise a serious (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Phenomenology and mathematics.Mirja Hartimo (ed.) - 2010 - London: Springer.
    This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics.
    Download  
     
    Export citation  
     
    Bookmark   3 citations