DIALOGICAL LOGIC: BEYOND SYNTAX AND SEMANTICS?

In the paper I sketch some rudiments of the system of logic known as "Dialogical Logic", introduced in the 60's by the German logicians Paul Lorenzen and Kuno Lorenz. First, I present shape and functions of the dialogical tableaux, the notational device that distinguishes this approach to logic. Then, I sum up the principles of dialogical logic highlighting three kinds of rules, that also constitutes three different levels of semantics: (i) particle rules, that fix the "local semantics", (ii) structural rules that fix the "global semantics", (iii) justification rules for prime formulae, that fix the "content semantics". For each level, I elucidate tasks and goals of the rules, stressing how the dialogical apparatus grasps the difference between intuitionistic and classical logic. Finally, I briefly compare the dialogical, the proof theoretic and the model-theoretic approach to logic, claiming that the preeminence of the pragmatic dimension in dialogical logic is not reducible to the usual way to interpret syntax and semantics.