19 found
Order:
  1.  40
    Heyting’s contribution to the change in research into the foundations of mathematics.Miriam Franchella - 1994 - History and Philosophy of Logic 15 (2):149-172.
    After the 1930s, the research into the foundations of mathematics changed.None of its main directions (logicism, formalism and intuitionism) had any longer the pretension to be the only true mathematics.Usually, the determining factor in the change is considered to be Gödel?s work, while Heyting?s role is neglected.In contrast, in this paper I first describe how Heyting directly suggested the abandonment of the big foundational questions and the putting forward of a new kind of foundational research consisting in the isolation of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  88
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  64
    Like a bee on a windowpane: Heyting's reflections on solipsism.Miriam Franchella - 1995 - Synthese 105 (2):207 - 251.
    This paper presents the content of the unpublished notes that the Dutch mathematician Arend Heyting wrote in different periods of his life on solipsism and that are preserved in Heyting's archive at the University of Amsterdam. Most of the notes are quoted here and translated into English. Their study shows the originality of Heyting's reflections on a subject that was typical of his master, L. E. J. Brouwer, the father of intuitionism.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  36
    Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting.Miriam Franchella - 2018 - History and Philosophy of Logic 40 (2):152-181.
    The use of the three labels to denote the three foundational schools of the early twentieth century are now part of literature. Yet, neither their number nor the...
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  4
    On the origins of Dénes König's infinity lemma.Miriam Franchella - 1997 - Archive for History of Exact Sciences 51 (1):3-27.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  27
    An embodied theorisation: Arend Heyting's hypothesis about how the self separates from the outer world finds confirmation.Miriam Franchella - 2023 - Theoria 89 (5):660-670.
    At the beginning of the twentieth century, among the foundational schools of mathematics appeared ‘intuitionism’ by Dutchman L. E. J. Brouwer, who based arithmetic on the intuition of time and all mental constructions that could be made out of it. His pupil Arend Heyting was the first populariser of intuitionism, and he repeatedly emphasised that no philosophy was required to practise intuitionism so that such mathematics could be shared by anyone. Still, stimulated by invitations to humanistic conferences, he wrote a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Arend Heyting and Phenomenology: Is the Meeting Feasible?Miriam Franchella - 2007 - Bulletin d'Analyse Phénoménologique (2).
    La littérature témoigne d’une tendance croissante à soutenir l’intuitionisme par la phénoménologie. Le disciple de Brouwer Arend Heyting est considéré comme un précurseur de cette tendance, parce qu’il usait d’une terminologie phénoménologique en vue de définir la négation intuitioniste, en élaborant la première logique intuitioniste. Dans cet article, l’auteur tente d’explorer — en référence aux matériaux inédits conservés aux Archives Heyting — ce qui, dans la pensée de Heyting, est compatible avec la phénoménologie. Dans la conclusion, l’auteur suggère que Heyting (...)
     
    Export citation  
     
    Bookmark   2 citations  
  8. Towards a re-evaluation of Julius könig's contribution to logic.Miriam Franchella - 2000 - Bulletin of Symbolic Logic 6 (1):45-66.
    Julius König is famous for his mistaken attempt to demonstrate that the continuum hypothesis was false. It is also known that the only positive result that could have survived from his proof is the paradox which bears his name. Less famous is his 1914 book Neue Grundlagen der Logik, Arithmetik und Mengenlehre. Still, it contains original contributions to logic, like the concept of metatheory and the solution of paradoxes based on the refusal of the law of bivalence. We are going (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  9. Beth and Bernays on intuitionism.Miriam Franchella - 1998 - Philosophia Scientiae 3 (4):135-148.
     
    Export citation  
     
    Bookmark  
  10.  10
    Come l'amor platonico: kantismo e platonismo nella filosofia della matematica del XX secolo.Miriam Franchella - 2001 - LED Edizioni Universitarie.
    Kant è stato il principale riferimento epistemologico di quella ricerca sui fondamenti della matematica che ha avuto in Gottlob Frege il suo massimo esponente. In seguito, tuttavia, al tramonto dei programmi logicista, intuizionista e formalista, l'esigenza di garantire la certezza della matematica passa in secondo piano rispetto al problema della natura degli enti matematici. E in tal modo che, almeno a livello terminologico, Platone subentra a Kant come essenziale referente di una diversa costruzione epistemologica. Terreno fertile della ricerca fondazionale diviene (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  14
    Evert Willem Beth's Scientific Philosophy.Miriam Franchella - 1999 - Grazer Philosophische Studien 57 (1):221-236.
    Though E. W. Beth is famous for his contributions to logic aspects of his philosophical reflections and details of its development are almost unknown. In his work four periods can be distinguished: the neo-kantian, the anti-kantian, the anti-irrationalist and the logical one. Within this framework it is possible to individuate a core around which Beth developed his reflections: it is the interplay between philosophy and the sciences. His philosophy was always linked to the sciences in two ways: He steadily checked (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  21
    Intuition in Mathematics: from Racism to Pluralism.Miriam Franchella - 2022 - Philosophia 50 (3):1055-1091.
    In the nineteenth and twentieth centuries many mathematicians referred to intuition as the indispensable research tool for obtaining new results. In this essay we will analyse a group of mathematicians who interacted with Luitzen Egbertus Jan Brouwer in order to compare their conceptions of intuition. We will see how to the same word “intuition” very different meanings corresponded: they varied from geometrical vision, to a unitary view of a demonstration, to the perception of time, to the faculty of considering concepts (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  12
    La logica in Italia. Convegno in memoria di Corrado Mangione.Miriam Franchella - 2010 - Rivista di Storia Della Filosofia 65 (1):163-165.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  65
    Mark Van atten. Brouwer meets Husserl: On the phenomenology of choice sequences.Miriam Franchella - 2008 - Philosophia Mathematica 16 (2):276-281.
    This book summarizes the intense research that the author performed for his Ph.D. thesis , revised and with the addition of an intuitionistic critique of Husserl's concept of number. His starting point consisted of a double conviction: 1) Brouwerian intuitionism is a valid way of doing mathematics but is grounded on a weak philosophy; 2) Husserlian phenomenology can provide a suitable philosophical ground for intuitionism. In order to let intuitionism and phenomenology match, he had to solve in general two problems: (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15.  33
    Paul Bernays' philosophical way.Miriam Franchella - 2006 - Grazer Philosophische Studien 70 (1):47-66.
    Paul Bernays was both a philosopher and a mathematician. He is famous for his logical-mathematical production (also in collaboration with David Hilbert), while his philosophical works have been given less consideration. The present article is an attempt to reconstruct the way that led Bernays from his early writings on ethics to his final epistemological thought.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Some Reflections about Alain Badiou’s Approach to Platonism in Mathematics.Miriam Franchella - 2007 - Analytica 1:67-81.
    A reproach has been done many times to post-modernism: its picking up mathematical notions or results, mostly by misrepresenting their real content, in order to strike the readers and obtaining their assent only by impressing them . In this paper I intend to point out that although Alain Badiou’s approach to philosophy starts with taking distance both from analytic philosophy and from French post-modernism, the categories that he uses for labelling logicism, formalism and intuitionism do not reflect the real content (...)
    No categories
     
    Export citation  
     
    Bookmark  
  17.  10
    Sui sentieri della logica.Miriam Franchella - 2012 - Roma: Aracne.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  9
    REVIEWS-La filosofia di Gottlob Frege.Miriam Franchella - 2004 - Bulletin of Symbolic Logic 10 (2):226-227.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  19
    La Filosofia di Gottlob Frege. [REVIEW]Miriam Franchella - 2004 - Bulletin of Symbolic Logic 10 (2):226-228.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark