Switch to: References

Citations of:

The correspondence between Oskar Becker and Arend Heyting

In Volker Peckhaus (ed.), Oskar Becker und die Philosophie der Mathematik. Wilhelm Fink Verlag. pp. 119-142 (2005)

Add citations

You must login to add citations.
  1. Generality and existence: Quantificational logic in historical perspective.Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (4):417-448.
    Frege explained the notion of generality by stating that each its instance is a fact, and added only later the crucial observation that a generality can be inferred from an arbitrary instance. The reception of Frege’s quantifiers was a fifty-year struggle over a conceptual priority: truth or provability. With the former as the basic notion, generality had to be faced as an infinite collection of facts, whereas with the latter, generality was based on a uniformity with a finitary sense: the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Propositions as Intentions.Bruno Bentzen - 2023 - Husserl Studies 39 (2):143-160.
    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