In dieser Kategorie werden Fehlschlüsse gesammelt, bei denen Regeln der Logik gebrochen wurden.
Ein gültiger logischer Schluss erlaubt es, aus einer wahren Aussage weitere wahre Aussagen abzuleiten.
Ein Fehlschluss ist ein logischer Schluss, der nicht den Regeln der Logik (meist der Aussagenlogik) entspricht. Der Wahrheitswert eines solchen Schlusses ist undefiniert, d.h. wir können nicht mit Sicherheit sagen, ob die abgeleitete Aussage wahr oder falsch ist, auch wenn die ursprüngliche Aussage garantiert wahr war.
In der Logik ist übrigens keine Aussage darüber möglich, ob eine Aussage wahr oder falsch ist. Sie stellt nur sicher, dass aus faktisch wahren Prämissen gültige Schlüsse gezogen werden. Da aber auch beim Aufstellen von Aussagen Fehler unterlaufen gibt es eine eigene Kategorie, Fehlannahmen, worin diese gesammelt werden.
Der Begriff „formelle“ Fehler bezieht sich darauf, dass es sich um Fehler in der Form der logischen Schlüsse handelt.