本栏层级:四幕各占一节,按时间推进。哲学供出概念与问题,科学供出检验与反例,两边互为条件、互相改写(E·纠缠);收在两个今天仍活着的问题上,且都给可检验的表述。Hierarchy: four acts in time order — a two-thousand-year entanglement, closing on two live, testably stated questions.
第一幕
自然哲学分娩科学THE BIRTH
一次成功的出走。
第一幕 · 筹备中ACT I · IN PREP
自然哲学分娩科学:一次成功的出走Natural Philosophy Gives Birth to Science
伽利略、牛顿从哲学里带走了什么、扔下了什么——科学是哲学史上最成功的一次"显露改写"。What Galileo took, and what he left behind.
第二幕
科学反噬形而上学THE BITE-BACK
休谟问题到逻辑实证主义。
第二幕 · 筹备中ACT II · IN PREP
科学反噬形而上学:休谟问题到逻辑实证主义Science Bites Back
因果、归纳、可证实性——科学的成功反过来拆哲学的台,拆到维也纳学派把形而上学整个判死刑。From Hume to Vienna: the demolition order.
第三幕
科学哲学的世纪PHIL OF SCIENCE
波普尔、库恩、拉卡托斯。
第三幕 · 筹备中ACT III · IN PREP
科学哲学的世纪:波普尔、库恩、拉卡托斯The Century of Philosophy of Science
证伪、范式、研究纲领——关于"科学如何前进"的三套说法,各自看见了发生的哪一段。Three accounts, three segments of genesis.
第四幕
今日边界THE FRONTIER
数学的地位、AI 与实验的自动化。
第四幕 · 筹备中ACT IV · IN PREP
今日边界:数学的地位、AI 与实验的自动化Today’s Frontier
数学是发现还是发明?机器跑实验之后,"观察渗透理论"还成立吗?两个活问题,给出可检验的表述。Two live questions, stated testably.
本栏与《SDE数学导论》互通:数学"发现还是发明"一问,将同时给哲学表述与数学表述。Cross-listed with the SDE mathematics introduction.