【摘要】：本文揭示了模型論的基本思想和幾個(gè)重要結(jié)論的哲學(xué)意義，，并運(yùn)用模型論的思想探討了數(shù)學(xué)與科學(xué)的相互關(guān)系。

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 郝寧湘;數(shù)學(xué)本體論與數(shù)學(xué)有效性新探──兼答鄭毓信、祝青山、王憲昌同志[J];科學(xué)技術(shù)與辯證法;1995年04期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉吉強(qiáng),沈復(fù)興;可數(shù)模型的ψ-分式模型[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年04期

2 陳磊,沈復(fù)興;完全二叉樹理論的模型及性質(zhì)[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年02期

3 周明宏,沈復(fù)興;p階擬循環(huán)群理論的模型論性質(zhì)[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年01期

4 陳國龍;關(guān)于模型個(gè)數(shù)的注記[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1996年04期

5 陳國龍;域上無限上三角方陣的逆[J];淮北煤師院學(xué)報(bào)(自然科學(xué)版);1999年04期

6 羅明,胡佳琦,費(fèi)奇;ODSS中分布協(xié)調(diào)建模問題的知識級分析[J];華中理工大學(xué)學(xué)報(bào);1999年09期

7 李未,張玉平;描述認(rèn)識進(jìn)程的抽象邏輯[J];中國科學(xué)E輯;1996年02期

8 葉文,楊叔子;基于過程代數(shù)的智能機(jī)器人系統(tǒng)建模[J];機(jī)器人;1998年01期

9 王世強(qiáng);Hilbert零點(diǎn)定理的推廣[J];科學(xué)通報(bào);1989年20期

10 錢磊,周以銓;中介邏輯的模型論性質(zhì)[J];南京航空航天大學(xué)學(xué)報(bào);1992年03期

相關(guān)博士學(xué)位論文 前6條

1 顧紅芳;常識推理中非單調(diào)邏輯的研究[D];南京航空航天大學(xué);2001年

2 王擁軍;需求工程中的不確定性研究[D];西北工業(yè)大學(xué);2002年

3 王學(xué)芳;基于格蘊(yùn)涵代數(shù)的格值邏輯及其模型論的研究[D];西南交通大學(xué);2004年

4 敖麗敏;交互式過程性知識表示與獲取及其實(shí)現(xiàn)的研究[D];中國農(nóng)業(yè)大學(xué);2005年

5 袁家海;電力與經(jīng)濟(jì)發(fā)展關(guān)系研究[D];華北電力大學(xué)（北京）;2006年

6 季炳偉;面向并行設(shè)計(jì)的建模方法研究[D];浙江大學(xué);2007年

相關(guān)碩士學(xué)位論文 前9條

1 劉紅兵;模糊錯(cuò)誤邏輯研究及其在防范證券投資風(fēng)險(xiǎn)中的應(yīng)用[D];廣東工業(yè)大學(xué);2000年

2 張宇鵬;160電影經(jīng)緯儀操控訓(xùn)練模擬仿真系統(tǒng)的研究[D];長春理工大學(xué);2002年

3 黃川;非線性信念變化的研究[D];南京航空航天大學(xué);2004年

4 吳會(huì)波;基于產(chǎn)品過程模型的集成化企業(yè)建模方法的研究[D];河北工業(yè)大學(xué);2004年

5 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

6 劉曉峰;關(guān)于占先結(jié)構(gòu)的相似性研究[D];南京航空航天大學(xué);2005年

7 鄭春花;高中生化學(xué)信息遷移題的表征研究[D];揚(yáng)州大學(xué);2005年

8 唐芳芳;哥德爾定理的意義[D];清華大學(xué);2005年

9 易鋒;概念模型的結(jié)構(gòu)化表示[D];華中科技大學(xué);2006年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 祝青山;數(shù)學(xué)的“有效性”真的不可思議嗎?──兼與郝寧湘同志商榷[J];科學(xué)技術(shù)與辯證法;1994年04期

2 王憲昌;數(shù)學(xué)的有效性與數(shù)學(xué)文化觀──兼與郝寧湘同志商榷[J];科學(xué)技術(shù)與辯證法;1995年01期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 梁真;何向東;;社會(huì)群體中的偏好邏輯[J];邏輯學(xué)研究;2011年02期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會(huì)議論文 前10條

1 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會(huì)論文集[C];2008年

2 李小五;;無窮邏輯簡史[A];1997年邏輯研究專輯[C];1997年

3 張立英;周北海;;基于主謂項(xiàng)涵義聯(lián)系的概稱句推理的幾個(gè)邏輯[A];2004年邏輯研究專輯[C];2004年

4 楊子京;;從開放的角度看悖論問題[A];1996年邏輯研究專輯[C];1996年

5 鄒崇理;;話語表現(xiàn)理論DRT述評[A];1998年邏輯研究專輯[C];1998年

6 張維真;;試論“基數(shù)量詞”[A];1993年邏輯研究專輯[C];1993年

7 王世強(qiáng);;淺議數(shù)理邏輯對數(shù)學(xué)研究的貢獻(xiàn)[A];1993年邏輯研究專輯[C];1993年

8 弓肇祥;季冠芳;;哲學(xué)邏輯的幾個(gè)理論問題[A];邏輯研究文集——中國邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

9 李小五;;對策語義與無窮深邏輯[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

10 李小五;;無窮邏輯與LS定理[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年

相關(guān)重要報(bào)紙文章 前1條

1 戈萊格·萊斯特爾 墨爾本大學(xué)哲學(xué)、人類學(xué)和社會(huì)研究學(xué)院，焦兵編譯，熊明輝校;《澳洲邏輯學(xué)雜志》簡介[N];中國社會(huì)科學(xué)報(bào);2009年

相關(guān)博士學(xué)位論文 前1條

1 張世寧;廣義量詞理論研究[D];南開大學(xué);2010年

相關(guān)碩士學(xué)位論文 前2條

1 王志艷;類比與科學(xué)發(fā)現(xiàn)[D];華南師范大學(xué);2005年

2 顧鋒強(qiáng);蒙太格語法研究述評[D];西南大學(xué);2006年

本文編號：2559502