回溯推理的逻辑结构与逻辑性质 被引量：6

1

作者 李延铸 《社会科学研究》 CSSCI 北大核心 1991年第6期58-63,共6页

回溯推理(又作“溯因推理”)是科学发现的一种重要的逻辑方法,利用这种方法,我们可以阐明新思想,形成新的假设集,使我们的认识形成新的综合。可是,人们迄今对这种推理方法本身的了解尚非常浅薄,与在实际思维中广泛运用这种推理的局面极... 回溯推理(又作“溯因推理”)是科学发现的一种重要的逻辑方法,利用这种方法,我们可以阐明新思想,形成新的假设集,使我们的认识形成新的综合。可是,人们迄今对这种推理方法本身的了解尚非常浅薄,与在实际思维中广泛运用这种推理的局面极不相称。因此,1987年在莫斯科召开的世界逻辑——科学方法论大会上,回溯推理被列为世界性攻关项目。为了推动这个问题研究的深入,本文拟就模态、相关和古典逻辑理论的角度,提出自己的看法。 展开更多

关键词 回溯推理 逻辑性质 溯因推理 逻辑理论 推理方法 合式公式 模态推理 命题演算 蕴涵式 永真式

下载PDF 职称材料

词项逻辑与亚里士多德三段论——兼复王路同志 被引量：5

2

作者 蔡曙山 《哲学研究》 CSSCI 北大核心 1989年第10期66-74,共9页

我的文章《一个与卢卡西维兹不同的亚里士多德三段论形式系统》在《哲学研究》1988年第4期发表后,王路同志在该刊同年第9期载文,对我所建立的AS进行了批评。批评是有益的,它促使我对AS进行更深入的思考。但批评本身也存在一些问题,值得... 我的文章《一个与卢卡西维兹不同的亚里士多德三段论形式系统》在《哲学研究》1988年第4期发表后,王路同志在该刊同年第9期载文,对我所建立的AS进行了批评。批评是有益的,它促使我对AS进行更深入的思考。但批评本身也存在一些问题,值得进一步探讨。王文的主要问题是对三段论解释系统的可选择性未有认识,以及对模型和推理方法的不加区分。 展开更多

关键词 亚里士多德三段论 词项逻辑 命题逻辑 亚里士多德逻辑 谓词逻辑 推理方法 否定命题 自然推理系统 肯定命题 合式公式

原文传递

论辩证逻辑的形式系统Z与ZT的超协调性 被引量：4

3

作者 张金成 《武汉大学学报（人文科学版）》 1993年第4期48-53,共6页

本文先着重从超越世界的语义学角度,讨论辩证逻辑形式系统Z的超协调性。进而在系统Z的基础上建立一个句法上扩展的超协调系统ZT。在系统ZT内进一步阐明辩证否定的逻辑性质。

关键词 形式系统 合式公式 真值表 逻辑系统 可判定性 超协调性 逻辑学 矛盾律 辩证逻辑 公理

下载PDF 职称材料

论逻辑有效性问题 被引量：3

4

作者 郑文辉 《现代哲学》 北大核心 1990年第4期44-49,共6页

逻辑有效性(validity)问題是形式逻辑的主题,这是由形式逻辑的性质决定的。人们对“逻辑”向来有不同的理解,但各种理解似乎都涉及一个共同的问题:逻辑是关于推论的科学。推论(argument)是什么?推论是一个命题序列,它由一个作为结论的... 逻辑有效性(validity)问題是形式逻辑的主题,这是由形式逻辑的性质决定的。人们对“逻辑”向来有不同的理解,但各种理解似乎都涉及一个共同的问题:逻辑是关于推论的科学。推论(argument)是什么?推论是一个命题序列,它由一个作为结论的命题和一个或多个作为支持这个结论的命题(即前提)所构成。换言之,在一个命题序列中,根据一些前提来支持一个结论,或者从一些前提来推断一个结论,这就是推论。 展开更多

关键词 形式逻辑 有效性问题 逻辑有效性 合式公式 逻辑形式 非形式 归纳推论 推理规则 假组合 自然演绎系统

下载PDF 职称材料

量化的语用逻辑

5

作者 蔡曙山 《哲学研究》 CSSCI 北大核心 1999年第2期65-73,共9页

关键词 语用逻辑 完全性定理 极大一致集 合式公式 当且仅当 高阶逻辑 言语行为理论 公式集 语用行为 哥德尔

