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
|
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: |
Item Type: | Published Article or Volume | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Creators: |
|
|||||||||
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 |