Konstruktivistisk logik, alternativ til klassisk logik, der kun anerkender et udsagn som sandt, hvis der findes en direkte (konstruktiv) metode til at bevise dets sandhed. Formelt set er konstruktivistisk logik identisk med intuitionistisk logik, men gives ofte semantiske fortolkninger, som ikke nødvendigvis er intuitionistisk acceptable. En sådan (Kripke-semantik) er baseret på den tanke, at en påstand, p, skal forstås på baggrund af den mængde af viden, vi p.t. har. Det betyder, at p ikke er sand i sig selv, kun relativt i forhold til en vidensmængde.
En anden vigtig fortolkning er udviklet af Paul Lorenzen. Idéen er her at fortolke sandheden af en påstand som det, at påstanden kan forsvares i en dialog, hvor de to dialogdeltagere følger nogle faste logiske regler. Fx skal et angreb på 'p eller q' forsvares ved at hævde p eller q. De påstande, der kan forsvares i en sådan dialog, er netop de konstruktivt sande udsagn.
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.