Discovery - University of Dundee - Online Publications

Library & Learning Centre

The development of argument and computation and its roots in the LVOV-Warsaw school

The development of argument and computation and its roots in the LVOV-Warsaw school

Research output: Contribution to journalArticle

View graph of relations

Authors

Research units

Info

Original languageEnglish
Pages (from-to)15-37
Number of pages23
JournalStudies in Logic, Grammar and Rhetoric
Volume23
Issue number36
StatePublished - 1 Jan 2011

Abstract

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.

Documents

Library & Learning Centre

Contact | Accessibility | Policy