Turmas do 3o anoUma porta ao mundo da filosofia e da cienciaHeidi Strecker*Tomemos o seguinte raciocinio:Todos os homens sao mortais. Socrates e homem. Logo, Socrates e mortal. Pois bem, este e um raciocinio logico. Os dois primeiros enunciados sao as premissas e o ultimo enunciado e a conclusao. Os fatos apresentados (o fato de que todos os homens sao mortais e o fato de que Socrates e homem) servem de evidencia para a conclusao. Sao eles que sustentam a conclusao. Mas o que e logica? Veja o que ensina a filosofa Marilena Chaui: Ao usarmos as palavras logico e logica estamos participando de uma tradicao de pensamento que se origina da Filosofia grega, quando a palavra logos significando linguagem-discurso e pensamento-conhecimento conduziu os filosofos a indagar se o logos obedecia ou nao a regras, possuia ou nao normas, principios e criterios para seu uso e funcionamento. A disciplina filosofica que se ocupa com essas questoes chama-se logica.A logica e um dos campos da filosofia, e pode ser considerada uma disciplina introdutoria para qualquer estudo filosofico. Isso acontece porque a logica lida com raciocinios e argumentos, e raciocinios e argumentos fazem parte de qualquer reflexao filosofica, seja ela no campo da teoria do conhecimento, da etica, da filosofia politica ou da estetica. Hoje em dia temos a logica tradicional e a logica matematica ou simbolica. A logica tradicional e mais simples e mais acessivel que a logica matematica, mas nem por isso tem menos importancia. Pelo contrario, a logica matematica desenvolveu-se gracas aos avancos da logica tradicional. A base da logica tradicional foi formulada pelo filosofo grego Aristoteles e foi reelaborada durante a Idade Media. Na segunda metade do seculo 19 a logica teve um enorme desenvolvimento ate chegar a seu estagio atual, a logica matematica ou simbolica. Os estudiosos definem a logica de diversas maneiras:"O estudo da logica e o estudo dos metodos e principios usados para distinguir o raciocinio correto do incorreto."Irving Coppi"A logica trata de argumentos e inferencias. Um de seus propositos basicos e apresentar metodos capazes de identificar os argumentos logicamente validos, distinguindo-os dos que nao sao logicamente validos."Wesley Salmon"A tarefa da logica sempre foi a de classificar e organizar as inferencias validas, separando-as daquelas que nao o sao. A importancia desta organizacao nao deve ser subestimada, pois usam-se as inferencias (de preferencia validas) tanto na vida comum como nas ciencias formais, sendo um exemplo a matematica."Jesus Eugenio de Paula Assis"Para Aristoteles, a logica e a ciencia da demonstracao; (...) para Lyard e a ciencia das regras do pensamento. Poderiamos ainda acrescentar: (...) e a ciencia das leis ideais do pensamento e a arte de aplica-las corretamente na procura e demonstracao da verdade."Maria Lucia de Arruda Aranha e Maria Helena PiresEstas definicoes tem alguma coisa em comum. Todas elas se referem a inferencias validas, a raciocinios corretos, a leis do pensamento. O homem sempre foi fascinado pelo pensar e pelas regras deste pensar. Voltemos ao nosso raciocinio inicial:Todos os homens sao mortais. Socrates e homem. Logo, Socrates e mortal. Nosso raciocinio e correto. Socrates e mortal! Temos tres proposicoes.