PhilSci Archive

Dialogical Harmony: tonk, constructive type theory and rules for anonymous players

Redmond, Juan and Rahman, Shahid (2016) Dialogical Harmony: tonk, constructive type theory and rules for anonymous players. THEORIA. An International Journal for Theory, History and Foundations of Science, 31 (1). pp. 27-53. ISSN 2171-679X

[img]
Preview
Text
13949-57492-1-PB.pdf - Published Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (392kB) | Preview

Abstract

Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory (CTT) has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT-rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope that the following paper will contribute to a better understanding of the dialogical notion of meaning.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Published Article or Volume
Creators:
CreatorsEmailORCID
Redmond, Juanjuan.redmond@uv.cl
Rahman, Shahidshahid.rahman@univ-lille3.fr
Additional Information: ISSN: 0495-4548 (print)
Keywords: meaning; pragmatics; inference; games; constructivism; dialogical logic; types
Subjects: Specific Sciences > Computation/Information
Depositing User: Unnamed user with email theoria@ehu.es
Date Deposited: 08 Jun 2016 19:42
Last Modified: 08 Jun 2016 19:42
Item ID: 12171
Journal or Publication Title: THEORIA. An International Journal for Theory, History and Foundations of Science
Publisher: Euskal Herriko Unibertsitatea / Universidad del País Vasco
Official URL: http://www.ehu.eus/ojs/index.php/THEORIA/article/v...
DOI or Unique Handle: 10.1387/theoria.13949
Subjects: Specific Sciences > Computation/Information
Date: January 2016
Page Range: pp. 27-53
Volume: 31
Number: 1
ISSN: 2171-679X
URI: https://philsci-archive.pitt.edu/id/eprint/12171

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item View Item