Abstract

Naszym celem jest dostarczenie formalnego modelu oceny możliwie szerokiej klasy argumentacji, w szczególności tych, które pojawiają się w kontekstach naturalnych. We wprowadzeniu przedstawiamy elementarne sposoby rozbudowywania argumentacji prostych w coraz bardziej złożone struktury. W drugim rozdziale podajemy ścisłe definicje pojęć służących do opisu tych struktur — argumentację definiujemy jako niepusty i skończony zbiór sekwentów, tj. jako niepustą i skończoną relację zachodzącą pomiędzy niepustymi i skończonymi zbio-rami zdań a pojedynczymi zdaniami danego języka; wprowadzamy także kilka pojęć (nie-spójność, rozbieżność, kolistość), które pozwalają wyróżniać niektóre nietypowe lub wadliwe struktury argumentacyjne. W trzecim rozdziale proponujemy ogólną, liczbową metodę oceny siły argumentacji. Metoda ta pokazuje, jak wiarygodność przesłanek pierwszych przekłada się na wiarygodność konkluzji głównej w zależności od budowy argumentacji (wiarygodność wyrażamy za pomocą liczb wymiernych z domkniętego przedziału <0, 1>). Jedną z charakterystycznych własności argumentacji potocznej jest występowanie w niej wzajemnie wzmacniających się tzw. rozumowań równoległych. Dlatego za istotny składnik proponowanej metody należy uznać wzór: a * b = 2a+2b-2ab-1. Wzór ten pozwala obliczyć wiarygodność (konkluzji) dowolnej argumentacji równoległej, składającej się z dwóch wzajemnie niezależnych rozumowań, które brane z osobna uwiarygodniają konkluzję w stopniach a oraz b (zakładamy przy tym, że obie te wartości są większe niż ½).