Switch to: References

Add citations

You must login to add citations.
  1. An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.
    By the theory TT is meant the higher order predicate logic with the following recursively defined types: 1 is the type of individuals and [] is the type of the truth values: [$\tau_l$,..., $\tau_n$] is the type of the predicates with arguments of the types $\tau_l$,..., $\tau_n$. The theory ITT described in this paper is an intensional version of TT. The types of ITT are the same as the types of TT, but the membership of the type 1 of individuals (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Phenomenal and objective size.John Zeimbekis - 2009 - Noûs 43 (2):346-362.
    Definitions of phenomenal types (Nelson Goodman’s definition of qualia, Sydney Shoemaker’s phenomenal types, Austen Clark’s physicalist theory of qualia) imply that numerically distinct experiences can be type-identical in some sense. However, Goodman also argues that objects cannot be replicated in respect of continuous and densely ordered types. In that case, how can phenomenal types be defined for sizes, shapes and colours, which appear to be continuously ordered types? Concentrating on size, I will argue for the following points. (§2) We cannot (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Semantics and supervenience.Daniel Bonevac - 1991 - Synthese 87 (3):331 - 361.
    Download  
     
    Export citation  
     
    Bookmark   3 citations