O documento discute a relação entre lógica, argumentação e demonstração. Afirma que a ideia comum de que a lógica se limita a estudar demonstrações é falsa, pois as demonstrações são modelos teóricos de argumentos que a lógica usa para estudar a argumentação. Também distingue argumentos válidos com premissas prováveis versus argumentos prováveis com premissas verdadeiras.