现代逻辑

摘要： 逻辑是工具性的论证科学,也是哲学的基础与根基。西方哲学从古至今的发展始终有传统逻辑与现代逻辑作为不同形态哲学的论证工具;因明作为印度“五明”知识体系的组成部分,也是内明的论证工具。中国传统哲学从先秦一直持续发展到清末,在不同历史阶段呈现出不同的思想形态,因此,与中国传统哲学演进相伴,其背后必然有论证与支撑中国哲学的中国逻辑。逻辑作为哲学与知识体系的基础逻辑是知识体系的重要组成部分,也是哲学知识体系的基础,起着根基作用。

摘要： 自然主义认识论是奎因对于传统认识论问题给出的解答,也是奎因哲学体系中一个重要的组成部分。奎因认为在处理人类认知问题上,不能期望拥有超越人类现有认知能力之上的一劳永逸的答案。自然主义认识论正是在现代哲学语言转向的大背景下,从语言层面上尝试解决传统认识论问题。从观察句出发到科学理论的建立,奎因把认识问题视为一个人类通过语言不断习得的过程,而人类的知识体系就是一个由语言交织起来的巨大网络。奎因对于认识论问题的解答激发了现代哲人对于传统哲学问题的持续思索。这种思索让人们对于语言、心灵、世界等概念及彼此之间的关系有了更为深刻的认识。

摘要： 文章论述了如何以现代逻辑的概念或方法,以及论证理论的要素来更好地理解中国古代伟大思想家的逻辑贡献。第一、二节提出拓展逻辑的通常理解,使之包括一些论证理论的要素,以期构建一个“西方逻辑”与“中国逻辑”均能满足的开放空间,并用先秦逻辑一些重要思想的详细分析作出说明例证。三到五节从传统意义上的逻辑作分析:后期墨家及其逻辑基本规律、关于定义的理论和应用、名的分类、量词互相定义和侔式推理的现代解释。第六节分析了句子的排比句现象,揭示表明其隐藏的论证理论的一些形式化要素,如泛化关联论证,它包含一些未言明但完全有效的论证。第七节详细分析了《孟子》的类比推理,并提出评价论证强度的形式化方法。

摘要： 汪奠基是中国现代逻辑和中国逻辑思想史研究的开拓者.在逻辑学领域,他对于西方逻辑史和中国逻辑史、传统形式逻辑和现代逻辑等都有着相关研究.《中国逻辑思想史》这本研究中国逻辑思想通史的著作,是当时中国第一部非常有影响力同时也是可以让后人借鉴学习的著作.另外,《逻辑与数学逻辑论》等著作,也让汪奠基成为最早向国内介绍数理逻辑的学者之一,对数理逻辑在中国的传播作出了贡献,同时也让人们受益匪浅,使学者对汪奠基及其著作进行研究,推动着中国逻辑学的发展进程.

摘要： 汪奠基是中国现代逻辑和中国逻辑思想史研究的开拓者。在逻辑学领域,他对于西方逻辑史和中国逻辑史、传统形式逻辑和现代逻辑等都有着相关研究。《中国逻辑思想史》这本研究中国逻辑思想通史的著作,是当时中国第一部非常有影响力同时也是可以让后人借鉴学习的著作。另外,《逻辑与数学逻辑论》等著作,也让汪奠基成为最早向国内介绍数理逻辑的学者之一,对数理逻辑在中国的传播作出了贡献,同时也让人们受益匪浅,使学者对汪奠基及其著作进行研究,推动着中国逻辑学的发展进程。

摘要： 英美分析哲学的主要学术训练方式,是建立在对于肇始于弗雷格的现代逻辑(一阶谓词逻辑与命题逻辑)的尊重之上的.因此,分析哲学所说的“分析”,大约就可以等于“运用现代逻辑的工具进行分析”.但这样的学术训练,显然是没有办法应对于当下基于深度学习的人工智能发展现状的.另外,即使对于基于符号表征与明述规则的传统人工智能而言,主流分析哲学的训练所能够提供的思想支持也未必始终是积极的.毋宁说,基于现代逻辑的主流分析哲学的“理想化”讨论方式往往会忽略智能系统的运作效率问题,而这一点又会倒逼着天然具有工程学面相的人工智能研究通过某些“特设化”的修正(如珀拉克的“奥斯卡规划”所给出的那种修正)来部分弥补相关的缺憾.然而,这种零敲碎打的修补方式显然是很难达到真正的普遍性的,遑论为具有多重用途的通用人工智能设备的设计铺展可行的路线图.

