逻辑形式

摘要： 近日,我校教育科学学院毛红芳副教授《教学理论本体问题研究》由中国社会科学出版社出版。该书从对象性思维走向反思性思维,以“元”的逻辑形式对教学理论进行系统的本体性问题研究,从本体论意义层面上解答“什么是教学理论”、教学理论本体承诺、教学理论本体内涵、教学理论“是其所是”的界限与检验等。

摘要： 一、学习逻辑的意义逻辑指的是思维的规律和规则。那么,我们为什么要学习逻辑?因为逻辑是关于思维规律的科学,是思维的语法,学习逻辑有助于我们养成良好的思维品质。运用逻辑可以帮助我们辨别真假,提高学习效率,合理思考与准确表达。人们的思维是否正确,很大程度上取决于思维的逻辑形式是否正确。

摘要： 本文为了形成独特的叉车外观造型,探寻提升叉车造型情感内涵的设计方法.通过对视觉动力理论的论述,掌握了视觉动力的形成机制;依据视觉动力的表现形式,对叉车造型的动力式样进行了分析,并将叉车造型整体形态进行了分解.提出基于视觉动力理论的设计方法,从叉车的理性视觉意象形态与感性意象形态着手对叉车造型进行研究.以期对叉车及工业车辆的造型设计提供一定的借鉴意义.

摘要： 一九五五年,爱因斯坦为纪念母校苏黎世工业大学成立一百周年写了一篇回忆录,里面提到他在阿劳中学的时候想到一个问题:倘使一个人以光速跟着光波跑,那么他就处在一个不随时间而改变的波场之中。他说这是他同狭义相对论有关的第一个朴素的理想实验,但这一发现绝不是逻辑思维的成就,尽管最终的结果同逻辑形式有关。

摘要： 或许人类语言的最大秘密就隐藏在洪堡的一段论述中,可以概括为:"语言是'有限方法的无穷应用'".根据对有限方法的理解,语言学分野为句法主义和词汇主义.沿着这两个路线,语法与语义界面理论形成了两条进路,一条是语言传统下的以句法为中心的句法主义进路,另一条则是逻辑传统下的以词法为中心的词汇主义进路.句法主义进路和词汇主义进路在处理语法与语义不匹配时候采取的策略有差异,句法主义倾向于在语法层次进行更多地抽象,同时通过语法生成过程来解决不匹配问题,而词汇主义则倾向于通过丰富词库和语义本体来解决不匹配问题.

摘要： 逻辑思维决定性地影响着人的分辨能力、表达能力、学习能力和创新能力.笔者发现,在我们的课堂教学活动中、试题命制中和学生思维等方面,普遍存在着一些逻辑谬误.我们若要正确地、合乎逻辑地思维,保证思维结果的正确性,就必须防止和排除这些谬误.本文重点针对地理教学中常见的思维逻辑谬误进行辨析并阐明避免逻辑谬误的方法和途径.

摘要： "真"乃哲学谓之"真",即"真理",亦可理解为理论研究如何才能"向真"并"走向真理"."理论研究"指理性科学范畴内,针对人文社会科学领域问题的基于词语的以科学演绎(广义)为形式的思辨.尽管人文社会科学有其复杂性,但在向"真"的意义上与自然科学有本质一致性;"真"的理论研究必须以"真"的科学演绎(广义)作保证;建议将科学演绎(广义)之基本逻辑类、拓展逻辑类和综合逻辑类纳入视野,用以支持向"真"的逻辑展开;以提高研究质量为目的,研究者应该尽量多"论证"而少"议论".讨论人文社会科学领域内一篇论文意义上的理论研究如何为"真",就是要坚持向真的科学逻辑规则并执着前行,保证科学精神的实现.新概念不等于新思想,贩卖不是研究,赶时髦并非前沿,追捧虚假的学术风格就会丧失思考能力.因此,理论研究应以求"真"为使命,严守科学演绎的本质,严守责任重地,以自己所成立之思想突破呼应整个学科前沿的成功.

摘要： 假言推理是演绎推理系统中的核心内容,具有灵活多变的推理形式,反应了人们复杂的思维模式.正确认识和把握假言推理正确的推理形式、 推理规则并加以运用,能够发挥语言表达更大的说服力,提升表达效果,能够确保思维具有严密的逻辑性,提高思维质量.因此,假言推理在人们日常思维和表达应用中极为普遍,在具体的司法实践中应用更是非常广泛.

摘要： 随着二十世纪中期后现代语言哲学对“元叙事”的消解,西方史学理论的主流范式逐步从分析历史哲学转向了叙事主义历史哲学.二十世纪八十年代后,叙事主义历史哲学的两大分支——叙事观念论和叙事实在论分别因观念虚无主义色彩和逻辑形式非一致性而逐步走向困境,由此引发了对主体叙事“再现”历史实在的可能性探究.叙事观念论之下的替代性再现论因其超验本体论而走向低潮,而叙事实在论下的相关性再现论重塑了经验认识论并扛起了后-后现代主义转向的大旗.新千年以来,后-分析历史哲学在扬弃了二十世纪分析、语言、叙事三大哲学传统后逐渐形成了一种具有兼容并蓄特征的多元化理论体系,并领引了自然主义经验论与历史主义观念论在新时期的合流,由此诞生的“后-实在论”是否能够成为后-后现代主义史学理论范式的基础还有待进一步验证.

