Пікір – ақиқат немесе жалған екенін тұжырымдауға болатын, мағынасы бойынша аяқталған сөйлемді айтамыз.
Формальды логика – сөйлесу тілімен берілген пікірлерді талдаумен байланысты.
Ықтималдық логика – кездейсоқ параметрлермен жасалатын сынақтың бірнеше серияларын қолдануға негізделген.
Математикалық логика – дәлелдеулер техникасын зерттейді.