Verdade Logica e verdade ontologica

Curso de Filosofia
Universidade Federal de Santa Catarina

Lógica e Ontologia

Décio Krause
Departamento de Filosofia (texto em elaboração)

Introdução
Como se relacionam essas duas grandes áreas da filosofia, lógica e ontologia? Inicialmente é conveniente delinearmos o que se entende por uma e por outra. Já fizemos isso quanto à segunda, quando partimos da tradicional asserção de que a ontologia é o estudo daquilo que há (ou existe) ou, como se costuma dizer de acordo com uma tradição que remonta a Aristóteles, o estudo do ser enquanto ser (Aristóteles [19XX]),1 e chegamos a analisar outras concepções de ontologia, em especial aquela que se refere ao que se pode denominar de uma ontologia associada a uma determinada concepção ou teoria. É hora de falarmos da lógica, pelo menos do que interessa para essas notas, para depois vermos de que forma ela se insere e importa à discussão ontológica.

Lógica e lógicas
A palavra “lógica” tem vários sentidos no uso corrente, aparecendo em diferentes contextos significando coisas completamente distintas. Por exemplo, fala-se (algumas vezes) que “a lógica do professor é diferente da lógica do aluno”, onde “lógica” parece indicar “ponto de vista”, ou “concepção” acerca de alguma coisa (no caso, da aprendizagem). Fala-se também na “lógica do mercado”, com significação pertinente à economia, bem como é possível encontrar aparelhos (geladeiras, televisores) com a denominação “fuzzy logic” (lógica difusa). Para sermos precisos, deveríamos fazer uma distinção entre a lógica como disciplina, por exemplo, fazendo referência a ela escrevendo “Lógica” (com primeira letra maiúscula), e os vários sistemas lógicos que desejamos enfatizar, que podemos chamar de “lógica(s)”, com letras minúsculas. Para que se tenha uma idéia do que é presentemente a área de investigação que se denomina lógica, sugerimos uma olhada na seção 03 da classificação das áreas da matemática presente, de responsabilidade da American Mathematical