Abstract

Zusammenfassung Kants Anspruch, seine Tafel der Urteilsformen sei vollständig, ist nach wie vor umstritten. Die Gründe für diesen Anspruch liegen in Kants Auffassung von formaler Logik. Für ihn ist sie in ihrem Kern eine Theorie der Verwendung von Merkmalen zur Unterscheidung von Dingen. Formal betrachtet können diese dadurch nach Art und Gattung unterschieden werden, dass Kennzeichnungen in Urteilen erster Stufe durch Urteile zweiter Stufe in die Verhältnisse der alternativen oder der abhängigen Gültigkeit gesetzt werden. Aus den so aufgebauten Teilklassenverhältnissen ergeben sich Folgerungsverhältnisse zwischen Aussagen. Diese machen aber nicht die Basis der Logik aus. Summary Kant´s claim that his table of the forms of judgment is complete still is in controversial discussion. The reasons for this claim lay in Kants comprehension of formal logic. This, according to Kant, is at its core a theory of the use of characteristics to distinguish objects. In respect to the forms of judgment objects can be distinguished according to kind and genus by placing labels in first-level judgments into the relations of alternative or dependent validity by second-level judgments. Inference relations between propositions result from the subclass relations thus constructed. However, these do not constitute the basis of logic.