Induktion durch vollständige Aufzählung

Die Induktion durch vollständige Aufzählung ist eine Form der Deduktion und nicht der Induktion wie der Name erwarten lässt. Dies hängt mit der engen Verwandtschaft zur aufzählenden Induktion zusammen.

Aristoteles, der die Induktion durch vollständige Aufzälung entdeckt hat, nennt diese Induktionssyllogismus.

Nehmen wir an, eine Klasse K habe die Elemente a, b, c. Wissen wir, dass die Eigenschaft F auf das Element a zutrifft, und stellen dann fest, dass sie auch auf das Element b und das Element c zutrifft, dann können wir den Schluss ziehen, dass alle Elemente dieser Klasse die genannte Eigenschaft haben.

Einige Logiker vertreten die Ansicht, dass die Induktion durch vollständige Aufzählung der Form nach dem Darapti entspricht, andere betrachten die vollständige Induktion als distributiven Syllogismus.