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 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. (shrink)

Recent work on the development of a dialogical approach to the logic of fiction stresses the notion of existence as choice. Moreover, this approach to existence has been combined with the notion of ontolog-ical dependence as deployed by A. Thomasson’s artifactual theory of fiction. In order to implement such a combination within the dialogical frame several predicates of ontological dependence have been de-fined. However, the definition of such predicates seems to lean on a model-theoretic semantics for mod-al logic after all. (...) The main aim of the present paper is to set a dialogical frame for the study of fictions in the context of the dialogical approach of CTT recently developed by S. Rahman and N. Clerbout where a fully-interpreted language is unfolded. We will herewith develop the idea that in such a setting fiction-al entities are understood as hypothetical objects, that is, objects (functions) the existence of which is dependent upon one or more hypotheses that restrict the scope of choices available. We will finish the paper by suggesting that this provides both a natural and genuinely dialogical way to understand R. Frigg’s take on scientific models as fictions and a new perspective on Thomasson’s notion of generic ontological dependence. Keywords: fiction, dialogues, dialogical logic, hypothetical objects, scientific models. (shrink)

In its origins Dialogical logic constituted the logical foundations of an overall new movement called the Erlangen School or Erlangen Constructivism that should provide a new start to a general theory of language and of science. In relation to the theory of language, 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 constructive development of a scientific language was called the Orthosprache-project. Unfortunately, the (...) Orthosprache-project was not further developed and somehow seemed to fade away. Perhaps, one could say that one of the reasons is that the semantic links between dialogical logic, that was restricted to logical constants, and the more general linguistic aspirations of the Orthosprache were not sufficiently developed and then the new theory of meaning of dialogical logic seemed to be cut off from the project of setting the basis for a general theory of meaning.In the present paper we would like to contribute to precise one possible way in which a general dialogical theory of meaning could be linked to dialogical logic. More precisely, the main aim of the article is to set the basis for the meaning of elementary sentences in the context of dialogical interaction. (shrink)

We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ.