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 ...
The structure of logical consequence : proof-theoretic conceptions
(University of St Andrews, 2010-06-25) - Thesis
The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of ...