A logica eo ponto onde o logia e estrategiaestao em harmonia.O conhecimento filosofico e complexo e enigmatico. Em todasas areas desse conhecimento, um elemento se faz presente e se impoe: e alogica. Como dissemos anteriormente, a logica e a ciencia das leis dopensamento e do raciocinio correto. Ela oferece os instrumentos universais dosaber e define os meios para se chegar a verdade das coisas. Muitos autoresdefinem a logica como ciencia que estuda o pensamento enquanto pensamento. Istoe, estuda o objeto do pensamento enquanto pensado. Ou, dizendo de outro modo, elanao se ocupa com o objeto conhecido e sim com comoesse objeto se tornou conhecido. A logica pode tambem ser considerada uma dasareas de estudo da filosofia. Ela surge como problema quando procuramosresponder algumas questoes, tais como: o que expressamos quando falamos? Qual aestrutura de nossa fala? Como ela se organiza internamente? Em se tratando dalogica como problema filosofico, podemos dividi-la em tres ramos: logicaformal, logica transcendental e logica matematica.A logica formalexamina as caracteristicas das ideias com o objetivo de propor normas deargumentacao correta. Sua referencia principal eAristoteles. Foi ele quem primeiro fixou as regras da argumentacao na forma desilogismo. O silogismo e composto por tres proposicoes: duas premissas e umaconclusao. O exemplo classico de silogismo e este: Todosos homens sao racionais. Socrates e homem. Logo, Socrates e racional. Emboraseja de grande utilidade, muitos autores negam sua validade. Segundo eles, adeducao universal nao corresponde a todos os casos particulares. O que erazoavel, mas nao inutiliza o silogismo.A logica transcendentalestabelece as condicoes necessarias que possibilitem o conhecimento. Ocupa-secom a validade no nosso conhecimento, enquanto possibilidade e verdade. FoiKant quem a elaborou. Investigando os elementos que fundam a validade daciencia, Kant defende que o juizoprovem do proprio sujeito e nao da experiencia. Segundo ele, sao as formas(espaco e tempo) e as categorias (no numero de doze) que determinam aexperiencia. Tais elementos fornecem as condicoes a priori por meio dos quais o objeto pode ser pensado. E essascondicoes sao o objeto da logica transcendental. Essa teoria foi alvo de muitascontroversias. Enquanto uns a aclamavam, outros a rejeitaram ferreamente porfalta de fundamentacao necessaria.A logica matematica,podemos dizer, e merito do seculo passado. Seus representantes modernos sao: Frege, Peano, Whitehead e Russel.Essa logica, ao inves de partir de um discurso,estabelece regras para garantir a verdade e, so depois, propoe o discurso. Ditode outro modo, ela e construida como um calculo. Em sua primeira fase, elaprocurou estabelecer a sintaxe dalinguagem, isto e, estabelecer as relacoes entre os signos por meio de regrasgerais. Essas regras formaram depois os chamadossistemas axiomaticos. Outra fase foiquando Godel descobriu que a nao-contraditoriedadedo sistema axiomatico nao pode ser demonstradano proprio sistema. Com isso, evidenciaram-se os limites internos dos sistemasaxiomaticos. Na tentativa de superar essa dificuldade, foi desenvolvida a filosofia analitica que propoe a cadatipo de discurso uma logica propria, esclarecendo que a logica matematica so seaplica ao discurso cientifico.Aparentemente, a logica matematica e incompativel com alogica formal. Porem, no fundo, nao existe incompatibilidade e sim, comoconcordam muitos autores, modos diferentes de dizer coisas parecidas, senaoiguais. Na verdade, a logica matematica propoe, deforma simbolica, a logica formal.