Switch to: References

Add citations

You must login to add citations.
  1. Human-Effective Computability†.Marianna Antonutti Marfori & Leon Horsten - 2019 - Philosophia Mathematica 27 (1):61-87.
    We analyse Kreisel’s notion of human-effective computability. Like Kreisel, we relate this notion to a concept of informal provability, but we disagree with Kreisel about the precise way in which this is best done. The resulting two different ways of analysing human-effective computability give rise to two different variants of Church’s thesis. These are both investigated by relating them to transfinite progressions of formal theories in the sense of Feferman.
    Download  
     
    Export citation  
     
    Bookmark  
  • Being in a Position to Know and Closure.Jan Heylen - 2016 - Thought: A Journal of Philosophy 5 (1):63-67.
    The focus of this article is the question whether the notion of being in a position to know is closed under modus ponens. The question is answered negatively.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Epistemic Significance of Numerals.Jan Heylen - forthcoming - Synthese:1-27.
    The central topic of this article is de re knowledge about natural numbers and its relation with names for numbers. It is held by several prominent philosophers that numerals are eligible for existential quantification in epistemic contexts, whereas other names for natural numbers are not. In other words, numerals are intimately linked with de re knowledge about natural numbers, whereas the other names for natural numbers are not. In this article I am looking for an explanation of this phenomenon. It (...)
    Download  
     
    Export citation  
     
    Bookmark