实质蕴涵

摘要： 弗雷格用实质蕴涵来刻画条件句导致了"实质蕴涵怪论",因此实质蕴涵不断受到批判.然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵.弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称.仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值.他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式?x(P(x)→ ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达.弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义.

摘要： 人文学科创新的一个重要手段是通过跨学科研究以实现研究视域的变换,在含义研究中用因果蕴涵理论取代原来的蕴涵理论是研究视域的转换,是理论上的转型,是理论思维新的起点。逻辑学的蕴涵即实质蕴涵,蕴涵理论有蕴涵怪论,导致经典格氏推导机制和新格氏推导机制存在一定的不确定性。因果蕴涵强调的是具体事件,它所涉及的因果关系是具体的,受一定的语境和说话人意向性的约束,落实为一因一果,即由唯一的原因作用而产生唯一的后果。用因果蕴涵理论建构含义推导机制,可以带来含义推导的确定性,使含义研究焕发出新活力。

摘要： 弗雷格用实质蕴涵来刻画条件句导致了“实质蕴涵怪论”,因此实质蕴涵不断受到批判。然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵。弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称。仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值。他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式x(P(x)→ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达。弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义。

摘要： 人文学科创新的一个重要手段是通过跨学科研究以实现研究视域的变换,在含义研究中用因果蕴涵理论取代原来的蕴涵理论是研究视域的转换,是理论上的转型,是理论思维新的起点.逻辑学的蕴涵即实质蕴涵,蕴涵理论有蕴涵怪论,导致经典格氏推导机制和新格氏推导机制存在一定的不确定性.因果蕴涵强调的是具体事件,它所涉及的因果关系是具体的,受一定的语境和说话人意向性的约束,落实为一因一果,即由唯一的原因作用而产生唯一的后果.用因果蕴涵理论建构含义推导机制,可以带来含义推导的确定性,使含义研究焕发出新活力.

摘要： 为解决现有忆阻器电路逻辑功能单一与结构简单之间的矛盾,论文设计了一种具有可重构功能的忆阻器逻辑电路.该电路利用忆阻器具有记忆电阻的特性,通过预置和逻辑运算两个操作步骤,可以实现大多数的逻辑操作.为了使该电路具备逻辑功能的完备性,其他未实现的逻辑操作可以采用基于实质蕴涵和非逻辑的逻辑迭代运算来实现;并通过设计异步时序结构克服电路逻辑的误操作,增强电路稳定性.与其他已提出的基于忆阻器逻辑电路相比,此电路用较少的忆阻器与操作步骤去实现更多的逻辑功能.通过使用P-spice仿真,验证了逻辑电路的可行性.

摘要： 为经典逻辑"实质蕴涵"联结词辩护,是化解"实质蕴涵怪论"的首要路径.辩护实质蕴涵的主要策略,可梳理为逻辑抽象策略、自然演绎策略、语用辩护策略以及新共性辩护策略.通过对这四大辩护策略的审视与比较分析可以发现:"强硬"的逻辑抽象策略、"迂回"的自然演绎策略以及语用辩护的"切割"策略都难以令人满意;而新共性辩护策略借由量化视角与蕴涵层级论成功地"取消"了众多怪论,为实质蕴涵进行了双重辩护.新共性辩护策略的成功为经典逻辑的普适性增添了新的注脚.%Defending for the connective of classical logic"material implication"is a primary path to solve the puzzle of the"material implication paradoxes". The defense of material implication can be divided into four strategies: the strategy of logical abstractions,the strategy of natural deduction,the strategy of pragmatics as well as the strategy of new-commonness. By doing a critical discussion on these four strategies,our conclusions are: the strategies of logical abstractions,natural deduction and pragmatics are not successful. However,the strategy of new-commonness dissolves the paradoxes with the quantified logical perspective,and removes the conflicts between material implications and other implications by the hierarchy theory of implication. The success of the strategy of new-commonness lays a more solid foundation for the legitimacy and universality of classical logic.

摘要： 近年来,有学者以罗素的"形式蕴涵"为工具,对化解蕴涵怪论反例的进路又作了积极而有益的探索.但仔细分析其化解过程及方法,实难说取得了预期的成功.因为形式蕴涵在根子上就无法解决蕴涵怪论问题.蕴涵怪论的根源不在于逻辑的形式化语言,而在于实质蕴涵与日常"若,则"句差异过大的矛盾.%In recent years, some scholars used Russell's "formal implication" as a tool to resolve the problem of the material implication paradox. But in fact, it's hard to say that it has achieved the expected success, because the scheme of "formal implication" can not solve the implication problem at all. The root of the problem of the material implication paradox, is not at the formal language of logics, but in the difference, which is too big, between "the material implication" and daily "if, then".

摘要： 实质蕴涵把命题间的关系看作真值关系，由此带来了“实质蕴涵怪论”。我们必须通过实质蕴涵加上量化的形式，即x(P(x)→ψ(x))，才能表达“如果，那么”所要联结的条件句。这里的量化变元表示的对象可以有多种，不只是实体对象，还可以是时间、空间等等的单位。尽管如此，规定条件句在前件为假时为真也与日常推理有所不同，因此经典逻辑不能直接表达传统逻辑的对当关系，在逻辑学教科书中应将实质蕴涵的这些不足给出清楚的说明。

摘要： 一种堆石坝压实质量智能、动态控制系统，包括安装在振动碾振动轮的内侧机架上的数据采集装置；安装在观测房中的数据接收及发送装置；进行远程质量控制的数据分析装置。采用上述的系统进行堆石坝压实质量控制的方法，一、通过试验获得符合设计要求干密度ρ所对应的CMV值；二、在现场施工过程中，获取各个振动碾的加速度数据；三、加速度数据经数据整合、数字滤波后，进行FFT变换，获得基波数据和二次谐波数据；四、由公式CMV=C×A

摘要： 提供了一种悬挂设备，该设备能帮助将医疗器械连接到支撑结构上。机构包括通常在纵向上可伸缩的组件，该组件从医疗器械的背部向外延伸并定位可旋转的臂以作为夹具的一面，而医疗器械背部的对立一面作为夹具的第二面。该机构组件包括圆柱形轴，该轴逆着弹簧的张力从组件的外罩部件向外延伸。悬挂设备内的凸轮机构允许在夹具闭合后在张力弹簧的影响下靠着支撑结构锁定及紧固夹具。

摘要： 本发明公开了一种基于泛蕴涵模型的短期电力负荷预测方法及系统。该方法是以当前负荷L(t)、当前平均负荷L_(t)、下一时刻平均负荷L_(t+1)为基本输入量，经步骤1：预处理、步骤2：泛化、步骤3：基于泛蕴涵模型的推理预测和步骤4：逆泛化，求得下一时刻的负荷预测y(t+1)，通过时间窗口移动，下一时刻负荷预测y(t+1)作为当前负荷L(t+1)，同时基于历史数据L_(t+1)和L_(t+2)预测出t+2时刻负荷y(t+2)，……，如此进行下去，以完成一天24小时的短期电力负荷预测。本方法及系统在预测过程中考虑了基本输入量之间的天然耦合关系，具有类人和柔性化特点。

摘要： 本发明公开了基于答案蕴涵与依存关系的主观题自适应阅卷方法，包括以下步骤：1）进行题目分析；2）进行标准答案分析；3）进行学生答案分析；4）判断学生答案的中心词是否为动词；5）学生答案中心词为非动词的评卷；6）学生答案中心词为动词的评卷。首先通过依存关系确定疑问词在主观题题目中的句子成分及其与中心词所构成的依存关系；然后根据疑问词的句子成分确定标准答案与学生答案的核心语义；最后采用基于答案蕴涵、依存关系与词语相似度的方法，自适应学生答案对各种成分的省略，实现同一标准答案的不同回答方式的自适应评卷，进一步提高主观题评卷系统的准确率与实用性。因此，本发明在该领域具有广阔的应用前景。

摘要： 本发明公开了一种基于集成学习和词句综合信息的文本蕴涵识别方法，涉及语言文字处理领域。目前的中文文本蕴涵识别系统主要基于词汇特征、句法特征、知识库、人工定义的规则等，然而词汇、句法信息作为独立特征训练出的模型对数据的拟合度过低，规则、知识库覆盖范围有限。本发明提出加入综合词汇和句法信息的特征来训练分类器，并利用集成学习技术，有效提高文本蕴涵识别的准确性。其包括如下步骤：数据预处理；一致性转化；特征提取；集成学习训练；投票决策分类。本发明适用于各领域句子间蕴涵关系的识别。

摘要： 本发明公开了一种小鼠肝实质细胞及非实质细胞的一步分离方法，本发明经门静脉给麻醉小鼠在体灌注IV型胶原酶消化液后，剪下肝组织，置于GentleMACS C管中，放在组织匀浆器上匀浆，并在37°C恒温箱消化15‑20分钟后过细胞筛网获得细胞悬液。通过50g低速离心可获得肝实质细胞。再利用OptiPrepTM密度梯度离心获得肝星状细胞，随后结合免疫磁珠分选技术利用小鼠CD146(LSEC)免疫磁珠阳性分选获得肝血窦内皮细胞。此方法经一步分离即可获得可获得高纯度、高活性的肝实质细胞及非实质细胞。

摘要： 本发明涉及一种肝实质超声无向性纹理定量测量仪及肝实质纹理测量方法，该测量仪包括用于对肝脏进行超声波扫描的超声仪；进行图像转换的输入系统；纹理测量系统；以及肝脏超声图像和纹理测量结果的输出系统，该发明还涉及一种肝实质纹理测量方法。该肝实质超声无向性纹理定量测量仪及肝实质纹理测量方法，利用小点状结构单元边缘处像素点重复的特征，检测出感兴趣区域范围内小点状结构单元的大小和平均梯度，并据此将肝硬化、脂肪肝或是正常肝的纹理区分开来，临床医生操作简单，且检测的数据具有定性化与定量化的特点，为临床诊断提供了极大的便利，与此同时还可以通过该测试仪对于这类疾病进行定量随访，提供可靠的定量随访指标。

摘要： 提供了一种悬挂设备，该设备能帮助将医疗器械连接到支撑结构上。机构包括通常在纵向上可伸缩的组件，该组件从医疗器械的背部向外延伸并定位可旋转的臂以作为夹具的一面，而医疗器械背部的对立一面作为夹具的第二面。该机构组件包括圆柱形轴，该轴逆着弹簧的张力从组件的外罩部件向外延伸。悬挂设备内的凸轮机构允许在夹具闭合后在张力弹簧的影响下靠着支撑结构锁定及紧固夹具。

摘要： 本发明公开了一种基于忆阻器非实质蕴涵的编、译码电路的操作方法，其利用非实质蕴涵“非‑与”式特点结合编码和译码逻辑表达式，通过几步非实质蕴涵操作，从而可在输出单元上检测到编码或译码结果。本发明是纯忆阻实现方式，不再借助MOS管，电路整体结构更加简单，功耗更低，体积更小；并且忆阻器具有良好的非易失性，能将存储和运算相结合，有望突破传统冯.诺依曼体系架构的瓶颈。同时由于非实质蕴涵能够级联操作，从而可将该编码和译码逻辑功能扩展至交叉阵列中，使得大规模编码和译码操作成为可能，实际生产过程中的操作效率大幅度提升，提高了操作的灵活性，同时所需的芯片体积相较于传统结构要小很多。

摘要： 本发明公开了一种基于忆阻非实质蕴涵的编码和译码交叉阵列电路，其利用非实质蕴涵“非‑与”式特点结合编码和译码逻辑表达式，通过几步非实质蕴涵操作，从而可在输出单元上检测到编码或译码结果。本发明是纯忆阻实现方式，不再借助MOS管，电路整体结构更加简单，功耗更低，体积更小；并且忆阻器具有良好的非易失性，能将存储和运算相结合，有望突破传统冯.诺依曼体系架构的瓶颈。同时由于非实质蕴涵能够级联操作，从而可将该编码和译码逻辑功能扩展至交叉阵列中，使得大规模编码和译码操作成为可能，实际生产过程中的操作效率大幅度提升，提高了操作的灵活性，同时所需的芯片体积相较于传统结构要小很多。