分類学
分類学は、この世に存在する、あるいは存在したすべての生物をその対象とする。現在存在しない生物については古生物学が分担するが、現在の生物の分類にも深く関わりがあるため、それらはまとめて考える必要がある。実際には、個々の分類学者はその中の特定の分類群を研究対象とし、全体を見渡した分類体系をその対象にすることのできる人はあまりいない。
分類体系
一つの分類学スキーマは、階層構造に整理された特定の分類である。典型的に、これは汎化－特化関係、あるいは正式ではないが親子関係とも呼ばれる基本型－派生型関係によって組織化される。このような階層関係で定義される派生型は、基本型と同じ特性、振舞および制約に加え、一つ以上の固有の特性、振舞および制約を持つ。例えば自動車は乗り物の派生型であるが、全ての乗り物は自動車ではない。そこで特定のタイプは乗り物であることに加え、自動車であるためのほかの制約を必要とする。他の例では、全てのシャツは衣類の一つであるが、衣類総体の個々にはシャツではないものを含むことから、衣類の属性（パラメータ）に加え、シャツであることを示す他のパラメータを満たす特定のタイプが「シャツ」に分類される。