The logic of defeasible argumentation

20-10-99


Click here to start


Table of Contents

The logic of defeasible argumentation

Semantics and proof theory

Overview

Semantics in classical logic

Semantics and semantic consequence relation

Proof theory in classical logic

Semantics and proof theory

Semantics and proof theory

PPT Slide

Semantics vs. proof theory

Rules

Strict rules

Strict rules

Rules with exceptions

Rules with exceptions

Semantic constraints and truth-preserving rules of inference

Rules with exceptions

Rules with exceptions

Rules with exceptions

Reiterís logic for default reasoning

Reiterís logic for default reasoning

Reiterís logic for default reasoning

Reiterís logic for default reasoning

Reiterís logic for default reasoning

Reiterís extensions as semantics

Dialogues

Semantics vs. proof theory

Semantics vs. proof theory

Semantics vs. proof theory

Semantics vs. proof theory

Semantics vs. proof theory

Semantics vs. proof theory

Evaluated dialectical arguments

Evaluated dialectical arguments

Summary

PPT Slide

Author: Bart Verheij

Email: b.verheij at ai dot rug dot nl

Home Page: http://www.ai.rug.nl/~verheij/