摘要： 在金岳霖的《逻辑》一书刚刚面世时,牟宗三就发表了《略评金著〈逻辑〉》等一系列相关文章,主要在传统逻辑直言命题主词所涉存在、逻辑对象与工具、二分法与思想律等方面提出了与《逻辑》中所阐释观点不同的看法.通过深入分析可以发现,在这些具体的批评背后,是牟宗三在逻辑哲学上一种自觉的超越性追求.在早期的逻辑研究过程中,牟宗三就试图超越金岳霖基于逻辑系统的元逻辑层面的研究,进行"即用显体"式的超越性追问,以逻辑为理则,将逻辑的普遍公共性建立在纯粹理性的先验必然性基础上.这种追问方式既是牟宗三逻辑研究的基本进路,也是其哲学思考的一个重要特征.

摘要： 受到霍姆斯的反逻辑论题的深刻影响,法律界普遍存在着严重轻视和排斥逻辑的错误倾向。霍布斯提出该论题的动机在于反对法律形式主义,他误将传统的三段论在处理法律问题上的不足当作逻辑(演绎)的缺陷,而忽略了逻辑本身的发展和进步。20世纪以来的现代逻辑技术可以充分地展示逻辑作为法律的内在结构对于建构法律体系、阐明法律概念以及构造与评价司法论证的必要性。

摘要： 逻辑教科书的内容设置关系到对逻辑本质的理解。《国内逻辑教科书的建设理念和历程——纪念金岳霖先生诞辰125周年》一文通过回顾国内逻辑教科书的编写历程,概述逻辑教科书以现代逻辑为主要内容的特点,并参照国际逻辑教育的趋势讨论了提升国内逻辑教育水平的话题。荀子逻辑思想对中国逻辑史的发展起到了重要的促进作用。《普通形式逻辑范式下荀子逻辑思想的研究及启示——以胡适、汪奠基、温公颐为例》一文从胡适对荀子逻辑思想的探索、汪奠基对荀子逻辑思想的补充拓展、温公颐对荀子逻辑思想的丰富完善3个方面对普通形式逻辑范式下荀子的逻辑思想进行了研究。

摘要： Theeducationalconceptanalysisisacommonmethodineducationalresearch.Itisalsothe coreresearchmethodofanalyticalphilosophyofeducation.Theuseofeducationalconceptanalysislacks justification.Analyticalphilosophyisthemethodologicalfoundationofconceptanalysis;linguisticanalysis correctsthesubjectivism ofspeculativepsychology,andtheprincipleofcontextprovidesfeasibilityfor conceptualanalysis.Theeducationalconceptanalysisistoclarifytheeducationalrelationsbehindthere-latedconceptsbyidentifyingthesimilaritiesanddifferencesofrelevantconcepts;itisnottofindtheuni-versaldefinitionssuitableforallsituations.Thisisthefundamentaldifferencebetweenitandnouninter-pretationoroperationaldefinitions.Thevaluestandardofeducationalconceptanalysisvariesdependingon thesocialcontext.Itrelatestoeducationactivitiesbyupdatingeducationalconcepts.Itdoesnotdrawcon-clusionsorrecommendationsdirectly.Onlywhenweexpandfromlogicstudiestopragmaticscaneduca-tionalconceptanalysishavemoreexplanatorypowerandvitality.%概念分析是教育研究中常用的研究方法,也是分析教育哲学最为核心的研究方法.教育概念分析在使用中缺少正当性的证明.分析哲学是教育概念分析的方法论基础,语言分析纠正了思辨心理学的主观化倾向,语境原则为概念分析提供了可行性.教育概念分析不是去寻找适合所有情境的普遍性定义,而是通过差异性和相似性比较相关概念背后的教育关系,由此区别于名词解释或操作性定义的界定.教育概念分析的价值标准依社会情境而定,并通过更新教育观念来关涉教育活动,而非直接给出教育活动的结论或建议.只有从单纯的逻辑学研究拓展到语用学研究,教育概念分析才能拥有更强的解释力和生命力.

摘要： 现代逻辑的产生以一阶逻辑的创建为标志。它是由德国数学家弗雷格在1879年出版的《概念文字：一种模仿算数语言构造的纯思想的形式语言》一书中提出的。经过132年的发展，现代逻辑强有力的语言表达能力和推理刻画能力使它成为了众多学科不可或缺的理论分析工具。

摘要： 逻辑与理性之间存在着深层次的、内在的关联。在现代逻辑视域中，理性是精确的、普遍的，通常被视为一种单独的、先验的认知能力。究其实质，现代逻辑理性观突出的是对理性作合理性的理解，而这种理解在知识论上的根源正是自亚里士多德以来在西方哲学史上占据主导地位的关于知识的理论传统。

