Caro Décio e colegas, Muita gente na lista já deve saber, mas só para ilustrar o que eu postei, encaminho os esquemas do silogismos em "Barbara" na primeira e na segunda figuras.
Na primeira figura, trata-se da dedução seguinte: Todo A é B Todo C é A Portanto, todo C é B. Desde a Idade Média, esse modo válido do silogismo categórico é nominado 'Barbara' na Sumulae Logicales (cerca de 1246) como ficou conhecido o Tractatus de Pedro Hispano (Papa João XXI). Quando se muda a figura, ou seja, o posição do termo médio, neste caso A, a relação de lógica aí descrita se modifica e o silogismo se torna inválido. O exemplo do concurso a que me referi correspondia ao esquema abaixo, na segunda figura do silogismo, em que o termo médio é predicado nas duas premissas. Nessa figura, o modo válido Barbara não vale. Todo B é A Todo C é A Portanto, todo C é B E olha que era a resposta que o problema apontava como correta! É isso. abraço a todos.
_______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
