Clasă (filozofie)

De la Wikipedia, enciclopedia liberă
Sari la navigare Sari la căutare

În cel puțin o sursă,[1] o clasă este un set în care un membru individual poate fi recunoscut într-unul sau două moduri: a) este inclus într-o definiție extensională a întregului set (o listă a membrilor setului); b) se potrivește cu o definiție intensivă a unui membru stabilit. Prin contrast, un „tip” este o definiție intensivă; este o descriere suficient de generalizată pentru a se potrivi fiecărui membru al unui set.

Referințe[modificare | modificare sursă]

  1. ^ "From Aristotle to EA: a type theory for EA"Format:Reliable source