|
A Lógica Formal
A Lógica Formal, lógica clássica de Aristóteles, é uma forma de pensar, de conhecer, de organizar o raciocínio sem considerar o conteúdo.
O raciocínio se faz com o relacionamento de duas idéias: as premissa e a conclusão, que na lógica chamamos de inferência.
Ocorre que nem todo raciocínio é lógico. Para um raciocínio ser lógico é necessário atender a três princípios: princípio da identidade, princípio do terceiro excluído e o princípio da não contradição.
O princípio da identidade é a veracidade das idéias, ou seja, aquilo é, o que é: uma cadeira é uma cadeira, um livro é um livro, a vida é a vida. Baseado neste princípio não posso afirmar que um óvulo fecundado é um futuro ser humano, assim, um óvulo fecundado é um óvulo fecundado e um ser humano é um ser humano.
O princípio da não contradição afirma que nenhum pensamento pode ser, ao mesmo tempo, verdadeiro e falso. A idéia não pode ser e não ser. Não posso raciocinar a vida como bela e como não bela.
O princípio do terceiro excluído é a não contradição das idéias. Uma idéia ou é verdadeira ou é falsa, não existindo uma terceira possibilidade. Não posso afirmar que a vida é longa, mas pode ser curta, ou a vida é longa ou a vida é curta.
Ressalte-se que a lógica é pura forma, não tem qualquer conteúdo, nem, sequer, relação com a realidade. O conteúdo dos exemplos dados na explicação dos princípios, foi apenas para o melhor entendimento das regras do raciocínio lógico.
Aristóteles criou uma linguagem de símbolos, utilizando o clássico silogismo no raciocínio lógico, onde qualquer que fossem os termos substituídos pelas letras, seria válido: "Se todos os B são C e se todos os A são B, todos as A são C".
A VALIDADE E VERACIDADE NA LÓGICA FORMAL
O argumento é a exteriorização do raciocínio, realizado através de conjunto de proposições encadeadas por inferência (premissas + conclusão).
Os argumentos podem ser válidos ou inválidos. Para que os argumentos sejam válidos têm que atender aos princípios da identidade, da não contradição e do terceiro excluído. Caso contrário, serão inválidos os argumentos.
Já a condição de verdadeiro ou falso só é aplicada às premissas e à conclusão, ou seja, às proposições. Cada proposição pode ser falsa ou verdadeira. Porém, para que a conclusão seja verdadeira, as premissas têm que ser verdadeiras e as inferências válidas, esta é a única forma em que o raciocínio lógico nos garante uma conclusão verdadeira.
Os lógicos ocupam-se apenas da validade das inferências, da forma, enquanto que os cientistas estudam a veracidade das premissas, do conteúdo.
Em suma, os argumentos são válidos ou inválidos e as proposições são verdadeiras ou falsas.
A validade ou invalidade dos argumentos e a veracidade das proposições não têm relação direta. Posso ter argumentos validos com preposições falsas ou argumentos inválidos com proposições verdadeiras.
|
MENU
