Logica

A Lógica é o estudo filosófico do raciocínio válido. Utilizada em atividades mais intelectuais, a lógica é estudada principalmente nas disciplinas de filosofia, matemática, semântica e ciência da computação. Ela examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas. Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: metafísica, ontologia, epistemologia e ética. Na matemática, estuda-se as formas válidas de inferência de uma linguagem formal. Por fim, a lógica também é estudada na teoria da argumentação.
A lógica aristotélica é o estudo formal mais moderno da lógica na atualidade, desenvolvido pelo filósofo grego Aristóteles, na Antiguidade. Compreende o maior desenvolvimento de teoria lógica, que foi respeitado durante séculos: Kant, que estava dez vezes mais distante de Aristóteles do que nós assegurou que nada de significante foi adicionado a lógica de Aristóteles durante dois milênios.
No último século a reputação de Aristóteles teve duas grandes reviravoltas. O nascimento da chamada lógica moderna, através do trabalho de Gottlob Frege e Bertrand Russell, trouxeram a tona sérias limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão cientifica e matemática. Ao mesmo tempo alunos treinados em técnicas formais modernas começaram a ver Aristóteles com mais respeito, não só pela clareza de seus resultados, mas também pelo notável trabalho dele em lógica moderna.
Um silogismo é um termo filosófico com o qual Aristóteles designou a argumentação lógica perfeita e que mais tarde veio a ser chamada de silogismo, constituída de três proposições declarativas que se conectam de tal modo que a partir das duas primeiras, chamadas premissas, é possível deduzir uma conclusão. A teoria do silogismo foi exposta por Aristóteles em Analíticos anteriores.
Silogismo regular é o argumento típico dedutivo, composto de 3 proposições