检索结果-南通市图书馆

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

模态词对析取式的分配问题及其释疑

逻辑学动态与评论

逻辑学动态与评论 2022年第1期1卷 118-132页

作者：刘小飞华东师范大学哲学系

逻辑学上，很多运算(联结词)对析取式都满足某种分配原则，如否定词对析取式的分配，合取词对析取式的分配，量词对析取式的分配；然而，分配原则并非在同一意义上适用于这里的各种情形，在分配之后所产生的公式中有些析取词保持不变而... 详细信息

逻辑学上，很多运算(联结词)对析取式都满足某种分配原则，如否定词对析取式的分配，合取词对析取式的分配，量词对析取式的分配；然而，分配原则并非在同一意义上适用于这里的各种情形，在分配之后所产生的公式中有些析取词保持不变而另一些则变成了合取词。这样的复杂性值得关注和解释。以模态词对析取式的分配为例，一种朴素的想法是，一元模态词对析取式的分配原则可刻画为λ(A∨B)?λA∨λB。然而，在模态语境中，这个“朴素分配原则”存在两类“反例”,其一是它不适用于必然算子，其二是析取有时需解读为合取。本文提出，不同于合取词、全称量词和必然模态等“强算子”,析取词、存在量词和可能模态均属于表示认知不确定性的“弱算子”,这一点可以解释为何“朴素分配原则”看上去时而成立时而又失效。根据此种分析法，我们不能孤立地揭示每一个联结词的逻辑性质，需要立足它们之间的义理关系从整体上理解各个联结词及其特性。

关键词：析取式分配模态词自由选择许可悖论

一个非形式的归纳支持句法系统——与刘壮虎先生商榷

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

自然辩证法研究 1991年第7期7卷 1-11页

作者：鞠实儿中山大学哲学系自然辩证法室

本文致力于解决非实质相似(不同类型)假设归纳支持的可比性问题。首先,本文分析了刘壮虎提出的VIL系统,指出由于语义、表达能力、相关变量方法三方面的困难,VIL系统是不恰当的、不完备的,因而无法解决上述问题。其次,本文重新表述了***... 详细信息

本文致力于解决非实质相似(不同类型)假设归纳支持的可比性问题。首先,本文分析了刘壮虎提出的VIL系统,指出由于语义、表达能力、相关变量方法三方面的困难,VIL系统是不恰当的、不完备的,因而无法解决上述问题。其次,本文重新表述了***归纳支持理论的基本概念和相关变量方法,在此基础上指出***的归纳支持句法同样是不完备、不恰当的。再次,本文吸取Cohen理论中的合理部分——相关变量方法,纠正了***对上述句法中有关原理的证明错误,提出和证明了六条新的原理,构造了归纳支持句法非形式系统,克服了Cohen理论的困难,为解决上述问题提供了可行的方案。最后,本文指出;对归纳支持的逻辑结构的研究有可能导致全新的逻辑系统。

关键词：归纳定义句法系统析取式赋值一阶逻辑数理逻辑变量构成语义理论证伪命题联结词恰当性复合命题归纳概率等价命题变量序列先生

维普期刊数据库

辩证逻辑形式化的新进展——对张金成系统Z的评价与补证

在线全文

学校读者我要写书评

暂无评论

武汉大学学报(哲学社会科学版) 1992年第6期 12-18+23页

作者：陈晓平桂起权

本文从系统Z与传统辩证法、经典逻辑、次协调逻辑的相互关系着手(特别从句法和语义角度加以考虑),评价系统Z对辩证逻辑形式化的开拓性作用。还给出了系统Z原先所缺少的语义完全性的证明。

关键词：经典否定辩证逻辑双重否定律命题变项经典逻辑否定词析取式辩证否定支命题形式化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

检查电流逥路的数学方法

南京大学学报(自然科学版) 1962年第1期 63-71页

作者：徐洁磐

一化简一式子时,有时利用开关代数的方法,已不能再继续化简,但引入了桥形电路及单向元件后,有些接点可继续合并化简,这些接点在合并后就会出现一些新的迴路。能不能合并这些接点的问题关键就在于怎样找出这些迴路及怎样处理这些迴路的... 详细信息

一化简一式子时,有时利用开关代数的方法,已不能再继续化简,但引入了桥形电路及单向元件后,有些接点可继续合并化简,这些接点在合并后就会出现一些新的迴路。能不能合并这些接点的问题关键就在于怎样找出这些迴路及怎样处理这些迴路的问题。电流迴路的检查过去一般均凭直观,这样,检查起来很不方便且容易出错。此文准

