Constructive Type Theory and the Dialogical Approach to Meaning

Baltic International Yearbook of Cognition, Logic and Communication

Clerbout, Nicolas¹  Rahman, Shahid¹ 

[1] Université Lille 3$$Université Lille 3Université Lille 3$$

关键词: type theory;    dialogical logic;    Orthosprache;   

DOI  :  10.4148/1944-3676.1077

学科分类：社会科学、人文和艺术（综合）

来源: New Prairie Press

【 摘 要 】

In its origins Dialogical logic constituted one part of a new movement called the Erlangen School or Erlangen Constructivism. Its goal was to provide a new start to a general theory of language and of science. According to the Erlangen-School, language is not just a fact that we discover, but a human cultural accomplishment whose construction reason can and should control. The resulting project of intentionally constructing a scientific language was called the Orthosprache-project. Unfortunately, the Orthosprache-project was not further developed and seemed to fade away. It is possible that one of the reasons for this fading away is that the link between dialogical logic and Orthosprache was not sufficiently developed - in particular, the new theory of meaning to be found in dialogical logic seemed to be cut off from both the project of establishing the basis for scientific language and also from a general theory of meaning.

【 授权许可】

Unknown