Abstrakt
Poznání jednotlivce je neustále dynamicky utvářeno nejen jeho kontaktem s ´neuvědomělou´ přírodou, ale především jeho interakcí s ostatními poznávajícími subjekty. Tato interakce se odehrává v jazyce a často nabývá formy dialogu, jehož jedním druhem je argumentace (dalšími příbuznými druhy dialogu jsou např. vysvětlování, vyjednávání apod.) V argumentaci konfrontuje poznávající subjekt (agent) své znalosti a jejich opodstatnění se znalostmi a opodstatněními jiného agenta.
Matematické modely pro zkoumání argumentace se pak zabývají pravidly, jakými je argumentace zpracovávána a vyhodnocována. Nás bude zajímat pouze argumentace založená na logických argumentech, jejichž závěr logicky vyplývá z premis.