一阶命题演算的希尔伯特型直觉主义系统

简要介绍了一阶命题演算的希尔伯特型直觉主义系统,运用逻辑演绎的方法证明了此系统的一些定理,其目的在于加深对直觉主义系统中概念的理解,便于对此系统的进一步研究及应用.     

析布劳维尔的直觉主义

阐述了直觉主义者的主要观点,认为海丁演算系统的提出是直觉主义逻辑最重要的发展,并对海丁演算系统的特点作了介绍和评价。同时介绍了直觉主义的消极作用和积极作用。     

直觉主席数学哲学研究及其对数学素质教育的启示

分析了直觉主义数学生的历史背景，阐述了直觉主义的基本哲学的立场，对待经典数学的态度和基本的逻辑观点；探讨了直觉主义对数学素质教育的几点启示。     

直觉主义数学哲学研究及其对数学素质教育的启示

分析了直觉主义数学哲学产生的历史背景，阐述了直觉主义的基本哲学立场、对待经典数学的态度和基本的逻辑观点；探讨了直觉主义对数学素质教育的几点启示．     

关于数学基础诸流派的研究与评论(Ⅱ)

本文主要讨论直觉主义派的数学观、无穷观、逻辑规则和构造性数学,同时还概述了人们对直觉主义派的一般评论。     

欧阳修的雅量

"书有未曾经我读,事无不可对人言",这是欧阳修的名言。说世上有些书自己肯定还没读过,在图书出版欠发达的时代,对于自小聪明过     

关于数学基石出诸流派的研究与评论(Ⅱ)

本文主要讨论直觉主义派的数学观、无穷观、逻辑规则和构造性数学,同时还概述了人们对直觉主义派的一般评论。     

试论经典逻辑与直觉主义逻辑系统的排中律

在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻辑系统内,作为逻辑“三律”（同一律、矛盾律、排中律）之一的排中律,是经典逻辑系统中的内定理,被认为具有普遍有效性。而在非经典逻辑系统,如直觉主义逻辑系统中,排中律则被认为是系统内不可证的,因而不是普遍有效的。     

一类格值集合模型

D.scott建立了集合论的布尔值模型∨~((B)),并且指出人们还可以建立格值集合域∨~((G)),他猜想这样的域∨~((G))可能是直觉主义集合论的模型。本文选取一类特定的格G,并在G上引进一些逻辑词项,形成强蕴涵词的弗晰逻辑,并由之建立格值集合域∨~((G));然后证明这样的域∨~((G))不是直觉主义逻辑的集合论模型,亦即它不满足直觉主义逻辑所要求的某些公理,而满足直觉主义逻辑所拒绝的另外一些公理,进而证明∨~((G))形成了弱谓词逻辑W_2L上的Zermelo集合论的一类模型。     

图拉真与小普林尼关於基督教問題的通信

Ⅹ.96.小普林尼致图拉真皇帝陛下:将我全部的疑点向您请示,这是我坚定不移地遵循的一条规则;因为有谁比您更能指引我解决疑团或教给我为我所不明白的事呢?由于从来未曾出席过对基督徒的任何审判,我对于那些在审问中或是在惩办他们时所要遵循的方法和限度是陌生的。究竟是因年龄不同而加以某种区分,抑或是让最年轻的人与成年人之间没有区别;究竟是因其悔改而给与宽恕,抑或是如果一个人曾一度做过基督徒则反悔对于他也没有什么好处;     

直觉主义的数学观与计算机科学

剖析了直觉主义学派的数学观、无穷观和逻辑观 ,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点 ,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。     

新疆十字花科二新纪录种——单花荠、紫花糖芥

笔者在整理和鉴定采自阿尔金山国家级自然保护区的植物标本时发现,该地区产的十字花科一新疆新纪录属和二新纪录种,即单花荠属Pegaeophyton Hayek et Hand.-Mazz.及单花荠Pegaeophyton scapiflorum(Hook.f.et Thoms.)Marq.et Shaw var.seapiflorum和糖芥属Erysimum的紫花糖芥Erysimum chamaephyton Maxim.单花荠属和单花荠为新疆迄今未曾记录过的新属、种;紫花糖芥为新疆迄今未曾记录过的新种,现予以报道。     

潇洒美

潇洒作为一种美学形态,迄今未曾被探讨过.研究了潇洒一词的起源、潇洒美的美学特征、本质、表现形态及其魅力根源.     

基于生命直觉主义视角的《与生俱来的烦恼》文学探析

《与生俱来的烦恼》是日本白桦派作家有岛武郎的代表作。小说主人公木本在偏远小镇靠打鱼勉强维持生计,却始终没有放弃对艺术的热爱,十多年来一直彷徨犹豫在艺术与生活、理想与现实之间的矛盾和苦恼之中。生命直觉主义对有岛武郎文学创作有着积极影响,从直觉—绵延—同情的核心框架和审美观照两方面可以诠释《与生俱来的烦恼》中生命直觉主义特征。有岛武郎文学具有独特的魅力,即他的文学是富于深刻社会批判意识,带有社会主义倾向的生命直觉主义文学。     

清雪的意义——读《空楼》随记

去年秋天,在绥芬河,我和清雪有幸一道被写小说的嘉男女士邀到家中作客‘当被主, 酒肉何侯完毕闲聊时,我曾对清雪说到北京的年轻小说家陈染。清雪的临场反应使我猜出他 对这个陈染未曾注意过.如今,我在读过清雪送我的小说集《空楼》之后,不知为什么却又一想到了这个陈染。_陈染的老小镇上的一段传说》和《乱流镇的那一年》,特别是《荒凉的秋夭与冬天》①,在 我看来,是两篇极具审美个性因此也极具审美价值的优秀之作。评论家李力对这些作品给于 过很高的评价,并且因此把陈染誉为“当代中国文坛上相当鲜见的‘一个奇特的童话家,”。然 而里同时…     

数学与逻辑的关系及其发展过程中的相互作用

关于数学与逻辑的关系存在着逻辑主义和直觉主义2种观点,逻辑主义学派认为数学可以化归于逻辑,直觉主义学派认为逻辑可化归于数学。利用现代认识论的思想,论述了数学与逻辑之间的同一性、互补性和差异性,并对它们在发展过程中的相互作用进行了比较全面而深刻的揭示。     

命题演算的两个直觉主义系统

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系     

“荒漠的开垦者”——地衣

江南的仲夏是蝉的节日,欢快的鸣叫却未带给人们更多的快乐。2005年的江南显得格外闷热,于是我选择这个季节去了凉爽的东北。这次旅行一来是为了那对我们地质工作者来说充满了神奇的五大连池活火山;二来是为了我从未涉足过的黑土地;第三也可以就此逃避蝉的喧闹。然而未曾想到是,     

柏格森的直觉主义及其对现代派艺术的影响

柏格森的直觉主义及其对现代派艺术的影响边平恕柏格森（１８５９—１９４１）是二十世纪上半期法国资产阶级哲学家中影响最大的人物之一。他宣扬的直觉主义是现代派艺术的主要理论支柱之一。在柏格森的哲学和现代派艺术的精神之间有着完全的一致性，柏格森所讲的意识的绵...     

卡夫卡直觉主义创作意识及渊源

卡夫卡是现代派小说的奠基人.由于家庭、性格及社会的因素,以及受西方非理性主义思潮的推动和影响,形成了卡夫卡独树一帜的直觉主义创作意识.追寻、焦虑、困境和抗争成为卡夫卡的恒久创作主题.