Vorbind in cadrul logicii formale, pentru a face distinctia intre 2 notiuni, mai intai trebuie sa furnizati definitiile respective.
Pentru ca o definiție să fie funcțională, ea trebuie să îndeplinească următoarele condiții:
Să fie caracteristică;
Să nu fie circulară (un cuvânt nu se definește prin el însuși);
Să fie clară și precisă;
Să fie logic afirmativă;
Să nu conțină contradicții.