Espero encontrar muita dificuldade com a intencao de aprimorar minha capacidade de entender e resolver problemas na area de computacao. Nao estou interessado em facilidades ou coisas mastigadas, estou interessado em complexidades, trabalho, suor e dedicacao que acredito serem ferramentas fundamentais para encarar de forma racional o curso. Tenho intencao de futuramente, depois de acumular um minimo de conhecimento, fazer pesquisa, comecar quem sabe com uma iniciacao cientifica e caminhar nessa direcao. Fazer Mestrado e Doutorado. Espero que o curso me de a base necessaria para tal objetivo. Breve Historia da LogicaPeriodo Classico | Periodo Moderno | Periodo Contemporaneo Periodo Classico (Seculo IV a.C ao Seculo XIX) Logica Aristotelica O estudo das condicoes em que podemos afirmar que um dado raciocinio e correcto, foi desenvolvido por filosofos como Parmenides e Platao. Mas foi Aristoteles quem o sistematizou e definiu a logica como a conhecemos, constituindo-a como uma ciencia autonoma. Falar de Logica durante seculos, era o mesmo que falar da logica aristotelica. Apesar dos enormes avancos da logica, sobretudo a partir do seculo XIX, a matriz aristotelica persiste ate aos nossos dias. No seculo XVI os problemas que diziam respeito a sistematizacao do conhecimento cientifico designavam-se por "logica menor" e no seculo XIX, por "logica formal". Os problemas que diziam respeito a verdade dos juizos constituiram o objecto do que se chamou no seculo XVI "logica maior", e no seculo XIX por "logica material". Os principais escritos de Aristotoles sobre logica, foram reunidos pelos seus continuadores apos a sua morte, numa obra a que deram o nome de "Organun", e que significa "Instrumento da Ciencia". O Organon esta dividido nas seguintes partes: Categorias ( escritos sobre a teoria dos tipos, isto e, uma teoria na qual os objectos sao classificados de acordo com o que se pode dizer significativamente acerca deles). Topicos (escritos para orientar todos aqueles que tomam parte em competicoes publicas de dialectica ou discussao ) Refutacoes dos Sofistas. Interpretacao (escritos sobre os juizos)Primeiros Analiticos (escritos sobre o silogismo em geral) Segundos Analiticos (escritos sobre a demonstracao) Foram multiplas as contribuicoes de Aristotoles para a criacao e desenvolvimento da logica como a conhecemos. Entre outras, devem-se-lhe as seguintes contribuicoes: - A separacao da validade formal do pensamento e do discurso da sua verdade material.- A identificacao dos conceitos basicos da logica. - A introducao de letras mudas para denotar os termos. - A criacao de termos fundamentais para analisar a logica do discurso: "Valido", "Nao Valido", "Contraditorio", "Universal", "Particular". A logica de Aristoteles tinha um objectivo eminentemente metodologico. Tratava-se de mostrar o caminho correcto para a investigacao, o conhecimento e a demonstracao cientificas. O metodo cientifico que ele preconizava assentava nos seguintes fases: 1. Observacao de fenomenos particulares; 2. Intuicao dos principios gerais (universais) a que os mesmos obedeciam; 3. Deducao a partir deles das causas dos fenomenos particulares. Aristoteles estava convencido que se estes principios gerais fossem adequadamente formulados, e as suas consequencias correctamente deduzidas, as explicacoes so poderiam ser verdadeiras. Apesar dos enorme avancos que produziu, a logica aristotelica, tinha enormes limitacoes que se revelaram mais tarde, verdadeiros