Switch to: References

Add citations

You must login to add citations.
  1. Human and machine interpretation of expressions in formal systems.Herbert A. Simon & Stuart A. Eisenstadt - 1998 - Synthese 116 (3):439-461.
    This paper uses a proof of Gödels theorem, implemented on a computer, to explore how a person or a computer can examine such a proof, understand it, and evaluate its validity. It is argued that, in order to recognize it (1) as Gödel's theorem, and (2) as a proof that there is an undecidable statement in the language of PM, a person must possess a suitable semantics. As our analysis reveals no differences between the processes required by people and machines (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Intuitive And Reflective Responses In Philosophy.Nick Byrd - 2014 - Dissertation, University of Colorado
    Cognitive scientists have revealed systematic errors in human reasoning. There is disagreement about what these errors indicate about human rationality, but one upshot seems clear: human reasoning does not seem to fit traditional views of human rationality. This concern about rationality has made its way through various fields and has recently caught the attention of philosophers. The concern is that if philosophers are prone to systematic errors in reasoning, then the integrity of philosophy would be threatened. In this paper, I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations