Switch to: References

Add citations

You must login to add citations.
  1. Proof-theoretic Semantics for Classical Mathematics.William W. Tait - 2006 - Synthese 148 (3):603-622.
    We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is definable (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Intellectual virtues: An essay in regulative epistemology • by R. C. Roberts and W. J. wood.James Marcum - 2009 - Analysis 69 (1):181-182.
    Since the publication of Edmund Gettier's challenge to the traditional epistemological doctrine of knowledge as justified true belief, Roberts and Wood claim that epistemologists lapsed into despondency and are currently open to novel approaches. One such approach is virtue epistemology, which can be divided into virtues as proper functions or epistemic character traits. The authors propose a notion of regulative epistemology, as opposed to a strict analytic epistemology, based on intellectual virtues that function not as rules or even as skills (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The metaphysics of knowledge • by Keith Hossack.W. D. Hart - 2009 - Analysis 69 (1):178-181.
    Keith Hossack's thesis is that knowledge is a conceptually primitive and metaphysically fundamental relation between a mind and a fact. He argues that in terms of the simple relation of knowledge we can analyze central notions of epistemology , of semantics , of modality and a priori knowledge , of psychology , and of linguistics . He does so in a framework that includes a fairly rich faculty psychology and that stresses causation: knowledge can be caused by belief, but because (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark