Files in this item
Second-order logic : ontological and epistemological problems
Item metadata
dc.contributor.advisor | Wright, Crispin | |
dc.contributor.advisor | Shapiro, Stewart, 1951- | |
dc.contributor.author | Rossberg, Marcus | |
dc.coverage.spatial | ix, 277 | en_US |
dc.date.accessioned | 2015-03-31T15:36:09Z | |
dc.date.available | 2015-03-31T15:36:09Z | |
dc.date.issued | 2006 | |
dc.identifier | uk.bl.ethos.564399 | |
dc.identifier.uri | https://hdl.handle.net/10023/6407 | |
dc.description.abstract | In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some (further to be specified) proper sense of logic, and what epistemic status it occupies. More specifically, second-order logic is sometimes taken to be mathematical, a mere notational variant of some fragment of set theory. If this is the case, it might be argued that it does not have the "epistemic innocence" which would be needed for, e.g., foundational programmes in (the philosophy of) mathematics for which second-order logic is sometimes used. I suggest a Deductivist conception of logic, that characterises logical consequence by means of inference rules, and argue that on this conception second-order logic should count as logic in the proper sense. | en_US |
dc.language.iso | en | en_US |
dc.publisher | University of St Andrews | |
dc.subject.lcc | BC135.R77 | |
dc.subject.lcsh | Logic, symbolic and mathematical | en_US |
dc.title | Second-order logic : ontological and epistemological problems | en_US |
dc.type | Thesis | en_US |
dc.type.qualificationlevel | Doctoral | en_US |
dc.type.qualificationname | PhD Doctor of Philosophy | en_US |
dc.publisher.institution | The University of St Andrews | en_US |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.