关键词：定义通路个数析取式通流数学方法二端电路电流

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

情报检索中工作区使用的改进

计算机与图书馆 1982年第Z1期 54-60页

作者：徐进鸿王和珍南京大学

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一个全文检索模型及其检索算法

情报科学 1988年第6期 36-43页

作者：赵捧未苏东庄西安电子科技大学北京信息工程学院

本文以实用化为宗旨,在分析和探讨一般性全文检索系统的要素和本质的基础上,运用布尔逻辑和集合论方法导出一个全文检索模型,然后针对检索用户的逻辑式提问给出一个全文检索处理算法。

关键词：全文检索系统逻辑式用户提问式文献号析取式检索算法算符检索项检索模型特征项索引项检索式规则矩阵提问项位置检索

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

命题逻辑中真值树的使用方法及其作用

湖北师范学院学报（哲学社会科学版） 1990年第1期10卷 21-31页

作者：王元汉

自从美国逻辑学家皮尔士(Charles Sanders Peirce.1839—1914)创立了真值表(truth—table)以后,它已成为研究命题逻辑的必不可少的工具。但如果命题变项太多,真值表使用起来就十分麻烦。于是人们寻求了一些简化真值表的方法,其中主要有... 详细信息

自从美国逻辑学家皮尔士(Charles Sanders Peirce.1839—1914)创立了真值表(truth—table)以后,它已成为研究命题逻辑的必不可少的工具。但如果命题变项太多,真值表使用起来就十分麻烦。于是人们寻求了一些简化真值表的方法,其中主要有归谬赋值法和真值树(truth—tree)方法。归谬赋值法在国内已有不少逻辑教材介绍,人们较为熟悉。这种方法虽然较为简便,但它只能实施于蕴涵式。

关键词： truth 命题逻辑蕴涵式命题变项析取式合取式赋值法值相等重言式矛盾式

维普期刊数据库

布尔代数及其应用简介(Ⅱ)——第二章真值函数的化简方法

在线全文

学校读者我要写书评

暂无评论

数学的实践与认识 1977年第2期 57-62页

§6.问题的提出若给定真值函数f=AB+C+BC,根据公式的恒等变形规则,f=AB+C+BC=AB+C+(A+)BC=AB+C+ABC+BC=AB(I+C)+C(I+B)=AB+C这说明同一真值函数f可以有许多不同的表达式.比较f的第一个和最后一个表达式,显然后者较前者“简单”些.图1和... 详细信息

§6.问题的提出若给定真值函数f=AB+C+BC,根据公式的恒等变形规则,f=AB+C+BC=AB+C+(A+)BC=AB+C+ABC+BC=AB(I+C)+C(I+B)=AB+C这说明同一真值函数f可以有许多不同的表达式.比较f的第一个和最后一个表达式,显然后者较前者“简单”些.图1和图2是实现此二表达式的逻辑电路.

关键词：真值函数真值函项表达式最简式标准形化简析取式布尔代数抽象代数应用简介

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

否定词与“或(者)”共现的语义解读

北京大学研究生学志 2011年第2期 74-81页

作者：杨迎楹北京大学中文系

本文首先从北京大学汉语语言学研究中心现代汉语语料库搜索了否定词与"或(者)"同现的其中100条例句,再按照其所表达的是a.p∨q,或者b.(p∨q)p∧q,或者是两者兼可进行归类,继而从中找出规律。结果发现表达合取式((p∨q))意义有四种规律:... 详细信息

本文首先从北京大学汉语语言学研究中心现代汉语语料库搜索了否定词与"或(者)"同现的其中100条例句,再按照其所表达的是a.p∨q,或者b.(p∨q)p∧q,或者是两者兼可进行归类,继而从中找出规律。结果发现表达合取式((p∨q))意义有四种规律:一是出现有标记的副词如并、一律、都等;二是"或(者)"的前后成分是同一类属性的名词;三是"或(者)"前后的成分属于对立或者不同现的谓词;四是整个事实都确定是否定的时候。而表达析取式(p∨q)的规律可以是出现"可能"、"可以"的标记形式;谓词是可以同时发生;以及当事实是有选择性的时候。当然也有两种形式都可以的情况,如"或(者)"的前后情况都可以独立存在,并且不会相互冲突。

关键词：否定词或(者) 析取式合取式