应用逻辑则是利用经典逻辑的工具,去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑分支。所以冯·赖特说:“哲学逻辑有时定义为运用逻辑分析传统上哲学家所关心的概念的结构。”“我把哲学逻辑描述为构造形式系统以精确阐释我们在某些话语领域内的概念直觉。我认为,本世纪20多年来的发展表明:构造此类系统实际上可以在哲学家传统上感兴趣的任何领域内进行。这些系统可以称为相关领域内的‘逻辑’,例如,时间的逻辑,因果的逻辑,行动的逻辑,规范的逻辑,或者偏好(优先)的逻辑。” www.dxs56.com

　　应用逻辑又可以分为三组:本体论的逻辑,认识论的逻辑和伦理规范的逻辑。

　　本体论的逻辑是以传统哲学本体论的概念、范畴以及相关问题为研究对象的逻辑理论。具体来说,它包括模态逻辑、时态逻辑、存在逻辑、部分和整体的逻辑、莱斯涅夫斯基的本体论、构造主义的逻辑、唯名论唯实论意义上的本体论等等。模态逻辑是关于必然性和可能性的逻辑,或者说,是研究含有“必然性”、“可能性”的命题的逻辑特性及其推理关系的逻辑分支。它分为正规的和非正规的两种类型。一个正规模态命题逻辑系统是经典命题逻辑的重言式集的一个扩集,扩集满足两个条件:

　　(1)口(p→q) → (口p→口q)在S中有效;

　　(2)在S中,从有效公式出发, 经使用分离规则, 代入规则,必然化规则,所得到的仍为有效公式。这里提到的必然化规则是:

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

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

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

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

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

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

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

　　注:

　　①罗素:《我们关于外在世界的知识》,东方出版社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页。

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

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

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

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

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

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

上一页  [1] [2] [3]