中教参系列，部分是核心期刊。
《陕西师范大学学报》(自然科学版)是中国科技信息研究所选定的统计源期刊，学报的影响因子和总被引频次近年来一直在综合类科技期刊和师范院校学报中居于前列。学报现为中文综合性科学技术类核心期刊、中国科学引文数据库核心库来源期刊、中国期刊方阵双效期刊，并多次被评为国家教育部和陕西省优秀科技期刊、陕西省十佳学报，连续三次(1989年，1995年，1999年)荣获全国高校自然科学学报评比一等奖，受到国家教委、教育部、教育部科学技术司、新闻出版署期刊管理司，陕西省教育厅、科学技术厅、新闻出版局等有关部门表彰奖励。
截至2015年3月12日，陕西师范大学拥有国家基础学科人才培养和科学研究基地2个（中国语言文学、生物学），国家工程实验室1个，教育部人文社会科学研究基地1个，国家体育总局体育社会学重点研究基地1个，教育部重点实验室和工程研究中心4个，陕西省重点实验室和工程研究中心8个，陕西省人文社会科学重点研究基地4个，各类研究中心（所）60个。学校设有远程教育学院、教师干部教育学院等办学机构，此外，还设有教育部西北高师师资培训中心、教育部西北教育管理干部培训中心、教育部基础教育课程研究中心、陕西省基础教育资源研发中心以及中国唐史学会、中国古都学会等几十个学术团体和学术机构。 陕西师范大学科研机构教育研究所 西方哲学研究所 古籍整理研究所 毛泽东思想研究所 教育管理科学研究所 环境资源与区域发展研究所 基础数学研究所 古典文献信息研究所 辞书编纂研究所 经济研究所 文学研究所 物理研究所 唐史研究所 中小学计算机教育研究所 应用声学研究所 新闻出版科学研究所 动物研究所 基督教文化研究所 分析科学研究所 生物技术及产品开发研究所 中国思想文化研究所 加拿大教育研究中心 人文研究所 文学影视研究中心 食品科学研究所 周秦汉唐文化研究中心 运动生物学研究所 女性研究中心 教育考试研究所 西北经济发展研究中心 应用化学研究所 邓小平理论研究中心 艺术教育研究所 旅游开发研究中心 农产品深加工研究所 民族科技教育研究中心 妇女文化博物馆 陕西省果蔬深加工技术研究中心 西北历史环境与经济社会发展研究院 西北民族研究中心 体育人文社会科学研究中心 佛教研究所 农村发展研究中心 博物馆 宗教研究中心 中亚研究所 西北国土资源研究中心 陕西文化资源开发协同创新中心 数据截至 2013年9月30日，资料来源于官网 陕西师范大学重点科研机构一览表序号 名 称 所属学院 立项时间 负责人 一、国家级重点实验室（研究中心）（1个） 1 西北濒危药材资源开发国家工程实验室 生命科学学院 2008年6月 王喆之 二、教育部重点实验室（研究中心）（4个） 1 药用植物资源与天然药物化学教育部重点实验室 生命科学学院 2005年1月 王喆之 2 历史文化遗产保护教育部工程研究中心 材料科学与工程学院 2006年6月 李玉虎 3 应用表面与胶体化学教育部重点实验室 化学化工学院 2007年3月 刘昭铁 4 现代教学技术教育部重点实验室 教师专业能力发展中心 2011年11月 胡卫平 三、陕西省重点实验室（研究中心）（8个） 1 陕西省大分子科学重点实验室 化学化工学院材料科学与工程学院 2005年3月 杨祖培 2 陕西省超声学重点实验室 物理学与信息技术学院 2005年12月 林书玉 3 陕西省生命分析化学重点实验室 化学化工学院 2006年12月 张成孝 4 陕西省行为与认知心理学重点实验室 心理学院 2006年12月 游旭群 5 陕西省果蔬深加工技术研究中心 食品工程与营养科学学院 1988年12月 陈锦屏 6 陕西省GAP工程技术研究中心 生命科学学院 2003年1月 王喆之 7 陕西省中药材规范化栽培与品种选育工程技术研究中心 生命科学学院 2007年10月 王喆之 8 陕西省文物修复与环保工程技术研究中心（陕西历史文化遗产保护科学研究中心） 材料科学与工程学院 2009年5月 李玉虎 四、陕西师范大学校重点科研机构（7个） 1 陕西师范大学基因治疗重点实验室 生命科学学院 2007年12月 夏海滨 2 陕西师范大学脑与行为科学重点实验室 生命科学学院 2007年12月 任维 3 陕西师范大学土地系统动力学重点实验室 旅游与环境学院 2007年12月 薛东前 4 陕西师范大学食品加工副产品深度开发与高值化利用重点实验室 食品工程与营养科学学院 2007年12月 李建科 5 陕西师范大学智能信息处理与信息安全实验室 计算机科学学院 2007年12月 李永明 6 陕西师范大学整合与应用动物学重点实验室 生命科学学院 2007年12月 黄原 7 陕西师范大学环境感知与智能信息处理工程技术研究中心 计算机科学学院 2010年11月 吴晓军 资料来源于官网 2007年至2011年理工科省部级以上科研项目立项累计540项。2010年以来累计发表高层次论文885篇；出版学术著作161部；2011年共有74项成果获得陕西省高校人文社科奖，52项成果获得第十次陕西省哲学和社会科学奖。自然科学方面，2007年至2011年累计发表学术论文6562篇，其中SCI源期刊论文共1463篇；申请专利318件，授权专利174件；出版著作89部，其中专著15部。 2010年度陕西省科学技术奖获奖项目，陕西师范大学主持申报的5项科技成果全部获奖。其中二等奖4项，三等奖1项。《CO2/CH4的催化转化及相关绿色过程的基础研究》、《蝗虫的分子系统学和分类鉴定专家系统研究》、《算子矩阵及其应用》、《低频液体表面波声光效应及应用》四个项目荣获二等奖；《渭河流域万年尺度环境变化与土壤发育演变规律》获得三等奖。 陕西师范大学参与完成的两项科技成果《黄土区植被对坡面水蚀过程调控的生态薛机理》、《资源植物对环境的生理生态响应及机理研究》分获得一、二等奖。 2011年，陕西师范大学52项科研成果入选省第十次哲学社会科学研究优秀成果奖，其中一等奖5项（著作类3项，论文类2项）；二等奖18项（著作类9项，论文类9项），三等奖29项（著作类12项，论文类17项）。截至2011年，主持国家级和省部级科研项目42项，研究成果获陕西省科学技术二等奖1项、陕西省高等学校科学技术一等奖2项，获国家发明专利8项，在Journal of the American Chemical Society等SCI源刊上发表研究论文110余篇。 2013年，陕西师范大学心理学院王振宏教授团队在国际心理学权威期刊《生物心理学》、《国际心理生理学杂志》等杂志上发表了系列论文，其中《生物心理学》上的《呼吸性窦性节律不齐与特质性积极情感、积极情绪表达的关系》一文发表后，被国际学术新闻网作为心理学与精神病学专题领域重大研究成果予以报道，是当期《生物心理学》发表的论文中唯一被该学术新闻网报道的成果。 馆藏资源截至2015年4月，学校图书馆馆藏纸本藏书353万册，其中馆藏古籍线装图书25万余册，古籍善本700余部，9000余册；历代石刻拓片12000余通；地方志亦收藏较为丰富，尤其是陕西地方志收藏较为完备；另外，大型古籍丛书、古今名人字画收藏丰富。同时，图书馆拥有丰富的电子资源，有各类中外文数据库40余种，电子图书109万册 , 中外文电子期刊 余万种 。学报学校编辑出版《陕西师范大学学报》（哲学社会科学版、自然科学版）、《当代教师教育》《中国历史地理论丛》《中国艺术教育》等学术刊物，其中《陕西师范大学学报》（哲学社会科学版）首批入选教育部高校哲学社会科学名刊工程，是国家重点支持建设的11种高校社科学报之一。学校出版总社有限公司出版社是全国年销售额过亿元的10家高校出版社之一；杂志社是由教育部主管的拥有系列教育类刊物的大型期刊社，共发行 9 种为基础教育服务的专业期刊，其中4种刊物为国家核心期刊 。
看看他们的历史荣誉：CA 化学文摘(美)(2009)中国科学引文数据库(CSCD—2008)核心期刊：中文核心期刊(2008)中文核心期刊(2004)中文核心期刊(2000)
以前是核心，下载不是了刊名：西南师范大学学报(自然科学版)Journal of Southwest China Normal University(Natural Science Edition)主办：西南大学周期：月刊出版地：重庆市语种：中文;开本：大6开ISSN：1000-5471CN：50-1045/N邮发代号：78-22
刊名：西南师范大学学报(自然科学版)Journal of Southwest China Normal University(Natural Science Edition)主办：西南大学周期：月刊出版地：重庆市语种：中文;开本：大6开ISSN：1000-5471CN：50-1045/N邮发代号：78-22历史沿革：现用刊名：西南师范大学学报(自然科学版)创刊时间：1957国内统一连续出版物号为：CN 50-1045/N，国际标准连续出版物号为：ISSN 1000-5471。主要刊登数学 、计算机科学、物理学、化学、生物学、地理学、电化教育学、心理学、体育运动学、信息科学、系统科学和工程技术科学等方面的基础研究和应用研究的学术论文和研究成果。本刊主要读者对象是：国内外科技工作者、高等院校理工科教学科研人员和研究生。西南师范大学学报(自然科学版)是CSCD来源期刊、中文核心期刊。2010年荣获“百种中国杰出学术期刊”称号，2011年荣获“中国精品科技期刊”称号。重庆市一级期刊。收录西南师范大学学报(自然科学版)的权威数据库和文摘刊物有：美国《化学文摘》、《数学评论》，英国《动物学记录》，中国学术期刊全文数据库、中国科学引文数据库、万方数字资源系统、维普中文科技期刊全文数据库、中国数学文献数据库、中国生物医学文献数据库、《全国报刊索引》、《中国数学文摘》、《中国生物学文摘》、《中国无机分析化学文摘》、《中国地理科学文摘。
西南师范大学学报是2019年不是北大核心期刊。2000-2014是核心。
《西南大学学报（自然科学版）》是教育部主管 ，西南大学主办，国内外公开发行的综合性学术期刊。其前身是原《西南农业大学学报（自然科学版）》，创刊于1957年12月，2007年，经新闻出版总署批准，《西南农业大学学报（自然科学版）》更名为《西南大学学报（自然科学版）》。
主要刊登农业科学 、生命科学、数理科学与化学、地球与环境科学等方面的学术文章。现被以下数据库收录：CA 化学文摘(美)(2011)CSCD 中国科学引文数据库来源期刊（2013-2014年度）（含扩展版）。
学校概况：西南大学是教育部直属重点综合大学，国家"211工程"和"985工程优势学科创新平台"建设高校，位于重庆市北碚区。校园坐落于国家级风景名胜区缙云山下、风景秀丽的嘉陵江畔，是闻名遐迩的花园式学府、全国精神文明先进单位、全国绿化先进单位、教育部表彰的文明校园。
在数学的哲学中，直觉主义可谓引起引起了现代学术思想的一次革命。数学与哲学的关系一是人们谈论的问题。以下是我整理的数学与哲学的论文的相关资料，欢迎阅读!
摘要：在数学哲学中，直觉主义可谓引起引起了现代学术思想的一次革命。虽然直觉主义可以追溯到康德，甚至柏拉图。然而，它是近现代的，20世纪前20年，它作为一个独立的数学哲学思潮而闻名。它是逻辑学哲学中的一次风暴逆袭，是经典数学的有力挑战者。直觉主义强调“构造”，出发于“心智”。直觉主义把整个自然数论视为整个数学的基础，直觉主义拒绝排中律和反证律，抵制实无穷而推崇潜无穷。随着计算机的产生和发展，直觉主义在数字构造中起到了积极的应用。同时，直觉主义对数学哲学的创新 教育 等方面都有着不可忽视的影响。
关键词：数学哲学 直觉主义 传统逻辑 布劳威尔
一、 “存在必须是被构造”——直觉主义的产生
直觉(intuition)一词意为未经充分逻辑推理的，直观的，直接领捂事物本质的思考。与H.柏格森、B.克罗齐、E.胡塞尔等人的直觉主义不同，我们这里所研究的“直觉”并不是指主体对于客观事物的一种直接把握能力，而是指思维的本能上的一种心智活动。在这里，直觉主义提倡的直觉，并非辩证唯物主义的“直观的感觉”，其本意是“先验的心智构造”，以此为出发点，形成了对数学对象“存在性”与“可构造性”等同的要求。[1]直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点，它主张自然数及其某些规律和 方法 ，特别是数学归纳法，是可靠的出发点， 其它 一切数学对象和理论都应该从自然数构造出来。[2]“存在必须是被构造”，这是直觉主义派最著名的 口号 。也因此，直觉主义是一种构造逻辑。直觉派认为，数学中的概念和方法都是必须可以被构造的，非构造性的证明不是直觉主义者能接受的。在数学领域中，集合论悖论的问题不可能通过对已有的数学作某种局部的修改和限制加以解决，而必须依靠一些可信的标准对已有的数学进行全面的审视和改造。直觉主义认为逻辑依赖于数学,而非数学依赖逻辑。数学建立在直觉的基础上。同时，直觉主义认为哲学、逻辑甚至计数等概念都比数学复杂得多,不能作为数学的基础,数学的基础需要更简单、更直接的概念,它就是直觉,直觉是心智的一项基本功能。[3]一位直觉主义数学家阿伦特·海廷(Arend Heyting)在他的论文《数学的直觉主义基础》中指出：“立即处理数学的构造也许是符合直觉主义者的积极态度了。这个构造的最重要基石是一(unity)的概念，它是整数序列所依赖的构造原则。整数必须作为单位(units)来看待，这些单位仅仅由于在这个序列中的位置而相互区别。”[4]61
直觉主义者认为，数学的基础在于数学直觉，在他们看来，建立在数学直觉之上的理论能使“概念和推理十分清楚地呈现在我们面前”，即“对于思想来说是如此的直接，而其结果又是如此的清楚，以致不再需要任何铸的什么基础了”(A·黑丁:《直觉主义导论》)。任何数学对象被视为思维构造的产物，所以一个对象的存在性等价于它的构造的可能性。这和经典的方法不同，因为经典方法说一个实体的存在性可以通过否定它的不存在性来证明。对于直觉主义者，这是不正确的;不存在性的否定不表示可能找到存在性的构造证明。正因为如此，直觉主义是数学结构主义的一种;但它不是唯一的一类。直觉主义的基本哲学立场是，数学是人类心智“固有”的一种创造活动，是主体的自身的活动，而不是对外在的描述.数学概念是一种自主的智力活动的结果，智力活动则是研究自明定律所支配的思想构造。[5]
二、颠覆传统逻辑，形式主义的逆袭——直觉主义的特点
直觉主义不承认实无穷，拒绝实际无穷的抽象。也就是说，它不考虑像所有自然数的集合或任意有理数的序列无穷这样的无穷实体作为给定对象。数学上的实无穷思想是指：把无限的整体本身作为一个现成的单位，是已经构造完成了的东西，换言之，即是把无限对象看成为可以自我完成的过程或无穷整体。数学上存在着潜无穷与实无穷之争，就如同哲学上存在着唯物主义与唯心主义之争。而且必将长时间的持续的争论不休。数学上的潜无穷思想是指：把无限看作永远在延伸着的，一种变化着成长着被不断产生出来的东西来解释。举个形象点的例子就是，构成一条直线的点有无穷个，并且这条直线永远延伸着，不会有终结的一天。它永远处在构造中，永远完成不了，是潜在的，而不是实在。按照全称和条件量词的标准直觉主义，一个证明就是这样的潜无穷结构，这可能是合理的。(达米特《直觉主义逻辑的哲学基础》)[4]142按照此观点，所有的自然数可以构成一个集合，因为可以将所有的自然数看做是一个完成了的无穷整体。很显然，直觉主义支持潜无穷的观点，即把无穷集合看成无限延伸着的序列。
直觉主义反对排中律，这意味着直觉主义者可能和经典的数学家对一个数学命题的含义有不同理解。排中律和同一律、矛盾律并称为形式逻辑的三大基本规律。传统逻辑首先把排中律当作事物的规律，意为任一事物在同一时间里具有某属性或不具有某属性，而没有其他可能。排中律同时也是思维的规律，即一个命题是真的或不是真的，此外没有其他可能。例如，说A 或 B, 对于一个直觉主义者，是宣称A或B可以证明。但是，对于排中律, A 或 非 A, 是不被允许的，因为不能假设人们总是能够证明命题A或它的否命题。
直觉主义主要对抗的是形式主义。多个世纪以来，对数学规律的无懈可击的精确性的信念的依据是数学哲学研究的主要对象。直觉主义表示，精确性存在于人类心智之中，形式主义者认为，存在于纸面上。[4]90
直觉主义具有非逻辑性和整体性。数学直觉是作为逻辑的对立面而介定的一种认识方法,因此非逻辑性是数学直觉的最主要特性。可以说数学直觉的其他特性都是由它的非逻辑性所决定的,这是许多哲学家、科学家的共同见解。[6]直觉主义认为，数学是心灵的创造活动，心灵是丰富的，逻辑则是贫乏的。因此，坚决不能用贫乏的逻辑规则来全面准确地规划丰富的心灵活动。直觉主义的另一位代表人物阿伦特?海廷(Arend Heyting)说：“逻辑属于应用数学”。在对于直觉主义整体性上，一个日本数学家有如下精辟的解释：当一个人已经长期而持续地从事了研究并已成为一个完全成熟的研究人员时,他就已经在自己的头脑中形成了一种相对稳定的知识体系。经过他自己的努力,这种知识体系已被综合成为一种特殊的,确定的形式。而且自己综合的工作当然本身就是一种极有价值的 经验 。[7]
彭加勒在《数学中的直觉和逻辑》一文中写道：
哲学家告诉我们，纯逻辑永远也不能使我们得到任何东西;它不能创造任何新东西，任何科学也不能仅仅从它产生出来。在某种惫义上，这些哲学家是对的;要构成算术，像要构成几何学或构成任何科学一样，除了纯逻辑之外，还需要其他东西。为了称呼这种东西，我们只好使用直觉这个词。可是，在这同一谕后，潜藏着多少不同的意思呢?比较一下这四个公理:(1)等于第三个最的两个量相等;(2)若一定理对数1为真，假定它对N为真，如果我们证明它对N+1为真，则它对所有整数均为真;(3)设在一直线上，C点在A与B之间，D点在A与C之间，则D点将在A与B之间;(4)通过一个定点仅有一条直线与已知直线平行。所有这四个公理都归之于直觉，不过第一个阐明了形式逻辑诸法则中的一个法则;第二个是真实的先验综合判断，它是严格的数学归纳法的基础;第三个求助于想象:第四个是伪定义。直觉不必建立在感觉明白之上;感觉不久便会变得无能为力。[8]
值得注意的是，直觉主义不是神秘主义。直觉的“不可解释性”并不等于直觉的“神秘性”，尽管直觉是“不可解释”的，但它却有着确定的本质。我们认为，直觉是认识过程中的一种飞跃，因此它就不是一种经验的认识，而是原来的思想路线的中断，不可能按照通常的 思维方式 ，用结论和推理的环节把它连接起来，所以直觉是“不可解释的”。[9]
三、从Kant到Dummett，直觉主义派的主要人物及其思想
伊曼努尔·康德(Immanuel Kant, 1724-1804)，从某种意义上来说，直觉主义是由哲学家康德开始的。1755到1770年，康德在哥尼斯堡大学教物理和数学，他认为我们所有的感觉都来自于一个预先假定的外部世界。虽然这些感觉不能提供任何知识，但是被感知到的物体间相互作用就产生了知识。心智将这些感觉梳理清楚，得到对空间和时间的直觉。康德说，感性直觉有两个纯形式，它们是先天知识的原则，这两个纯形式就是空间和时间。空间是外直觉的纯形式，而时间是内直觉的纯形式，它们都不是从外邻经验得来的，而是必然的、先天的观念。空间和时间不是客观存在的，而是心智的创作。心智理解经验，经验唤醒心智。虽然康德的思想有着直觉主义的影子，但是依旧没有直观地提出直觉主义，就数学基础的方法而言，直觉主义是现代的。[10]
亨利·彭加勒(常译作庞加莱，Henry Poincare，1854-1912)，当代语境中的数学直觉主义的先驱。后人评价为数学哲学与当代数学直觉主义之间的一座桥梁。逻辑主义对于数学基础的理解是虚幻的。它使数学失去基础。然而数学的基础是存在的，它就是我们的直觉。它赋予数学以意义，从而给数学以对象。彭加勒指明了一座(本来就)架在人类精神和数学存在之间的桥梁，那便是我们的数学直觉。[11]彭加勒主张自然数是最基本的直觉，认为数学归纳法是一种包含直观的思维方法，是不能简单地归结为逻辑的。他主张使用有限个词能定义的概念，主张数学对象的可构造性。他还在另一种意义上理解和强调数学直觉，将其看做选择和发明的工具。彭加勒认为，我们有多种直觉。然而，最重要的可以归结为两类：一是“纯粹直觉”，即他通常所说的“纯粹数的直觉”、“纯粹逻辑形式的直觉”、“数学次序的直觉”等，这主要是解析家的直觉;二是“可觉察的直觉”，即想象，这主要是几何学家“形”的直觉。对于这两类直觉，他认为都是必要的，各自发挥着不同的作用。他认为，这两类直觉“似乎发挥出我们心灵的两种不同的本能”，它们像“两盏探照灯，引导陌生人相互来往于两个世界”。[12]
布劳威尔(，1881-1966)，直觉主义真正的创始人和奠基人是布劳威尔。布劳威尔在数学上的直觉主义立场来源于他的哲学。1907年他在博士论文《数学基础》中提出直觉主义观点,认为数学的基础是先验的初始直觉。数学是起源于和产生于头脑的人类活动，不存在于头脑之外，因此，是独立于真实世界的。布劳威尔认为数学思维是智力构造的一个过程，它建造自己的天地，独立于经验，并且只受到必须建立于基本的数学直觉之上的限制。[10]布劳维尔发表的《数学基础》表明直觉主义的立场是强调“直觉”，这并不是说否认数学的逻辑性和严谨性,而只是突出直觉、灵感和创造力在数学中的地位。直觉主义者认为数学不仅是最讲究严格性的科学,也是最富有创造性的科学。布劳维尔认为数学的基础是先验的初始直觉,他和他的学生说他们所说的直觉正是人心对于它本身所构造的东西的清晰理解。[13]布劳维尔修改了康德的先验时空学说，放弃了“外直觉的纯形式”的先验时空概念，以适应非欧几何的发展;池把数学的基本直觉建立在“内直觉的纯形式”的先验时间概念的基础之上。[14]布劳威尔还提出了“二·一原则”(tow-oneness)。他认为这是数学的基本直觉。即假设N成立，则N+1成立。这个过程可以无限重复，创造了一切有限序数，因为“二·一原则”的元素之一可以被认为是一个新的“二·一原则”。布劳威尔认为，在这个数学的基本直觉中，联通和分离、连续和离散得到统一，并直接引出了线性连续统的直觉，即“介于”(between)的直觉。(布劳威尔《直觉主义和形式主义》)[4]93
阿伦特·海廷(Arend Heyting，1898-1980)，他是布劳威尔的学生。继承了布劳威尔有关数学直觉主义的思想。他认为，直觉主义是从一定的、多少有点任意的假设出发的。它的主题是构造性的数学思想。这使得它处于经典数学之外。形式主义和直觉主义的差别在于，直觉主义的进行独立于形式化，形式化只能追随在数学构造的后面。逻辑不是直觉主义的立足点，数学构造在头脑中是很直接的，结论也应该是很清楚的，所以不需要任何基础。海廷主张，在描述直觉主义数学时，应当在日常生活中去理解。比如，在注视那边树木时，我确信我看到树木，而实际上光波达到我眼中，使我构造出树木这一信念需要相当的训练。这种观点是自然的。两个人说话，我向你灌输意见，实际制造了空气的震动。这是理论的构造。(阿伦特·海廷《论辩》)[4]77-88
迈克尔·达米特(又译米歇尔·杜麦特Michael Dummett，1925-2011)，当代数学直觉主义学派的代表人物。达米特认为，数学首先是先验的，然后是分析的。达米特曾经从语言学角度和意义理论角度为直觉主义辩护。直觉主义关于数学陈述意义的解释避免了以真概念为核心概念的意义理论的不足，它把说话者关于数学陈述的理解与说话者使用这个陈述的实际能力结合在一起，因此具有很大的优点。从直觉主义关于数学陈述的意义说明出发，达米特提出了以证实为核心概念的新的意义理论的构想。[15]202达米特指出：“对于直觉主义逻辑来说，排中律的双重否定是有效的语义原则，就像二值逻辑认为排中律本身是有效的一样：断言任何陈述既不真也不假是不一致的。”[4]132
四、直觉主义的意义以及合理性
直觉主义对古典逻辑中的排中律和双重否定律等原理中的部分原则以及非构造性的结论持否定态度，也不承认数学中的实无限的对象和方法。数学的历史也表明，数学知识与理论不仅无法脱离对外部世界的永恒的依存关系，而且数学的错误不是通过限制数学，如排斥非构造数学和传统逻辑而得到克服的。数学真理的积累以及对谬误的抛弃是通过数学知识的不断增长和理论的不断完善获得的。一句话、数学的生命在于生生不息的创造过程中。庆幸的是，直觉主义由十其思想体系中某种先天的弱点而末成为数学的统治思想。但也应看到其构造思想的重要价值。[16]123-124可以说，直觉主义学派在本质上是主观和荒谬的，以直觉上的可构造性为由来绝对的肯定直觉派数学是不能真正解决问题的。但是，直觉主义揭示了经典逻辑只具有相对的真理性，在具体的数学工作中具有重要意义。
首先，数学哲学中的直觉主义学派高度认可直觉和个人的创造性思维在科学实践中的作用，推动了现代递归函数论的建立和发展，这无疑对数学的进步起到了很积极的作用。其次，直觉主义者倡导的构造性的能行性的研究方法,促进了人工智能和计算机科学的发展。这种积极探讨可行性方法在计算机数学以及计算机科学中具有重大的现实意义。第三，直觉主义数学哲学的思想方法在素质教育理论研究与实践上，具有宝贵的参考价值。在数学教育中，逻辑的作用很明显，其特征为，从已知知识出发,依据逻辑规则进行推导和演算,一步一步地达到对研究对象的认识。而直觉主义可以跳跃式地认知，虽然能一步得到正确答案，却无法说清楚其中的步骤。直觉主义虽排斥传统逻辑，但与逻辑关系十分密切，对培养良好的数学逻辑观念有着不可忽视的作用。另外，直觉主义有助于培养数学教育中大胆猜测的思维习惯。这种创新和探索精神有利于数学的进步和发展。
参考文献：
[1] 傅敏.直觉主义数学哲学研究及其对数学素质教育的启示[J].西北师范大学学报(自然科学版)，1996(1).
[2] 诸葛殷同.对传统逻辑的有力挑战——评《经典逻辑与直觉主义逻辑》[J].哲学动态，1990(4).
[3] 柯华庆.直觉主义数学哲学的两个阶段[J].学术研究，2005(2).
[4] 保罗·贝纳塞拉夫(美)，希拉里?普特南(美).数学哲学[M].北京：商务印书馆，2003.
[5] 黄秦安.数学哲学与数学 文化 [M].西安：陕西师范大学出版社，1999.
你好应该是中文核心的谢谢采纳
《西北师大学报》(社会科学版)开设有中国文学研究、外国文学研究、语言学、历史学、哲学、美学、教育学、心理学、伦理学、民族学、政治学、经济学等栏目。《西北师范大学学报》(自然科学版)常设栏目为：数学、物理学、计算机与信息科学、化学、生命科学、地理科学。主要刊登全国高校、科研院所在上述领域的基础研究、应用研究和开发研究的原创性成果论文。
《山西师范大学学报》 ( 自然科学版 ) 由山西师范大学主办，山西省教育厅主管。自 1986 年创刊以来，始终将提高刊物质量放在编辑工作的首要地位，经过多年的编辑工作的磨练，已形成了一支具有扎实的专业基础知识的编辑队伍，积累了丰富的办刊经验，培养了一大批具有较高科研水平的科研人员与作者队伍，同时本刊所发表的许多科研成果，也在国内外学术界获得了广泛的影响。
山西师范大学学报 包括 自然科学版 和 社会科学版 。但 名称不同。自然科学版 名字是《山西师范大学学报》 ；社会科学版 名字是《山西师大学报》；《山西师范大学学报》 ( 自然科学版 ) 是 普通期刊，非核心期刊；《山西师大学报》（社科版）是 人文社会科学类核心期刊 。
刊名： 山西师范大学学报(自然科学版)出版地：山西省临汾市语种： 中文;开本： 大16开ISSN： 1009-4490CN： 14-1263/N邮发代号： 22-179 现用刊名：山西师范大学学报(自然科学版)曾用刊名：太原师范学院学报(自然科学版);山西师大学报(自然科学版)创刊时间：1986 改革开放之初，高教学术事业百废具兴，尽快创办我校自然科学类学术期刊，以促进我校自然科学学术研究事业的发展，在当时就已成为我校广大教师和科技工作者的普遍共识。在学校领导和学报编辑部领导的关心下， 1985 年 9 月成立了山西师大学报自然科学版筹备组，筹备组由学报编辑部主任、社科版主编尹世明领导，成员有：高仁恒、马志正、王剑波、张海霞，由此拉开了《山西师范大学学报》 ( 自然科学版 ) 编辑出版工作的序幕。 1985 年 9 月至 12 月，编辑人员深入各系开始组稿， 1986 年前半年编辑、排版， 1986 年 10 月创刊号正式与读者见面。 1987 年，为提高学报的影响和开创学报工作局面，学校任命年仅 33 岁的侯晋川教授为主编。 1988 年初，为加强自然科学版的日常管理工作，学校任命王永明同志任自然科学版常务副主编，高仁恒、马志正同志为副主编（ 1989 年 9 月，王永明同志调离学校）。 1997 年 7 月，为加快学报发展的现代化步伐和处理日益繁重的日常工作，加强学报编辑工作的规范管理，学校任命王剑波同志为自然科学版常务副主编。 1997 年 9 月，为了自然科学版发展的需要，学校成立了以侯晋川教授等 16 人组成的编委会。 1999 年 9 月，自然科学版成为正式期刊，学校对编委会和编辑部进行了改组，成立了由侯晋川同志任主任委员兼主编，武海顺、王剑波同志为副主任委员兼副主编，由各理科系学术骨干共 17 人组成的新一届编委会。 2003 年 5 月，随着我校自然科学学术研究的高速发展，学校对编委会成员进行了调整，组成了由 23 人组成的编委会，其中校内委员 20 名，校外委员 3 名。?18 年来，自然科学版的发展得到了历任学校领导陶本一、谈浩良、黄志胜、邵壁华、齐峰、常乃军同志的鼎立支持，也得到了历任学报领导尹世明、曲家源、陈建中、畅引婷同志的关心与支持。 18 年来，自然科学版从筹备、创立到发展，走过的每一步无不倾注着历任编辑的心血，先后在学报自然科学版担任编辑的有王剑波（ 1985 ， 9 —今）、张海霞（ 1985 ， 9 — 1991 ， 3 ）、王言（ 1987 ， 4 — 1989 ， 7 ）、茹英杰（ 1988 ， 9 — 1991 ， 7 ）、段麦英（ 1995 ， 4 —今）等同志，正是他们的辛勤劳动，才有了自然科学版学报的今天。《山西师范大学学报》 ( 自然科学版 ) ，创刊于 1986 年，原刊名为《山西师大学报》 ( 自然科学版 ) ，刊号仍延用山西师大学报刊号晋刊 012 号，刊期为半年刊，自办发行，工本费 0 。 65 元，印数 1000 册。 1987 年期刊实行全国统一标识，《山西师大学报》 ( 自然科学版 ) 被批准为省内期刊，刊号为：山西省期刊登记证第 0058 号，半年刊，每期 96 页， 16K ，工本费 1 。 20 元，自办发行。 1991 年，经山西省新闻出版局批准，刊号变更为：山西省报刊准印证第 0170 号。 1992 年刊号变更为： JK14 — 1029 ，季刊，每期 80 页， 16K ，工本费 2 。 50 元，自办发行； 1995 年 7 月，经山西省新闻出版局批准，刊号改为：山西省内部期刊准印证第 0303 号，季刊， 16K ， 80 页，工本费 2 。 50 元，期印数 1000 册； 1999 年经国家科委和新闻出版署批准，国科发财字[ 1999 ] 342 号文件批复，《山西师大学报》 ( 自然科学版 ) 转为正式学报，刊名改为现刊名《山西师范大学学报》 ( 自然科学版 ) 。全国统一刊号为： CN 14-1263/N ，国际连续物刊号为： ISSN 1009-4490 ，季刊， 16K ，每期 96 页，定价 5 。 00 元，期印数 1200 册。 2004 年第一期开始页码增至 112 页，定价 6 。 00 元。?《山西师范大学学报》 ( 自然科学版 ) 自创刊以来，坚持党的基本路线，坚决贯彻执行党的出版方针，遵守国家的有关出版法规，有明确的办刊宗旨、编辑方针和专业范围。《山西师范大学学报》 ( 自然科学版 ) 是反映本校自然科学方面的教学和科研成果为主的自然科学类综合性学术期刊，以促进我校教学与科研工作，加强我校学科建设，积极开展学术交流，贯彻科教兴国方针，推动山西基础教育事业发展为其办刊宗旨。?本刊为自然科学类综合性学术期刊，其编辑方针以坚持四项基本原则，保持其学术性特点为根本，以学术价值作为取舍稿件的标准。本刊主要发表自然科学各学科的基础理论研究、应用研究和实验成果，其主要栏目有：应用数学，泛函分析，算子理论，数理统计学，高能核物理，理论物理，材料化学，分析化学，生物多样性，生物学基础理论研究，山西地方区域性地理研究，可持续发展研究等。现本刊发行国内外，主要读者对象为：高等学校理工科教师、科研人员、研究生及各自然科学类科技工作者。?据不完全统计数学物理栏目被国家一级检索期刊《中国数学文摘》、《中国物理文摘》摘录率高达 90% 以上；生物学栏目所开辟的“运城盐湖卤虫研究”专栏独具特色，受到国内外学者的高度重视；以山西地方区域研究为特征的地理学栏目，对山西地方经济发展起了较大的作用。?自被批准为正式学报以来，随着期刊影响的不断增大和我们工作的努力，《山西师范大学学报》 ( 自然科学版 ) 已成为：《中国期刊网》全文入网期刊，《中国学术期刊（光盘版）》全文收录期刊，《中国学术期刊综合评价数据库来源期刊》，《万方数据 - 数字化期刊群》全文收录期刊，《中国核心期刊（遴选）数据库》收录期刊，《中文科技期刊数据库》（全文版）收录期刊，《中国数学文摘》、《中国物理文摘》、《中国物理学文摘》、《中国生物学文摘》及数据库收录期刊，中国《 CAJ-CD 规范》执行优秀期刊。 2003 年被中共山西省委宣传部、山西省新闻出版局、山西省科技厅联合组织的山西省期刊等级评比活动评为山西省一级期刊。 哲学研究经济研究法律研究文艺学研究古代文学研究学术争鸣三晋文化研究历史研究教育研究传播学研究语言文学研究
《山西师范大学学报》 (自然科学版 ) 创刊于 1986 年，原刊名为《山西师大学报》, 1999 年经新闻出版署批准，国科发财字[ 1999 ] 342 号文件批复，《山西师大学报》 ( 自然科学版 ) 转为正式学报，刊名改为现刊名《山西师范大学学报》 ( 自然科学版 )。
《山西师范大学学报》 ( 自然科学版 ) 由山西师范大学主办，山西省教育厅主管。自 1986 年创刊以来，始终将提高刊物质量放在编辑工作的首要地位，经过多年的编辑工作的磨练，已形成了一支具有扎实的专业基础知识的编辑队伍，积累了丰富的办刊经验，培养了一大批具有较高科研水平的科研人员与作者队伍，同时本刊所发表的许多科研成果，也在国内外学术界获得了广泛的影响。
不是核心 是省刊 现在是季刊，不是双月刊。
山西师范大学学报 包括 自然科学版 和 社会科学版 。但 名称不同。自然科学版 名字是《山西师范大学学报》 ；社会科学版 名字是《山西师大学报》；《山西师范大学学报》 ( 自然科学版 ) 是 普通期刊，非核心期刊；《山西师大学报》（社科版）是 人文社会科学类核心期刊 。