Show simple item record

Files in this item


Item metadata

dc.contributor.advisorCook, Roy T.
dc.contributor.authorMorris, Sean
dc.coverage.spatial119 p.en_US
dc.description.abstractThe aim of this thesis is to examine the debate between Quine and Boolos over the logical status of higher-order logic-with Quine taking the position that higher-logic is more properly understood as set theory and Boolos arguing in opposition that higher-order logic is of a genuinely logical character. My purpose here then will be to stay as neutral as possible over the question of whether or not higher-order logic counts as logic and to instead focus on the exposition of the debate itself as exemplified in the work of Quine and Boolos. Chapter I will be a detailed consideration of Quine's conception of logic and its place within the wider context of his philosophy. Only once this backdrop is in place will I then examine his views on higher-order logic. In Chapter II, I turn to Boolos's response to Quine-his attempt to examine the extent to which we may want to count higher-order logic as logic and the extent to which we may want to count it as set theory. With each point Boolos raises, I attempt to give what I think would have been Quine's reply. Finally, in Chapter III, I consider Boolos's attempt to show that monadic second-order logic (MSOL) should be understood as pure logic as it does not commit us to the existence of classes, as we may take the standard interpretation of MSOL to do. I discuss here some of the major reactions to Boolos's plural interpretation (Resnik, Parsons, and Linnebo), and conclude with more speculative remarks on what Quine's own response might have been. Throughout this thesis, my primary method has been one of close textual analysis.en_US
dc.publisherUniversity of St Andrews
dc.subject.lcshLogic, Symbolic and mathematical.en
dc.subject.lcshQuine, W. V. (Willard Van Orman)--Criticism and interpretation.en
dc.subject.lcshBoolos, George.en
dc.titleQuine and Boolos on second-order logic : an examination of the debateen_US
dc.type.qualificationnameMPhil Master of Philosophyen_US
dc.publisher.institutionThe University of St Andrewsen_US

This item appears in the following Collection(s)

Show simple item record