Este documento apresenta um resumo de um curso de Lógica Formal ministrado por Prof. Emmanuel Fraga. O curso aborda tópicos como os princípios lógicos em filósofos como Parmênides, Aristóteles e Leibniz, a lógica do conceito, juízo e raciocínio, falácias e operações do espírito. O objetivo é relacionar reflexão filosófica e científica e identificar elementos da lógica formal.