PP-2006-49: Computation as Conversation

PP-2006-49: van Benthem, Johan (2006) Computation as Conversation. [Report]

[img]
Preview
Text (Full Text)
PP-2006-49.text.pdf

Download (237kB) | Preview
[img] Text (Abstract)
PP-2006-49.abstract.txt

Download (614B)

Abstract

Against the backdrop of current research into 'logical dynamics' of information, we discuss two-way connections between conversation and computation. This leads to a broader perspective on both, using ideas from both computational and philosophical logic. In particular, we discuss merges between computation and conversation (or more general interaction) by means of three transformations on given algorithms: 'epistemization', 'dynamification', and 'gamification'.

Item Type: Report
Report Nr: PP-2006-49
Series Name: Prepublication (PP) Series
Year: 2006
Uncontrolled Keywords: computation, conversation, communication, complexity, knowledge, interaction.
Subjects: Computation
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/224

Actions (login required)

View Item View Item