第3届逻辑、理性与互动国际研讨会综述

逻辑、理性与互动国际研讨会（The International Workshop on Logic,Rationalityand Interaction,LORI）旨在集合逻辑学家和他们在哲学、语言学、计算机科学、认知科学,尤其是知识互动话题方面,如信念和行动等领域的工作。LORI-3于2011年10月10日到13日,在中国广州举办。主办方是中山大学逻辑与认知研究所。下面是一份LORI-3的简要的会议综述,根据内容进行了分类。完整的会议论文集收录在了Logic,Rationality,and Interaction,LNAI 6953号,     

内涵逻辑发展的新趋势——应用逻辑系列《内涵逻辑的进展》一书简介

从哲学和数学的传统主题到认知科学、计算机科学、人工智能和语言学等更加新近的学科,当代逻辑科学正日益广泛地应用于众多的学科之中,这一结果的产生使逻辑这门古老的学科充满了生机和活力。1997年荷兰克鲁尔出版公司出版的《应用逻辑系列丛书》,便是对上述观点的一个极好的佐证。     

现代模态逻辑探源

现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成。它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础。在历史研究中,模态逻辑还有三大传统(句法传统、代数传统和模型论传统)、[1]三大阶段(句法阶段、经典阶段和现代阶段)[2]的说法。模态逻辑发展到现在,     

机器、思维与信息的哲学考察与莱布尼茨的二进制级数和现代计算机科学的关系

本文的目的在于给出一个简单的论证,机器本身没有智能,但人有智能,所以机器有助于人类的思维,但是我们应该对"什么是信息"这个问题持非常谨慎的态度,因此不仅需要在科学上而且也需要在哲学上需要进一步进行论证,这就是哲学家不可或缺以及国际哲学界何以在新世纪伊始将信息哲学称为第一哲学的理据。与此同时,我们还介绍了莱布尼茨为什么被控制论事后追认先驱的典型并从真理再发现的角度将中国《易经》中的那段"筮法"按照数理逻辑的能行可计算理论而不是按先前数论中的同余式进行了重新解释。最后,从科学史的方面将莱布尼茨的二进算数或二进制级数作了一些比较详细的考察,认为它与现代的计算机科学根本没有任何关联。     

计算机科学哲学研究进展

计算机科学是一门年轻的学科,它的诞生可以追溯到20世纪40年代.1945年第一台电子数字计算机ENIAC的出现和存储程序模型的诞生引起人们了对自动计算广泛的学术兴趣.     

计算机科学是研究什么的？

从一定意义上说 ,计算机和网络的广泛应用 ,已使人类社会悄悄进入信息时代。作为时代精神之精华 ,哲学理应对信息时代做出自己的理论回应。事实上 ,这种回应自计算机诞生之日起就已开始 ,因为与计算机科学有关的算法复杂性理论、数值模拟、虚拟现实、人工智能、生物芯片、互联网智能等均提出了众多深刻的哲学问题 ,至 2 0世纪 80年代末在西方业已形成一个基本的哲学理论创新领域 ,一种新的哲学范式。不论如何称谓这种新的哲学范式 ,它都是值得有哲学头脑的科学家和有科学素养的哲学家共同关注的一种新的哲学主题、方法和模式 ,并可望成为信息时代最令人激动和富有成果的哲学研究分支。正如《数字凤凰》一书的作者所隐喻的那样 :哲学的确像一只凤凰 ,它只有通过不断对自身的再造才能保持繁荣和永生。     

计算与因果——第三届“清华-匹大科学哲学暑期学院”综述

2010年8月16-20日,清华大学与美国匹兹堡大学联合主办的第三届清华-匹大科学哲学暑期学院在清华大学举办。本届暑期学院邀请了克拉克·格利莫尔(Clark Glymour)教授做计算与因果系列讲座。格利莫尔长期在计算机科学名列前茅的卡内基梅隆大学任教,现为校级教授;同时担     

什么是信息哲学？

一、引言哲学中关于计算机与信息的理论研究已经结出累累硕果,影响也日益广泛。它一方面使传统的哲学问题获得新生,另一方面又提出许多新的问题,一方面对我们世界观的重新概念化做出了贡献。另一方面又生成许多有意义和重要的成果。     

人类基因组计划中的计算机科学

叙述了人类基因组计划（HGP）实施过程中计算机科学向基因组学领域的不断渗透及面临的挑战。基因组数据库及网络系统的构建与完善为基因组信息的交流提供了基础,一系列计算机软件的开发和改进简化了HGP这一繁重的劳动。在HGP的推动下,世界各大信息技术公司也加盟到基因组研究中,使生物学中融入了更多的计算机专业技能,有利于引进新的思维模式,开拓新的研究方法。但目前在基因组信息的交流与分析方面,标准化和精确性仍显不足,信息的处理能力也受到计算机存储量和运算速度的制约,这些问题将随着计算机科学的不断发展而逐渐解决。     

哲学中的生物技术科学：哲学中的性别研究所面临的挑战与前景

白20世纪60年代以来,生物技术科学一直是哲学反思的中心议题。随着分子生物学、遗传学、计算机科学、人工智能研究以及基因与繁殖技术的发展,这些技术科学的各个不同方面开始进入哲学讨论的范围。这些讨论当今还在进行着,特别是在生物伦理学领域。