logica simbolica

LÓGICA SIMBÓLICA A Lógica criada por Aristóteles, na Antiguidade Clássica (século IV antes de Cristo), quase não experimenta nenhuma grande transformação durante mais de dois milênios, a ponto de Kant, no final do século XVIII, considerá-la exemplo de ciência completa e perfeita.
Foi assim, no contexto de apatia por qualquer tentativa de aprimoramento da lógica, que, em 1879, o matemático alemão Gottlob Frege dedicou-se a criar uma língua formal do pensamento puro, que auxiliasse a realização de cálculos lógicos. Propôs, então, uma ideografia(Begriffsschrift), como objetivo de permitir a sua superação das imprecisões da língua natural e proporcionar maior rigor na análise da validade dos argumentos, sob o ponto de vista lógico. Com a sua proposta, século XX iria presenciar: a criação e o desenvolvimento da chamada lógica simbólica.(cf. Kneale-Kneale, 1962 441/444; e Lacoste,1988:21/28/). Ao introduzir uma notação própria para o cálculo de proposições, a lógica simbólica realiza no conhecimento lógico uma transformação semelhante à corrida com substituição dos algarismos romanos pelos arábicos, no cálculos, aritmético (cf copi,1953:226).
Em outros termos, embora seja plenamente possível multiplicar CCXXXVIII por XI, é inegável que essa o peração se realiza muitíssimo mais velozmente, através da notação arábica, isto é, 238 e 19, para os mesmo números. Processo semelhante se verifica com o calculo proposicional, quando se substitui “ se Sócrates é homem, então ele é mortal” por p---q. Alógica simbólica estuda o cálculo denominado proposicional, que não se refere a números mas a proposições, ou enunciados. Há enunciados simples e compostos. Os primeiros são os que não podem desdobrar em outros enunciados. A assertiva “ Sócrates é homem” corresponde, por exemplo, a um enunciado simples. Já os enunciados compostos se desdobram em simples. A afirmação de que “ se Sócrates é homem”e “ Socrates mortal” corresponde a um enunciados simples são