Now showing items 1-2 of 2

    • Against type E 

      McKeever, Matthew (University of St Andrews, 2016-12-01) - Thesis
      It’s generally assumed that a compositional semantic theory will have to recognise a semantic category of expressions which serve simply to pick out some one object: e-type expressions. Kripke’s views about names (Kripke, ...
    • Proper names and possible worlds 

      Girle, Roderic Allen (University of St Andrews, 1975) - Thesis
      In this essay a theory of proper names is developed and applied to the construction of quantified modal logics and to a discussion of problems concerning identity across possible worlds. The theory is then used to aid ...