Relação da lógica com a teoria do conhecimento, a metafísica e a analise da linguagem. As noções de constante lógica. Verdade lógica, demonstração, predicação, quantificação. Lógica e raciocínio. Implicações de resultados técnicos da lógica.