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