Feuerbach

FILOSOFIA Profa. Áurea Iª Direito

A LÓGICA FORMAL

Etimologicamente lógica vem do grego

Logos - que significa "palavra", "expressão", "pensamento , "conceito". "discurso", "razão". Vejamos como a lógica se ocupa com a razão e o pensamento. A ela não interessa nenhuma das perguntas formuladas acima, mas apenas investigar a validade dos argumentos e dar as regras do pensamento correto. A lógica é. portanto, uma disciplina propedêutica, é o vestíbulo da filosofia, ou seja, a ante-sala, O instrumento que vai permitir o caminhar rigoroso do filósofo ou do cientista.

Na proposição

"O homem é livre",

há dois conceitos (homem e livre) em que um é afirmado de outro. Na proposição "O homem não é mineral", o conceito mineral é negado do conceito homem. Na lógica os conceitos são chamados de termos. Portanto, nos exemplos citados, os termos são homem, livre e mineral.

A argumentação é a representação lógica do raciocínio.
É um tipo de operação discursiva do pensamento, consistente em encadear logicamente juízos e deles tirar uma conclusão.
Essa operação é discursiva porque vai de uma idéia ou de um juízo a outro passando por um ou vários intermediários e exige o uso de palavras. Portanto, é um conhecimento mediato, isto é, procede por mediação, por meio de alguma coisa. Por exemplo:

Toda baleia é mamífero.
Ora, nenhum mamífero é peixe. Logo, a baleia não é peixe.

No exemplo, há três proposições em que a última, a conclusão, deriva logicamente das duas anteriores, chamadas premissas (etimologicamente,
"que foram colocadas antes").

Tipos de argumentação

Tradicionalmente dividimos os argumentos em dois tipos, os dedutivos e os indutivos, sendo que a analogia constitui apenas uma forma de indução.

1- Dedução

A dedução é o argumento cuja conclusão é inferida necessariamente de duas premissas.
Assim, quando dizemos: "Todos os homens são mortais / Sócrates é homem / Logo Sócrates é mortal.",