![]() |
![]() |
University of Birmingham > Talks@bham > Artificial Intelligence and Natural Computation seminars > Meaning, Language Games and Inference
Meaning, Language Games and InferenceAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Lars Kunze. Speaker’s homepage: http://mcs.open.ac.uk/pp2464/ Host: Prof. John Barnden Abstract: Over the past three decades or so, the influential philosopher Robert Brandom has developed an alternative to the traditional truth-conditional conception of meaning. His account grounds sentence meanings in the practical mastery of a particular kind of language game. In this game – the game of giving and asking for reasons – inferential practices play a pivotal role. Given the emphasis in Brandom’s work on ‘doings’, it may come as a surprise that he has fleshed out his foundational theory of meaning using a set-theoretical formalisation. I will argue that a proof-theoretic formalisation (along the lines of [1, 2]), which treats inferences as genuine doings, is viable and compatible with Brandom’s key insights into meaning and logic. On this view, logical vocabulary enables language users to make explicit the (non-logical material) inferential practices that they engage in. In other words, logic is conceived of as a practice for turning ‘knowing how’ into ‘knowing that’. References: [1] Towards a Computational Account of Inferentialist Meaning. AISB50 , 2014. Available at: http://mcs.open.ac.uk/pp2464/inpress/Piwek-AISB50-QDD.pdf [2] Dialogue Structure and Logical Expressivism. Synthese, 2011. Available at: http://mcs.open.ac.uk/pp2464/inpress/Piwek-KRA-Synthese-Final-Draft.pdf This talk is part of the Artificial Intelligence and Natural Computation seminars series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsFacts and Snacks School of Metallurgy and Materials Colloquia Seminars on Advanced MaterialsOther talksSylow branching coefficients for symmetric groups Geometry of alternating projections in metric spaces with bounded curvature Quantum simulations using ultra cold ytterbium TBC Test talk Ultrafast, all-optical, and highly efficient imaging of molecular chirality |