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

C. Reed, M. Koszowy

    Research output: Contribution to journalArticle

    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.
    Original languageEnglish
    Pages (from-to)15-37
    Number of pages23
    JournalStudies in Logic, Grammar and Rhetoric
    Volume23
    Issue number36
    Publication statusPublished - 1 Jan 2011

    Fingerprint Dive into the research topics of 'The development of argument and computation and its roots in the LVOV-Warsaw school'. Together they form a unique fingerprint.

  • Cite this