原文传递

中介逻辑ML的一种模型构造 被引量：2

6

作者 潘正华 《自然杂志》 1989年第4期315-316,共2页

中介逻辑ML是根据中介原则构造的一种新的、非古典的逻辑演算系统,详见文[1,2]。本文给出了ML的一种模型,即ML理论的一种语义解释。

关键词 逻辑演算 ML 个体域 合式公式 语义解释 命题形式 模型构造 命题函数 个体词 指词

下载PDF 职称材料

哥德尔不完备性定理及其证明过程的哲学解析 被引量：2

7

作者 郭锋 《福建师范大学学报（哲学社会科学版）》 1991年第2期25-31,共7页

1930年,德国维也纳大学助教库尔特·哥德尔(Kurt Godel1906—1978),在数学领域发现并证明了著名的不完备性定理,世称哥德尔不完备性定理。这一定理虽然是数学领域的重大成果。

关键词 哥德尔不完备性定理 形式系统 闭公式 公理系统 变形规则 无矛盾性 合式公式 自由变元 相对独立 推理规则

下载PDF 职称材料

LINGO在形式逻辑中的应用 被引量：2

8

作者 曹发生 余泉 《毕节学院学报（综合版）》 2009年第4期16-20,共5页

LINGO是一套专门用于求解最优化问题的软件,利用该软件可以给出求合式公式的真值和判定合式公式可以满足的方法。

关键词 合式公式 可满足公式 LINGO

下载PDF 职称材料

逻辑语义学

9

作者 朱水林 《社会科学》 1985年第11期60-63,共4页

逻辑语义学是一门新兴的学科。它的兴起,由于推动了计算机识别自然语言的研究,为现代语言学研究提供了基础;有助于对西方哲学、特别是科学哲学的分析研究、借鉴、批判,因此受到了广泛的关注,获得了迅速的发展。

关键词 逻辑语义学 语言表达式 自然语言 外延 弗雷格 意义 真值 句子 合式公式 逻辑理论

下载PDF 职称材料

逻辑与语言 被引量：1

10

作者 欧文 姆.柯庇 刘宗棠 《贵阳学院学报（社会科学版）》 1987年第1期27-34,共8页

[前记] 《逻辑与语言》是美国夏威夷大学柯庇(Irvjng M.Copi)所著《符号逻辑》一书的“导言”。这部《符号逻辑》曾经多次增订和再版,是国外使用时间持续较久的一本逻辑教材。我国的一些著名逻辑学家在不同场合多次推荐这本书作为学习... [前记] 《逻辑与语言》是美国夏威夷大学柯庇(Irvjng M.Copi)所著《符号逻辑》一书的“导言”。这部《符号逻辑》曾经多次增订和再版,是国外使用时间持续较久的一本逻辑教材。我国的一些著名逻辑学家在不同场合多次推荐这本书作为学习现代逻辑的基础读物。但是,这本书到现在还没有中译本。译者托人从海外购到本书的第五版。 展开更多

关键词 逻辑错误 现代逻辑 逻辑学家 符号逻辑 逻辑斯蒂系统 夏威夷大学 前记 真值表方法 合式公式 逻辑研究

下载PDF 职称材料

法律命题逻辑的元逻辑 被引量：1

11

作者 陶景侃 《兰州大学学报（社会科学版）》 1988年第3期41-48,共8页

《法律命题逻辑系统及其实践意义》一文(载本刊1987年第四期),介绍了规范逻辑的K、KD和KDⅣⅤ三个系统,然后添加了“制裁”模态词S,改KDⅣⅤ系统为L系统,阐述了L系统在法律和法制领域的实践意义。由于专用于法律领域,所以称L系统为法律... 《法律命题逻辑系统及其实践意义》一文(载本刊1987年第四期),介绍了规范逻辑的K、KD和KDⅣⅤ三个系统,然后添加了“制裁”模态词S,改KDⅣⅤ系统为L系统,阐述了L系统在法律和法制领域的实践意义。由于专用于法律领域,所以称L系统为法律命题逻辑。 L系统虽能切合法律领域的实践要求,但从逻辑学的角度来看,是否有可靠性、一致性和完全性呢?能否判定任一L合式公式A是否有效,是否为L系统的定理呢?本文是说明这些问题的。 展开更多

