ACL 2024 | 让纯LLM实现类人的符号逻辑推理能力,开源框架SymbCoT...
引入外部工具的方法,比如Logic-LM,使用LLM来翻译前提,然后使用外部推理工具如Prover9来进行逻辑推导,但这种方法在翻译的过程中容易出现信息损失或翻译错误导致外部推理工具无法执行。因此,作者提出SymbCoT,一个既可以引入严密逻辑推理,又能避免翻译造成的信息损失/错误导致外部推理工具失效的框架。通过实验证明...
逻辑推理,我们凭的是什么? | 社会科学报
换言之,我们不能像卡罗尔那样把分离规则当作普通的条件命题,也不能用其他方式把它变成一阶命题;同时,分离规则作为推理过程不可或缺的二阶要素,只有在它不处于一阶的层面上,才能发挥其效力,保证推理的正当性。与此相关,还有少数学者提出一种取消性或实践性的思路。推理所依赖的规则仅仅是规范性的二阶命题,但既然...
为什么可以用反证法证明命题?
反证法的基本步骤就是通过假设命题若,则的结论不成立(为假),然后经过正确的逻辑推理得出矛盾,从而说明“为假”是不可能发生的,即证明了原命题的正确性.很多难以直接证明的命题通过反证法可以得到解决,比如:证明素数有无穷多个.证明是无理数.证明圆内两条非直径的弦不能互相平分.2反证法的逻辑...
GPT-4、Gemini同时被曝重大缺陷,逻辑推理大翻车
这一发现不仅适用于一般的逻辑推理问题,对于数学问题也同样有效。比如,如果某个证明任务的条件是:1.如果A,那么B;2.如果B,那么C;3.A为真。要求大模型证明C为真,如果条件按照1,2,3的顺序呈现,那么大模型的成功率会比2,1,3的条件呈现顺序高出很多。所以,以后用大模型,言简意赅,符合逻辑地提出...
逻辑错误的表现形式(一)——否定前件与肯定后件
在讨论论证规则时,我们知道,使用演绎论证(如三段论)的论证方法时,逻辑有效的演绎论证有两种基础方式,肯定前件和否定后件。那么,与之相对应的逻辑无效的推理形式就是否定前件和肯定后件。下面用逻辑表达方式来表示:逻辑有效的形式:肯定前件如果A,那么B;...
对当关系论证 | 为了让孩子不抢盐逻辑论证系列
在存在观点下,具有相同主项和谓项的A、E、I、O四个命题两两间肯定具有以下四种关系中的一种:反对关系、下反对关系、蕴涵关系和矛盾关系(www.e993.com)2024年7月27日。但是,在假设观点下,除了矛盾关系存在之外,其他关系都不成立。这一点我们用在第五章中所谈到的谓项逻辑方法来证明根据对当关系进行推理的有效性时,这种区分就显然至关重要了...
...转型中的民事证据真实性标准——以基础融贯论与诠释学循环为方法
第二种状态是,分析细致、审查严格,实际采较高标准。例如,在涉及电子数据尤其是区块链证据时,部分法院往往会采用此种审查方式,变相提高对区块链真实性的证明要求。通过教义学方法,《民诉法解释》第108条规定的“高度盖然性”标准作为一般标准似乎能够对证据真实性标准予以规范,但由于证据真实性标准概念并未得到普遍认知...
数学逻辑和计算机程序代码之间的深层联系:互为镜像
在计算机科学领域,这种关联为软件验证(即确保软件正确性的过程)提供了一个理论基础。通过逻辑命题的方式描述所需行为,程序开发者可以通过数学方式证明一个程序的行为是否符合预期。并且在设计更强大的函数式编程语言方面,这种关联也提供了坚实的理论基础。而在数学领域,这种对应关系已经催生出了证明助手(proofassistant)...
简谈逻辑学的作用
言论的逻辑力量,来自严密的逻辑推理。掌握逻辑推理和论证的规则和方法,可以有效地提高说理论辩的能力,避免论证中出现逻辑错误。例如,有人说,“某人一定做了亏心事,因为他脸红了”,“某人一定会游泳,因为他是在河边长大的”,“他一定很有钱,因为他出手大方”等,都是错误的论证。在商业广告中,常见利用例证...
刘润:12条思考问题的底层逻辑
④概全靠推理。所谓概全,就是得出一般性结论,只能靠证明,靠推理。在网上不要随便说:“这难道不是共识吗?所有人都这么认为……”,这么说,并不代表你的结论就是真理。不如利用你的逻辑思维来证明它。8.逻辑闭环的五个层次第一层次:思维没有闭环,思考没有逻辑。你说A,他说B,两者之间的思维永远没有交集。