Logik och dialektik

Formella vetenskapsmän har försökt kombinera logik och dialektik genom formalisering . Dessa försök inkluderar förformella och delvis formella avhandlingar om argument och dialektik , system baserade på resonemang som går att förlora och system baserade på spelsemantik och dialogisk logik .

Historia

Sedan slutet av 1900-talet har europeiska och amerikanska logiker försökt tillhandahålla matematiska grunder för dialektiken genom formalisering, även om logik har varit relaterad till dialektik sedan antiken. Det har förekommit förformella och delvis formella avhandlingar om argument och dialektik, från författare som Stephen Toulmin ( The Uses of Argument , 1958), Nicholas Rescher ( Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge , 1977), och Frans H. van Eemeren och Rob Grootendorst ( pragma-dialektik , 1980-talet). Man kan inkludera verk från gemenskaperna av informell logik och parakonsistent logik .

Genomförbarhet

Med utgångspunkt i teorier om avförbara resonemang (se John L. Pollock ) har system byggts som definierar välformade argument, regler som styr processen för att introducera argument baserade på fasta antaganden och regler för att flytta börda. Många av dessa logiker förekommer inom det speciella området artificiell intelligens och juridik , även om datavetarnas intresse för att formalisera dialektiken har sitt ursprung i en önskan att bygga beslutsstöd och datorstödda samarbetssystem.

Dialogspel

Dialektiken i sig kan formaliseras som drag i ett spel, där en förespråkare för sanningen i ett påstående och en motståndare argumenterar. Sådana spel kan ge en semantik av logik , en som är mycket allmän tillämplighet.

Se även