关键词 经典命题逻辑 合式公式 模态词 合取范式 实践意义 法律领域 存在定理 可能世界 逻辑系统 当且仅当

下载PDF 职称材料

一阶逻辑vs组合范畴语法:公式、目标与表达力

12

作者 姚从军 林延廷 《贵州工程应用技术学院学报》 2023年第1期51-58,共8页

一阶逻辑和组合范畴语法都是追逐“莱布尼茨之梦”的产物。一阶逻辑独立于自然语言,从人工语言出发,依据公式形成规则,生成逻辑公式;组合范畴语法实现了自然语言表达式的句法和语义的并行推演,伴随句法组合,自动生成相应的语义表达式。... 一阶逻辑和组合范畴语法都是追逐“莱布尼茨之梦”的产物。一阶逻辑独立于自然语言,从人工语言出发,依据公式形成规则,生成逻辑公式;组合范畴语法实现了自然语言表达式的句法和语义的并行推演,伴随句法组合,自动生成相应的语义表达式。一阶逻辑以找出有效的推理模式为目标,关注系统本身的可靠性和完全性;组合范畴语法旨在用形式化的方法判断语句是否合语法和给出语言表达式的形式语义,关注计算机对自然语言的理解和处理。一阶逻辑对自然语言的抽象化程度非常高,舍弃了自然语言的内涵意义;组合范畴语法立足自然语言,全面、细致地刻画自然语言的句法和语义。 展开更多

关键词 一阶逻辑 组合范畴语法 合式公式 有效推理 自然语言处理

下载PDF 职称材料

离散数学教学中的几个问题 被引量：1

13

作者 周学文 《内江师范学院学报》 2002年第2期67-70,共4页

本文讨论了离散数学教材中严密性的一致问题 ,冗余概念问题 。

关键词 离散数学 合式公式 概念 数学教学 定义 定理

下载PDF 职称材料

命题逻辑的序结构 被引量：1

14

作者 王文良 《江西师范大学学报（自然科学版）》 CAS 2004年第3期237-239,共3页

含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系 构成的商集M/ ={CA| B∈CA M,A B}关于如下代数运算∨和序关系≤是一个特殊的双格半群,即F格半群:CA∨CB=CA∨B;CA∧CB=CA∧B;CA≤CB当且仅当A的每一成真赋值... 含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系 构成的商集M/ ={CA| B∈CA M,A B}关于如下代数运算∨和序关系≤是一个特殊的双格半群,即F格半群:CA∨CB=CA∨B;CA∧CB=CA∧B;CA≤CB当且仅当A的每一成真赋值都是B的成真赋值( CA,CB∈M/ ),这里的∧运算是∨的对偶运算,而M上的∨、∧运算分别是逻辑"或"逻辑"与",同时给出了它的分子结构,并指出该F格半群与n元真值函数集构成的F格半群是同构的. 展开更多

关键词 命题逻辑 序结构 合式公式 等值关系 双格半群 F格半群 分子 n元真值函数集

下载PDF 职称材料

用法律的观点评价现代规范逻辑 被引量：1

15

作者 陶景侃 《兰州学刊》 CSSCI 1997年第3期20-23,共4页

现代规范逻辑的类型和系统是很多的,本文评价其中六个类型的若干系统。六个类型是指:一元规范命题逻辑和二元规范命题逻辑,他们各有冯莱特型、标准型和安德逊型,共计六个类型。一、冯莱特的一元规范逻辑冯莱特1951年的论文《规范逻辑》... 现代规范逻辑的类型和系统是很多的,本文评价其中六个类型的若干系统。六个类型是指:一元规范命题逻辑和二元规范命题逻辑,他们各有冯莱特型、标准型和安德逊型,共计六个类型。一、冯莱特的一元规范逻辑冯莱特1951年的论文《规范逻辑》和著作《模态逻辑》所构建的一元规范逻辑,1964年《规范逻辑的一个新系统》,及其1965年的修正所构建的二元规范逻辑,在规范逻辑发展史上都有重要的意义,也都表现了冯莱特独特的风格,所以是不容忽视的。冯莱特一元规范逻辑的形式语言,是在古典命题演算的形式语言上,增加初始符号O(必须),增加有关O的形成规则,增加P(允许)的定义而构成的。 展开更多

