O que seria lógica formal e lógica material?

A lógica formal é uma área da filosofia que estuda as formas válidas de argumentação, independentemente do conteúdo das proposições envolvidas. Ela se preocupa com a estrutura do raciocínio e com a validade das inferências. Já a lógica material é uma área da lógica que se preocupa com o conteúdo das proposições envolvidas no raciocínio. Ela se preocupa com a verdade ou falsidade das proposições e com a relação entre elas. Em resumo, enquanto a lógica formal se preocupa com a forma do raciocínio, a lógica material se preocupa com o conteúdo das proposições envolvidas.