A Lógica formal

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 é correcto, pois é coerente consigo mesmo. Entretanto, pode não A Lógica Formal

A palavra "Lógica" deriva do termo grego logos (logos) que significa discurso ou razão, isto é, tudo o que se refere ao saber humano em ordem à conquista da verdade.

A Lógica pode considerar-se, quer como ciência, quer como arte. Como ciência, preocupa-se com as formas gerais do pensamento, como arte,apresenta-nos um conjunto de normas (ou regras) para pensar correctamente.

Os filósofos medievais definiram magnificamente a lógica como "a arte das artes" ou " a ciência das ciências". Vejamos em seguida algumas definições de lógica segundo um autor dos nossos dias:

Ciência das formas válidas do pensamento.

Estudo sistemático das formas ou procedimentos com os quais a razão elabora o saber.

Ciência das operações da inteligência, orientadas para a conquista da verdade.

Ciência das condições do pensamento correcto e do pensamento verdadeiro.

Arte que orienta todo o acto racional de uma maneira ordenada e isenta de erro.

Ciência que estuda as regras das operações racionais válidas e os processos utilizados pelas várias ciências em busca da verdade.

(Rui dos Anjos Dias, 1972: 8)

A Lógica pode dividir-se em:

Lógica formal (teórica, pura ou dialéctica);

Lógica material (aplicada, especial ou metodologia).

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 é correcto, 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 correcçã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 é correcto 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, correcto e verdadeiro, posto que é coerente consigo mesmo e está de acordo com a realidade.

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 correcção (formal) não implica a verdade (material) pelo que o raciocínio: Todos os homens são louros.