basic objectives of dialogue logic in historical perspective

@article{Lorenz2004basicOO,
  title={basic objectives of dialogue logic in historical perspective},
  author={Kuno Lorenz},
  journal={Synthese},
  year={2004},
  volume={127},
  pages={255-263}
}
The extensive research in logic conducted by using concepts and methods of game theory as documented in this collection of papers, allows to see dialogue logic in a number of new perspectives. This situation may gain further clarity by looking back to the inception of dialogue logic in the late fifties and early sixties. 

Dialogues with Play-Objects

The dialogical approach to logic is not a specific logical system but rather a rule-based semantic framework in which different logics can be developed, combined and compared. An important point is

From Games to Dialogues and Back

Two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz and the game- theoretical semantics of Jaakko Hintikka, establishing an exact connection between ‘in-tuitionistic dialogues with hypotheses’ and semantic games.

From Games to Dialogues and Back: Towards a General Frame for Validity

In this article two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game-theoretical semantics of

Dialogues for proof search

Kuno is announced, an automated theorem prover for intuitionistic first-order logic based on dialogue games, an effective foundation for proof search in intuitionistic logic (both first- order and propositional).

Some Remarks on the E-Rule in Dialogical Logic

We make a few observations on the E-rule of dialogical logic, which requires the Opponent to respond immediately to the Proponent’s moves. This rule is sometimes redundant, in that it can be added to

Dialogue Games for Classical Logic

We define a class of dialogue games and prove that existence of winning strategies for the Proponent in this class of games corresponds to validity in classical propositional logic. Many authors have

Dialogues, Reasons and Endorsement

The main aim of the present paper is to show that, if we follow the dialogical insight that reasoning and meaning are constituted during interaction, and we develop this insight in a dialogical

Automated Reasoning in Quantified Non-Classical Logics Dialogues for proof search

Dialogue games are a two-player semantics for a variety of logics, including intuitionistic and classical logic. Dialogues can be viewed as a kind of analytic calculus not unlike tableaux. Although

Basic Notions for Dialogical Logic

The dialogical approach to logic is not a specific logical system; it is rather a general framework having a rule-based approach to meaning (instead of a truth-functional or a model-theoretical

On Dialogues and Natural Deduction

The dialogical approach to logic has well known relations with other proof methods, like sequent calculi and semantic tableaux. In this paper we explore the connection between dialogues and natural
...

References

SHOWING 1-7 OF 7 REFERENCES

Einführung in die operative Logik und Mathematik

in die operative Logik und Mathematik Zweite Auflage Springer-Verlag Berlin Heidelberg New York 1969 Paul Lorenzen o. Prof. der Philosophie an der Universitat Erlangen Geschaftsfilhrende Herausgeber:

Untersuchungen über das logische Schließen. I

The present invention relates to a process for sizing cellulose fibers or cellulose fiber containing materials and to a composition for carrying out the process. More particularly the invention

Outlines Of A Formalist Philosophy Of Mathematics

Arithmetik und Logik als Spiele

  • Dialogische Logik, Wissenschaftliche Buchgesellschaft,
  • 1978

Dialogspiele und Syntax

  • 1995

Die irreführende Gleichsetzung von Begründungen und Argumentationen

  • in C. F. Gethmann (ed.),
  • 1982