• LOGIK
  • KLARHEIT
  • SYSTEME
  • MENSCH

Fachbegriffe präzise definieren mit Ihrer KI

Verbinden Sie den Aristotle Logic Prover mit Ihrem KI-Client, um Unklarheiten in komplexen Konzepten zu beseitigen. Er nutzt formale Logik für Definitionen, die wirklich Bestand haben.

Fragen Sie die KI zu dieser Seite

Kurzantwort

Wie kann ich die Genauigkeit der Definitionen meiner KI erhöhen?

Ihre KI nutzt die Methode von Gattung und Differenz, um die wesentlichen Eigenschaften eines Konzepts zu isolieren. Dieser Prozess entfernt unnötiges Füllmaterial und stellt sicher, dass jede Definition logisch korrekt ist. So funktioniert die Logik dahinter.

Wo jede Definition landet.

Die Ergebnisse logischer Definitionen

Der Prozess führt von einer vagen Idee zu einer präzisen, nutzbaren Definition.

LOGIK

Formale Definitionen

Die KI ermittelt die Gattung und die Differenz für Ihren Begriff. Sie erhalten eine Definition, die mathematisch und logisch konsistent ist.

KLARHEIT

Keine Mehrdeutigkeit

Vage Adjektive werden durch spezifische Eigenschaften ersetzt. Das stellt sicher, dass der Begriff nicht missverstanden werden kann.

SYSTEME

Strukturelle Abbildung

Komplexe Systeme werden in ihre Bestandteile zerlegt. Das hilft Ihnen zu verstehen, wie ein Konzept in eine größere Hierarchie passt.

MENSCH

Abschließende Prüfung

Die KI präsentiert die logische Struktur zur Überprüfung. Sie entscheiden, ob die formale Logik mit der realen Anwendung übereinstimmt.

Der Ablauf

Was Ihre KI tut, sobald ein Konzept vorliegt.

Die KI wendet formale aristotelische Logik an, um Ihre Gedanken zu strukturieren.

  1. Gattung identifizieren

    Die KI findet die übergeordnete Kategorie, zu der das Konzept gehört. Dies bildet das Fundament der Definition.

    validate_aristotle_logic

  2. Differenz isolieren

    Die KI bestimmt die spezifischen Merkmale, die dieses Konzept von anderen in derselben Kategorie unterscheiden. Das verhindert Überschneidungen.

    validate_aristotle_logic

  3. Definition erstellen

    Die KI kombiniert Gattung und Differenz zu einer kohärenten Aussage. So entsteht eine formale logische Struktur.

    validate_aristotle_logic

  4. Logik prüfen

    Die KI prüft die Definition auf Zirkelschlüsse oder Redundanzen. Sie stellt sicher, dass die Logik einer genauen Prüfung standhält.

    validate_aristotle_logic

Probieren Sie es

Kopieren Sie diese Vorlagen.

Nutzen Sie diese Prompts, um den Prozess der logischen Definition zu starten.

Startpunkte

Ersetzen Sie den Text in Klammern durch den spezifischen Begriff oder das System, an dem Sie arbeiten.

Aristotle Logic Prover Connector

Alles bereit. Wählen Sie Ihren MCP-Client und folgen Sie den Einrichtungsschritten.

Connector-Linkhttps://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp

Claude Desktop

Folgen Sie den Schritten unten, um sich in Sekunden zu verbinden.

  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.
Konfiguration · claude_desktop_config.jsonKopieren
{
  "mcpServers": {
    "aristotle-logic-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp"
    }
  }
}
In den Chat kopieren04

  • Definiere den Begriff [concept] mithilfe von Gattung und Differenz.

  • Wende aristotelische Logik an, um eine präzise Definition für [system name] zu erstellen.

  • Zerlege das Konzept [technical term] in seine wesentlichen Eigenschaften.

  • Prüfe, ob diese Definition für [term] logisch korrekt ist: [definition einfügen].

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

Starten Sie hier

Einmal verbinden, dann fragen.

Verknüpfen Sie den MCP einfach mit Ihrem bevorzugten Client. Sobald die Verbindung steht, kann Ihre KI sofort formale Logik auf Ihre Prompts anwenden.

Aristotle Logic Prover mit Ihrer KI verbinden

FAQ

So funktioniert die Logik

  • 01

    Schreibt die KI die endgültige Dokumentation?

    Nein. Die KI liefert die logische Struktur und die Definition, aber Sie sind für die endgültige Formulierung und Implementierung verantwortlich.

  • 02

    Kann sie auch nicht-technische Dinge definieren?

    Ja. Auch wenn sie ideal für Fachbegriffe ist, funktioniert sie für jedes Konzept, das sich durch Gattung und Differenz kategorisieren lässt.

  • 03

    Ändert sie meine vorhandenen Dateien?

    Nein. Dieser MCP verarbeitet nur den Text, den Sie im Chat bereitstellen. Er kann keine lokalen Dateien oder Datenbanken modifizieren.

  • 04

    Verwendet sie spezifische Logik-Modelle?

    Er nutzt das Tool validate_aristotle_logic, um formale logische Regeln auf den von Ihnen bereitgestellten Text anzuwenden.

  • 05

    Kann sie mehrere Begriffe gleichzeitig bearbeiten?

    Es ist am besten, jeweils ein Konzept zu bearbeiten, damit die Differenz präzise bleibt und nicht unübersichtlich wird.

  • Weitere Fragen zum Aristotle Logic Prover? Die Connector-Seite liefert Antworten. Alle Funktionen des Aristotle Logic Prover Connectors ansehen

Verbinde Aristotle Logic Prover mit Claude, Cursor, ChatGPT & mehr