亦稱符號(hào)邏輯,它是數(shù)學(xué)和邏輯學(xué)之間的邊緣學(xué)科,它是用數(shù)學(xué)的方法研究推理的規(guī)律,是研究正確思維規(guī)律的學(xué)科。