An interactive approach to proof-theoretic semantics

Trafford, James (2015) An interactive approach to proof-theoretic semantics. In: 20th Amsterdam Colloquium, 16-18 December 2015, Amsterdam, Netherlands.

Creators:
Trafford, James
Description/Abstract:

In truth-functional semantics for propositional logics, categoricity and compositionality are unproblematic. This is not the case for proof-theoretic semantics, where failures of both occur for the semantics determined by monological entailment structures for classical and intuitionistic logic. This is problematic for inferentialists, where the meaning of logical constants is supposed to be determined by their rules. Recent attempts to overcome these issues have primarily considered symmetric entailment structures, but these are tricky to interpret. Here, I instead consider an entailment structure that combines provability with the dual notion of disproof (or refutation). This is interpreted as a dialogue structure between the roles of prover and denier, where an assertion of a statement involves a commitment to its defence, and a denial of the statement involves a commitment to its challenge. The interaction between the two is constitutive of a proof-theoretic semantics capable of dealing with the above issues.

Item Type:
Conference or Workshop Item
Official URL:
http://www.illc.uva.nl/AC/AC2015/Proceedings/
Date:
15 December 2015
Event Location:
Amsterdam, Netherlands
Schools:
School of Communications
Depositing User:
Dr James Trafford
Date Deposited:
23 Dec 2015 10:26
Last Modified:
05 Mar 2022 04:31
Trafford, James:
ORCID iD: https://orcid.org/0000-0002-6762-2918
URI:
https://research.uca.ac.uk/id/eprint/2967

Actions (login required)

Edit View Edit View
University Staff: Request a correction | UCA Research Online Editors: Update this record