Now showing items 131-135 of 301

    • What structuralism could not be 

      Ferguson, Stephen (University of St Andrews, 1998-05) - Thesis
      Frege's arithmetical-platonism is glossed as the first step in developing the thesis; however, it remains silent on the subject of structures in mathematics: the obvious examples being groups and rings, lattices and ...
    • Intuitionistic semantics and the revision of logic 

      Weiss, Bernhard (University of St Andrews, 1992-07) - Thesis
      In this thesis I investigate the implications, for one's account of mathematics, of holding an anti-realist view. The primary aim is to appraise the scope of revision imposed by anti-realism on classical inferential practice ...
    • Belief and action 

      Pehrson, Claud W. P. (University of St Andrews, 1976) - Thesis
      The role of "believes" is identified by finding a unique and unparaphraseable use of the term that is integral to the structure of important forms of language. This role can only be roughly indicated here. Roughly, "believes" ...
    • Second-order logic is logic 

      Friend, Michèle Indira (University of St Andrews, 1997-06) - Thesis
      "Second-order logic" is the name given to a formal system. Some claim that the formal system is a logical system. Others claim that it is a mathematical system. In the thesis, I examine these claims in the light of some ...
    • A 4-valued theory of classes and individuals 

      Brady, Ross Thomas (University of St Andrews, 1971-07) - Thesis