WikiDer > Abzug
Abzug ist eine Methode im Philosophie und in der Logik, wo ein Inferenz vom Allgemeinen zum Besonderen gemacht wird - von der allgemeinen Regel (Hauptprämisse) zur Sonderregel (Nebenprämisse) oder wo die Menge von Lokal und der Negation der Schlussfolgerung sind widersprüchlich.
Beispiel
| Hauptprämisse (allgemeine Regel) | Alle Menschen sind sterblich. |
| Kleine Prämisse (Sonderregel) | Sokrates ist ein Mensch. |
| Fazit | Sokrates ist sterblich. |
Ein deduktives Argument dieser Form heißt auch a Syllogismus. Diese Form der Argumentation wurde in verschiedenen Systemen weiterentwickelt und erweitert Aussagelogik und Prädikatslogik, die am häufigsten verwendete ist die natürlicher Abzug.
Gegenteiliger Abzug ist Induktion, wobei anhand einiger Sonderfälle eine allgemeine Schlussfolgerung gezogen wird.