Lorenzen dialogue games: an approach to interpersonal reasoning
Contemporary dialogical logic was inaugurated by Paul Lorenzen's 1958
definition of some logical constants in terms of the ways in which
statements can be challenged and defended. Originally conceived as a
foundation for intuitionistic logic, dialogical logic readily appeared to constitute an autonomous approach to logic that was able to
deal with classical and other logics as well. It will be shown how Lorenzen's rules can be incorporated into regimented systems of dia-
logue, how a concept of logical consequence can be defined in terms
of winning strategies, how correctness and completeness can be proved, and how applications to theory of argumentation can be obtained.
Erik Krabbe