Dag Prawitz
Praʹwitz, Dag, född 1936, filosof och logiker, professor i filosofi i Oslo 1971–76 och i teoretisk filosofi vid Stockholms universitet 1976–2000.
Dag Prawitz har vidarefört Gerhard Gentzens idéer inom allmän bevisteori, bland annat genom införandet av en normalform för härledningar i naturlig deduktion, vilken även utgjort en utgångspunkt för språkfilosofiska arbeten, särskilt intuitionistiskt inspirerade meningsteorier utvecklade av Dag Prawitz och andra. Han har även bidragit till utvecklingen av automatisk bevisföring genom arbeten
Information om artikeln
Källangivelse