• SOPHISMES
  • SYLLOGISME
  • PRÉMISSE
  • HUMAIN

Valider vos arguments logiques avec votre IA

Connectez le MCP Aristotle Logic Prover à votre client IA pour auditer votre raisonnement. Il analyse vos textes pour détecter les failles structurelles et les lacunes logiques.

Demandez à l'IA à propos de cette page

Réponse rapide

Comment utiliser l'IA pour vérifier ma logique ?

Votre IA utilise la logique aristotélicienne formelle pour disséquer vos arguments. Elle identifie les sophismes précis et les syllogismes invalides pour vous permettre de corriger vos prémisses. Vous obtiendrez une analyse claire des points de rupture de votre raisonnement.

Résultats de l'audit logique

Le diagnostic de votre logique.

L'IA catégorise chaque problème détecté dans votre texte.

SOPHISMES

Sophismes identifiés

L'IA signale les erreurs spécifiques comme les arguments ad hominem ou l'épouvantail. Vous recevez une liste précise des règles logiques enfreintes.

SYLLOGISME

Alertes de syllogisme invalide

Elle vérifie la structure de votre raisonnement déductif. Vous saurez si vos prémisses ne mènent pas réellement à votre conclusion.

PRÉMISSE

Détection de prémisses faibles

L'IA souligne les hypothèses qui manquent de fondement. Cela vous aide à renforcer la base de vos affirmations.

HUMAIN

Raisonnement manuel requis

L'IA identifie les failles, mais c'est à vous de reconstruire l'argument. Elle ne réécrira pas vos convictions profondes.

Le flux

Ce que fait votre IA une fois le texte reçu.

L'IA agit comme un auditeur de logique formelle pour vos brouillons.

  1. Déconstruire les arguments

    L'IA décompose votre texte en propositions logiques individuelles. Elle cartographie les liens entre vos différentes affirmations.

    validate_aristotle_logic

  2. Vérifier la validité

    Elle teste la structure formelle de vos syllogismes. Cette étape garantit que vos conclusions découlent logiquement de vos prémisses.

    validate_aristotle_logic

  3. Signaler les sophismes

    L'IA recherche les erreurs de raisonnement courantes. Elle détecte les fautes qui pourraient nuire à votre crédibilité professionnelle.

    validate_aristotle_logic

  4. Isoler les faiblesses

    Elle cible précisément les phrases où votre logique faiblit. Vous obtenez une liste ciblée des points à renforcer.

    validate_aristotle_logic

Essayez

Copiez ces exemples pour commencer.

Collez ces commandes directement dans votre chat pour lancer l'audit.

Points de départ

Remplacez le texte entre crochets par votre document ou votre argument spécifique.

Aristotle Logic Prover Connector

Tout est prêt. Choisissez votre client MCP et suivez les instructions de configuration.

Lien du connecteurhttps://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp

Claude Desktop

Suivez les étapes ci-dessous pour vous connecter en quelques secondes.

  1. 1In Claude Desktop, open Settings → Connectors.
  2. 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
  3. 3Click Add and start a new chat — Aristotle Logic Prover capabilities are ready to use.
Configuration · claude_desktop_config.jsonCopier
{
  "mcpServers": {
    "aristotle-logic-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp"
    }
  }
}
Copiez dans le chat04

  • Valide la logique de ce mémo : [coller le texte]

  • Vérifie s'il y a des sophismes dans cet e-mail : [coller le texte]

  • Analyse le syllogisme de ce paragraphe : [coller le texte]

  • Trouve les prémisses faibles dans mon argument ici : [coller le texte]

  • Claude
  • ChatGPT
  • Cursor
  • VS Code
  • Windsurf
  • Claude Code
  • JetBrains
  • Cline

Commencez ici

Connectez Aristotle Logic Prover une fois, puis interrogez.

Cliquez sur le lien pour connecter le MCP à votre client. Vos identifiants restent cryptés et vous pouvez auditer vos textes immédiatement.

Connecter Aristotle Logic Prover à votre IA

FAQ

Fonctionnement du validateur logique

  • 01

    L'IA peut-elle réécrire tout mon essai ?

    Non. L'IA identifie les erreurs logiques et les failles de structure, mais elle ne réécrit pas votre contenu à votre place.

  • 02

    Vérifie-t-elle la grammaire et l'orthographe ?

    Non. Cet outil se concentre exclusivement sur la logique aristotélicienne formelle, pas sur la mécanique linguistique comme la syntaxe ou l'orthographe.

  • 03

    Va-t-elle modifier mes fichiers originaux ?

    Non. L'IA lit uniquement le texte que vous lui fournissez pour effectuer la validation. Elle ne peut pas modifier vos documents locaux.

  • 04

    Comment détecte-t-elle les sophismes ?

    Elle utilise l'outil validate_aristotle_logic pour comparer la structure de votre argument aux règles de la logique formelle.

  • 05

    Peut-elle traiter des documents longs ?

    Oui, tant que le texte respecte la limite de la fenêtre de contexte de votre client IA.

  • D'autres questions sur Aristotle Logic Prover ? La page du connecteur y répond. Voir toutes les capacités du connecteur Aristotle Logic Prover

Connectez Aristotle Logic Prover à Claude, Cursor, ChatGPT et d'autres