Este documento apresenta os objetivos de uma revisão de filosofia sobre lógica formal e raciocínio. Os objetivos incluem definir termos-chave como razão, argumento e proposição; compreender princípios lógicos e a relação entre lógica e filosofia; e distinguir entre tipos de argumentos e proposições.