形式学科 FormalSciences

研究逻辑与抽象系统

关于可能的边界争议:

逻辑与基础作为所有形式系统的基石。哲学领域的“逻辑探讨”若涉及纯理论规则提取，归入此处；哲学意义、认识论意义等讨论继续归入人文学科
概率论虽然常说属于数学分支，但其“通过概率认识随机规律”的目的与纯数学的绝对演绎体系有本质差异, 且在现代学科中地位极为核心，这里单列为独立入口
仅保留数理统计、概率模型及推断理论本身。具体应用领域的统计方法，仅通过“标签/超链接”指向这里的纯理论。统计中的具体调查设计、实验操作和数据分析流程归入实践知识。
信息与计算要严格剥离工程属性具体编程语言、软件开发数据库部署计算机系统实现应放入“工程技术”或“实践知识”。
复杂系统这里**严格限定于高度抽象的形式化模型**, 仅讨论形式系统的整体规律, 不结合自然社会工程等领域具体知识讨论.