台湾企业育成中心的发展

台湾工业发展的第一个模式就是设立加工出口区,引进国外生产技术,创造就业机会,赚取外汇.第二个模式是建立工业区,自己开发生产线、制造技术,替代进口.第三个模式,设立科学工业园区,重视技术的研究发展,提高附加值,扶植高科技产业.目前正在进行第四个模式,推动创业育成中心,落实本土技术的发展和扎根,实现科技岛之远景.本文将探讨推动创业育成中心所面临的挑战,包括学校与政府政策上的考虑.     

逻辑学语境下的科学实用主义

作为实用主义的鼻祖,皮尔士首先和主要是一位逻辑学家.他的实用主义从根本上讲是一种逻辑学说,要求从逻辑学理论上对其进行解读.审视科学实用主义同逻辑学的内在的、历史的联系及其形而上的蕴含,可以更清晰地认识实用主义理论的本真意义.     

心理逻辑经典实验的认知思考——认知科学背景下逻辑学与心理学的融合发展

19世纪末弗雷格创立的现代逻辑主张排除逻辑学中的一切心理因素,这一观点使得逻辑学与心理学渐行渐远。直到1975年认知科学产生之后,逻辑学和心理学才实现了真正意义上的融合发展,产生了心理逻辑(学)这一新的学科。众多逻辑学家和心理学家进行了大量心理逻辑实验来证明这一观点:人们在进行逻辑推理时要受到心理因素的影响。本文介绍了马库斯和里普斯在1979年所作的心理逻辑的经典实验,并对实验结果进行了认知层面的思考,在此基础上得出结论:认知(思维)的过程是逻辑和心理共同作用的过程,在认知科学蓬勃发展的背景下,逻辑学和心理学必将融合发展。     

论19世纪的逻辑学——在数学与哲学之间

19世纪的逻辑学处于数学与哲学之间:一方面,数学家在对传统逻辑的改革过程中形成了逻辑代数和数理逻辑;另一方面,哲学探讨热衷于逻辑学的性质、地位、基础等问题,由此形成了心理主义和反心理主义之争。这种状况从各个方面影响了20世纪的逻辑学、心理学和哲学的发展。     

哲学和数学影响下的逻辑学转向

现代逻辑学兴起于英国和德国,其核心特征是具有了数学和符号的形式,人们一般忽视了数学与哲学的联系。梳理英、德两国在逻辑学转向时期的文献,两国学者对于逻辑学变革的初衷并不相同,以布尔代数为特色的符号逻辑看似属于数学领域,实则有其深刻的哲学根源。符号逻辑的发展体现了哲学和数学双方面的影响。     

目前我国逻辑学研究的几个误区

目前我国逻辑学研究存在几个重大的误区,即在逻辑学研究的几个很基本的问题上产生重大的误解。讨论和澄清这些误解有利于我国逻辑学的健康发展,所以我在此抛砖引玉,以期引起讨论。...     

逻辑学的革命:从形式逻辑到价值逻辑

形式逻辑处理的对象主要是超主体的、客观的事实问题,是一种无主体逻辑、必然性逻辑、静态化逻辑、程式化逻辑。由于事实与价值存在深刻的异质性,因而不可能简单地照搬、套用形式逻辑处理主体性、相对性的价值问题。由于逻辑是对人的生活实践的提炼与总结,生活实践中关于事实和价值问题的思考,对于各种事实和价值问题的解决,都可以并且应该上升、提炼、总结为逻辑的格、式与规律、规则,从而实现逻辑学的发展和飞跃。立足人们的价值生活实践,处理价值现象、反映价值思维的价值逻辑应具有如下基本特性:实践性、主体性、具体性、生成性。     

关于世界4的悖论——一个逻辑学视角

关于世界的划分,有本体论层面,也有逻辑学层面,还有这两个层面的纠缠。纠缠形成悖论,无论是波普尔的世界3理论,还是此前的一元论、二元论,以及后来诸多形态的世界4理论,都为这种悖论所纠缠。世界的划分者主要留意的是对于世界的本体论划分,然而划分却有很深的逻辑学内涵。从世界4的话题出发,关注划分的逻辑学层面,以及本体论和逻辑学层面的微妙关系,正视、接纳和解放悖论,是本文的主旨。     

