哲学逻辑词义辨析与对象范围的界定(4)

　　(2)在T中,从有效公式出发,经使用分离规则,代入规则和时间性概括规则,所得到的仍为有效公式。

　　存在逻辑是关于存在及其同类概念的逻辑理论,它研究这些概念的性质,探讨诸如“存在是不是谓词”等问题,这种逻辑归根结底不仅依赖于纯逻辑的思考,而且依赖于本体论的思考。

　　认识论的逻辑是以传统认识论所研究的概念、范畴为对象的逻辑理论,它们与知识的获得、接受、传递以及对于某一知识的态度例如怀疑、断定、相信等等有关。具体来说,它包括问题逻辑、知道逻辑、相信逻辑、条件句逻辑、内涵逻辑、归纳逻辑(证据、确证、接受的逻辑)等。⑩

　　伦理规范逻辑:伦理学属于广义哲学的一部分,传统哲学特别是伦理学要研究诸如权力和义务、应该、允许、禁止、需要和要求、决定和选择、动机、效果与行动等概念和范畴。伦理规范的逻辑就是与这一类哲学概念和范畴相关的逻辑理论。

　　具体来说,它包括道义逻辑、命令句逻辑、行动逻辑、优先逻辑等等。

　　注:

　　①罗素:《我们关于外在世界的知识》,东方出版社1992 年版,第36页。

　　②P. F. Strawson: Philosophical Logic, Oxford University Press,1967年版,第1页。

　　③格雷林:《哲学逻辑引论》,中国社会科学出版社1990 年版,第17页。

　　④ S, Wolfram: Philosophical Logic: An Introduction, RoutledgeLondon and New York, 1989年版,第8页。

　　⑤陈波:《逻辑哲学》,北京大学出版社2005年版,第10页。

　　⑥N. Rescher: Top ics in Philosophical Logic,D. Reidel PublishingCompany, 1981年版,第21页。

　　⑦胡泽洪:《逻辑的哲学反思》,中央编译出版社2004 年版,第34页。

　　⑧王路:《逻辑与哲学》,人民出版社2007年版,第46页。

　　⑨熊明:《一阶逻辑的内涵语义》,《湖南科技大学学报》(社科版) 2006年第6期。

　　⑩闫景强:《一个以实践确证论为基础的认知逻辑系统KJB》,《湖南科技大学学报》(社科版) 2008年第1期。