Switch to: References

Citations of:

Historical introduction and fundamental notions

L. E. J. Brouwer

In D. van Dalen (ed.), Brouwer’s Cambridge Lectures on Intuitionism. Cambridge University Press. pp. 1–20 (1981)

Add citations

You must login to add citations.

Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.details Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...) Download Export citation Bookmark 1 citation
Feminist Logic, Literally.Ivan Restović - 2023 - Australasian Journal of Logic 20 (2):318-347.details I this paper, I discuss Plumwood’s feminist logic program. I argue both in favor of her general stance in feminist philosophy of logic and her more specific feminist critique of classical logic. Plumwood’s general position is in opposition with (I think it’s safe to say) the prevailing view in analytic philosophy about the relation between formal logic and feminist theory, according to which feminist theory cannot say anything about or against logic proper, since the issues of oppression are external to (...) Download Export citation Bookmark
On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture.Juliette Kennedy - 2013 - Bulletin of Symbolic Logic 19 (3):351-393.details In this paper we isolate a notion that we call “formalism freeness” from Gödel's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability. We suggest an implementation of Gödel's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic in the (...) 20th century. (shrink) Download Export citation Bookmark 5 citations
Propositions as Intentions.Bruno Bentzen - 2023 - Husserl Studies 39 (2):143-160.details I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) Download Export citation Bookmark 1 citation
Brouwer's Intuition of Twoity and Constructions in Separable Mathematics.Bruno Bentzen - forthcoming - History and Philosophy of Logic.details My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) Download Export citation Bookmark 1 citation

1