期刊文献+
共找到10,985篇文章
< 1 2 250 >
每页显示 20 50 100
贝叶斯方法的基本原理及其哲学意蕴
1
作者 陈晓平 《哲学分析》 北大核心 2026年第1期155-168,199,共15页
贝叶斯方法现已成为一种新的科学范式,尤其体现于当前迅速发展的人工智能领域,它为AI系统提供了处理不确定性和动态更新概率的推理框架。从基本原理上讲,贝叶斯定理为人们从验前概率过渡到验后概率提供了逻辑依据,成为人们根据经验证据... 贝叶斯方法现已成为一种新的科学范式,尤其体现于当前迅速发展的人工智能领域,它为AI系统提供了处理不确定性和动态更新概率的推理框架。从基本原理上讲,贝叶斯定理为人们从验前概率过渡到验后概率提供了逻辑依据,成为人们根据经验证据来改变置信度的理性指导。然而,贝叶斯定理本身的合理性何在?这是休谟的归纳问题在贝叶斯方法中的体现,具体呈现为贝叶斯条件化规则的合理性问题。对此可提出“最小初始概率原则”给以回答。贝叶斯方法在科学推理的应用上,一个显著方面是用多理论检验模型取代传统的单理论检验模型即假设—演绎法,这不仅符合科学史的实际案例,而且通过“意见收敛定理”得到理论上的辩护。意见收敛定理的前提条件是可交换性,对之加以分析和澄清,可使该定理的应用范围从简单的重复独立试验扩展到复杂的科学验证。 展开更多
关键词 贝叶斯方法 假设—演绎法 意见收敛定理 归纳问题 贝叶斯条件化规则
在线阅读 下载PDF
广义论证理论视域下视频公益广告的多模态说服传播——以《如果排出的二氧化碳可以被看到》为例
2
作者 杨先顺 陈雨 《逻辑学研究》 2026年第1期1-18,共18页
广义论证理论拓展并深化了说服传播研究。基于广义论证理论和方法,本文选取《如果排出的二氧化碳可以被看到》,探究视频公益广告的多模态说服传播。研究发现,《如果》是基于相关的社会文化特征和特定文化情境,用语篇开展的号召“减少碳... 广义论证理论拓展并深化了说服传播研究。基于广义论证理论和方法,本文选取《如果排出的二氧化碳可以被看到》,探究视频公益广告的多模态说服传播。研究发现,《如果》是基于相关的社会文化特征和特定文化情境,用语篇开展的号召“减少碳排放”的多模态说服传播实践活动;根据其多模态文本所述,整体由三个语篇行动构成,论证呈现出三个阶段的说服传播过程。该论证的语境理解规则有:天人合一、大国担当和集体主义;功能规则有:宣示目标、警示现状、知行合一、效果展示、游戏邀约;表达规则有:直接告知、转为可视、视觉对比;分块规则是意象交融。从而分步有序地实现各个阶段的功能,达成号召“减少碳排放”的说服传播目标。 展开更多
关键词 广义论证 视频公益广告 多模态 说服传播
在线阅读 下载PDF
公理化动态排序语义:一个用于情感计算中异构排序整合的元逻辑框架
3
作者 邱德钧 李玮农 《逻辑学研究》 2026年第1期89-114,共26页
情感计算需整合KLM条件逻辑、AGM信念修正、形式概念分析FCA及偏好逻辑等异构逻辑系统已有方法进行情感相关推理,各系统均可输出排序性判断,但其语义异质性与潜在冲突导致了“前提选择困境”。本文提出基于排序性的动态排序语义(Dynamic... 情感计算需整合KLM条件逻辑、AGM信念修正、形式概念分析FCA及偏好逻辑等异构逻辑系统已有方法进行情感相关推理,各系统均可输出排序性判断,但其语义异质性与潜在冲突导致了“前提选择困境”。本文提出基于排序性的动态排序语义(Dynamic Sorted Semantics, DSS)元逻辑框架,通过(准)公理化方法为这一困境提供形式化、有原则的解决方案,将异构逻辑的输出统一映射到共通可比较项领域(U)上的通用排序谓词≥;通过上下文元特征向量■实现情境感知;并运用满足一组(准)公理化属性(P1-P9)的动态影响函数ω和同样受(准)公理化属性(F-UD至F-G)约束的排序融合算子F,生成统一的、上下文相关的综合排序关系≥FusedCtx。本文的元逻辑论证采用刻画DSS的上下文敏感性与非单调性实现。通过这种(准)公理化的设计,增强了情感AI进行前提选择时的原则性、适应性与可分析性,为动态决策场景下的复杂推理提供了坚实的逻辑基础。 展开更多
关键词 动态排序语义 元逻辑 异构排序整合 公理化方法
在线阅读 下载PDF
真理论的目标、结构与方法
4
作者 周振忠 《逻辑学研究》 2026年第1期115-131,共17页
顾名思义,真理论是关于“真”的理论,其核心是研究真本身,这又可分为真谓词/真概念/真性质三个层面,此外还应该包括对真值条件的研究,这得出3+1的真理论研究框架。上世纪下半叶收缩论开始流行,本世纪多元论兴起。二者的共同特征是坚持... 顾名思义,真理论是关于“真”的理论,其核心是研究真本身,这又可分为真谓词/真概念/真性质三个层面,此外还应该包括对真值条件的研究,这得出3+1的真理论研究框架。上世纪下半叶收缩论开始流行,本世纪多元论兴起。二者的共同特征是坚持宽适真性及概念分析优先。但收缩论缺失了对真值条件的实质性研究,多元论则承诺了过多的真性质本体论。结合收缩论以T-双条件句为主的概念分析以及多元论背后关于存在不同的为真方式的直觉,充实上述3+1框架,提议“真之弱一元论+真值条件多元论”真理论,既可保留二者的优点,又可避免其缺陷。 展开更多
关键词 真理论 收缩论 多元论 真值条件
在线阅读 下载PDF
独知逻辑与秘密逻辑
5
作者 熊作军 《逻辑学研究》 2026年第1期62-88,共27页
“独知”即仅为某一个体所知,它是该个体秘密地知道(某一命题)的必要条件。本文在知识逻辑的基础上讨论了“独知”模态及其公理系统,并进一步对秘密逻辑系统进行了扩展,构造了基于S5系统的独知逻辑与S4系统的纯秘密逻辑。在独知逻辑方面... “独知”即仅为某一个体所知,它是该个体秘密地知道(某一命题)的必要条件。本文在知识逻辑的基础上讨论了“独知”模态及其公理系统,并进一步对秘密逻辑系统进行了扩展,构造了基于S5系统的独知逻辑与S4系统的纯秘密逻辑。在独知逻辑方面,揭示了其在“无穷主体集”下的非紧致性,并给出了可靠且强完全的“无穷证明系统”。在秘密逻辑方面,对单主体的纯秘密逻辑系统(不含知道算子)ICST进行了扩展,引入了正自省公理(4公理),得到了ICST4系统,并通过标准模型与翻译证明了其在自反传递的克里普克模型上的完全性问题。最后,本文对独知逻辑与秘密逻辑的相关研究方向进行了讨论。 展开更多
关键词 独知 秘密 ICST4 无穷证明系统
在线阅读 下载PDF
原创《智谱学》学理——从中华文明形态五次智力范畴转换到AI模型五级智谱进化
6
作者 张传奇 《南阳理工学院学报》 2026年第1期114-119,共6页
本文的逻辑起点是导论部分,导论中华文明形态已有的五次文化综合创新带来的中华民族五次智力范畴转换:天、德、仁、灵、理;本文的逻辑中介是从导论到结论的推论部分,推论将目前正进行的中华文明形态第六次文化综合创新带来的“类”的智... 本文的逻辑起点是导论部分,导论中华文明形态已有的五次文化综合创新带来的中华民族五次智力范畴转换:天、德、仁、灵、理;本文的逻辑中介是从导论到结论的推论部分,推论将目前正进行的中华文明形态第六次文化综合创新带来的“类”的智力范畴转换,并原创为《智谱学》的十宗学理;本文的逻辑终点是结论部分,结论人工智能仿生人类智能的五级智谱进化:学理进化、物理进化、生理进化、心理进化与伦理进化。 展开更多
关键词 人类智能 智谱学 人工智能
在线阅读 下载PDF
广义论证视域下苗族“蒙脸”占卜仪式的说理研究——基于“问亡灵”仪轨的“细描”
7
作者 吴小花 《逻辑学研究》 2026年第1期41-61,共21页
苗族的仪式研究一直以来都遵从于功能、结构及象征的理论进路,本文试图以广义论证的“本土化原则”及说理的“文化依赖性”为理论依据,从苗族人的内部视角将仪式视为是人神互动过程。鉴于说理规则的研究目标,从对“蒙脸”占卜中“问亡... 苗族的仪式研究一直以来都遵从于功能、结构及象征的理论进路,本文试图以广义论证的“本土化原则”及说理的“文化依赖性”为理论依据,从苗族人的内部视角将仪式视为是人神互动过程。鉴于说理规则的研究目标,从对“蒙脸”占卜中“问亡灵”仪轨过程的“细描”中提取出通灵取信、隐语避讳、圣物溯源、动作增效、维护权威、鬼神具名六条说理规则。这六条规则围绕仪式主持者“过阴师”的权威建构而展开,形成了一个完整的论证闭环,即构建信任→生产答案→提供方案→强化信任的说理模式,通过具体的说理言语施为,以寻找因果的方式将不确定的病亡灾祸变为可操控,缓解问卜者焦虑,旨在修复与祖先、诸神的关系,达到家宅平安、人寿年丰的目的,动态地呈现了苗族在“问亡灵”仪轨中的内在信仰状态,是苗族仪式从象征研究走向效验研究的有效途径之一。 展开更多
关键词 广义论证 苗族“蒙脸”占卜仪式 “问亡灵” 说理规则 细描
在线阅读 下载PDF
密涅瓦猫头鹰问题的困境与自然规范性出路
8
作者 蔡灵新 《逻辑学研究》 2026年第1期149-165,共17页
谬误是非形式逻辑中用于研究论证的重要部分。然而,艾金在他的演讲中提出一个担忧:作为元语言的谬误一旦被具有交互性特质的人类所拥有,则会引发关于谬误的谬误(fallacy fallacy),并在此基础上继续衍生出谬误的谬误的谬误,从而形成悲观... 谬误是非形式逻辑中用于研究论证的重要部分。然而,艾金在他的演讲中提出一个担忧:作为元语言的谬误一旦被具有交互性特质的人类所拥有,则会引发关于谬误的谬误(fallacy fallacy),并在此基础上继续衍生出谬误的谬误的谬误,从而形成悲观的密涅瓦猫头鹰问题。戈登对这个问题进行解构并认为其根本原因并不是结构性问题,而是动机性问题,从乐观的角度看可以提供辅助规则修正来避免大部分误用。本文认为动机不是密涅瓦猫头鹰问题的根源,该问题的本质在于将忽略了论证中除了语言之外的信息,没有充分考虑论证规则的规范性来源。本文结合吉尔伯特的自然规范性理论讨论谬误使用的问题,并以此分析密涅瓦猫头鹰问题的局限性及其出路。 展开更多
关键词 密涅瓦猫头鹰问题 病理性循环 元语言 谬误的谬误 自然规范性
在线阅读 下载PDF
驳斥逻辑多元论——基于逻辑中的隐式立场与显式立场
9
作者 陈龙 《逻辑学研究》 2026年第1期132-148,共17页
逻辑多元论是一种关于逻辑的哲学主张,宣称存在多种不同的真实且正确的逻辑后承关系。与经典逻辑并存的多种非经典逻辑体系的存在,似乎为逻辑多元论提供了有力佐证,比尔与雷斯塔尔的版本是当前最有影响力的理论。对逻辑多元论的主要批... 逻辑多元论是一种关于逻辑的哲学主张,宣称存在多种不同的真实且正确的逻辑后承关系。与经典逻辑并存的多种非经典逻辑体系的存在,似乎为逻辑多元论提供了有力佐证,比尔与雷斯塔尔的版本是当前最有影响力的理论。对逻辑多元论的主要批评源自意义变化论题和逻辑的规范性。然而,受范本特姆关于逻辑中隐式和显式立场方法论区分的启发,本文提出一种不同于传统反驳逻辑多元论的新视角,并试图论证逻辑多元论的理据只是看似成立的。只要能够通过适当翻译将其纳入经典逻辑的扩展体系,那些竞争性的非经典逻辑后承关系便会消解,而这会大大削弱逻辑多元论的可信度。我们通过考察三种主要的非经典逻辑(直觉主义逻辑、三值逻辑与亚相容逻辑)来具体呈现这一理论图景。 展开更多
关键词 逻辑多元论 逻辑后承 隐式/显式立场
在线阅读 下载PDF
《逻辑学研究》征稿启事
10
《逻辑学研究》 2026年第1期F0003-F0003,共1页
《逻辑学研究》杂志是由中山大学主管、中山大学与中国逻辑学会共同主办,并由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所承办的逻辑学专业学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究,增进海内外逻辑学及相关... 《逻辑学研究》杂志是由中山大学主管、中山大学与中国逻辑学会共同主办,并由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所承办的逻辑学专业学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究,增进海内外逻辑学及相关领域学术同行的交流。 展开更多
关键词 学术刊物 中国逻辑学会 中山大学
在线阅读 下载PDF
以广义论证为视角解读《孙子兵法》战略三篇论证
11
作者 梅寒 《逻辑学研究》 2026年第1期19-40,共22页
《孙子兵法》为春秋时期军事思想家孙子所著,其中《计篇》《作战篇》与《谋攻篇》三篇主要讲解战略思维。孙子针对春秋时期战争形态的转变,为帮助吴王阖闾实现开疆拓土的目的,向吴王阐述了自身的战略思想。以广义论证的理论方法为视角... 《孙子兵法》为春秋时期军事思想家孙子所著,其中《计篇》《作战篇》与《谋攻篇》三篇主要讲解战略思维。孙子针对春秋时期战争形态的转变,为帮助吴王阖闾实现开疆拓土的目的,向吴王阐述了自身的战略思想。以广义论证的理论方法为视角分析《孙子兵法》战略三篇,可以发现作为“下位者”孙子面对“上位者”吴王时的丰富语境和语用因素,也能总结他以“备求胜利”即通过备战来获取战争胜利最大可能的论证核心,此中,孙子从战略筹备、战争统帅、战略意识三方面展开论述,形成了L101-L110的十个L1层语篇,L201-L204的四个L2层语篇,以及L301和L401的L3和L4层语篇。对《孙子兵法》战略三篇的语篇分析可知,《孙子兵法》战略三篇的每一语篇都有功能和目的,背后呈现出一套严谨、完善的战略说理系统。 展开更多
关键词 广义论证理论 《孙子兵法》 战略思维
在线阅读 下载PDF
严复解读庄子的多维视界 被引量:2
12
作者 魏义霞 《河南社会科学》 北大核心 2025年第8期103-109,共7页
与其他近代哲学家一样,严复将庄子置于全球多元的历史背景和文化语境中进行解读。大致说来,严复对庄子的解读从儒学视界、佛学视界、西学视界和老学视界展开。四个维度相互作用,既直观呈现了严复庄子观的近代风尚,又生动展示了严复庄子... 与其他近代哲学家一样,严复将庄子置于全球多元的历史背景和文化语境中进行解读。大致说来,严复对庄子的解读从儒学视界、佛学视界、西学视界和老学视界展开。四个维度相互作用,既直观呈现了严复庄子观的近代风尚,又生动展示了严复庄子观的鲜明个性。有鉴于此,透视严复解读庄子的多维视界,既有助于直观感受严复厚重的西学素养,又有助于深切感悟严复对庄子的推崇备至。 展开更多
关键词 严复 庄子 多维视界 近代哲学
在线阅读 下载PDF
功能主义真理论的新进展:归纳—符合使真者理论 被引量:1
13
作者 陈晓平 《哲学分析》 北大核心 2025年第1期139-155,199,共18页
功能主义真理论借助于功能的多重实现原理而达到一元真理论与多元真理论的统一。在应用“语义上溯”策略的同时应用“经验下沉”策略,把“真”概念的语义单义性与“事实”和“存在”等概念的经验多义性结合起来,在一定程度上达到收缩真... 功能主义真理论借助于功能的多重实现原理而达到一元真理论与多元真理论的统一。在应用“语义上溯”策略的同时应用“经验下沉”策略,把“真”概念的语义单义性与“事实”和“存在”等概念的经验多义性结合起来,在一定程度上达到收缩真理论与扩展真理论的统一。真的本质就是与事实符合。真命题所符合的事实归根结底是语言—实践共同体对该命题的接受。这种接受本身作为事实的客观性在于语言—实践共同体的主体间性,它的存在是一种功能,此功能的实现者是语言—实践共同体及其不可或缺的方法——渐近认定归纳法。这种把符合真理论与归纳方法结合起来的具有双重结构的真理论可称为“归纳—符合使真者理论”。 展开更多
关键词 功能主义真理论 统一多元真理论 收缩论 扩展论 渐近认定归纳法
在线阅读 下载PDF
逻辑学研究(双月刊)编辑委员会
14
《逻辑学研究》 2026年第1期I0002-I0002,共1页
在线阅读 下载PDF
“从现象中推理”:重审牛顿光-色新理论建立过程
15
作者 王大同 袁江洋 《自然辩证法通讯》 北大核心 2026年第1期72-81,共10页
牛顿光-色研究是在其粒子论物质理论背景下展开的,但是,牛顿采用归纳推理的形式从实验出发书写其“光-色新理论”,并非出于修辞学上的考虑,而是因为他始终拒绝笛卡尔式的从概念出发构造理论的做法。牛顿的关键实验有二,一是双三棱镜实验... 牛顿光-色研究是在其粒子论物质理论背景下展开的,但是,牛顿采用归纳推理的形式从实验出发书写其“光-色新理论”,并非出于修辞学上的考虑,而是因为他始终拒绝笛卡尔式的从概念出发构造理论的做法。牛顿的关键实验有二,一是双三棱镜实验,其作用是引导牛顿通过溯因推理直接猜测出日光的异质组成并引出其“光线”概念——这一概念对于牛顿新理论具有类似于理论实体的意义;另一是三棱镜-凸透镜实验,其作用在于检验与证明单色光线的不变性。牛顿“从现象中推理”的基点是从经验归纳得到的具有定律地位的“光的不变性”认识,最终牛顿在《光学》“疑问27”中终结了一切形式的光的修正理论,并在“疑问29”明确说出光线只能是物体。 展开更多
关键词 牛顿光-色新理论 关键实验 “从现象中推理” 光的不变性 物质理论
原文传递
收缩真理论和扩展真理论的对峙与进展--兼评国内三种真理论 被引量:1
16
作者 陈晓平 《文化与传播》 2025年第3期66-76,共11页
自20世纪前半叶塔斯基提出“真”的T模式之后,关于“真”的讨论收敛于两条主线,即收缩真理论与扩展真理论之争和一元真理论与多元真理论之争。收缩真理论否认真理具有本体论的性质,只具有一种与事实无关的语义学性质。扩展真理论则坚持... 自20世纪前半叶塔斯基提出“真”的T模式之后,关于“真”的讨论收敛于两条主线,即收缩真理论与扩展真理论之争和一元真理论与多元真理论之争。收缩真理论否认真理具有本体论的性质,只具有一种与事实无关的语义学性质。扩展真理论则坚持真理具有超越语义学的本体论性质。当代扩展真理论奠基于实用主义的语境论和多元论。为了克服多元真理论的模糊性和不确定性,功能主义真理论应运而生,试图沿着扩展真理论的方向达到多元论与一元论的统一。具有归纳-符合双重结构的使真者理论是基于功能主义真理论提出的,它是一种把收缩真理论包含在内的扩展真理论。与之不同,陈波的无事实符合论和李主斌的典范描述符合论在本质上均属收缩真理论的阵营。 展开更多
关键词 收缩真理论 扩展真理论 统一多元真理论 符合真理论 使真者理论
在线阅读 下载PDF
“指称”与“意谓”——一段分析哲学的历史
17
作者 王路 《哲学分析》 北大核心 2025年第3期40-54,196,197,共17页
弗雷格的Bedeutung一词是其哲学中的重要概念,影响并推动了分析哲学和语言哲学的发展和研究。该词中译文有“指称”“所指”和“意谓”。国内出版的《弗雷格哲学论著选辑》一书采用了“意谓”这一译语。本文认为,该词是哲学用语,但是与... 弗雷格的Bedeutung一词是其哲学中的重要概念,影响并推动了分析哲学和语言哲学的发展和研究。该词中译文有“指称”“所指”和“意谓”。国内出版的《弗雷格哲学论著选辑》一书采用了“意谓”这一译语。本文认为,该词是哲学用语,但是与逻辑相关,与真相关,与语义层面的认识相关。正确认识弗雷格的相关论述,不仅可以更好地理解弗雷格的思想,而且有助于我们更好地区别语言和语言所表达的东西,区别语言所表达的东西和真之条件,从而更好地认识分析哲学的实质,促进和推进我国哲学研究的发展和进步。 展开更多
关键词 涵义 意谓 句法 语义
在线阅读 下载PDF
从“人的言说”到“技术操控”——算法话语权的出场逻辑与理论建构
18
作者 马忠 白双航 《自然辩证法通讯》 北大核心 2026年第1期107-113,共7页
随着人工智能与算法深度嵌入传播体系,话语的生成、分配与解释机制发生了深刻变革,推动了“算法话语权”时代的到来。这是由于算法权力在文化与意识形态中的持续渗透,促使权力形态的变化,主要表现为主体去人化、行为预判性、关系数据化... 随着人工智能与算法深度嵌入传播体系,话语的生成、分配与解释机制发生了深刻变革,推动了“算法话语权”时代的到来。这是由于算法权力在文化与意识形态中的持续渗透,促使权力形态的变化,主要表现为主体去人化、行为预判性、关系数据化和过程循环化的转变,从而引发主体认定模糊、空间边界突破、认知对抗加剧等问题。为此需从理论入手,以马克思主义为指导,从结构性、资源性、认知性维度解析其权力机制,构建以技术嵌入层、内容分发层、社会结构层为核心的分析框架,通过制度规制、伦理引导、算法素养与全球协同等路径,推进算法话语权的分配正义,探索技术介入下公共传播秩序的重建路径。 展开更多
关键词 算法话语权 权力形态 理论建构 分配正义
原文传递
论同一性的模态逻辑
19
作者 张力锋 黄佳颖 《河南社会科学》 北大核心 2025年第12期113-120,共8页
必然同一论认为,同一性陈述若为真,则必然为真。我们沿着形式证明与非形式证明两条路径,详细考察这一论题的多项理论支撑。基于准确阐释相关理论工具,驳斥一个较具代表性的偶然同一论认识,面对质疑莱布尼茨律和必然同一之为性质的论证,... 必然同一论认为,同一性陈述若为真,则必然为真。我们沿着形式证明与非形式证明两条路径,详细考察这一论题的多项理论支撑。基于准确阐释相关理论工具,驳斥一个较具代表性的偶然同一论认识,面对质疑莱布尼茨律和必然同一之为性质的论证,援引多种资源予以回应,从而捍卫必然同一性的模态逻辑。 展开更多
关键词 专名 同一性 必然 模态 严格指示词
在线阅读 下载PDF
理解金岳霖的《论“所以”》
20
作者 周志荣 《湖南科技大学学报(社会科学版)》 北大核心 2025年第5期35-43,共9页
《论“所以”》是金岳霖于1960年发表的一篇重要的逻辑学论文,该文对“蕴涵”和“推论”、“如果—那么”和“所以”做出了严格的区分。有些学者对《论“所以”》中关于“推论的阶级性”的观点有所误解,金岳霖实际上并不是要赋予形式逻... 《论“所以”》是金岳霖于1960年发表的一篇重要的逻辑学论文,该文对“蕴涵”和“推论”、“如果—那么”和“所以”做出了严格的区分。有些学者对《论“所以”》中关于“推论的阶级性”的观点有所误解,金岳霖实际上并不是要赋予形式逻辑以阶级性,更不是要否定形式逻辑。主张推论具有阶级性并不是金岳霖主要论证的观点,他关于推论的更一般的观点是:推论与人的认识相关,具有认知情境的相对性。金岳霖对蕴涵和推论做出区分的目的在于讨论关于形式逻辑的一个“重要问题”,即形式逻辑的认知贡献问题。基于蕴涵和推论的区别与关联的思想,金岳霖对这个问题做出了积极的、肯定的回答。 展开更多
关键词 蕴涵 推论 形式逻辑 形式性 认知贡献
原文传递
上一页 1 2 250 下一页 到第
使用帮助 返回顶部