PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | 16(29) | 217-226
Tytuł artykułu

CYCLIC PROOFS IN ARGUMENTATION. THE CASE OF EXCLUDING BORIS PASTERNAK FROM THE ASSOCIATION OFWRITERS OF THE USSR

Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In the paper we consider some principal notions of non-well-founded proof theory in argumentation. This theory is based on the assumption of Anti-Foundation Axiom that every graph tree has a unique decoration. A decoration of a graph is an assignment of a derivable formula to each node of the graph in such a way that the premisses of the root-derivable formula assigned to a node are the derivable formulas assigned to the children of that node. According to Anti-Foundation Axiom in proof theory, cyclic graph and infinite graph trees have a decoration too. This means that there are cyclic and infinite proof trees. The natural interpretation of cyclic proofs in argumentation is their consideration as confirmation procedure, where premisses are compatible with a derivable statement, but they do not prove this in the standard meaning. As model example we use the case of excluding Boris Pasternak from the Association of Writers of the USSR.
Rocznik
Numer
Strony
217-226
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
autor
  • Mary Dzisko, Belarusian State University of Informatics and Radioelectronics, Minsk, Belarus
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
11PLAAAA10159
Identyfikator YADDA
bwmeta1.element.0d17fd5c-88cf-31d0-bd14-e928506d5c39
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.