冯·莱特的道义逻辑起源观

现代道义逻辑开创者冯·莱特在道义逻辑起源问题上形成了自己独特的观点。他认为,道义逻辑是模态逻辑的一个分支,基本的道义概念可被认为类似于基本的模态概念。为了更深刻地研究道义逻辑与模态逻辑间的联系,还提出了条件逻辑理论,从而使得对遵义逻辑起源的研究呈现出多样性。     

谈谈逻辑与科学哲学联合研究的氛围——以潘沁《冯·诺伊曼计算机科学哲学思想研究》为例

冯·诺伊曼是计算机科学的主要奠基者之一,他的论著蕴藏着极为丰富的科学哲学思想。潘沁的博士学位论文《冯。诺伊曼计算机科学哲学思想研究》认为,冯·诺伊曼的科学哲学思想主要有二,一是以“毕这哥拉斯主义思想”为导向,构想自动机的理论模型,并且与后世的“计算主义思想”接轨;二是贯彻亚里士多德“程序目的性”和维纳控制论的“现代目的论”思想于逻辑机器之中。营造与科学哲学联合研究的氛围,对计算机科学研究非常有利。     

冯·赖特归纳逻辑理论探赜

冯·赖特运用条件分析法对契合法、差异法、契合差异并用法做了全新的阐释和处理,但在国内尚未见到有人对其作深入系统的介绍和评价。为了改变国内的这种研究现状,我们将评介和阐释冯·赖特的条件分析法归纳其逻辑理论,目的在于发掘其科学知识的创新意义。     

行为的逻辑分析——冯·赖特的行为逻辑思想

冯·赖特是现代西方第一位对“行为”进行较为系统的逻辑研究的逻辑学家。他的行为逻辑思想主要包括：通过对行为的理由的分析来解释人的行为；通过对行为语句的逻辑分析来建构行为逻辑系统。本文对冯·赖特的行为逻辑思想进行了介绍与评论。     

在分析传统和诠释学传统之间─—冯·赖特的学术贡献

冯·赖特的学术研究范围十分宽广，具体涉及归纳逻辑、哲学逻辑、伦理学和行动理论、心智哲学、文化哲学和维特根斯坦研究等众多领域，并且大都卓有建树。其学术研究的特点是融通分析哲学和欧洲大陆哲学，是当今世界上处于分析传统和诠释学传统之间的杰出哲学家。     

计算机之父——冯·诺依曼

冯·诺伊曼,著名美籍匈牙利数学家,1903年12月3日生于匈牙利布达佩斯的-一个犹太人家庭． 冯·诺依曼的父亲麦克斯年轻有为、风度翩翩,凭着勤奋、机智和善于经营,年轻时就已跻身于布达佩斯的银行家行列．冯·诺依曼的母亲是一位善良的妇女,贤慧温顺,受过良好的教育．     

基于逻辑语言的计算机软件开发

计算机的技术发展与应用主要依托于计算机的软件开发。通过对实际需求的需求分析,从而进行软件的功能开发,实现对某一领域的技术结合、软件开发技术中,计算机的逻辑语言是其基础。因此,了解计算机逻辑语言的功能与属性在一定程度上会实现软件开发的快捷性。论文通过探究计算机逻辑语言,从而探讨软件开发技术。     

计算机发展简史

当今世界,科学技术日新月异,特别是信息技术的迅猛发展极大地改变了我们的生活,这其中以计算机技术的发展所带来的影响最为明显。从第一台计算机ENIAC的诞生到现在已有60多个春秋,这在人类文明的历史长河中只是短暂的一瞬间,然而计算机却极大地改变了我们的生产和生活,并将继续深刻地影响人类社会的发展。本文回顾计算机发展的历史,追溯它的起源,并浅显地探讨其发展趋势。     

《冯谖客孟尝君》的哲学戏剧

在文本的内在逻辑中,冯谖首先是作为哲人找到了孟尝君。冯谖客孟尝君的初衷是为了对孟尝君实行君王式教育。冯谖的教育是一种哲学戏剧,哲学成为行动申的言辞或言辞中的行动,在故事情节中演出。通过文中人物的行动,我们可以领会到一种哲学：即教育哲学。     

计算机发展简史

当今世界．科学技术日新月异,特别是信息技术的迅猛发展极大地改变了我们的生活．这其中以计算机技术的发展所带来的影响最为明显。从第一台计算机ENIAC的诞生到现在已有60多个春秋．这在人类文明的历史长河中只是短暂的一瞬间．然而计算机却极大地改变了我们的生产和生活．并将继续深刻地影响人类社会的发展．本文回顾计算机发展的历史．追溯它的起源．并浅显地探讨其发展趋势．     

从冯·莱特的两个问题谈起——评刘奋荣的《动态偏好逻辑》

刘奋荣的《动态偏好逻辑》虽然也以冯·莱特的《偏好逻辑》为逻辑起点,然而却表现出了自己的独特优势：在方法论上采用了最新的动态认知逻辑的研究方法;在模态的偏好逻辑的基础上给出了偏好逻辑的动态形式——动态偏好逻辑;利用优先序列对偏好的原因进行了刻画;对偏好和信念的关系进行了系统的探讨;等等。     

计算机编程实现逻辑函数的化简

本文从介绍 Q—M 化简法入手,对如何用计算机编程实现逻辑函数的化简进行了探讨。     

计算机专业数字逻辑实验的改革与创新

数字逻辑是电子工程、自动化及计算机专业学生的专业必修课程。数字逻辑实验与课程相配套,除了要求学生掌握数字逻辑电路设计的基本技术外,还要了解当今先进的计算机辅助设计技术。对计算机专业的学生来说,理解计算机部件的设计及电路实现尤为重要。针对计算机专业数字逻辑及实验课程内容多年未更新,不适合当今技术发展的需求,复旦大学计算机科学技术学院对计算机专业的数字逻辑课程体系的方案进行重新设计,对实验内容进行了更新,使之适合计算机专业的教学要求。并设计了基于大规模FPGA及EDA软件的新型数字逻辑与部件设计及计算机体系结构一体化实验仪,以适应计算机学科发展的要求。     

TEC-5数字逻辑与计算机组成的实验系统

该文首先介绍了专利产品TEC-5实验系统的特点、配套教材与体系结构，然后总结了实践教学的经验。     

试验逻辑及其对传统逻辑的批评和否定

在整个20世纪,传统逻辑学命运乖舛.试验逻辑学派在其间扮演了一个极其重要的角色.试验逻辑学是由杜威创立,通过其本人和其学生胡适的不懈努力传入中国,在二三十年代的中国产生了不小的影响.试验逻辑对传统逻辑进行了批评和否定,但它本身并不是纯粹的逻辑学.国人在二三十年代对试验逻辑的推崇以及时传统逻辑的排斥是有一定原因的.     

论鲁胜《墨辩注·叙》的逻辑思想

鲁胜是中国古代逻辑史研究的第一人,作为乱世遗珠的《墨辩注·叙》,虽不足三百字,但包涵了丰富的内容,鲁胜提出诸多创造性的见解。第一,鲁胜首次总结先秦名辩的历史,分野先秦名辩源流及流派沿袭;第二,鲁胜首次概括先秦名辨的内容与目的;第三,鲁胜首次归纳了名辩研究的方法等。但《墨辩注·叙》同样存在认识上的不足和时代局限,通过对叙的内容及其不足的分析,进而管窥鲁胜的逻辑思想及其派别。