大學(xué)選課的邏輯學(xué)是一門普通高等學(xué)校本科專業(yè),屬于哲學(xué)類專業(yè),基本修業(yè)年限為四年,授予哲學(xué)學(xué)士學(xué)位。
邏輯學(xué)是一門以推理形式為主要研究對(duì)象的科學(xué),主要目的是找出推理規(guī)律。其核心課程有數(shù)學(xué)分析、幾何與代數(shù)、數(shù)理邏輯、模態(tài)邏輯、形式邏輯、邏輯哲學(xué)、概率論與理性決策、邏輯史等。邏輯學(xué)的一些理論在人工智能中得以應(yīng)用,在開發(fā)更高級(jí)更理想化的機(jī)器人中顯示出強(qiáng)大生命力。