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 |