关键词 规范逻辑 规范命题 现代规范 模态逻辑 形式语言 合式公式 命题演算 规范公式 法律规范 实在法

下载PDF 职称材料

数学分析中否定命题证明的逻辑基础

16

作者 杨德平 《黄冈师范学院学报》 1992年第1期44-47,共4页

在数学分析的教学过程中,要想证明“数b是函数f(x)在点a的极限”、“函数f(x)在点口连续”和“函数f(x)在‘a,b’上一致连续”等命题是比较容易的,然而要证明这些命题的否定形式,即“数b不是函数f(x)在点a的极限”、“函数f(x)在点a不... 在数学分析的教学过程中,要想证明“数b是函数f(x)在点a的极限”、“函数f(x)在点口连续”和“函数f(x)在‘a,b’上一致连续”等命题是比较容易的,然而要证明这些命题的否定形式,即“数b不是函数f(x)在点a的极限”、“函数f(x)在点a不连续”和“函数f(x)在‘a,b’上不一致连续”等否定命题时,学生就倍感棘手,教师讲解时往往也不太容易表达清楚,为此,笔者想借助数理逻辑作为工具,对该类问题证明的逻辑基础予以剖析,供大家参考。 展开更多

关键词 一致连续 否定命题 否定形式 合式公式 一致收敛 不连续 逻辑基础 绝对收敛 假言三段论规则 变元

下载PDF 职称材料

现代演绎逻辑史考略

17

作者 卢青山 《佛山科学技术学院学报（社会科学版）》 1989年第3期48-55,共8页

本文侧重考察自然语言逻辑史上所遇到的一些主要难题,怎样在与之苦斗的过程中寻求改良与改革的途径,又怎样在改良与改革中发现现代逻辑,从而论述现代逻辑是传统逻辑的自然历史发展。

关键词 演绎逻辑 逻辑史 合式公式 逻辑演算 史考 形式系统 逻辑学家 公理学 限制换位 逻辑地

下载PDF 职称材料

环上向量空间的逻辑结构

18

作者 刘恒兴 《长江工程职业技术学院学报》 CAS 1990年第1期59-63,共5页

本文简要地讨论向量空间的逻辑基础,说明向量空间是精确地建立在最简单的公理组的基础上的.我从三方面加以阐述:(1)以向量空间作为“数学背景”引进它的形式系统.(2)向量空间仅是这形式系统的一个模型.(3)向量空间的定理相应地在形式系... 本文简要地讨论向量空间的逻辑基础,说明向量空间是精确地建立在最简单的公理组的基础上的.我从三方面加以阐述:(1)以向量空间作为“数学背景”引进它的形式系统.(2)向量空间仅是这形式系统的一个模型.(3)向量空间的定理相应地在形式系统中有一个形式证明. 展开更多

关键词 向量空间 形式系统 逻辑基础 个体常元 一阶语言 逻辑法 符号库 任意项 数学背景 合式公式

下载PDF 职称材料

论形式系统理论的客观原型和科学性质

19

作者 白金 《自然辩证法通讯》 1964年第4期36-43,共8页

目前,形式系統(演算)理論已經引起了科学界的注意,这是因为它在邏輯学、数学、計算机理論、控制論和語言学等科学部門的发展中起着重要的作用,而这些科学又是計算技术、通訊技术、自动控制和机器翻譯等領域的理論基础。所以,人們对于形... 目前,形式系統(演算)理論已經引起了科学界的注意,这是因为它在邏輯学、数学、計算机理論、控制論和語言学等科学部門的发展中起着重要的作用,而这些科学又是計算技术、通訊技术、自动控制和机器翻譯等領域的理論基础。所以,人們对于形式系統理論的兴趣主要是由于科学技术和生产实践引起的。唯心主义者片面地夸大了形式系統理論的抽象性,抹煞了它同客观世界的联系,从而束縛了它的順利发展。 展开更多

关键词 规定性 科学性质 发展形式 数学推理 合式公式 自动控制 演算 原型 现实世界 数学方法

下载PDF 职称材料

中介逻辑的命题演算系统的可判定性

20

作者 邹晶 《自然杂志》 1989年第8期634-635,共2页

文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但文[3]中完备性定理的证明是非构造性的。

关键词 命题演算 完备性定理 构造性证明 可判定性 原子公式 公式集 语义解释 合式公式 可由

下载PDF 职称材料