摘要： “是而然”、“是而不然”是《小取》研究推论时提出的两种重要情况。这两种情况都可从语法形式与逻辑形式两个层面加以讨论。可以证明，“是而然”的逻辑形式是有效的，故“是而然”是有效的演绎推论。“是而不然”诸例看似与“是而然”相矛盾，其实深入分析就可发现，诸例严格来讲并不构成“是而然”模式反例，因此，“是而不然”的存在实际上不影响“是而然”式推论有效。

摘要： 该文就应用逻辑程序设计语言PROLOG，建立通用查询语言系统，确定标准逻辑形式，以及提出可能的智能数据库系统体系结构等三个问题加以讨论。（本刊录）

摘要： 该文在“PROLOG智能数据库系统”一文的基础上，进一步具体讨论智能数据库系统“ILEX”采取的优化策略。该文涉及标准逻辑形式的生成，查询代价的估算，以及标准逻辑形式的优化等三个问题。（本刊录）

摘要： 本文首先叙述了归纳问题的由来,并重构了休谟的怀疑论证.然后主要阐明了三种尝试解决归纳问题的进路——附加前提进路、消解归纳法进路以及消解归纳辩护进路。以上三条进路分别代表了三种完全不同的角度，第一种进路试图找出休谟怀疑论证中的问题，以借此为归纳法辩护；第二种进路试图为科学提出一种替代归纳法的方法：第三种进路则试图证明为归纳辩护本身是个错误。在这三个大角度中还有其他的进路，如赖欣巴哈的实用辩护，对归纳法的概率性辩护等。但总的来说，各个进路均有自己难以处理的困难。因而，归纳问题仍没能得到好的解决，仍需要开拓新的思路。

摘要： 本文首先叙述了归纳问题的由来,并重构了休谟的怀疑论证.然后主要阐明了三种尝试解决归纳问题的进路——附加前提进路、消解归纳法进路以及消解归纳辩护进路。以上三条进路分别代表了三种完全不同的角度，第一种进路试图找出休谟怀疑论证中的问题，以借此为归纳法辩护；第二种进路试图为科学提出一种替代归纳法的方法：第三种进路则试图证明为归纳辩护本身是个错误。在这三个大角度中还有其他的进路，如赖欣巴哈的实用辩护，对归纳法的概率性辩护等。但总的来说，各个进路均有自己难以处理的困难。因而，归纳问题仍没能得到好的解决，仍需要开拓新的思路。

摘要： 本文首先叙述了归纳问题的由来,并重构了休谟的怀疑论证.然后主要阐明了三种尝试解决归纳问题的进路——附加前提进路、消解归纳法进路以及消解归纳辩护进路。以上三条进路分别代表了三种完全不同的角度，第一种进路试图找出休谟怀疑论证中的问题，以借此为归纳法辩护；第二种进路试图为科学提出一种替代归纳法的方法：第三种进路则试图证明为归纳辩护本身是个错误。在这三个大角度中还有其他的进路，如赖欣巴哈的实用辩护，对归纳法的概率性辩护等。但总的来说，各个进路均有自己难以处理的困难。因而，归纳问题仍没能得到好的解决，仍需要开拓新的思路。

摘要： 本文首先叙述了归纳问题的由来,并重构了休谟的怀疑论证.然后主要阐明了三种尝试解决归纳问题的进路——附加前提进路、消解归纳法进路以及消解归纳辩护进路。以上三条进路分别代表了三种完全不同的角度，第一种进路试图找出休谟怀疑论证中的问题，以借此为归纳法辩护；第二种进路试图为科学提出一种替代归纳法的方法：第三种进路则试图证明为归纳辩护本身是个错误。在这三个大角度中还有其他的进路，如赖欣巴哈的实用辩护，对归纳法的概率性辩护等。但总的来说，各个进路均有自己难以处理的困难。因而，归纳问题仍没能得到好的解决，仍需要开拓新的思路。

摘要： 本发明公开了一种比较型逻辑电路及与其它型逻辑电路兼容形式，基本结构是晶体管1的发射极同晶体管2的基极相接构成节点7，节点7接电阻4形成第一输入端B，晶体管2的发射极同晶体管1的基极相接构成节点6，节点6接电阻3形成第二输入端A，晶体管1和晶体管2的集电极相接，构成节点8，节点8接电阻5，电阻5的另一端接电源Vcc，节点8与电阻5之间引一线为输出端M，组合成一个“量化符合逻辑电路”，简称为“符合电路”。本发明具有多种逻辑变化的可改变逻辑功能，同时能够实现“能随机编程的逻辑器件”和“在线编程”的逻辑器件。

