The paper discusses the relation between computational models of argument and the study of reasoning carried out within the tradition of the Lvov-Warsaw School (LWS). Section 1 presents the origins and the recent strands of inquiry into the overlap between argumentation theory and computer science. Section 2 refers to the legacy of the study of reasoning in the Lvov-Warsaw School. Some research areas of the School which correspond to the contemporary study of argument and computation are indicated. Reasons for applying methods of automated reasoning (esp. the MIZAR system) in argument analysis are given.
|Number of pages||23|
|Journal||Studies in Logic, Grammar and Rhetoric|
|Publication status||Published - 1 Jan 2011|