亚里士多德实践性推理的现代阐释

按照罗斯等人的观点,亚里士多德在分析实践智慧的形式时运用了"实践三段论"。为了把握实践行动中的逻各斯,亚里士多德提出目标和手段相宜性的"搜索"算法,在现代逻辑中可以用问题求解程序实现。以BDI模型为代表的智能体行动逻辑分析继承了亚氏关于欲望、理性和行动间关系的思想,是亚氏实践性推理的一种现代阐释。但BDI对信念、目标、意图的形式化中存在副作用和冗余等问题,其根源在于对意向性行动的理解不够全面。无论是人类还是人工智能体的行动,情境性、交互性和整体性是其推理的主要特征。

数学推理的本质和功能及其能力培养

数学推理包括演绎推理、合情推理及实践性推理等,但其本质在于演绎推理.思维功能和理解功能是数学推理的2个主要功能.在早期数学教育中,对推理能力尤其是演绎推理能力的培养至关重要.数学课程设置及教学实施要创造推理的环境和机会,使数学课堂形成良好的推理风气.

TRIZ与技术认识论

TRIZ是基于百万份发明专利的统计而提炼出来的技术方法,是技术研发、设计和制造过程的精髓。利用TRIZ等技术方法为技术认识论提供辩护,符合技术哲学经验转向纲领的精神,即任何关于技术的哲学分析必须基于充分的、可靠的关于技术的经验描述之上。在技术认识论中,使用TRIZ等技术方法进行研究催生了技术方法论。此外,对TRIZ本身的研究也将是技术方法论的重要研究课题。

走向工程设计哲学

过去的十多年间,荷兰学派分析的技术哲学在分析哲学和经验转向纲领的共同作用下发展壮大。在没有真正贯彻经验转向纲领之前,采用部分论的分析方式的传统分析哲学的进路不能胜任技术哲学研究。在还原的工程进路中,经验转向纲领得到实施,实践性推理是主要推理方式,具有还原性质的工程方法论被用于支撑哲学分析。但还原性质导致无穷倒退困境,使得还原的工程进路只能解决部分技术认识论的核心问题。非还原的工程进路基于分析哲学整体论的分析方式,彻底贯彻了经验转向纲领,采用非还原性质的工程方法论和工程数学支撑哲学分析,完整地解决了核心问题。非还原的工程进路是基于工程师思维方式的分析的技术哲学,是"工程设计哲学"。