Theorie der Klassifizierung (KLA)

Grundmenge
O   Menge von Objekten

Relation
K   Klasseneinteilung

Typisierung
Θ   K ∈ ℘ ( ℘ ( O ) )

Hypothesen
H₁   ∀k ∈ K ( k ⊆ O )
H₂   ∀k ∈ K ∀k’ ∈ K ( k ∩ k’ = )
H_{3   k ∈ K} k = O

Modelle
x ist eine Klassifizierung gdw es Mengen O und K gibt, so dass gilt:

x = 〈 O, K 〉

und die Relation K hat den Typ Θ
und die Hypothesen H₁ ( O, K ) … H₃ ( O, K )  gelten in x.

I(KLA) ist die Menge der intendierten Systeme.

Beispiele
– Klassifizierung der Lebewesen in der Zoologie
– Klassifizierung von Wörtern in natürlichen Sprachen

• >>>