subject predicate object context
39904 Creator 2515c15e5a8e5ef71a6e3a3c05d159fc
39904 Date 2014-04-03
39904 Is Part Of repository
39904 abstract Both in formal and computational natural language semantics, the classical correspondence view of meaning – and, more specifically, the view that the meaning of a declarative sentence coincides with its truth conditions – is widely held. Truth (in the world or a situation) plays the role of the given, and meaning is analysed in terms of it. Both language and the world feature in this perspective on meaning, but language users are conspicuously absent. In contrast, the inferentialist semantics that Robert Brandom proposes in his magisterial book ‘Making It Explicit’ puts the language user centre stage. According to his theory of meaning, the utterance of a sentence is meaningful in as far as it is a move by a language user in a game of giving and asking for reasons (with reasons underwritten by a notion of good inferences). In this paper, I propose a prooftheoretic formalisation of the game of giving and asking for reasons that lends itself to computer implementation. In the current proposal, I flesh out an account of defeasible inferences, a variety of inferences which play a pivotal role in ordinary (and scientific) language use.
39904 authorList authors
39904 presentedAt ext-4ccb53ed2909aaa4e762c6f12a13ccc5
39904 status peerReviewed
39904 uri http://data.open.ac.uk/oro/document/229610
39904 uri http://data.open.ac.uk/oro/document/229611
39904 uri http://data.open.ac.uk/oro/document/229616
39904 uri http://data.open.ac.uk/oro/document/229617
39904 uri http://data.open.ac.uk/oro/document/229618
39904 uri http://data.open.ac.uk/oro/document/229619
39904 uri http://data.open.ac.uk/oro/document/230300
39904 type AcademicArticle
39904 type Article
39904 label Piwek, Paul (2014). Towards a computational account of inferentialist meaning. In: Proceedings of the 50th Anniversary Convention of the AISB.
39904 label Piwek, Paul (2014). Towards a computational account of inferentialist meaning. In: Proceedings of the 50th Anniversary Convention of the AISB.
39904 Title Towards a computational account of inferentialist meaning
39904 in dataset oro