多值逻辑的思想渊源和产生历程

现在的多值逻辑已成为内容丰富的逻辑学分支,在计算机和人工智能中有着广泛的应用,这种发展与其早期的思想有着一定的联系.从亚里士多德开始逻辑学家们就提出了各种不同的多值逻辑思想,本文将对多值逻辑早期思想的提出和后来的发展历程给以回顾.     

哲学逻辑与逻辑哲学

本文对哲学逻辑与逻辑哲学这两门新兴学科进行了较为详细的介绍与讨论，作者认为：（1）尽管“哲学逻辑”在英美哲学界与逻辑界具有不同的涵义，但我们宜在比较规范和合乎词义习惯的意义上使用“哲学逻辑”一词-用“哲学逻辑”指称不同于经典逻辑或标准逻辑的诸现代逻辑分支。（2）关于逻辑哲学，可以定义为研究逻辑特别是现代逻辑及其发展中的哲学问题的学科，这是一门介于元逻辑与语言哲学之间的学科。     

我国有机化学基础研究工作的现状和今后发展的战略——有机化学学术与战略研讨会简述

国家自然科学基金委员会化学学部最近组织召开了“有机化学学术与战略研讨会”,共有近百位从事有机化学基础研究的科研工作者,包括朱道本、程津培、戴立信、陆熙炎、黄志镗、张礼和、佟振合、林国强、吴养洁、吴云东、麻生明等11位院士出席了会议,其中戴立信、程津培、张礼和、     

“介尺度”的起源及其发展现状

“介尺度”体系的研究作为科技前沿已经深入科学研究的各方面。通过介绍介尺度的含义、起源及其产生背景,并结合中国发明专利,阐述介尺度研究的方法及其发展现状。     

概念分析的奠基与发展

本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展。文章首先回顾了《概念文字》出现的历史背景和理论背景,探讨其形式化和公理化研究方法对逻辑研究的历史贡献。接着,我们重点关注经典一阶逻辑所采用的实质蕴涵概念的意义,表明这样的蕴涵概念如何导致实质蕴涵悖论。接着,文章考察了模态逻辑如何在解决实质蕴涵的悖论中产生,后来如何为哲学概念的分析提供有力的工具和技术。     

动态认知逻辑研究述评

动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域.20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J.van Benthem首先提出用动态模态逻辑为信息变化提供模型,建议用动态算子来刻画事实的变化,从而宣告动态认知逻辑的产生.到目前,动态认知逻辑得到了快速发展,人们不仅深入地讨论了公共宣告、半公开宣告和秘密告知等行为,而且还研究了行为过程中的信息更新、信念修正,进一步为它们提供了结构模型与形式表达,建立了一系列的形式系统.     

动态认知逻辑:变化中的认知推理

动态认知逻辑是近年兴起的非经典逻辑,是一个相对比较新的研究领域.它是逻辑、认知以及信息相交汇的产物,旨在分析知识与信息的变化,为逻辑推理中的信息动态认知提供形式语言表达、结构模型以及一套形式化的处理办法.动态认知逻辑对于语言构造的分析、人的动态化认知过程、人工智能以及计算机的信息处理具有重要意义.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

中国薄膜太阳电池技术发展现状与趋势

薄膜太阳电池是太阳电池未来发展的重要方向之一。随着新型高效低成本薄膜太阳电池制造技术的不断涌现和完善,国内研究机构与产业界正在密切合作,积极开展薄膜太阳电池的中试、产业化制造工艺技术和关键装备研制、     

本体论与逻辑

本体论就是就是关于“存在”的科学,它研究何物存在以及以什么方式存在等问题,在本体论的争论中,以传统的唯名论与实在论之分为基础,莱涅夫斯基进一步将其分为具体主义、单范畴的柏拉图主义与多范畴的柏拉图主义三种类型。传统逻辑与现代逻辑由于其各自不同的特点,它们与本体论的联系是不同的：如果说,传统逻辑与事实本体论在内容上时有混杂、联系密切的话,现代逻辑则通过形式化方法,远离了事实本体论。