Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.552375
Title: The structure of logical consequence : proof-theoretic conceptions
Author: Hjortland, Ole T.
ISNI:       0000 0004 2316 6521
Awarding Body: University of St Andrews
Current Institution: University of St Andrews
Date of Award: 2010
Availability of Full Text:
Access from EThOS:
Access from Institution:
Abstract:
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 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.
Supervisor: Read, Stephen; Wright, Crispin; Shapiro, Stewart Sponsor: ORS
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.552375  DOI: Not available
Keywords: Proof-theory ; Logical constants ; Harmony ; Substructural logic ; BC108.H57 ; Logic ; Harmony (Philosophy) ; Proof theory ; Inference
Share: