Dialogisk logik, logik, hvor de logiske konnektiver defineres ved at opstille regler, som gælder for hhv. bevis og modbevis af udsagn, der indeholder konnektiverne.

Således introduceres konnektivet "og" ved at forlange, at et udsagn, 'p og q', kan bevises, såfremt både 'p' og 'q' kan bevises, og modbevises, såfremt mindst et af udsagnene 'p' eller 'q' kan modbevises.

Dialogisk logik blev udviklet i midten af 1900-tallet af den tyske matematiker Paul Lorenzen, der viste, hvorledes både klassisk og intuitionistisk logik kunne defineres dialogisk.

Læs mere i Den Store Danske

logik

Kommentarer

Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.

Du skal være logget ind for at kommentere.

eller registrer dig