3.1 A lógica aristotélica Na última unidade, estudamos a hiponímia e o acarretamento. A hiponímia é uma relação de sentidos que pode existir entre dois conceitos. Já que cada palavra é, por definição, a união de um significado (conceito) e um significante, podemos dizer que a hiponímia é uma possível relação de sentidos que pode existir entre duas palavras. Uma palavra pode ser hipônima de outra palavra, mas ela não pode acarretar outra. A palavra 'pêra' é hipônima da palavra 'fruta', mas ela não acarreta 'fruta'. Acarretamento é uma relação de sentidos que só pode existir entre dois enunciados afirmativos. 'João comeu uma pêra' acarreta 'João comeu uma fruta'. Talvez você já tenha percebido que a relação de acarretamento lembra uma relação lógica. De fato! A lógica é a parte da filosofia que estuda as relações de sentido entre afirmações. Ela se preocupa em garantir a correta inferência. Com base no que já sabemos sobre o mundo, o que pode ser concluído a partir de uma certa afirmação? Poder fazer inferências corretas é uma habilidade extremamente importante, não só para detetives como Sherlock Holmes mas também para os cientistas. Por isso, o estudo da semântica interessa muita gente, e há muito tempo. Os filósofos e os matemáticos também escrevem sobre as relações de sentido, e isso acontece há séculos. Já vimos que Aristóteles escreveu sobre a categorização, então não deve ser surpresa que ele também tenha se preocupado com a lógica. Ele formulou as regras de inferência lógica do silogismo. Vocês já devem ter visto o mais famoso silogismo de todos os tempos ..