O documento discute a relação entre lógica, argumentação e demonstração. Afirma que a ideia comum de que a lógica estuda apenas demonstrações é falsa, pois as demonstrações são modelos de argumentos, permitindo que a lógica estude a argumentação. Também distingue argumentos dedutivos de não dedutivos, mostrando que a validade de um argumento depende de sua forma lógica, não das premissas em si.