數(shù)理邏輯 shù lǐ luó ji
亦稱(chēng)“符號(hào)邏輯”。用數(shù)學(xué)方法研究思維的形式結(jié)構(gòu)及其規(guī)律的學(xué)科。內(nèi)容有邏輯演算、模型論、公理集合論、遞歸論和證明論等。最早提出有關(guān)問(wèn)題的是萊布尼茨,1847年布爾發(fā)表《邏輯的數(shù)學(xué)分析》后,才有所發(fā)展。19世紀(jì)末20世紀(jì)初,*弗雷格等人在深入研究數(shù)學(xué)概念和證明中創(chuàng)立了謂詞演算,20世紀(jì)30年代*哥德?tīng)?/a>證明了謂詞演算的完全性和算術(shù)系統(tǒng)的不完全性等,使數(shù)理邏輯形成一門(mén)獨(dú)立的學(xué)科。40年代,數(shù)理邏輯逐步在開(kāi)關(guān)線路、自動(dòng)化系統(tǒng)及計(jì)算機(jī)科學(xué)與技術(shù)等方面獲得應(yīng)用。隨后,在解決連續(xù)統(tǒng)假設(shè)和選擇公理的獨(dú)立性時(shí)創(chuàng)造了著名的新方法——力迫法,同時(shí)在模型論、集合論、遞歸論等其他研究中也獲得了許多重要的結(jié)果。