LÓGICA FORMAL PROF. GABRIEL D’AVILA
LÓGICA FORMAL Instrumento para desenvolver sequências de pensamento que eliminem erros e contradições Demonstrar a verdade das afirmações Raciocínios válidos e verdadeiros Lógica formal Busca formas universalmente válidas, aplicadas a quaisquer conteúdos.
LÓGICA ARISTOTÉLICA PRINCÍPIO DA IDENTIDADE aquilo que é, a veracidade das coisas PRINCÍPIO DA NÃO CONTRADIÇÃO nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo PRINCÍPIO DO TERCEIRO EXCLUÍDO a coisa “é” ou será o contrário “disso”
CONCEITOS BÁSICOS DE LÓGICA 1 – PREMISSA: SENTENÇAS DE UM ARGUMENTO 2 – INFERÊNCIA: AÇÃO INTELECTUAL QUE RELACIONA AS SENTENÇAS 3 – ARGUMENTO: CONCLUSÃO COM BASE NAS PREMISSAS
TODO HOMEM É MORTAL SÓCRATES É HOMEM LOGO, SÓCRATES É MORTAL SILOGISMO DEDUTIVO TERMO QUE DESIGNA UM RACIOCÍNIO, OU ARGUMENTO FORMALMENTE CORRETO TODO HOMEM É MORTAL SÓCRATES É HOMEM LOGO, SÓCRATES É MORTAL
E E B B C C