摘要： 本申请提供一种组合逻辑单元的形式化识别方法及相关设备。该方法，包括：接收输入数据；分析所述输入数据中的输出引脚数量；响应于确定所述输出引脚数量为1，分析所述输入数据中的输入引脚数量；响应于确定所述输入引脚数量不为1，基于输入引脚进行对称性聚类；以及根据对称性聚类结果，调用对应的识别算法，对所述输入数据进行组合逻辑单元的形式化识别以得到识别结果。

摘要： 本发明涉及基于外部引入逻辑电路的形式验证断言空泛性的纠正方法、存储介质和终端，方法包括如下步骤：将断言的每一子表达式分别置为0和1后进行综合并做自动机最小化处理，得到的两个结果若相同则认为断言具有空泛性。本发明基于最广泛的空泛性定义，增加了测试的完整性；同时由于所使用的综合过程和最小化的可确定性，两个结果只需要进行结构对比，效率很高。

摘要： 本发明公开了一种比较型逻辑电路及与其它型逻辑电路兼容形式,基本结构为晶体管1的发射极同晶体管2的基极相接构成节点7,节点7接电阻4形成一个输入端B,晶体管2的发射极同晶体管1的基极相接构成节点6,节点6接电阻3形成另一输入端A,晶体管1和晶体管2的集电极相接,构成节点8,节点8接电阻5,电阻5的另一端接电源V

摘要： 本申请提供一种组合逻辑单元的形式化识别方法及相关设备。该方法，包括：接收输入数据；分析所述输入数据中的输出引脚数量；响应于确定所述输出引脚数量为1，分析所述输入数据中的输入引脚数量；响应于确定所述输入引脚数量不为1，基于输入引脚进行对称性聚类；以及根据对称性聚类结果，调用对应的识别算法，对所述输入数据进行组合逻辑单元的形式化识别以得到识别结果。

摘要： 一种用于形式验证的宇航通用门级逻辑建模方法，对宇航级大规模集成电路的抗辐射加固逻辑门电路进行抗辐射冗余特点分析和建模，可基于该模型对宇航级大规模集成电路进行基于形式验证的安全属性评测和逻辑完备性检查，解决了空间辐射环境和航天器高可靠应用条件下的宇航大规模集成电路安全属性评测难题，操作简便、自动化程度高、评测效率高，减少了评测的操作环节，提高了评测的可操作性。

摘要： 本发明涉及基于外部引入逻辑电路的形式验证断言空泛性的纠正方法、存储介质和终端，方法包括如下步骤：将断言的每一子表达式分别置为0和1后进行综合并做自动机最小化处理，得到的两个结果若相同则认为断言具有空泛性。本发明基于最广泛的空泛性定义，增加了测试的完整性；同时由于所使用的综合过程和最小化的可确定性，两个结果只需要进行结构对比，效率很高。

摘要： 一种查询处理设备，包括：通信接口，用于访问数据库和数据库目录；存储器，用于存储指令；以及处理器，耦合至所述存储器和所述通信接口。所述处理器执行所述指令以：解析查询以为所述查询生成第一和第二执行计划；从所述数据库目录中检索所述第一和第二执行计划的先前执行的逻辑步骤的相应先前确定的基数值；从所述第一执行计划或所述第二执行计划中选择执行计划，基于所述先前确定的基数值，所述选定的执行计划具有较低的成本；以及对从所述数据库访问的数据执行所述选定的执行计划。所述查询处理系统将在执行所述逻辑步骤期间确定的实际基数值存储在所述数据库目录中以供后续查询使用。因此，所述查询处理设备可以重复使用先前确定的基数值。

摘要： 本发明实现了一种面向PLC逻辑编程的智能形式化验证方法，可适用于所有支持ST语言的编程软件。所述方法包含如下步骤，S1:接收PLC逻辑编程软件编好的逻辑程序；S2:解析逻辑程序：进行词法、语法分析，生成逻辑状态机、状态集合和验证用例运行集合；S3:根据逻辑状态机生成智能化测试参数，生成影响因子参数、覆盖参数、智能参数集合；S4：建立自动化测试任务，根据接收的PLC逻辑程序的数量生成多个自动化测试任务；S5:自动进行测试过程操作：模拟PLC运行过程，自动进行验证启动、用例参数设置、运行用例、收集运行结果信息、退出验证操作；S6:生成验证分析报告。该方法可以提供对PLC逻辑程序的自动化验证，方便PLC开发调试，有效降低开发和应用成本。

摘要： 本发明公开了一种基于描述逻辑的服务编导模型形式化验证方法，定义基于WS‑CDL的服务编导元概念模型和领域规则，其中服务编导元概念模型包括服务编导元和元关系集合，领域规则包括一致性规则、完整性规则和演绎推理规则；根据用户的服务协作需求，结合服务编导元概念模型，建立应用概念模型；基于SHOIND的验证方法，对服务编导元概念模型、应用概念模型和领域规则进行转化，实现数据一致性、完整性验证及基于规则的推理验证。本发明具备传统系统验证方法的描述能力、自动化程度和验证效率，并且不存在状态爆炸问题，在推理的可判定性和知识的复用等方面也具备明显优势。