Dialogical logic: beyond syntax and semantics?

Titolo Rivista EPISTEMOLOGIA
Autori/Curatori Guido Del Din
Anno di pubblicazione 2015 Fascicolo 2014/2
Lingua Inglese Numero pagine 13 P. 276-288 Dimensione file 78 KB
DOI 10.3280/EPIS2014-002007
Il DOI è il codice a barre della proprietà intellettuale: per saperne di più clicca qui

Qui sotto puoi vedere in anteprima la prima pagina di questo articolo.

Se questo articolo ti interessa, lo puoi acquistare (e scaricare in formato pdf) seguendo le facili indicazioni per acquistare il download credit. Acquista Download Credits per scaricare questo Articolo in formato PDF

Anteprima articolo

FrancoAngeli è membro della Publishers International Linking Association, Inc (PILA)associazione indipendente e non profit per facilitare (attraverso i servizi tecnologici implementati da CrossRef.org) l’accesso degli studiosi ai contenuti digitali nelle pubblicazioni professionali e scientifiche

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 prooftheoretic 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.

Nell’articolo delineo brevemente alcuni contorni del sistema di logica conosciuto come Logica Dialogica, introdotto negli anni Sessanta dai logici tedeschi Paul Lorenzen e Kuno Lorenz. Per prima cosa, presento struttura e funzione dei tableaux dialogici, lo strumento notazionale che caratterizza questo approccio alla logica. In secondo luogo, sintetizzo i principi della logica dialogica presentando tre tipi di regole, che contemporaneamente costituiscono tre livelli differenti di semantica: (i) le regole per le particelle logiche, che fissano la "semantica locale"; (ii) le regole strutturali, che fissano la "semantica globale"; (iii) le regole di giustificazione per le formule atomiche, che fissano il "contenuto" del dialogo. Per ogni livello, spiego funzione e finalità di queste regole, soffermandomi su come tale apparato renda conto della differenza tra logica classica e intuizionista. Infine, confronto brevemente gli approcci alla logica di tipo dialogico, modellistico e di teoria della dimostrazione, sostenendo che la preminenza della dimensione pragmatica nella logica dialogica non è riducibile al consueto modo di intendere la sintassi e la semantica.

Keywords:Logica dialogica, logica intuizionista, logica classica, sintassi, semantica, pragmatica

  1. Beth E. (1955). Semantic Entailment and Formal Derivability. In Mededelingen der Koninklijke Nederlandse Akademie van wetenschappen, 18(13), pp. 309-342.
  2. Felscher W. (1985). Dialogues as a foundation for intuitionistic logic. In Gabbay D., Guenther
  3. F. (eds.) (1985), Handbook of Philosophical Logic, Dordrecht, Kluwer, pp. 341-372.
  4. Fitting M. (1969). Intuitionistic Logic, Model Theory and Forcing, Amsterdam, North Holland Publishing.
  5. Haas G. (1980). Hypothesendialoge, konstruktiver Sequenzkalkül und die Rechtfertigung von Dialograhmenregeln. In Gethman C.F. (ed.) (1980), Theorie des wissenschaftlichen Argumentierens, Frankfurt am Main., Suhrkamp, pp. 136-161.
  6. Hartmann D. (1990). Konstruktive Fragelogik. Vom Elementarsatz zur Logik von Frage und Antwort, Mannheim / Wien / Zürich, Bibliographisches Institut.
  7. Kamlah W., Lorenzen P. (1967). Logische Propädeutik oder Vorschule des vernünftigen Redens, Mannheim, Bibliographisches Institut.
  8. Lorenzen P. (1958). Logik und Agon. In Atti del XIII Congresso Internazionale di Filosofia, Venezia, pp. 187-194, reprinted in Lorenzen P., Lorenz K. (1978), pp. 1-8.
  9. Lorenzen P. (1987). Lehrbuch der konstruktiven Logik und Wissenschaftstheorie, Mannheim / Wien / Zürich, Bibliographisches Institut.
  10. Lorenzen P., Lorenz K. (1978). Dialogische Logik, Darmstadt, Wissenschaftliche Buchgesellschaft.
  11. Popper K. (1963). Conjectures and Refutations: The Growth of Scientific Knowledge, London, Routledge.
  12. Rahman S. (1993).Über Dialoge, Protologische Kategorien und andere Seltenheiten, Frankfurt am Main, Peter Lang.
  13. Rahman S., Clerbout N. (2013). Constructive Type Theory and the Dialogical Turn, paper available at univ-lille3.academia.edu/ShahidRahman.
  14. Rahman S., Tulenheimo T. (2009). From games to dialogues and back: Towards a general
  15. frame for validity. In Majer O. et al. (eds.) (2009), Games: Unifying Logic, Language and Philosophy, Dordrecht, Springer, pp. 153-208.
  16. Redmond J., Fontaine M. (2011). How to Play Dialogues. An Introduction to Dialogical Logic, London, College Publications.
  17. Smullyan R. (1968). First Order Logic, New York, Dover Publications.
  18. Stegmüller W. (1964). Remarks on the completeness of logical systems relative to the validity of concepts of P. Lorenzen and K. Lorenz, Notre Dame Journal of Formal Logic, 5, pp. 81-112.

Guido Del Din, Dialogical logic: beyond syntax and semantics? in "EPISTEMOLOGIA" 2/2014, pp 276-288, DOI: 10.3280/EPIS2014-002007