“逻辑”这个语词由英语Logic音译而来,导源于希腊文,原意是思想、理性、言词、规律等。逻辑学是研究思维的形式结构及其规律和简单的逻辑方法的学说。推理形式及其有效性的判定是它的核心内容。它的研究对象主要是思维的形式结构及其规律的简单的逻辑方法。逻辑学对思维形式结构的考察,是从它所表现的思维的真假关系方面来进行的。思维形式结构本身无所谓真假,但其中的变项代入具体内容后,便形成了有真有假的具体思想。同一思维形式结构在不同内容的代入下,成为有不同内容的具体思想。这些具体思想事实上是真是假,即是否符合客观事物情况,逻辑学并不能解决。逻辑学关心的是,当变项代入具体内容时,基于思维形式结构的不同,其真假情况所表现出的规律性[18]。
从逻辑学的研究对象可知,这门科学提供给人们的是认识事物、表达论证思想时必须运用的一种思维工具,所以,它是一门工具性质的科学。作为一门给人们提供思维工具的科学,逻辑学本身并不能直接提供任何具体的科学知识,但任何科学知识都需要借助思维形式结构来承载具体的思维内容,所以逻辑学的基本理论在其他科学里被当作是一些普遍适用的原则和方法。从这个意义上说,逻辑学是各门科学建立的基础[19]。
推理是一个命题序列,是以一个或一些命题为根据或理由得出另一个命题的思维过程。推理由前提和结论两部分组成。作为根据或理由的命题是前提,由前提推出的命题是结论。
推理是多种多样的,可以根据不同的标准对推理进行不同的分类。首先,根据推理的前提和结论之间是否有蕴涵关系,即前提为真是否必然推出结论为真,可把推理分为演绎推理与非演绎推理。演绎推理就是前提与结论之间存在蕴涵关系的推理,非演绎推理就是前提与结论之间不存在蕴涵关系的推理。其次,在演绎推理中,根据推理的前提是复合命题还是简单命题把演绎推理分为简单命题推理和复合命题推理。简单命题推理又分为直言命题推理和关系命题推理。复合命题推理又分为联言推理、选言推理、假言推理、等值推理和双重否定推理。再次,根据推理是否包含模态命题,把推理分为模态推理和非模态推理。另外,推理也有一种比较普遍的分类方法:(www.xing528.com)
●演绎推理:从一般推理到特殊;
●归纳推理:从特殊推理到一般;
●类比推理:从特殊推理到特殊。
学习逻辑学的根本意义,是训练和提高人们的逻辑思维能力,促进其自觉地运用逻辑知识,提高学习和工作的质量。特别是在当今知识社会中,逻辑在社会经济各个方面有着及其广泛的应用。逻辑学可以帮助人们准确、严密地表述和论证思想,它通过对现有的事实进行逻辑描述,通过逻辑推理可以预测逻辑结果。这种思路被广泛应用于政治分析,例如使用这样的方法分析了2002年的荷兰大选,成功地再现了整个过程;在2006年荷兰大选中又再次用于预测,也成功地得出了结果,2006年诸政党趋势分析中到最后阶段得分最高的CDA(基民盟)最终确实胜出。这种预测实际是要考察媒体对政治、政党的影响,特别是在大选这样的情况下。对于从媒体中收集来的数据,以把它们形式化地表达成Kripke逻辑结构作为统一的表达方式。此应用中不仅具有形式化语义的统一表达,而且继承了深入研究的模态逻辑(Modal Logic)形式的查寻语言。这就允许我们使用现成的模型检查软件来查寻报纸的文章,或这些文章的形式化形式。模态语言(如混合逻辑Hybrid Logic)是非常具有表达力的,可用案例捕捉重要的政治术语,例如内部争论或批评等。这种方式被实验证明了可以把大约7 500或更多的报纸文章转化成Kripke逻辑结构。使用一个已有的混合逻辑模式检查工具有三个好处:首先,为报纸文档的形式化表达提供了一个明确的语义,使得此项研究变得更为透明,因此也是可重复的;其次,使用已有的工具,有意和特别编写软件的工作量大大减少了;最后,整合形式化表达的背景知识也变得很直接。
免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。