#逻辑学

在分析问题与处理复杂情况时，区分“溯因”（Abduction/Causal Inference）与“归疚”（Blame/Attribution）至关重要： 溯因 (Abduction)：侧重于寻找现象背后的逻辑解释，旨在通过现有证据推导出最…

纯粹人身攻击 (Ad Hominem)

一个定义的外延越广，其内涵越稀薄，价值也越低。

对立统一：表面上互为矛盾的双方，本质上应是互为基础的。 同一的辩证法：核心在于发现矛盾。 差异的辩证法：核心在于理解矛盾的必然性。

理性的基础是非理性。 正常的规范性来源于异常。

阿罗不可能定理指出，在非独裁的情况下，若决策方案超过两种，则不存在一种投票机制能够同时满足以下所有条件： 1. 非限制性 (Unrestricted Domain)：对所有可能的个人偏好组合都适用。 2. 帕累托效率 (Pareto Eff…

解释永远需要更多的解释来解释。

不同意识形态下的趋近

在数学中，映射（Mapping）根据其对应关系可分为以下三类： 单射 (Injection)：对于定义域中的任意两个不同元素，其映射后的像也互不相同。 满射 (Surjection)：对于陪域中的任意元素，在定义域中至少存在一个元素与其对应…

本质定义：既不是通常意义上的语言，也不是通常意义上的游戏。 多样性：语言具有巨大的多样性。 规则特性：规则是存在的，但不存在“规则的规则”。 盲目性：因为盲目，所以才能理解。 生活形式：想象一种语言，就是想象一种生活形式。 规则的起源：规则…

在哲学语境下，“是”字通常包含以下两个核心维度： 1. 代表存在：指代事物的本体论地位，即“存在”本身。 2. 代表关系：指代逻辑上的判断与联结，即谓词逻辑中用于连接主语与宾语的系词。

科学研究通常被归纳为以下三种核心范式： 1. 实验 (Experimental)：通过观察和受控实验获取数据，验证假设。 2. 理论 (Theoretical)：通过数学模型、逻辑推导和分析来解释自然现象。 3. 模拟 (Computati…

相关性不意味着因果关系 (Correlation does not imply causation)。

逻辑被视为在符号空间中，主体性被消解后所残留的空虚且均质化的空间。 符号差异的意义：纯粹符号之间的差异具有内在意义。 本体论的多样性：本体论化过程是多样的，经过本体论化后形成的纯符号差异，代表了不同本体论之间的区别。 均质与暴力：逻辑的均质…

在思考与交流过程中，立场与结论先行往往会成为认知的障碍。当一个人预设了立场或结论，后续的逻辑推演往往会变成对既定结论的“辩护”，而非客观的探索。这种思维模式会导致：1. 过滤掉与结论不符的信息；2. 强化确认偏误；3. 降低沟通的有效性。真…

《逻辑哲学论》 《哲学研究》 Language play: 强调语言使用的情境性。 无目的的自由行动: 语言活动并非总是为了达成特定目标，有时是自发的行为。 意识通过再符号化重定规则 规则即为被压抑之物: 探讨规则在心理与社会结构中的隐性作…

在函数式编程中，函子是一个实现了 map 函数的容器或上下文。它允许我们将一个函数应用到容器内部的值上，而无需改变容器本身的结构。 一个函子必须满足以下条件： 1. 包含一个值或一组值。 2. 提供一个 map 方法。 3. map 方法接…

Probability theory as extended logic.

定义：分层组数据表现的相关性方向与整体数据的相关性方向截然相反。 注意：分析时需特别关注分组的权重。 定义：知道结果并不能通过条件概率反推出所属分组的概率。 核心：只能通过基本分布（Base Rate）才能准确推断分组。 定义：在已经被挑选…

Sleight of Mind Mathematical Fallacies and Paradoxes

逻辑三大定律仅能确保推导过程的正确性，但无法保证事件本身真值的确定性。 若同时将事件的“真”与“假”作为前提进行推导，必然会导致相互矛盾的结论，即产生二律背反（Antinomy）。

哲学是从怀疑开始的。

万物皆流，万物皆变。——赫拉克里特 万物皆动，唯它不动。——巴门尼德

数学逻辑 集合论 范畴论 自然数 整数 有理数 实数 复数 数论 群论 图论 序理论 几何 三角学 微分几何 拓扑学 分形 测度论 微积分 向量分析 微分方程 动力系统 混沌理论 复分析 组合数学 计算理论 密码学 图论 数值分析 优化 概…

A programming paradigm is a fundamental style or way of programming. It provides the view of the execution of the system…

现代数学主要包含以下核心分支： 抽象代数 (Abstract Algebra) 拓扑学 (Topology) 泛函分析 (Functional Analysis)

模态逻辑主要探讨命题之间的逻辑关系，以下是几个关键概念： 矛盾：命题之间存在根本对立。 推出：命题之间的逻辑推导关系。 反对关系： 下反对：两个命题不能同时为真。 上反对：两个命题不能同时为假。

模态逻辑（Modal Logic）是研究关于“必然性”和“可能性”的逻辑系统。它在传统命题逻辑的基础上，引入了模态算子来描述命题的模态属性。 必然性算子 (Necessity Operator) □：表示命题在所有可达世界中均为真。 可能性…

从全人类的角度出发，人类的最优解难道不是让每个人都陷入自己的梦境吗？每个人都根据自己的个体差异性选择自己适合的世界。 然而，问题在于： 1. 个体无法确定自己真正适合什么。 2. 个体的本质无法被完全探查，个体本身是偶然性的集合。 个体是整…

形式逻辑的三大基本规律如下： 1. 同一律 (Law of Identity)：A = A (A → A)。在同一思维过程中，概念和命题必须保持同一性。 2. 矛盾律 (Law of Contradiction)：A ≠ 非A。在同一思维过…

在数理逻辑与数学基础中，形式系统通常探讨以下三个核心性质： 完备性 (Completeness)：指系统内所有真命题均可被证明。 可判定性 (Decidability)：指存在一种算法，能在有限步骤内判定系统内任意命题的真伪。 一致性 (C…

论证即是试图把不在场的、不可见的、冗余的东西变得在场、可见的一种有意义的徒劳。 它促成了一种暂时凝定的是和真。

否定词（Negation）是信号系统演化为复杂语言的关键临界点。

一个断言集合若经受住了更多融贯性的挑战，意味着该断言在竞争中成功否定了许多对立观点，且暂时未被更具真理性的断言所推翻。 本质：这是一种在尚未到来的否定性中获得的一种肯定性。 解释机制：解释的本质是构建一个重言式（Tautology），从而使…

如果有一种动物，长的像鸭子，走路像鸭子，叫声像鸭子，那它就是鸭子。

所有人都是错的，因为每个人都总说着要做正确的事。