重言式相关论文
《论道》是金岳霖的主要著作之一,集中体现了西方现代逻辑与中国哲学相结合这一特点。很多人觉得《论道》不容易读懂,原因在于里面包......
自从蒯因在著名的《经验论的两个教条》等一系列文章中对分析性做出批评以后,分析传统内已经很少有哲学家再对分析I生概念持肯定态......
语言学中的预设(пресуппоэиция,presupposition)问题是参照逻辑学而提出的。逻辑的预设主要是从命题的真伪值着眼的,......
本文引介R.布兰顿的单称词项替换推论理论,以此考察日常语言重言式句对单称词项双向对称替换分析构成的问题,认为重言式句中系词后......
本文认为维特根斯坦的《逻辑哲学论》中有一种特殊形式的超越唯心论,即一种非实质性的超越唯心论。这种超越唯心论之所以是非实质......
根据皮亚杰的认知发展阶段论,形式思维作为一种不同于具体运算的思维方式,在青少年和成人中是普遍存在的。皮亚杰认为,“形式思维......
人们拥有信念,信念即是人们相信的东西。然而认知主体的认知世界里存在不相信的东西。可以说,不相信的东西是人们的“负信念”。人们......
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于(?)-Lindenbaum代数......
讨论了一种新的逻辑,这种逻辑允许一个智能体在有不一致性存在于其信念集的情况下进行一致性推理.首先解释了这种逻辑的语意,然后给出......
采用世界贴近函数方法解决了动作信念更新的问题,并讨论了这种信念更新方法的更新成功条件、更新结果有限性这两个方面的性质,最后......
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子......
通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个......
讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持......
研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重......
关于欧文·M·柯匹的19条推论规则的不完全性问题,西方学术界很少讨论,如果提出一个有效论证不能用十九条推论规则证明其有效性,会引......
定义了非线性逻辑系统(-W)2,研究了(-W)2中的重言式及广义重言式,得到了若干与线性逻辑系统(-W)中相类似的结果.......
讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件;并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言......
讨论了五值非线性序集逻辑系统L25,将四值逻辑系统扩充到五值逻辑系统,在五值逻辑系统中,建立了相应的重言式理论、准重言式理论。......
本文从语义和形义关系两个方面来分析《诗经》中重言双音形容词的语义特点。从语义上看,《诗经》中的重言双音形容词具有模糊性、......
引入了亚模糊命题的概念。在Gaines-Rescher的蕴涵算子下,证明了简单亚析取式A是重言式的必要条件为A包含环公式为其子公式。......
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln(n〉3),首先给出了L3的真值表,它是C2真值表的扩......
现代逻辑的实质蕴涵"怪论"问题是困扰逻辑学发展的一个难题.对此问题存在两种态度:一种是持批判的态度,认为实质蕴涵不够完善,试图......
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律......
从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件......
研究了多值逻辑系统W、W、Wn中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.在W、W、Wn中......
一引言《系统辩证论》最大的特征是使社会科学研究方法进一步科学化,也即把系统理论引入社会科学研究中来。更有意义的是强调在任......
【正】 休谟从其不可知论的现象论出发,承认感性经验为我们知识的唯一来源。休谟关于观念的学说,特别是关于两类知识的学说是英国......
研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.......
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分......
众所周知,命题逻辑中主要的研究对象是重言式及永真蕴含式,本文提出了一条一般离散数学书中所忽视的性质,而这条性质恰恰是推理规......
<逻辑哲学论>的目的是为了分清可说的和不可说的界限.不可说的东西不是由证实原则决定的,也不是由逻辑形式的界限决定的,而是由于......
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一......
讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n〉3).给出了G3的真值表,它是G2值表的扩充,也保持MP规则......
在传统形式逻辑中,除“联言推理”和“假言易位推理”外,其它复合命题推理,凡用数理逻辑符号表达出来的式子全都是涵衍式,包含蕴涵怪论......
对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]......
研究赋值格为非线性序格,非运算不同于Boole的初运算,蕴涵算子取R0的一种新的6值逻辑系统W6。讨论了其语义MP规则,语义HS规则;重言式,∑-(d-重言式),得到若干......
文章对易子的《逻辑问题三题》一文中关于矛盾律与排中律公式的“修正”提出了修正。作者认为,易子的公式之所以不能成立,关键在于真......
自从美国逻辑学家皮尔士(Charles Sanders Peirce.1839—1914)创立了真值表(truth—table)以后,它已成为研究命题逻辑的必不可少的......
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律。在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规......
【正】 分析命题能不能表现客观实在?如果能的话,它们是怎样表现客观实在的?这两个问题是近现代哲学中一个十分敏感而且重要的问题......