技术人工物结构与功能的推理形式化(4),自然辩证法论文

　　在该逻辑模型中包括了对应规则B.（参见张华夏、张志林，第72页）即通过对应规则，技术人工物实现从结构到功能之间的转换。张模式满足了笔者提出的CC1EC标准，但是，技术人工物进行技术推理的过程中，不一定需要有一个对应规则，而且有时并不存在一个对应规则。而应当通过技术结构-功能子（structure-functionon）来联接结构与功能的关系，这更加符合技术实践和工程实践。
　　
　　按照笔者提出的技术人工物的系统模型，技术人工物包括许多要素，一定数量的要素组成同一个层次，技术人工物包括了不同等级的多个层次，技术人工物也包含了许多子功能。任何一个要素本身都具有结构和功能，还可以再分为更低层次的要素。我们将技术客体的功能F逐级分解，根据工程技术的需要，可以分解到一个足够基础的功能，我们称之为原子功能F0.与功能的逐级分解相对应，有技术人工物的结构的逐层分解。工程与技术实践的经验表明，与最小功能相对应，一定还有一个最小的结构，称之为原子结构S0,原子功能与原子结构是统一在一起的，它表达了人工客体x的两个重要特征，即：S0（x）F0（x） ,为方便，将技术结构功能子记为SF0,它表示人工客体的原子功能与原子结构是等价的和相通的，它们是连接结构与功能的桥梁。比如，一个圆柱形的物体，就可以滚动。这是工程与技术实践经验总结。圆柱体就是一个结构-功能子，它有圆的结构和滚动的基本功能。结构-功能子总是通过实体来承担的。这个实体就是人工物的要素或部件，要素或部件是结构-功能子的承担者。
　　
　　基于原子结构-功能子，通过原子结构-功能子连接最低层次的结构与功能，逐渐增加层次，就将最高层次的结构与功能联接了起来，从而在实践上连接了结构与功能，消除结构与功能之间的鸿沟，这是从实践层次上解决的。
　　
　　基于张模式，考虑到技术的结构-功能子，我们将得到从结构到功能的技术推理模式，笔者称其为模式Ⅰ（Model Ⅰ） ,可用符号表示为：（参见吴国林、陈福，第445页）
　　
　　解释者：要素描述C与结构描述S; 要素与结构满足的技术规律或规则描述L; 环境描述E; 结构-功能子描述SF0
　　
　　被解释者：技术人工物的功能描述F;
　　
　　写成逻辑表达式为：C. S. L. E. SF0…→F.
　　
　　其中，“. ”表示合取，“…→”表示实践推理，即在工程技术实践中这一推理是合理的，具有工具合理性或技术合理性。这样的表达方式更符合工程技术人员的实践活动。①对于模式Ⅰ来说，其技术人工物的本体论基础就是技术人工物的系统模式，同时也满足UD、RC、CC、EC标准的限制。
　　
　　在模式Ⅰ中，其技术人工物的“意向”如何体现呢？“意向”体现在主体的使用中：要素描述C与结构描述S; 要素与结构满足的技术规律或规则描述L; 环境描述E; 结构-功能子描述SF0,进而通过行动产生了技术人工物的功能F.实际上，在技术人工物的系统模式中，“意向”总在与要素、结构、功能和环境发生作用，“意向”作用并不是独立的，而是渗透于它们之中。
　　
　　结构与功能的实践推理模式Ⅰ，能否用演绎逻辑将其表达出来呢？笔者发现这是可能的。技术不能用二值逻辑来描述，因为除有效、无效，技术还有无数的中间状态，它至少需要三值逻辑。正如哲学家邦格所说，技术规则至少有三个有效值，即有效、无效和不确定。（cf. Bunge,p. 151）
　　
　　量子力学现象是一个十分奇特的现象，它也不能用二值逻辑给予描述，但可以用三值逻辑表达。科学哲学家赖欣巴哈提出了量子力学三值逻辑。（cf. Reichenbach,pp. 150 - 160）通过考察量子力学三值逻辑的真值表的构造，笔者认为，赖欣巴哈三值逻辑中的直接否定（-）、标准蕴涵（）适用于技术推理，并将技术的真值的“有效”、“不确定”、“无效”分别对应于量子三值逻辑真值的“真”T、“不确定”I、“假”F.于是，重新用赖欣巴哈的方法来表达技术推理模式Ⅰ（吴国林、陈福，第446页） ,它可表达为技术推理模式Ⅱ（Model Ⅱ） :
　　
　　C. S. L. E. SF0F.
　　
　　这就是利用赖欣巴哈三值逻辑得到的关于技术人工物的结构的形式推理模式，它实现了从结构到功能的推理的形式化，根据这一技术逻辑我们就可以进行相关的技术推理。①模式Ⅱ符合工程技术的实践，利用这样的逻辑规则，从结构到功能的技术推理获得了形式上的逻辑推理的意义。
　　
　　参考文献
　　
　　拉普，1986年：《技术哲学导论》，刘武译，辽宁科学技术出版社。
　　潘恩荣，2011年：《工程设计哲学》，中国社会科学出版社。
　　钱学森，1983年：《工程控制论》（修订版） ,科学出版社。
　　吴国林，2011年：《量子信息哲学》，中国社会科学出版社。
　　吴国林、陈福，2015年：《技术解释研究---兼评皮特对哈勃望远镜的分析》，载《东北大学学报》（社会科学版）第5期。
　　吴国林、李君亮，2015年：《试论实践推理》，载《自然辩证法研究》第1期。
　　张华夏、张志林，2005年：《技术解释研究》，科学出版社。