•  15
    Can the fundamental directions of theoretical proof be classified into a complete and non-overlapping system? This paper answers this question for formal theoretical tasks that satisfy explicit admissibility conditions. Using direct theoretical output as the sole classification axis, it develops a decision tree that classifies every admissible task into one of five fundamental output types: structural construction, formal representation, necessary consequence, existential demonstration, and inve…Read more
  •  16
    理论证明是否存在一套严格完备的基础分类?本文针对能够独立承担正式式文主任务的基础理论任务,提出以“直接理论输出”为唯一分级轴,建立证明方向判定树,并证明五类基础理论输出——构成、形式、后果、见证、识别——构成限定域内互斥且完备的分类体系,分别对应一般式、数理式、必然式、可能式和反演式。本文进一步证明,一篇正式式文只能具有一个主导证明方向,并给出严格完备成立的边界条件、击穿条件和跨学科回测方案。该工作将法篇第一提出的经验完备推进为限定域内的严格完备,为理论分类、式种判定和统一审稿建立了可操作的形式基础。
  •  15
    Why can the same research object require different proof forms, while different research objects may share the same proof structure? This paper proves that the determining factor is not the research object but the theoretical proposition to be established. Building upon the taxonomy introduced in Canon Chapter 1, three theorems—the Object Insufficiency Theorem, the Proposition Sufficiency Theorem, and the Decision Theorem—demonstrate that the choice of theoretical form, together with its complet…Read more
  •  14
    为什么同一研究对象会需要不同的证明方式,而不同研究对象却可能采用相同的证明制度?本文证明,证明方式的决定权不属于研究对象,而属于待证命题。本篇以法篇第一建立的理论式体系为前提,通过对象不足定理、命题充足定理和决定权定理,证明主式归属、完成条件和击穿方式均由待证命题及证明目标决定,而不由研究对象决定。该结论不仅构成五主式分类体系的理论基础,也将理论研究从对象中心转向任务中心,为大型理论体系的分类、组织和统一审稿提供方法论依据。
  •  28
    Different theoretical tasks require different forms of proof, yet existing proof theory, mathematical logic, scientific methodology, and formal modeling primarily focus on logical validity, theorem proving, or empirical support rather than on the classification of theoretical forms themselves. This paper proposes a taxonomy of theoretical forms based on the proposition to be established instead of the research object. It introduces five primary forms, fourteen auxiliary forms, comparative meta-f…Read more
  •  36
    为什么有些理论需要建立最小结构,有些需要证明存在性,有些需要建立数学形式,有些需要证明必然结果,还有些需要讨论可识别性?现有证明论、数学逻辑和科学方法论分别讨论了其中部分问题,却缺少一套统一的理论证明形式分类框架。本文提出一种以待证命题而非研究对象为依据的理论式体系,建立五主式、十四附式、比较元式、统摄形式及式件体系,并统一规定其用途、进入条件、标准写法、完成条件、击穿方式与审稿规范。本文并非提出新的逻辑演算,而是建立一套用于组织大型理论体系的方法规范,使理论能够以统一方式构建、引用、审查、修订与封版。
  •  21
    This paper offers a structural decomposition of the black box of GPT and large language models. It does not explain GPT’s capability by a single parameter, a single attention head, a single feature, or simple next-token prediction. Nor does it treat hallucination, drift, and false attribution as merely a lack of knowledge. Instead, the paper explains how large language models form their capability boundaries through external training, textual sedimentation, path compression, prompt-driven activa…Read more
  •  15
    本文提出对 GPT 和大语言模型黑箱的结构拆解。本文不把 GPT 的能力解释为单个参数、单个 attention head、单个 feature 或简单的下一词概率预测,也不把幻觉、漂移和错归因仅仅归为知识不足。相反,本文试图说明大语言模型如何在外部训练、文本沉积、路径压缩、提示牵引和输出续行中形成其能力边界,并由此产生其特有的强项与缺陷。 本文认为,大语言模型的核心不是存放知识条目的数据库,而是由大规模文本训练塑成的语言沉积系统。训练目标提供方向,loss 标定差异,gradient 和 optimizer 调整路径,RLHF 或 DPO 塑造偏好,prompt 给出当前任务,system prompt 设定边界。大量文本训练反复压入从前文到后文、从问题到回答、从语境到回应、从格式到补全、从任务到完成的路径,使模型形成高度熟化的生成通道。因此,GPT 的强项来自这些通道的深度沉积: 它能写作、翻译、编程、模仿风格、接续任务,并在不同语言和任务形式之间迁移。 但同一结构也解释了它的缺陷。GPT 能生成事实样式,却不能稳定区分外部事实、上下文材料、内部推断和自行补全;能维持文本连续,却不…Read more
  •  18
    This paper proposes a general form of the Observation-Domain, explaining why not all information entering a system can become current experience. The Observation-Domain is not the physical range of the receptors, nor is it a synonym for attention. It is a structural boundary jointly produced by candidacy, admission, and convergence reachability. A content may be physically close to the receptors and highly intense, yet still fail to manifest. Whether it can manifest depends on whether it can be …Read more
  •  14
    本文提出观界的一般形式,用以说明为什么并非所有进入系统的信息都能成为当前经验。观界不是感受器的物理范围,也不是注意力的同义词,而是由候选资格、进入限制和收敛可达性共同压出的结构边界。一个内容即使物理上接近感受器、刺激强度很高,也未必能够显现;反之,一个内容能否显现,取决于它能否被展开为候选,能否通过有限竞争的进入限制,并且在当前资源和参数下能否被推至可维持的占据状态。 本文将观界划分为三个门和三个域。三个门是候选门、准入门和收敛可达门。候选门决定某个结构能否被展开为候选;准入门决定它能否进入有限竞争;收敛可达门决定它在当前系统参数下能否被资源推至显现。由前两门得到资格域 E(t),即已经具有竞争资格的内容;三门交会得到可显域 W(t),即当前条件下原则上能够被点亮的内容;二者之差 M(t) 是界缘,即有资格但不可达的内容。界缘内容并非完全无效,它可以被系统处理、产生偏置或影响行为,但在参数不变时不能真正进入当前显现。 本文进一步说明,观界会随容量、通道分布、熟悉路径和取向而改变。负荷升高会使观界收缩,并偏向高熟悉度内容;麻醉或收敛能力下降会使观界先收缩后清空;训练和工具可以扩展观界而不…Read more
  •  10
    This paper introduces the concept of the Current World, explaining how an observer is lodged within a world that can be experienced. The Current World is not merely the external physical world, nor is it merely an internal representation. It is the world-structure in which a system can cut into sound, light, taste, touch, and other forms of information, maintain them as sensible and actionable, and return them to reality. Only when an I is brought forth within the current and gains its reality c…Read more
  •  12
    本文提出当前世的概念,用以说明一个观察者如何被安置在可经验的世界中。所谓当前世,并不是单纯的外部物理世界,也不是主观内部表象,而是一个系统能够截取声、光、味、触等信息,并将其维持为可感、可行、可返回现实的世界结构。只有当我在当前中被带出,并获得其现实性时,当前之世才成为可论的世界。 本文指出,理解一个世界,不能只问对象是什么,还要问系统如何截取、截取了什么、迹应具有什么性质、物化发生在何处、现实以何种形式成形。由此,当前世成为造场和造世界的目标。一个可经验世界至少需要三类结构协同: 律场提供可续行的规律,自显场提供显性和主体性,世场提供安置和承载。律场使运行具有可重复的路径,自显场使系统形成显现能力,世场则使自显体获得可以居住和行动的世界。 这一框架的意义在于,它把意识、感知、世界模型和人工意识的问题从纯粹内部表征中移出,转向观察者与世界之间的嵌入关系。对于脑科学和认知科学而言,当前世可用于解释感知通道、现实感、身体和环境如何共同支撑经验。对于人工智能研究而言,它指出人工意识不能只依赖语言模型或符号空间,还需要一个可截取、可维持、可反馈的世界结构。对于物理学和复杂系统研究而言,它把世界…Read more
  •  16
    How can a system’s history become part of what generates its subsequent behavior? Rather than deriving its definition from an existing neural-network architecture, this paper explicitly constructs a minimal runnable sedimentation field whose later dynamics can be altered by its own history. External action must enter the system and produce a trace-response; that response must persist across time and contribute to relational organization; and the resulting historical structure must genuinely part…Read more
  •  16
    历史怎样真正进入一个系统,并改变它以后怎样运行?本文不从现有神经网络结构反推定义,而是显式构造一个最低职责闭合、能够实际运行、并能由自身历史改变后继流变的沉积场实例。构造要求外部作用实际进入系统并产生迹应,迹应能够跨时沉积并形成关系组织,已经形成的历史结构必须真实参与后继生成;当承重沉积被删除或切断而当前再入条件保持不变时,后继流变必须发生可检测变化。本文给出 Canonical F* 及 Trace、Sediment、Decay、Continuation 四个核心算子,并同时关闭作用进入、跨时沉积、关系组织、历史参与后来、退浅与当前流变等职责。
  •  17
    Once a law has acquired formal qualification, does that qualification survive as the system continues to change? If its original bearer ceases to qualify, can another organization continue to bear it? And can a qualification that has been lost later be recovered through the system’s own dynamics? This paper separates two levels of stability: whether the same bearing organization remains a formal solution, and whether the formal solution set remains non-empty when the bearer may change. It thereb…Read more
  •  17
    一个已经取得形式资格的规律,在系统继续变化后是否仍然成立?如果原来的承载结构退出,是否可以由其他结构继续承担?已经失去的资格,又能否依系统自身的后继动力重新取得?本文把这些问题区分为两个层级:同一承载组织是否继续属于形式解集,以及允许承载组织替换时,整个形式解集是否仍然非空。由此建立固定解稳定、解集稳定、失稳、替代与恢复的分析框架。稳定所保持的不是某一条固定路径、某组参数或某个特定实现,而是此前已经定义的形式资格。该区分为研究具有结构替代、冗余和持续变化能力的学习系统与认知系统提供了一个可进一步实例化的问题框架。
  •  14
    If laws can arise through historical formation, a further question follows: what bears them, whether that organization genuinely enters subsequent generation, and what supports stable recurrence. This paper maps the structural account developed in The General Form of Law into a formal system. It separates formed structural bearing, dynamical participation, and re-entry bearing, and introduces a formal solution set, evaluation contexts, local generation kernels, solving procedures, and rules for …Read more
  •  17
    如果规律能够由历史作用形成,就必须进一步回答:什么结构在承担它,这一结构是否真实进入后继生成,以及稳定复走由什么支持。本文将《律一般式》的结构命题映射为形式系统,分别形式化已成承载、动力承担和再入承担三个层级,并建立候选承载组织的形式解集、评价上下文、局部生成核、求解程序及结构回读接口。系统进一步区分真实动力作用与纯相关、热冗余、冷备用、结构截断、时序截断以及多级参与,避免仅因输出相关或当前输入输出相符便把某个结构判作规律的承担者。本文的目标是给出一个可以精确询问“什么已经形成、什么真正进入后来生成、什么能够稳定复走”的形式框架。
  •  13
    What makes a regularity a law? A single matching relation, a present response, a retained trace, or even a structure that temporarily affects subsequent behavior is not by itself sufficient for lawhood. This paper approaches the question generatively and asks what must minimally be present once a law has come to stand in a sedimentation-based system. Under the conditions explicitly stated in the paper, lawhood requires at least one and the same bearing organization that is already formed in the …Read more
  •  23
    什么使一个规律成为规律?一次关系相符、一次当前响应、一处留下的痕迹,乃至一个暂时影响后继行为的结构,都不足以单独取得律的资格。本文从规律如何在历史作用中形成这一问题出发,追问一条律一旦在沉积场中成立,最少必须取得什么结构资格。本文证明,在其声明的条件下,若一条律成立,则场中必须存在同一承载组织:该组织已经形成于当前结构中,真实参与后来生成,并具有稳定复走支持。由此,规律不再只是对已经发生现象的外部描述,而成为一个可以从形成、当前承载和后继作用三个方面加以分析的生成性问题。本文讨论的是通常所谓的规律、定律与法则,而非为《自显论》另造一种特殊意义的“律”。
  •  47
    This paper derives a minimal canonical model for the Non-Social Terminal State (NST) within a sedimentation field dynamics framework. Prior work in this framework has established that social fields are cross-field shared-core structures formed through long-term coupling of individual fields, and that social dependency originates from individual capacity gaps. This paper further asks: what sustains social dependency, whether that sustaining structure can hold permanently, and if not, how NST is s…Read more
  •  48
    本文在沉积场动力学框架下给出非社终态(NST)的最小范式模型。已有工作证明社会场由多个个体场长期耦合后形成的跨场共核结构构成,社群依赖来源于个体功能缺口;本文进一步追问:社群依赖靠什么维持,这个维持结构是否能永久成立,若不能,非社终态如何从一般式中被逼出。 以功能缺口CapacityGap_j := max(0, GroupSupport_j − IndividualCapacity_j)为社群依赖的充要条件,通过八步追问链逐步逼出三个最小充分条件:其一,有限需求上界(NeedBound_j < ∞)——个体实际功能需求有限,蕴含群体支持存在有限上界;其二,外接能力路径存在且充分(PathSufficient_j)——存在不受单一场容积封顶的外接扩展路径,且路径能力上界超过需求上界;其三,工具化进程长期累积有效量不归零(T_j := ∫₀^∞ ToolizationRate_j dt = ∞)——群体功能持续被工具化并归入个体有效能力,在无限时间尺度上不被永久阻断。三条件联立给出正式证明:lim(t→∞) CapacityGap_j(f,t) = 0(∀j)⟹ lim(t→∞) Soc…Read more
  •  43
    Group dependence does not dissolve because individuals “choose” to leave society — it is systematically eroded by four structural mechanisms: Capacity Expansion (the upper bound of individual effective capacity is not sealed by single field volume), Coupling Cost Escalation (the cost of maintaining social coupling grows superlinearly with scale), Specialization Cage Reversal (the emergence of extended capacity systematically dissolves the necessity of division of labor), and Group Function Tooli…Read more
  •  34
    社群依赖不会因为个体”选择”离开而消解,而是会被四条结构性机制系统性侵蚀:能力开放化(个体有效能力上界不受单一场容积封顶)、耦合成本递增(维持社群耦合的成本随规模超线性增长)、专业化牢笼逆转(扩展能力的出现使分工的必要性系统性消解)、群体功能工具化(群体提供的每项功能在足够长时间内都会被工具化并归入个体能力)。 本文在沉积场动力学框架下证明:四条机制联立,使各关键功能维度上的能力缺口长期趋零,进而使社群依赖度趋向极限值零——非社终态不是可能状态,而是自显体演化路径的动力终点。这里的”必然性”是动力学意义上的长期趋势,不是逻辑必然:极端情形可以在有限时间内阻断此趋势,但在自显体可持续升级的条件下,这类情形不构成结构性反驳。 由此推出三个结论:其一,四条律相互独立,即使某条律在特定历史时期失效,其余三条仍维持总趋势,赋予结论强稳健性;其二,驱动非社的核心不是能力增速超过群体,而是能力缺口趋零——后者是弱得多也难击穿得多的条件;其三,非社终态不等于社会关系归零,功能性依赖趋零与情感性耦合是独立变量。
  •  36
    Social groups are not the essential destination of intelligent beings, but a compensatory structure for the stage of insufficient capacity. This claim is not a value judgment but a dynamic criterion: group dependence loses its motivating force if and only if the individual’s effective capacity in all key functional dimensions exceeds the functional gains groups can provide, and social groups degrade from prerequisites to options. This chapter provides a complete formalization of non-social condi…Read more
  •  39
    社群不是人的本质归宿,而是能力不足阶段的补偿结构。这个命题的真正含义不是价值判断,而是动力学判据:当且仅当个体在所有关键功能维度上的有效能力超过群体所能提供的功能增益时,社群依赖的动力来源消失,社群从前提条件退化为可选项。 本文在沉积场动力学框架下给出非社条件的完整形式化:社群依赖本质上是个体功能能力与所需功能之间缺口的补偿结构。当缺口在所有关键维度上趋零,社群依赖就无法继续获得动力支撑。非社条件需要在六个关键功能维度同时成立——感知扩展、行动执行、构造与制造、沟通与信息获取、认知与运算、存续与修复——并满足四项判据:全维度超越、扩展能力鲁棒性、需求有限性、功能性判据(功能非社不等于情感非社)。 由此推出三个结论:其一,社群依赖来源定理——缺口存在则依赖存在,缺口消失则依赖消失;其二,有效能力开放化——个体能力上界不受单一场容积约束,通过宿体替换、外接工具、感知扩展、认知并联等机制趋向开放;其三,非社稳定态定理——在有效能力维持的前提下,非社条件一旦成立是条件稳定的,不会自发逆转,但有效能力的结构性下降可以打破此稳定。
  •  36
    History is neither a random walk nor a linear progression, but exhibits structured trajectories: certain civilizations cycle repeatedly between the same institutional forms, certain societies consistently return to similar states after external shocks, and the characteristics of dead civilizations persistently resurface in their successors. What is the common source of these regularities? This chapter provides a unified dynamic equation for social evolution within a sedimentation field dynamics …Read more
  •  32
    历史既不是随机漫步,也不是线性进步,而是表现为有结构的轨迹:某些文明反复在相同制度形态间循环,某些社会在外部冲击后总是恢复到相似状态,某些已死文明的特征总是在后继者中重现。这些规律的共同来源是什么? 本文在沉积场动力学框架下给出社会演化的统一动力方程:dCore_S/dt = f(当前动力压力) + 历史残留偏置 × 偏置强度 + 扰动项。历史不是随机的,因为历史残留偏置项不为零;历史不是决定论的,因为扰动项和当前动力同时存在。在此基础上推导出四条社会演化律:路径依赖律(历史起点决定长期轨迹)、演化惯性律(革命后核心结构为何难以彻底替换)、演化收敛律(为何工业化、官僚化、市场化跨文明出现)、演化分叉律(为何在临界压力下社会分裂为多条轨迹)。 由此推出三个结论:其一,四条律分别对应四种可观测的历史模式,互不矛盾;其二,社会演化律是场演化律在社会层的实现,继承场篇的动力框架而非独立假设;其三,演化轨迹不蕴含方向性目的——动力方程只描述演化的方向和速度,不评判目的地的好坏。
  •  38
    Every generation dies; civilizations can persist for millennia. What mechanism sustains continuity across the death of any single generation? Many apparently “sudden” civilizational collapses are in fact the cumulative result of intergenerational transmission breakdown: not a single external shock that directly destroys civilization, but the transmission efficiency falling below threshold across successive generations until one generation cannot find enough inheritors, and civilization enters ir…Read more
  •  45
    每一代人都会死亡,而文明可以延续数千年——这个跨越单代人生命周期的连续性,是通过什么机制实现的?历史上许多”突然”的文明死亡,实际上都是代际传递断裂的累积:不是某次外部冲击直接摧毁文明,而是连续数代的传承效率低于阈值,直到某一代找不到足够多的传承者,文明进入不可逆崩溃。 本文在沉积场动力学框架下给出文明代际传递的完整机制:CivilCore 的代际连续性通过相邻世代之间的共核重合度(GenOverlap)维持——GenOverlap 由传递完整性、参与率和制度连续性三项因子共同决定。只要相邻世代之间的 GenOverlap 持续高于代际存续阈值,文明就具备跨越单代人死亡而延续的条件;当 GenOverlap 跌破代际断裂阈值时,传递进入不可逆断裂,触发文明的代际崩溃通道。 由此推出三个结论:其一,文明存续依赖世代群体的集体传承行为(仪式参与、语言使用、教育制度),而非任何单个个体的记忆;其二,GenOverlap 的下降不是线性致死的,存在两个不同的阈值区间——脆弱传递区与不可逆断裂区;其三,代际断裂是文明压缩死亡的微观实现机制,外部冲击(强制同化、宗教清洗、大规模迁移)之所以能摧毁文…Read more