Understanding as computation | Tomsk State University Journal of Philosophy, Sociology and Political Science. 2022. № 67. DOI: 10.17223/1998863X/67/25

Understanding as computation

Olga Kozyreva reviews approaches to the conceptualization of indexical and demonstrative expressions and suggests that we re-think the relationship between semantics and pragmatics to better comprehend referential effects peculiar to these expressions. The new division that she proposes relies on the difference between the notions of the ideal recipient and real recipients of the message. This difference seems highly problematic although her resort to the analysis of communication and language usage is on the contrary well based and suggestive. This article deals with an alternative justification of the suggested rethinking based on the computational metaphor in semantics. This metaphor depicts understanding as a computational process resulting in meaning and reference. In terms of type theory meanings are types and references are terms of these types. Language expressions are programs to be compiled and run by the recipient in order to obtain the meaning packed in them by the sender. Understanding is therefore a part of communication activity and is closely intertwined with pragmatics. This explains Kozyreva’s introducing pragmatic notions into semantics. At the same time, this leaves room for pragmatics proper if we understand it as the study of language usage other than meaning communication. The author declares no conflicts of interests.

Download file
Counter downloads: 12

Keywords

natural language semantics, type theory, understanding as computation

Authors

NameOrganizationE-mail
Domanov Oleg A.Institute of Philosophy and Law, Siberian Branch, Russian Academy of Sciencesdomanov@philosophy.nsc.ru
Всего: 1

References

Montague R. Universal Grammar // Formal Philosophy : Selected Papers of Richard Montague. New Haven ; London : Yale University Press, 1974. P. 222-246.
Ranta A. Type-theoretical grammar. Clarendon Press, 1994. 226 p.
Martin-Lof P. An Intuitionistic Type Theory : Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Napoli : Bibliopolis, 1984. 91 p.
Eades H. Type Theory and Applications. 2012. URL: https://metatheorem.org/includes/pubs/comp.pdf (accessd: 20.03.2022).
Howard W.A. The formulae-as-types notion of construction // To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Boston : Academic Press, 1980. P. 479-490
 Understanding as computation | Tomsk State University Journal of Philosophy, Sociology and Political Science. 2022. № 67. DOI: 10.17223/1998863X/67/25

Understanding as computation | Tomsk State University Journal of Philosophy, Sociology and Political Science. 2022. № 67. DOI: 10.17223/1998863X/67/25

Download full-text version
Counter downloads: 267