若┝a，则┝口a。时态命题是研究时态命题的逻辑特性及其推理关系的逻辑分支，它试图把涉及时间因素的命题之间的推理关系系统化，为涉及时间因素的精确讨论和严格推理提供工具。从形式上看，时态命题逻辑系统T是不同于正规模态命题逻辑的，是经典命题逻辑重言式集的另一种扩集，它满足下述两个条件:

　　(1) G(p→q) → ( Gp→Gq)和P→GPp在T中有效;

　　(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期。

免费