Studie van de verschillende vormen van de demonstratieve en argumentatieve redeneerwijzen, benaderd vanuit de gezichtspunten van de wiskundige logica, de filosofische logica, de toegepaste logicaz, en de argumentatieleer.