'''Luokka''' on [[metafysiikka|metafysiikan]] (erityisesti [[ontologia]]n) käsite, joka erotetaan joskus [[tyyppi, token ja esiintymätoken|tyypeistä]] ja [[luonnollinen laji|(luonnollisista) lajeista]]. On mahdollista puhua [[ihminen|ihmisten]] ''luokasta'', samoin kuin ihmisten ''tyypistä'' tai ''luonnollisesta lajista''. Erona ei välttämättä ole se, että kyseessä olisivat erilaiset olevan [[kategoria (filosofia)|kategoriat]], vaan se, että vaikka kaikkia käsitellään tavallaan [[abstrakti|abstrakteina]] [[olio (filosofia)|olioina]], luokkia ei yleensä ajatella [[universaali|universaaleiksi]], kun taas tyypit ajatellaan. Siitä, luetaanko luonnolliset lajit universaaleiksi, on erilaisia mielipiteitä.
Luokista, tyypeistä ja lajeista puhuttaessa puhetavoissa on kuitenkin eroja. Sanomme, että [[Sokrates]] on tyypin ''[[tyyppi, token ja esiintymätoken|token]]'' tai luonnollisen lajin ”ihmisolento” ''[[instanssi]]'' eli esiintymä. Sen sijaan sanomme, että Sokrates on ihmisolentojen luokan ''jäsen''. Emme sanoisi, että Sokrates on tyypin ja ihmisten lajin jäsen, emmekä, että hän on luokan tyyppi (tai laji). Luokilla siis on jäseniä, kun taas tyypeillä ja lajeilla on tokeneita tai instansseja, vastaavasti.