摘要： 达米特区分了演绎辩护问题的三个层次：一个演绎论证的句法有效性的辩护、一个演绎逻辑系统的正确性的辩护以及演绎推论是如何可能的辩护。第一层次的演绎辩护不存在问题。就第二层次的辩护而言，分子论语言观是演绎辩护的语言哲学前提，从基于分子论语言观的意义理论出发，借助于可靠性或完全性的语义学证明，可以构造一个演绎逻辑系统的正确性的辩护。第三层次的演绎辩护问题主要是演绎推论的有用性的辩护，它要求以承认真与真的认识之间存在某种程度的间隙的意义理论为基础，彻底的实在论的意义理论所允许的真与真的认识之间的间隙过大，难以说明语言理解和语言学习；而彻底的观念论意义理论所允许的这种间隙又过小。达米特力图提出一个类似直觉主义意义理论的理论来解决这一问题，就真与真的认识的间隙而言，它比彻底的实在论的意义理论小，而比彻底的观念论的意义理论大。达米特的演绎辩护思想揭示出意义理论对于现代逻辑的重要影响。

摘要： 本文介绍了"智能科学技术基础理论重大问题高层研讨会"制定的我国最近5-10年内需要特别关注的25个重点研究课题,并就其中的"智能科学的逻辑基础"课题谈了一些作者的认识和思考:首先肯定了逻辑是智能的基本科学问题;然后讨论了智能科学技术对逻辑学提出的需求,把这些需求归纳到一点就是实现数理逻辑的柔性化;最后简单介绍了我们提出的实现数理逻辑柔性化的泛逻辑学研究纲要、它的实施情况及国际泛逻辑学研究动态.希望能对我国的人工智能基础研究和现代逻辑研究有所启发和帮助.

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 本发明提供一种现代的逻辑键盘及其滑行输入方式，其特征在于元音字母位于字母键的中心位置，辅音字母根据字母表顺序和字母的使用频率，分组排列在元音字母周围。10个数字键设置在字母键之间交叉点的位置，以数字0为中心，数字1-9顺时针周围排列。该逻辑键盘是目前QWERTY传统键盘的四分之一大小，具有平整光滑的表面，当输入字母和数字时，相邻的多个字母可以一次性滑行输入，不仅省时省力，而且可以显著提高文字的输入速度。该逻辑键盘可应用于计算机、手机等键盘操作领域，特别适用于全键盘手机上，其每个按键是原有全键盘手机按键的2-4倍大小，是第三代个人电脑的重要组成部分。本发明对目前QWERTY传统键盘和打字方式提出了新的理念和设计，将为键盘输入的发展开创新的时代。

摘要： 本发明属于电子技术领域，具体为一种现代FPGA软件系统的层次化布局建模方法。本发明为一种针对现代FPGA硬件结构的布局软件建模方法。具体是将FPGA的结构根据逻辑单元的类型在逻辑上分为几个逻辑单元层，如可编程逻辑块层，可编程输入输出块层，块随机存储器层，总线层和全局时钟层等；然后在各个逻辑单元层上根据其特定的几何结构分别建模，并根据实际情况调整布局方案。本发明通过在各个逻辑单元层上分别布局，可以极大地提高FPGA布局软件在整个FPGA CAD流程中的运行效率及算法可扩展性。

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本发明公开了量子与逻辑门、逆量子与逻辑门及逻辑运算线路生成方法，其中，上述量子与逻辑门根据以下步骤进行量子比特的与逻辑运算：获取两个输入量子比特；基于上述输入量子比特，通过预设的量子操作获取第一输出量子比特和第二输出量子比特，其中，上述第二输出量子比特用于保存两个上述输入量子比特的与逻辑运算结果，上述第一输出量子比特用于指示两个上述输入量子比特的量子态。与现有技术相比，本发明方案中提供的量子与逻辑门可以应用到量子计算场景下，实现量子比特的与逻辑运算，且可以实现运算结果可逆。有利于实现对量子比特进行快速简便的与逻辑运算操作，且有利于提升对量子比特进行运算的简便性和量子计算过程的效率。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 提供高速并且高精度地对S型函数进行秘密计算的技术。秘密S型函数计算系统将g(x)设为能秘密计算的函数，根据输入值x的份额[[x]]计算对于输入值x的S型函数的值的份额[[σ'(x)]]，包括：第一比较单元，生成第一比较结果[[c]]＝less_than([[x]],t1)；第二比较单元，生成第二比较结果[[d]]＝greater_than([[x]],t0)；第一逻辑计算单元，生成第一逻辑计算结果[[e]]＝not([[c]])；第二逻辑计算单元，生成第二逻辑计算结果[[k]]＝and([[c]],[[d]])或者[[k]]＝mul([[c]],[[d]])；以及函数值计算单元，计算份额[[σ'(x)]]＝mul([[k]],[[g(x)]])+[[e]]。