Now showing items 1-2 of 2
Second-order logic is logic
(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 ...
Intuitionistic semantics and the revision of logic
(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 ...