feat(taxonomy): #499 Virtues Phase 2 batch 7b — Raisonnement valide pks 105-127 (23 leaves, depth-6/7)

docs/taxonomy/499-scaleup-phase2-raisonnement-b-annotations.csv

@@ -0,0 +1,24 @@
+virtue_pk,virtue_title,prevented_family_pk,prevented_family_name,crossLink_Opposes,opposed_fallacies_readable,AIF_skosDirectRef,AIF_skosMappingType,link_type,justification
+105,Syllogisme de mode parfait,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,La règle syllogistique est-elle correctement appliquée aux trois termes et aux quantificateurs ?,crossLink_Opposes,"La vertu prévient le syllogisme invalide en vérifiant que la forme A, E, I ou O respecte la règle d'inférence et la distribution des termes."
+106,Syllogisme Barbara,696,Erreur de raisonnement,784;727,784 Syllogisme invalide . 727 Erreur de logique propositionnelle,Argument from Rule,Deux prémisses universelles affirmatives autorisent-elles bien la conclusion universelle affirmative ?,crossLink_Opposes,La vertu restaure la règle Barbara en s'assurant que l'inclusion universelle transitive fonde correctement la conclusion.
+107,Syllogisme Celarent,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,La prémisse négative universelle et la prémisse affirmative universelle justifient-elles bien l'exclusion universelle conclue ?,crossLink_Opposes,La vertu prévient l'erreur syllogistique en contrôlant que la négation universelle de Celarent se transmet selon la règle valide.
+108,Syllogisme Darii,696,Erreur de raisonnement,784;759,784 Syllogisme invalide . 759 Conclusion hâtive,Argument from Rule,L'inclusion universelle et l'existence particulière permettent-elles bien de conclure une inclusion particulière ?,crossLink_Opposes,La vertu restaure la règle Darii en exigeant que la conclusion particulière découle d'un cas effectivement inclus dans la classe universelle.
+109,Syllogisme Ferio,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,L'universelle négative et la particulière affirmative autorisent-elles bien une conclusion particulière négative ?,crossLink_Opposes,La vertu prévient le syllogisme invalide en vérifiant que l'exclusion universelle s'applique au cas particulier invoqué.
+110,Syllogisme de deuxième figure,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,"Le terme moyen, prédicat dans les deux prémisses, est-il distribué de façon à permettre la conclusion par opposition ?",crossLink_Opposes,La vertu restaure la validité de la deuxième figure en contrôlant la distribution du moyen et l'opposition légitime entre catégories.
+111,Syllogisme Cesare,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,Les deux prémisses établissent-elles correctement qu'aucun sujet de la première catégorie n'appartient à l'autre ?,crossLink_Opposes,La vertu prévient l'inférence fautive en vérifiant que la forme Cesare fonde bien une exclusion universelle.
+112,Syllogisme Camestres,696,Erreur de raisonnement,784;727,784 Syllogisme invalide . 727 Erreur de logique propositionnelle,Argument from Rule,L'affirmation universelle et la négation universelle mènent-elles validement à la conclusion universelle négative ?,crossLink_Opposes,La vertu restaure Camestres en s'assurant que l'opposition entre les prédicats est transférée sans inversion logique.
+113,Syllogisme Festino,696,Erreur de raisonnement,784;759,784 Syllogisme invalide . 759 Conclusion hâtive,Argument from Rule,L'exclusion universelle et le cas particulier affirmé soutiennent-ils bien une conclusion particulière négative ?,crossLink_Opposes,La vertu prévient la conclusion hâtive en limitant Festino à l'exclusion particulière effectivement garantie par les prémisses.
+114,Syllogisme Baroco,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,La prémisse universelle affirmative et la prémisse particulière négative autorisent-elles bien la conclusion particulière négative ?,crossLink_Opposes,La vertu restaure Baroco en vérifiant que la restriction particulière négative est conservée par l'inférence.
+115,Syllogisme de 3e figure,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,Le terme moyen sujet dans les deux prémisses permet-il seulement la conclusion particulière requise ?,crossLink_Opposes,La vertu prévient l'erreur de quantification en contrôlant que la troisième figure ne produit pas indûment une conclusion universelle.
+116,Syllogisme Darapti,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,Deux prémisses universelles affirmatives justifient-elles une conclusion particulière affirmative sans excès de portée ?,crossLink_Opposes,La vertu restaure Darapti en vérifiant que la conclusion particulière suit de la structure commune des prémisses.
+117,Syllogisme Felapton,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,L'universelle négative et l'universelle affirmative fondent-elles bien une conclusion particulière négative ?,crossLink_Opposes,La vertu prévient l'invalidité en contrôlant que Felapton tire seulement l'exclusion particulière permise.
+118,Syllogisme Disamis,696,Erreur de raisonnement,784;759,784 Syllogisme invalide . 759 Conclusion hâtive,Argument from Rule,La prémisse particulière affirmative et la prémisse universelle affirmative permettent-elles bien la conclusion particulière affirmative ?,crossLink_Opposes,La vertu restaure Disamis en s'assurant que l'existence particulière est transmise selon l'inclusion universelle.
+119,Syllogisme Datisi,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,L'universelle affirmative et la particulière affirmative soutiennent-elles validement une conclusion particulière affirmative ?,crossLink_Opposes,La vertu prévient l'erreur syllogistique en vérifiant que Datisi conserve correctement la portée particulière.
+120,Syllogisme Bocardo,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,La prémisse particulière négative et l'universelle affirmative autorisent-elles bien une conclusion particulière négative ?,crossLink_Opposes,La vertu restaure Bocardo en contrôlant que la négation particulière reste correctement rattachée au terme moyen.
+121,Syllogisme Ferison,696,Erreur de raisonnement,784;759,784 Syllogisme invalide . 759 Conclusion hâtive,Argument from Rule,L'universelle négative et la particulière affirmative justifient-elles seulement la conclusion particulière négative ?,crossLink_Opposes,La vertu restaure Ferison en empêchant que l'exclusion d'un cas soit généralisée au-delà de ce que les prémisses permettent.
+122,Syllogisme de quatrième figure,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,La position du terme moyen en quatrième figure permet-elle la conclusion avec la bonne quantité et la bonne qualité ?,crossLink_Opposes,La vertu prévient le syllogisme invalide en imposant l'analyse des distributions propres à la quatrième figure.
+123,Syllogisme Camenes,696,Erreur de raisonnement,784;727,784 Syllogisme invalide . 727 Erreur de logique propositionnelle,Argument from Rule,Les deux prémisses universelles de Camenes produisent-elles validement la conclusion universelle attendue ?,crossLink_Opposes,La vertu restaure Camenes en vérifiant que les inclusions et exclusions universelles sont ordonnées sans renversement illégitime.
+124,Syllogisme Dimatis,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,Deux prémisses affirmatives autorisent-elles bien la conclusion particulière de Dimatis ?,crossLink_Opposes,La vertu prévient l'erreur de quantification en s'assurant que Dimatis conclut seulement à l'existence particulière permise.
+125,Syllogisme Fesapo,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,Deux prémisses universelles de Fesapo justifient-elles correctement une conclusion particulière négative ?,crossLink_Opposes,La vertu restaure Fesapo en contrôlant que l'exclusion particulière découle de la distribution correcte des termes.
+126,Syllogisme Fresison,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,L'universelle négative et l'universelle affirmative de Fresison fondent-elles bien une conclusion particulière négative ?,crossLink_Opposes,La vertu prévient le syllogisme invalide en vérifiant que Fresison conserve correctement la négation et la portée particulière.
+127,Syllogisme Bamalip,696,Erreur de raisonnement,784;735,784 Syllogisme invalide . 735 Erreur de quantification,Argument from Rule,Deux prémisses universelles affirmatives de Bamalip permettent-elles bien une conclusion particulière affirmative ?,crossLink_Opposes,La vertu restaure Bamalip en empêchant de transformer indûment une relation universelle en conclusion d'une portée non autorisée.