Authors
Shahid Rahman
Université Charles-de-Gaulle - Lille 3
Abstract
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. We would like to contribute to clarifying one possible way in which a general dialogical theory of meaning could be linked to dialogical logic. The idea behind the proposal is to make use of constructive type theory in which logical inferences are preceded by the description of a fully interpreted language. The latter, we think, provides the means for a new start not only for the project of Orthosprache, but also for a general dialogical theory of meaning.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.4148/1944-3676.1077
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,241
Through your library

References found in this work BETA

Exploring Logical Dynamics.Johan van Benthem - 2001 - Studia Logica 67 (1):111-114.
Handbook of Philosophical Logic.D. M. Gabbay & F. Guenthner - 2007 - Bulletin of Symbolic Logic 13 (2):248-250.

View all 28 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Dialogical Connexive Logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
The Strength of Some Martin-Löf Type Theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.

Analytics

Added to PP index
2014-01-15

Total views
24 ( #405,414 of 2,325,376 )

Recent downloads (6 months)
5 ( #171,137 of 2,325,376 )

How can I increase my downloads?

Downloads

My notes