Logica Formal E Material

A Lógica formal interessa-se pelas formas mais gerais do pensamento – ideia, juízo e raciocínio – procurando que o pensamento seja coerente consigo mesmo. Por exemplo: como hoje é Sábado, e a seguir ao Sábado vem sempre o Domingo, então, amanhã será Domingo. Formalmente, este raciocínio é correto, pois é coerente consigo mesmo. Entretanto, pode não ser verdadeiro por engano daquele que o formulou ao equivocar-se no dia da semana: hoje pode não ser Sábado. No entanto, a correção (formal) não implica a verdade (material) pelo que o raciocínio: Todos os homens são louros. Sócrates é homem. Logo, Sócrates é louro é correto, mas não é verdadeiro.

A Lógica material trata das relações do pensamento com a realidade, isto é, estuda os métodos gerais das ciências em busca da verdade. Por exemplo: com hidrogênio e oxigênio, pode-se obter água. Logo, a água é um composto de hidrogênio e oxigênio. Neste caso, o raciocínio é, simultaneamente, correto e verdadeiro, posto que é coerente consigo mesmo e está de acordo com a realidade.

1. Lógica formal ou menor. — É a parte da Lógica que estabelece a forma correta das operações intelectuais, ou melhor, que assegura o acordo do pensamento consigo mesmo, de tal maneira que os princípios que descobre e as regras que formula se aplicam a todos os objetos do pensamento, quaisquer que sejam.

Ora, como as operações do espírito são em número de três, a saber: a apreensão, o juízo e o raciocínio, a Lógica formal compreende normalmente três partes, que tratam da apreensão e da idéia, — do juízo e da proposição, — do raciocínio e da argumentação.

2. Lógica material ou maior. — É a parte da Lógica que determina as leis particulares e as regras especiais que decorrem da natureza dos objetos a conhecer. Ela define os métodos das matemáticas, da física, da química, das ciências naturais, das ciências morais etc, que são outras tantas lógicas especiais.

À Lógica maior, podemos ligar o estudo das condições da certeza, assim como dos sofismas pelos quais o falso se apresenta sob a aparências do verdadeiro. Estas questões não se confundem absolutamente com aquelas de que trata a Crítica do conhecimento. Não se cuida, efetivamente, em lógica, senão de definir, de um ponto-de-vista formal, o que são de direito a verdade e o erro e quais são as condições de direito da certeza, enquanto que a Crítica do conhecimento tem por objeto resolver a questão de saber se de fato nossas faculdades de conhecer são capazes de atingir a verdade.