Syllogisme
Oui, et c'est précisément ce que la logique cherche à montrer. La validité ne concerne que l'enchaînement. Si les prémisses étaient vraies, la conclusion suivrait forcément. Partez de prémisses absurdes correctement enchaînées, et vous obtiendrez une conclusion absurde par un raisonnement irréprochable.
Oui, et c'est précisément ce que la logique cherche à montrer. La validité ne concerne que l'enchaînement. Si les prémisses étaient vraies, la conclusion suivrait forcément. Partez de prémisses absurdes correctement enchaînées, et vous obtiendrez une conclusion absurde par un raisonnement irréprochable.
Oui, et c'est précisément ce que la logique cherche à montrer. La validité ne concerne que l'enchaînement : si les prémisses étaient vraies, la conclusion suivrait forcément. Partez de prémisses absurdes correctement enchaînées, et vous obtiendrez une conclusion absurde par un raisonnement irréprochable.
Ce sont des mots-mémoire inventés par les logiciens du Moyen Âge. Leurs voyelles codent la nature des trois propositions. Dans Barbara, les trois A signalent trois propositions universelles affirmatives. Le nom entier est donc une formule compressée, qu'un étudiant pouvait réciter à une époque où les manuels coûtaient une fortune.
Ce sont des mots-mémoire inventés par les logiciens du Moyen Âge. Leurs voyelles codent la nature des trois propositions : dans Barbara, les trois A signalent trois propositions universelles affirmatives. Le nom entier est donc une formule compressée qu'un étudiant pouvait réciter, à une époque où les manuels coûtaient une fortune.
Dépassé plutôt qu'invalidé. Ses raisonnements restent corrects. Mais il ne sait traiter ni les relations, ni les énoncés à plusieurs quantificateurs. La logique des prédicats l'englobe comme un cas particulier.
Dépassé plutôt qu'invalidé : ses raisonnements restent corrects, mais il ne sait traiter ni les relations, ni les énoncés à plusieurs quantificateurs. La logique des prédicats l'englobe comme un cas particulier.