Use this URL to cite or link to this record in EThOS:
Title: Second-order logic is logic
Author: Friend, Michèle Indira
Awarding Body: University of St Andrews
Current Institution: University of St Andrews
Date of Award: 1997
Availability of Full Text:
Access from EThOS:
Access from Institution:
"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 philosophical criteria which first motivated Frege in his logicist project. The criteria are that a logic should be universal, it should reflect our intuitive notion of logical validity, and it should be analytic. The analysis is interesting in two respects. One is conceptual: it gives us a purchase on where and how to draw a distinction between logic and other sciences. The other interest is historical: showing that second-order logic is a logical system according to the philosophical criteria mentioned above goes some way towards vindicating Frege's logicist project in a contemporary context.
Supervisor: Clark, Peter ; Read, Stephen ; Shapiro, Stewart Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: BC128.F8 ; Logic, Symbolic and mathematical