• Notions du programme : ["Nature", "Conscience", "Animal"]

• Auteur : "Descartes"

• Source précise : "Discours de la méthode V (animaux-machines)"

• Démonstration : [

  "Règle : MP (modus ponens) + critère (si pas de signe, pas d’âme).",

  "P1 : Si un être pense, alors il peut (en droit) produire un langage libre (signes nouveaux selon situations nouvelles).

",

"P2 : Les animaux n’ont pas de langage libre (cris/reprises = mécanisme).

",

"MP sur P1 & P2 : Donc les animaux ne pensent pas (pas d’âme).",

"P3 : Une machine peut exceller dans une tâche mais pas être universelle.",

"P4 : Les animaux semblent spécialisés et non universellement rationnels.",

"C : Donc l’animal est une machine complexe ; seule l’humanité a raison/âme."

]