逻辑是“必然的得出”,是“推理的有效性”

辑是“必然的得出”,是“推理的有效性”,是“从前提真保证得出结论真”。通俗的说是研究推理形式(有效性)而不是其负载内容的。对应的功效是刻画思维中演绎推理这一基本领域的工具。
王路《逻辑的观念》中有个定义(好像是李小五的),凭记忆写出(专门背过,但也不能保证无误):【逻辑就是对形式正确的推理关系进行可靠且完全刻画的形式推演系统。】这个定义自认为能看懂。李小五在《逻辑哲学九章》一书第一章中对逻辑的定义大多看不懂。
记得王路有篇文章说到日常生活中说的“逻辑”,一般是“道理”的意思。题目中的意思我觉得基本就是如此。最好不要混淆。不是说完全不同,而是要有理论自觉的区分区别。只是这篇文章暂时没找到。对于逻辑的定义、逻辑的观念、逻辑与哲学的关系、我国高校的逻辑教学等等问题,他都有不少文章专门详细论述。

时间: 2024-10-09 10:22:19

逻辑是“必然的得出”,是“推理的有效性”的相关文章

Java总结篇系列:java.lang.Object

从本篇开始,将对Java中各知识点进行一次具体总结,以便对以往的Java知识进行一次回顾,同时在总结的过程中加深对Java的理解. Java作为一个庞大的知识体系,涉及到的知识点繁多,本文将从Java中最基本的类java.lang.Object开始谈起. Object类是Java中其他所有类的祖先,没有Object类Java面向对象无从谈起.作为其他所有类的基类,Object具有哪些属性和行为, 是Java语言设计背后的思维体现. Object类位于java.lang包中,java.lang包包

软件工程——理论、方法与实践 之 软件工程中的形式化方法

软件工程——理论.方法与实践 之 软件工程中的形式化方法 从广义上讲,形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动.狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述.模型推理和验证的方法.形式化方法运用于软件工程实践当中主要目的是保证软件的正确性.软件开发实际上就是把现实世界的需求映射成软件额模型化过程.该过程包括:形式规约.形式证明我与检验.程序求精三方面的活动. 形式化规格说明是对软件系统对象,对象的操作方法,以及对象行为

MBA写作串讲笔记 1

写作串讲笔记1 串讲目录 l   论证分析:析错有口诀 l   审题立意:区分评于立 l   开篇秘籍:不再怕走题 l   框架制胜,三点定高低 临别叮嘱(7点) 1.     继续热身:继续热身,防止手生 2.     写作模板:取题.开篇.结尾和本论部分的标准写法和框架 3.     常用词汇:常用的形式性词汇要熟练.要背诵 4.     本论部分:最好写四段,每段最好六行左右. 5.     字数要求:最好31.32行.(千万不要少!) 6.     抄背范文:多朗读.多抄写经典范文,以提

第一次作业:一只程序猿的求学之路

第一部分:结缘计算机 Q:你为什么选择计算机专业?你认为你的条件如何?和这些博主比呢?(必答) A:说实话,在上大学之前我对于计算机专业一无所知,知之甚少.而高考成绩出分后,与其说我选择了计算机专业,不如说是计算机专业"收留"了我.而这个一念之间的决定却对于现在的我来说意义重大,至少到目前,我认为我还是适合这里的.我条件说实话一般般,从完全不知道到略懂一二,也费了不少功夫,不过欣慰的是,我赶了上来并且还在不断向前努力.但是,和这些博主比我还是很虚的,这些"大佬"或在

Android应用开发性能优化完全分析

 应用UI性能问题分析 UI可谓是一个应用的脸,所以每一款应用在开发阶段我们的交互.视觉.动画工程师都拼命的想让它变得自然大方美丽,可是现实总是不尽人意,动画和交互总会觉得开发做出来的应用用上去感觉不自然,没有达到他们心目中的自然流畅细节:这种情况之下就更别提发布给终端用户使用了,用户要是能够感觉出来,少则影响心情,多则卸载应用:所以一个应用的UI显示性能问题就不得不被开发人员重视. 2-1 应用UI卡顿原理 人类大脑与眼睛对一个画面的连贯性感知其实是有一个界限的,譬如我们看电影会觉得画面很自然

回到学校的第二天

今天早上起得很晚,到教研室也相对迟点,不过,很幸运,到了教研室刚好和师弟一起找了导员,导员给了我口头的警告,告诉我下不为例,早上,的两个小时,在研究NoC的同时,还是没有忍住给我的导师发送了一封邮件,这个时候,能决定我命运的就只有我的导师了,中午,吃过午饭,还是直接去了教研室,已经养成了中午不午休的习惯,但是,今天,中午,却没有做什么,因为,中午,琼琼突然打电话,说对于我家人的不满,这个事情,我很无奈,真的是我没有家里人沟通好,这个事情,也会很影响我,本来,中午收到了张老师的回邮,心理没有底的事

Java类的根Object

一.Object类介绍 Object全名java.lang.Object,java.lang包在使用的时候无需显示导入,编译时由编译器自动导入.Object类是类层次结构的根,Java中所有的类从根本上都继承自这个类. Object类是Java中唯一没有父类的类.其他所有的类,包括标准容器类,比如数组,都继承了Object类中的方法(所有的类都隐式的继承自Object,如果你没有显式地给类指定父类时,编译器会给类加一个父类Object,如果你给它指定了父类,编译器就不会多此一举了). 二.Obj

Android 应用开发性能优化完全分析

1 背景 其实有点不想写这篇文章的,但是又想写,有些矛盾.不想写的原因是随便上网一搜一堆关于性能的建议,感觉大家你一总结.我一总结的都说到了很多优化注意事项,但是看过这些文章后大多数存在一个问题就是只给出啥啥啥不能用,啥啥啥该咋用等,却很少有较为系统的进行真正性能案例分析的,大多数都是嘴上喊喊或者死记住规则而已(当然了,这话我自己听着都有些刺耳,实在不好意思,其实关于性能优化的优质博文网上也还是有很多的,譬如Google官方都已经推出了优化专题,我这里只是总结下自的感悟而已,若有得罪欢迎拍砖,我

【转】Android应用开发性能优化完全分析

http://blog.csdn.net/yanbober/article/details/48394201 1 背景 其实有点不想写这篇文章的,但是又想写,有些矛盾.不想写的原因是随便上网一搜一堆关于性能的建议,感觉大家你一总结.我一总结的都说到了很多优化注意事项,但是看过这些文章后大多数存在一个问题就是只给出啥啥啥不能用,啥啥啥该咋用等,却很少有较为系统的进行真正性能案例分析的,大多数都是嘴上喊喊或者死记住规则而已(当然了,这话我自己听着都有些刺耳,实在不好意思,其实关于性能优化的优质博文网