Since the 1980s  , European and American logicians have attempted to provide mathematical foundations for logic and dialectic through formalisation, although logic has been related to dialectic since ancient times. History There have been pre-formal and partially-formal treatises on argument and dialectic, from authors such as Stephen Toulmin (The Uses of Argument  ), Nicholas Rescher (Dialectics  ), and  van Eemeren and  Grootendorst (pragma-dialectics  ). One can include works of the communities of informal logic and paraconsistent logic. Defeasibility However, building on theories of defeasible reasoning (see John L. Pollock), systems have been built that define well-formedness of arguments, rules governing the process of introducing arguments based on fixed assumptions, and rules for shifting burden. Many of these logics appear in the special area of artificial intelligence and law, though the computer scientists' interest in formalizing dialectic originates in a desire to build decision support and computer-supported collaborative work systems.For surveys of work in this area see, for example: And: See also Argumentation framework Argumentation theory Dialogical logic Logic of argumentation Thesis, antithesis, synthesis
Formal scientists have attempted to combine logic and dialectic through formalisation. These attempts include pre-formal and partially formal treatises, systems based on defeasible reasoning, and systems based on game semantics and dialogical logic. History Since the late 20th century , European and American logicians have attempted to provide mathematical foundations for dialectic through formalisation, although logic has been related to dialectic since ancient times. There have been pre-formal and partially-formal treatises on argument and dialectic, from authors such as Stephen Toulmin (The Uses of Argument , 1958 ), Nicholas Rescher (Dialectics : A Controversy-Oriented Approach to the Theory of Knowledge, 1977 ), and Frans H. van Eemeren and Rob Grootendorst (pragma-dialectics , 1980s ). One can include works of the communities of informal logic and paraconsistent logic. Defeasibility Building on theories of defeasible reasoning (see John L. Pollock), systems have been built that define well-formedness of arguments, rules governing the process of introducing arguments based on fixed assumptions, and rules for shifting burden. Many of these logics appear in the special area of artificial intelligence and law, though the computer scientists' interest in formalizing dialectic originates in a desire to build decision support and computer-supported collaborative work systems.For surveys of work in this area see, for example: And: See also Argumentation framework Argumentation theory Logic of argumentation Thesis, antithesis, synthesis
R
Since the 1980s
Formal scientists have attempted to combine logic and dialectic through formalisation. These attempts include pre-formal and partially formal treatises, systems based on defeasible reasoning, and systems based on game semantics and dialogical logic.
A
History Since the late 20th century
D
logic and
D
History
A
, 1958
A
: A Controversy-Oriented Approach to the Theory of Knowledge, 1977
A
Frans H.
A
Rob
A
, 1980s
R
However, building
Building
D
Dialogical logic