|
平權(quán)文化公眾號(hào)重建，將繼續(xù)致力于玄學(xué)（含宗教），哲學(xué)（如中醫(yī)養(yǎng)生、方法論等），藝術(shù)（含文學(xué)），科學(xué)（如教育、軍事、體育、歷史、食品安全、環(huán)境保護(hù)等）四個(gè)方面文化的傳播；致力于中華民族整體綜合素質(zhì)的提高。只有中華民族的整體綜合素質(zhì)提高了，才能從根本上保證美好制度的順利建設(shè)和鞏固；只有建設(shè)和鞏固了美好制度，才能從根本上解決廣泛、嚴(yán)重存在的社會(huì)問(wèn)題。關(guān)注平權(quán)的朋友，請(qǐng)加私人微信號(hào)： 蕭乾明 x15973116633 林凈寰 ljh13875979186 劉 liufengxuan01
邏輯與哲學(xué)及其有關(guān)學(xué)科的關(guān)系 邏輯是一門(mén)工具性的基礎(chǔ)科學(xué)，它是在哲學(xué)的懷抱里產(chǎn)生和發(fā)展起來(lái)的。19世紀(jì)后半葉數(shù)理邏輯產(chǎn)生以后，邏輯才從哲學(xué)中徹底獨(dú)立出來(lái)并得到了空前的發(fā)展，現(xiàn)代邏輯的發(fā)展又離不開(kāi)哲學(xué)思想的指導(dǎo)和啟發(fā)。邏輯也是哲學(xué)研究不可缺少的有力工具，現(xiàn)代邏輯的重大成果無(wú)不具有深遠(yuǎn)的哲學(xué)意義。邏輯與數(shù)學(xué)有著深刻的、本質(zhì)的聯(lián)系。古希臘數(shù)學(xué)成就是堅(jiān)持應(yīng)用演繹推理而獲得的，而亞里士多德關(guān)于邏輯的成就則是運(yùn)用數(shù)學(xué)的公理方法的結(jié)果。推理演算化的要求促進(jìn)了邏輯的現(xiàn)代化，而分析嚴(yán)格化的要求則導(dǎo)致現(xiàn)代數(shù)學(xué)基礎(chǔ)研究的開(kāi)展?，F(xiàn)代邏輯與現(xiàn)代數(shù)學(xué)是互相促進(jìn)、互相滲透的。 現(xiàn)代邏輯在計(jì)算機(jī)科學(xué)中有著廣泛的應(yīng)用，電子計(jì)算機(jī)是數(shù)理邏輯與其他學(xué)科和生產(chǎn)技術(shù)發(fā)展的綜合成果。人工智能研究的中心問(wèn)題之一是它使用何種邏輯的問(wèn)題。 邏輯與語(yǔ)言學(xué)的對(duì)象不同。推理形式具有全人類性，而語(yǔ)言具有民族性。然而思維與語(yǔ)言的密切關(guān)系決定了邏輯與語(yǔ)言學(xué)的密切關(guān)系。邏輯只能通過(guò)語(yǔ)言才能從思維中抽象并研究推理形式。數(shù)理邏輯創(chuàng)制了形式語(yǔ)言，而形式語(yǔ)言的使用又刺激了對(duì)語(yǔ)言的更深入的研究。金岳霖.形式邏輯.北京:人民出版社，1979.涅爾W,涅爾M.邏輯學(xué)的發(fā)展.張家龍，洪漢鼎，譯.北京:商務(wù)印書(shū)館，1985.CHURCH A.Introduction to MathematicalLogic. Princeton: Princeton University Press, 1956.（本辭條第4部分完）（本辭條4個(gè)部分）系蕭乾明選自中國(guó)大百科全書(shū)出版社第二版《中國(guó)大百科全書(shū)》第15冊(cè)第89-90頁(yè)。 拍照：蕭乾明 識(shí)別初校：李明軍 王 斌 再校三校：李明軍（4個(gè)部分共錯(cuò)3處） 四校：日月無(wú)私 秋點(diǎn)兵
|
