A Lógica é a ciência das inferências válidas.
Uma inferência é válida quando está em conformidade com os procedimentos que governam o pensamento correcto. O objecto da lógica é, então, o de destrinçar as leis que autorizam esses procedimentos, de os explicar, e de os formular.
A lógica é formal: trata das formas dos raciocínios, independentemente do seu conteúdo ou dos objectos aos quais se referem. Por exemplo, a seguinte proposição ou silogismo:
“Todos os tubarões são pássaros; o meu peixe vermelho é um tubarão; então, o meu peixe vermelho é um pássaro”.
Nenhuma destas duas premissas é verdadeira “materialmente”, ou seja, nenhuma delas corresponde à realidade. Mas o encadeamento que as une umas às outras é válido na sua forma: a conclusão do silogismo é a consequência formal necessária das duas premissas.
Ver também:
- A proposição e o silogismo (lógica de Aristóteles)
- Língua natural e língua simbólica
- A lógica como cálculo
- As tautologias
- Lógica e matemática
- Lógica informal e as falácias lógicas
Editado por (OBraga)
- Ver também outras definições de lógica (por Alda Martins)
