当前位置:主页 > 社科论文 > 逻辑论文 >

模型论及其哲学思考

发布时间:2019-11-12 00:35
【摘要】:本文揭示了模型论的基本思想和几个重要结论的哲学意义,,并运用模型论的思想探讨了数学与科学的相互关系。

【参考文献】

相关期刊论文 前1条

1 郝宁湘;数学本体论与数学有效性新探──兼答郑毓信、祝青山、王宪昌同志[J];科学技术与辩证法;1995年04期

【共引文献】

相关期刊论文 前10条

1 刘吉强,沈复兴;可数模型的ψ-分式模型[J];北京师范大学学报(自然科学版);1997年04期

2 陈磊,沈复兴;完全二叉树理论的模型及性质[J];北京师范大学学报(自然科学版);2004年02期

3 周明宏,沈复兴;p阶拟循环群理论的模型论性质[J];北京师范大学学报(自然科学版);2005年01期

4 陈国龙;关于模型个数的注记[J];北京师范大学学报(自然科学版);1996年04期

5 陈国龙;域上无限上三角方阵的逆[J];淮北煤师院学报(自然科学版);1999年04期

6 罗明,胡佳琦,费奇;ODSS中分布协调建模问题的知识级分析[J];华中理工大学学报;1999年09期

7 李未,张玉平;描述认识进程的抽象逻辑[J];中国科学E辑;1996年02期

8 叶文,杨叔子;基于过程代数的智能机器人系统建模[J];机器人;1998年01期

9 王世强;Hilbert零点定理的推广[J];科学通报;1989年20期

10 钱磊,周以铨;中介逻辑的模型论性质[J];南京航空航天大学学报;1992年03期

相关博士学位论文 前6条

1 顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年

2 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年

3 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年

4 敖丽敏;交互式过程性知识表示与获取及其实现的研究[D];中国农业大学;2005年

5 袁家海;电力与经济发展关系研究[D];华北电力大学(北京);2006年

6 季炳伟;面向并行设计的建模方法研究[D];浙江大学;2007年

相关硕士学位论文 前9条

1 刘红兵;模糊错误逻辑研究及其在防范证券投资风险中的应用[D];广东工业大学;2000年

2 张宇鹏;160电影经纬仪操控训练模拟仿真系统的研究[D];长春理工大学;2002年

3 黄川;非线性信念变化的研究[D];南京航空航天大学;2004年

4 吴会波;基于产品过程模型的集成化企业建模方法的研究[D];河北工业大学;2004年

5 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

6 刘晓峰;关于占先结构的相似性研究[D];南京航空航天大学;2005年

7 郑春花;高中生化学信息迁移题的表征研究[D];扬州大学;2005年

8 唐芳芳;哥德尔定理的意义[D];清华大学;2005年

9 易锋;概念模型的结构化表示[D];华中科技大学;2006年

【二级参考文献】

相关期刊论文 前2条

1 祝青山;数学的“有效性”真的不可思议吗?──兼与郝宁湘同志商榷[J];科学技术与辩证法;1994年04期

2 王宪昌;数学的有效性与数学文化观──兼与郝宁湘同志商榷[J];科学技术与辩证法;1995年01期

【相似文献】

相关期刊论文 前10条

1 梁真;何向东;;社会群体中的偏好逻辑[J];逻辑学研究;2011年02期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

1 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

2 李小五;;无穷逻辑简史[A];1997年逻辑研究专辑[C];1997年

3 张立英;周北海;;基于主谓项涵义联系的概称句推理的几个逻辑[A];2004年逻辑研究专辑[C];2004年

4 杨子京;;从开放的角度看悖论问题[A];1996年逻辑研究专辑[C];1996年

5 邹崇理;;话语表现理论DRT述评[A];1998年逻辑研究专辑[C];1998年

6 张维真;;试论“基数量词”[A];1993年逻辑研究专辑[C];1993年

7 王世强;;浅议数理逻辑对数学研究的贡献[A];1993年逻辑研究专辑[C];1993年

8 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

9 李小五;;对策语义与无穷深逻辑[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

10 李小五;;无穷逻辑与LS定理[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

相关重要报纸文章 前1条

1 戈莱格·莱斯特尔 墨尔本大学哲学、人类学和社会研究学院,焦兵编译,熊明辉校;《澳洲逻辑学杂志》简介[N];中国社会科学报;2009年

相关博士学位论文 前1条

1 张世宁;广义量词理论研究[D];南开大学;2010年

相关硕士学位论文 前2条

1 王志艳;类比与科学发现[D];华南师范大学;2005年

2 顾锋强;蒙太格语法研究述评[D];西南大学;2006年



本文编号:2559502

资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/2559502.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户0940d***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com