Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.advisorRead, Stephen
dc.contributor.advisorWright, Crispin
dc.contributor.advisorShapiro, Stewart
dc.contributor.authorHjortland, Ole T.
dc.coverage.spatial257en_US
dc.date.accessioned2010-06-03T11:09:45Z
dc.date.available2010-06-03T11:09:45Z
dc.date.issued2010-06-25
dc.identifier.urihttp://hdl.handle.net/10023/892
dc.description.abstractThe 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 inference takes center stage. Formally, the model-theoretic framework is exchanged for a proof-theoretic framework. It is argued that contrary to the traditional view, proof-theoretic semantics is not revisionary, and should rather be seen as a formal semantics that can supplement model-theory. Specifically, there are formal resources to provide a proof-theoretic semantics for both intuitionistic and classical logic. We develop a new perspective on proof-theoretic harmony for logical constants which incorporates elements from the substructural era of proof-theory. We show that there is a semantic lacuna in the traditional accounts of harmony. A new theory of how inference rules determine the semantic content of logical constants is developed. The theory weds proof-theoretic and model-theoretic semantics by showing how proof-theoretic rules can induce truth-conditional clauses in Boolean and many-valued settings. It is argued that such a new approach to how rules determine meaning will ultimately assist our understanding of the apriori nature of logic.en_US
dc.language.isoenen_US
dc.publisherUniversity of St Andrews
dc.rightsCreative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/
dc.subjectProof-theoryen_US
dc.subjectLogical constantsen_US
dc.subjectHarmonyen_US
dc.subjectSubstructural logicen_US
dc.subject.lccBC108.H57
dc.subject.lcshLogicen_US
dc.subject.lcshHarmony (Philosophy)en_US
dc.subject.lcshProof theoryen_US
dc.subject.lcshInferenceen_US
dc.titleThe structure of logical consequence : proof-theoretic conceptionsen_US
dc.typeThesisen_US
dc.contributor.sponsorORSen_US
dc.type.qualificationlevelDoctoralen_US
dc.type.qualificationnamePhD Doctor of Philosophyen_US
dc.publisher.institutionThe University of St Andrewsen_US


The following license files are associated with this item:

  • Creative Commons

This item appears in the following Collection(s)

Show simple item record

Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Except where otherwise noted within the work, this item's license for re-use is described as Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported