论文部分内容阅读
科学哲学中的结构主义起始于苏佩斯与阿当斯，奠基于史尼德，继承与发展于斯泰格缪勒、巴尔泽、缪利尼斯等人。依照结构主义，任何数理科学理论都不是语言学实体，而是超语言学的集合论实体；履行理论重构的适当工具不是元数学，而是数学。结构主义不仅描述了理论元素、理论网络与理论整体子等不同层级的理论单位，还描述了理论化、专门化与还原等理论的内在关系；不仅从共时的角度描述了理论状态，还从历时的角度描述了理论演化。
第一章主要介绍了结构主义产生的问题情景与结构主义引论。“公认观点”把理论看作通过对应规则获得部分观察解释的形式化的公理演算系统，力图建立演绎性的理论还原模型，但是该理论进路与其还原进路都困难重重。结构主义就诞生于探寻解决上述困难的出路的过程之中。
第二章主要介绍了结构主义的共时理论观。最初，苏佩斯与阿当斯认为任意数理科学理论都包含形式化的部分与非形式化的部分。形式化的部分可由公理化定义的集合论谓词来表达，非形式化的部分刻画了理论的应用特征。史尼德将前者称为“理论核心K”，将后者称为“预期应用I，两者结合称为“理论元素”即T=。后来，史尼德与斯泰格缪勒等人将理论性与约束引入理论元素，将理论元素扩展为T=。这里，Mp是T的可能模型集，表示理论的概念框架；Mpp是T的部分可能模型集，即消除了Mp中理论性内容的模型集；r是一个“剔除”Mp中的理论内容得到Mpp的“限制函数”，即Mpp=r[Mp]；C是对于可能模型集Mp的约束，表达了理论的预期应用的特征；M是理论的现实模型集，即概念框架中经验定律所表达的内容，也即那些既满足理论的所有概念工具又遵守理论的基本定律的模型集；I是不能完全形式化的，在外延上是一个“开集”，在内涵上具有一定的“家族相似性”。理论元素只是构成科学理论的最基本单位。理论元素及其理论化、专门化与还原等相互关系构成了更高一级的理论单位即“理论网络”。理论网络由其“本质性”联系而构成的整体就构成了科学理论的最高单位即“理论整体子”。
第三章主要介绍结构主义的历时理论观。共时理论可以看作历时理论的一个“时间切片”。最初，结构主义引入“持有一个理论”概念刻画理论的历时特征。从宽泛的意义上讲，它包含了库恩的常规科学概念和拉卡托斯的研究纲领概念。后来，又引入“理论演化E(t)”的概念，并依此定义了其它的历时理论概念。
第四章主要介绍结构主义的理论还原观。阿当斯沿循苏佩斯的集合论谓词、同构等观念，认为所谓还原就是确立由集合论谓词公理化的两个理论的谓词的同构。史尼德依其理论观，认为还原的实质是两个理论的部分可能模型集之间存在一多对应关系(即函数变换)。这样，理论之间的可通约性应建立在这些开公式与开术语的函数的基础上，不可通约并不意味着不可还原。同时，被还原理论的预期应用包含在与还原理论的预期应用之中。由此，史尼德区分了强还原与弱还原，认为弱还原仅要求科学理论中非理论概念之间的“翻译”，而强还原还要求理论概念之间的“翻译”。后来，结构主义者又考察了近似还原与本体论还原，还考察了历时态的理论还原。
第五章主要依据结构主义的早期理论与后期理论重构刚体力学与粒子力学理论并分析两者之间的还原关系。
第六章分析理论及其还原的本质。从科学哲学的三种理论观(语形观、语义观(包含结构主义)与语用观)与两种理论进路(规范主义进路与自然主义进路)中，我们发现任何数理科学理论都具有形式与经验两个要素，都具有一定的形式化本质与实用性本质，理论之间的还原关系本质上是一种映射关系。
综之，结构主义力图把逻辑经验主义对科学的共时分析和历史主义对科学的历时分析有效地结合起来，力图把数理科学理论的形式化特征与非形式化的特征有机地结合起来，能够较好地刻画数理科学理论与其相互关系；但是，也面临一定的问题如逻辑悖论与集合论悖论等。目前，很多结构主义的支持者试图采用元逻辑、群理论、拓扑学等发展结构主义理论。
第一章主要介绍了结构主义产生的问题情景与结构主义引论。“公认观点”把理论看作通过对应规则获得部分观察解释的形式化的公理演算系统，力图建立演绎性的理论还原模型，但是该理论进路与其还原进路都困难重重。结构主义就诞生于探寻解决上述困难的出路的过程之中。
第二章主要介绍了结构主义的共时理论观。最初，苏佩斯与阿当斯认为任意数理科学理论都包含形式化的部分与非形式化的部分。形式化的部分可由公理化定义的集合论谓词来表达，非形式化的部分刻画了理论的应用特征。史尼德将前者称为“理论核心K”，将后者称为“预期应用I，两者结合称为“理论元素”即T=
第三章主要介绍结构主义的历时理论观。共时理论可以看作历时理论的一个“时间切片”。最初，结构主义引入“持有一个理论”概念刻画理论的历时特征。从宽泛的意义上讲，它包含了库恩的常规科学概念和拉卡托斯的研究纲领概念。后来，又引入“理论演化E(t)”的概念，并依此定义了其它的历时理论概念。
第四章主要介绍结构主义的理论还原观。阿当斯沿循苏佩斯的集合论谓词、同构等观念，认为所谓还原就是确立由集合论谓词公理化的两个理论的谓词的同构。史尼德依其理论观，认为还原的实质是两个理论的部分可能模型集之间存在一多对应关系(即函数变换)。这样，理论之间的可通约性应建立在这些开公式与开术语的函数的基础上，不可通约并不意味着不可还原。同时，被还原理论的预期应用包含在与还原理论的预期应用之中。由此，史尼德区分了强还原与弱还原，认为弱还原仅要求科学理论中非理论概念之间的“翻译”，而强还原还要求理论概念之间的“翻译”。后来，结构主义者又考察了近似还原与本体论还原，还考察了历时态的理论还原。
第五章主要依据结构主义的早期理论与后期理论重构刚体力学与粒子力学理论并分析两者之间的还原关系。
第六章分析理论及其还原的本质。从科学哲学的三种理论观(语形观、语义观(包含结构主义)与语用观)与两种理论进路(规范主义进路与自然主义进路)中，我们发现任何数理科学理论都具有形式与经验两个要素，都具有一定的形式化本质与实用性本质，理论之间的还原关系本质上是一种映射关系。
综之，结构主义力图把逻辑经验主义对科学的共时分析和历史主义对科学的历时分析有效地结合起来，力图把数理科学理论的形式化特征与非形式化的特征有机地结合起来，能够较好地刻画数理科学理论与其相互关系；但是，也面临一定的问题如逻辑悖论与集合论悖论等。目前，很多结构主义的支持者试图采用元逻辑、群理论、拓扑学等发展结构主义理论。