下载文档原格式
形式逻辑非形式逻辑形式逻辑非形式逻辑区别：1、定义不同形式逻辑：研究人的认识知性阶段思维规律的学说，狭义指演绎逻辑，广义还包括归纳逻辑。
形式逻辑的思维规律也是思维形式和思维内容的统一。
非形式逻辑：泛指能够用于分析、评估和改进出现于人际交流、广告、政治辩论、法庭辩论以及报纸、电视、因特网等大众媒体之中的非形式推理和论证的逻辑理论。
2、发展历史不同形式逻辑：已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻辑，19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。
非形式逻辑：兴起于20世纪70年代的北美，奠基人为拉尔夫·约翰逊和安东尼·布莱尔。
他们于1977年合著的《逻辑的自我辩护》是较早强调非形式推理的具体例子的导论性著作。
1978年由他们组织的首届国际非形式逻辑研讨会以及所编辑的《非形式逻辑通讯》（后改名为《非形式逻辑》）标志着非形式逻辑作为一门独立学科的正式诞生。
3、研究不同形式逻辑：在研究方法上，形式逻辑企图将建立在有限思维内容之上的的思维形式推广到思维的全部，这显然是不可能的。
要证明这一点，不妨假设形式逻辑确实是完备的逻辑。
那么不难发现，这种自诩为人类逻辑的典范的逻辑居然不考虑人的情感与好恶，这种自认为最善于解释的逻辑竟然用“因为A理论不符合形式逻辑的甲要求，所以它是错的”这种本质上是“因为错的，所以错的”，或者说“因为不符合我，所以错了”这种神学式的言论，这种立志无所不包的逻辑至少在生活事件面前是惨白无力——就可以断定这绝不是一种可以完整反映人类思维的逻辑。
非形式逻辑：非形式逻辑的主要研究对象是普通人在现实生活中所使用的真实的论证。
论证是人们用于交流、传播、表达思想的重要载体，是用以说服并影响他人观点和立场的有力工具，是进行理性探讨深化认识的主要形式。
好的论证有说服力，让人无可辩驳，而糟糕的论证则苍白无力。
有的论证貌似合理，有很大的迷惑性，实则经不起推敲，在逻辑上站不住脚。
形式逻辑1，概念及其相互之间的关系判断：是对事物及其情况有所断定的思维形式断定：就是肯定或否定事物及其情况Eg,鲁迅是文学家（肯定判断）上帝不存在（否定的真判断）郁金香不是植物（假判断）从语法上说语句有四种类型：陈述句；疑问句；感叹句；祈使句从逻辑上看，只有陈述句，即陈述事物及其情况的句子才与判断相适应，也就是，陈述句具有判断特征，而对于疑问句，感叹句和祈使句，则一般都不表达判断。
Eg,人会长生不老吗？——只是提出问题，并没有做出断定注：但在疑问句中，反诘疑问句，即以反问形式表达事物及其情况的仍为判断。
Eg. 难道2+2不等于4吗？命题：自然语言所表达的思想，在一般情况下，判断，命题是不作区分可以并用的。
Eg. 三角形内角和之和等于180命题形式：指由常项，和变项组成的思想表达方式。
其中常项指有固定意义的词，即逻辑联结词。
如“如果，则”，“并且”，“或者”等。
变项指没有固定意义的代词，如p,q它们可以代入任意命题。
在一个命题形式中的所有变项都取了值，则可得到一个具体命题。
Eg. 如果p则q 如果2<5则5>2.一、简单判断1）性质判断：对事物及其情况性质的断定，又称“直言判断”因素：判断主项，判断谓项，判断联项和判断量项。
判断主项：指事物及其情况的概念用“S ”表示判断谓项：表示判断的主项所反映事物的情况是否有某种性质常用“P ”表示 判断联项：联接主项和联项的概念有肯定和否定之分判断量项：表主项数量。
分为全称量项，如“所有”，“一切”，“凡”；和特称量项，如“有”，“有些”。
Eg1, 所有的偶数都是能被2整除2， 所有的金属都不是导电体重难点：a) 性质判断真假性的判断(1) (2) (3)(4) (5)(1)S, P满足（1）或（2）则SAP为真，否则为假。
(2)S，P满足（4）则SEP为真，否则为假(3)S, P满足（1），（2），（3）或（4）则SIP为真，否则为假(4)S，P满足（3），（4），（5）之一，则SOP为真，否则为假即：由上表知A真则E假，E真则A假，A假则E可真可假，E假A可真可假反对关系I真则O可真假，I假则O真，O假则I真，O真则I可真可假下反对关系A真则I必为真，I假则A假差等关系E真则O必为真，O假则E假对当关系A真则O必为假，A假则O真矛盾关系E真则I必为假，I假则E真Eg, 所有郁金香都是植物；所有郁金香都不是植物；有郁金香不是植物；有郁金香是植物2）关系判断：指凡含有多个主项而且谓项断定事物某种关系的，表示形式aRb 或Rab 其中a,b代表主项，为单独概念，R为谓项是普通概念。
形式逻辑与非形式逻辑逻辑学是研究推理和思维方式的一门学科，其研究范畴涉及形式逻辑和非形式逻辑。
形式逻辑是逻辑学的主体，是一种使用符号语言描述和分析逻辑结构的逻辑学，而非形式逻辑则是指一种不使用符号语言，而运用自然语言来描述和分析逻辑结构的逻辑学。
本文将着重探讨形式逻辑和非形式逻辑之间的区别和联系。
一、形式逻辑形式逻辑是逻辑学的核心，是一种以符号语言描述和分析逻辑结构的逻辑学。
它研究命题间的推理，主要包括命题逻辑和谓词逻辑两个分支。
其中，命题逻辑研究命题之间的关系，谓词逻辑则更为复杂，它研究更为抽象的命题形式，如：全称命题、存在命题等。
形式逻辑的表达方式一般采用符号语言，如“→”“∧”“∨”“¬”等符号，它们都有着既定的意义和运算法则。
严格来说，形式逻辑不关心命题的具体内容，只分析它们之间的逻辑关系。
比如，在形式逻辑中，假设P和Q是两个命题，那么“P∨Q”表示P和Q中至少有一个是真的命题，而不管它们是什么内容。
形式逻辑不仅包括了命题逻辑和谓词逻辑，还有其他的一些逻辑，如模态逻辑、时态逻辑等。
这些逻辑的符号语言和运算法则的设计也是具有约定性的。
形式逻辑的主要优点是其符号的规范性和简洁性，它们能够准确地表示逻辑关系，使得逻辑推理更为精确。
另外，在形式逻辑中，可以使用演绎推理法、证明法等方法来推理，提高了逻辑推理的可靠性。
二、非形式逻辑非形式逻辑是指一种不使用符号语言，而运用自然语言来描述和分析逻辑结构的逻辑学。
它强调的是人类智慧的运用，不受逻辑公式束缚，注重语言的灵活度和表现力。
非形式逻辑允许由未确定的前提和不完全的结论派生结论，它强调的是语言的灵活度和表现力，允许人类直观判断和抽象思考。
而形式逻辑则是基于规则和公式推演出的结论，不允许不完全结论的存在。
同时，非形式逻辑的推理过程是 based on 人类日常经验和常识的，相对于规则的形式逻辑，非形式逻辑更具有灵活性。
然而，这种灵活性同时也可能导致非形式逻辑的思考出现不确定性、混淆不清等问题。
逻辑基础知识——形式推理形式推理主要考察逻辑基本知识的灵活应用，要求根据已知的人物、地点、事件和项目中的关系进行演绎，得出结论。
分为词项逻辑、命题逻辑和逻辑演绎。
这类题目，凭感觉选择成功率小，必须按照有关的逻辑理论和方法去做。
一、词项逻辑1.集合题型画“欧拉图”：先画固定部分。
再用虚线画不固定部分。
要善于分辨可能重合的部分和绝不会重合的部分。
（只能用来排除错误的选项，正确的选项一般验证不了）2.定义判断主要考察运用标准进行判断的能力，应从定义本身入手分析和判断，不能凭借自己已有的定义概念去衡量。
3.直言命题也叫性质命题，从质分肯定和否定，从量分全称、特称和单称。
S-主项 P-谓项 M-中项 A-全称肯定 E-全程否定I-特称肯定 O-特称否定SAP-所有S都是P 反对关系 SEP-所有S都不是P从属矛盾关系SIP-有的S是P 反对关系 SOP-有的S不是P4.三段论结构比较三段论结构比较题，着重从中抽象出一般形式机构。
只需要考虑推理结构和形式，不考虑其叙述内容对错。
第一确定结论，第二确定S、M、P，第三写出AEIO的标准形式，第四对选项一一进行验证。
二、命题逻辑1.假言推理主要是充分条件和必要条件的区分和运用以及命题间的推理关系。
（1）充分条件连接词：如果，则（就）；如果，那么；只要，就；假如，就；要是，那；一，就；只要，必须；（要）。
不能不（一定要）；每一个（所有）；倘若，便；哪怕，也。
必要条件连接词：只有p，才q；仅当、必须p，才q;没有（不）p,没有（不）q；p是q的重要前提；p对q来说是必不可少的；p取决于q；除非p，否则不（则不、不、才）q。
（2）充分条件：仅有这条件就足以带来结果，无需考虑别的条件，即“有它就行”。
必要条件：没有这个条件，结论一定不对，即“没它不行”。
所有必要条件加起来才是充分条件，充分条件如果是唯一的，那就是充要条件。
（3）充分和必要假言推理是条件的真假制约关系，不等于先后关系，等不等于因果关系。
什么是形式逻辑，我们如何理解形式逻辑形式逻辑是逻辑学中的一种重要分支，主要研究推理的形式和结构，而不关注具体的内容。
形式逻辑涉及到命题、谓词、量词等概念，以及它们之间的逻辑关系，如合取、析取、条件、否定等。
形式逻辑的基本原理是恒真律、排中律和矛盾律，它还包括一些推理规则和证明方法，如演绎法、归谬法、假设法等。
理解形式逻辑需要从以下几个方面进行深入探讨：一、命题逻辑命题逻辑是形式逻辑的一种，它涉及到命题、合取、析取、条件、否定等概念。
命题是一个陈述句子，它可以是真或假，而且只有这两种可能性。
合取是指多个命题同时成立，用“∧”表示；析取是指多个命题中至少有一个成立，用“∨”表示；条件是指一个命题成立会导致另一个命题成立，用“→”表示；否定是指一个命题不成立，用“¬”表示。
命题逻辑通过对这些逻辑关系的分析，研究推理和论证的问题。
二、谓词逻辑谓词逻辑是形式逻辑的另一种，它涉及到谓词、量词、变量等概念。
谓词是一个描述性词语，它可以是真或假，而且可以应用于某些对象上。
量词是指描述谓词所应用的对象数量的词语，如“所有”、“存在”等。
变量是指可以代表任意对象的符号，它可以用来表示谓词中的参数。
谓词逻辑通过对这些概念的分析，研究推理和论证的问题。
三、证明方法形式逻辑中常用的证明方法包括演绎法、归谬法、假设法等。
演绎法是指从一些已知的真命题出发，通过逻辑推理得出新的命题的方法。
归谬法是指通过证明一个命题的否定来证明该命题的方法。
假设法是指假设一个命题成立，然后通过逻辑推理来验证该命题是否成立的方法。
这些证明方法都是基于形式逻辑的规则和原理，可以帮助人们更好地进行推理和论证。
四、应用领域形式逻辑在许多领域都有着广泛的应用，如计算机科学、人工智能、哲学、数学等。
在计算机科学中，形式逻辑被用来描述和分析程序的正确性和安全性。
在人工智能中，形式逻辑被用来表示知识和推理过程。
在哲学中，形式逻辑被用来分析和理解推理和论证的过程。
形式逻辑引言：形式逻辑是逻辑学中的一个重要分支，研究的是逻辑关系的形式而不是内容。
它关注如何正确地推理和论证，而不论具体的主题或领域。
形式逻辑借助符号和公式来表达语言中的逻辑关系，从而使逻辑分析更加清晰和精确。
本文将介绍形式逻辑的基本概念和原则，并探讨其在理论和实践中的重要性。
一、形式逻辑的基本原则形式逻辑建立在几个基本原则之上，这些原则指导着逻辑推理和分析的过程。
1. 真值：形式逻辑认为命题（proposition）可以取真（true）或假（false）两个值。
只有在真值确定的情况下，逻辑推理才能进行。
2. 合式公式：形式逻辑使用合式公式（well-formed formulas）来表示逻辑关系。
合式公式是由命题变量、逻辑连接词和括号组成的。
3. 逻辑连接词：形式逻辑使用逻辑连接词来表示命题之间的逻辑关系。
包括合取（and）、析取（or）、否定（not）等。
4. 推理规则：形式逻辑使用推理规则来推导新的合式公式。
常见的推理规则包括假言推理、谬误识别和等价转换等。
二、形式逻辑的符号系统为了更加清晰和精确地表达逻辑关系，形式逻辑引入了符号系统。
符号系统使用符号来代表命题、逻辑连接词和推理规则，从而使逻辑分析变得更加简洁和规范。
1. 命题变量：在形式逻辑中，命题可以用字母或字母组合表示。
这些字母被称为命题变量，代表一个未知的命题。
2. 逻辑连接词的符号表示：形式逻辑使用特定的符号来表示逻辑连接词，比如“∧”表示合取，“∨”表示析取，“¬”表示否定等。
3. 推理规则的符号表示：形式逻辑使用符号来表示推理规则，比如“→”表示假言推理，“≡”表示等价转换等。
三、形式逻辑在理论上的重要性形式逻辑在理论上具有重要的意义，它为其他学科领域的理论构建和分析提供了基础。
1. 形式逻辑为思维规律提供基础：形式逻辑通过定义逻辑关系和推理规则，揭示了思维的一般规律。
它帮助人们理解思维过程中的常见误区，并提供了正确的推理方法。
逻辑学知识点及公式逻辑学是一门研究思维形式、思维规律和思维方法的科学。
它对于我们正确地思考、表达和论证具有重要的意义。
下面为您介绍一些常见的逻辑学知识点及公式。
一、命题逻辑1、命题命题是具有真假值的陈述句。
例如，“今天是晴天”“2 ＋ 3 ＝5”等。
2、逻辑连接词（1）“且”（用“∧”表示）：两个命题都为真时，其组合命题才为真。
例如：命题 P：今天是晴天；命题 Q：我心情很好。
P∧Q 只有在今天是晴天并且我心情很好时才为真。
（2）“或”（用“∨”表示）：两个命题中至少有一个为真时，其组合命题为真。
例如：命题 P：我吃苹果；命题 Q：我吃香蕉。
P∨Q 在我吃苹果或者我吃香蕉或者两者都有时为真。
（3）“非”（用“¬”表示）：对原命题的否定。
例如：命题 P：今天下雨。
¬P 则表示今天不下雨。
3、命题公式的真值表通过列出命题中变量的所有可能取值，并计算出整个命题公式的真假值，可以得到真值表。
4、等价式（1）双重否定律：¬¬P ＝ P（2）交换律：P∧Q ＝ Q∧P，P∨Q ＝ Q∨P（3）结合律：（P∧Q)∧R ＝ P∧（Q∧R)，（P∨Q)∨R ＝ P∨（Q∨R)5、蕴含式如果 P 则 Q，记作P → Q。
只有当 P 为真且 Q 为假时，P → Q 为假。
二、谓词逻辑1、个体、谓词和量词个体是指可以独立存在的事物，谓词是描述个体性质或关系的词语，量词包括全称量词（“所有”，用“∀”表示）和存在量词（“存在”，用“∃”表示）。
2、公式例如，∀x （P(x) → Q(x)）表示对于所有的 x，若 P(x) 成立则 Q(x) 成立。
三、推理规则1、假言推理如果P → Q 为真，且 P 为真，那么可以推出 Q 为真。
2、选言推理（1）否定肯定式：P∨Q，¬P ，则 Q。
（2）肯定否定式：P∨Q，P ，则¬Q （这种情况在不相容选言中成立）3、三段论推理例如：所有的人都会思考，张三是人，所以张三会思考。
形式逻辑知识点总结名师整理精华知识点1、逻辑形式的组成：由逻辑常项和逻辑变项两部分组成的。
2、概念的种类判断是单独概念还是普遍概念取决于其外延中分子对象数量的多少，仅仅包含一个分子对象就是单独概念，包含两个或两个以上分子对象就是普遍概念。
单独概念：只有一个分子对象的概念；普遍概念：具有两个或两个以上分子对象的概念。
判断是集合概念还是非集合概念取决于语句中所规定的对象的属性是整体具有还是其中的分子对象也具有。
集合概念：把对象作为集合体来反映的概念非集合概念：不把对象作为集合体来反映的概念正概念：也叫肯定概念。
反映对象具有某种属性的概念。
负概念：也叫否定概念，反映对象不具有某种属性的概念。
3、概念间的关系全同关系（同一关系）：a b真包含于关系（种属关系）：真包罗关系（属种关系）交叉关系：全异关系：设a,b两个概念,a概念与b概念的全部外延没有任何部分相重合即所有的a都不是b并且所有的b也都不是a矛盾关系：a,b两个概念外延全异，并且二者外延之和等于其邻近属概念的外延反对关系：a,b两个概念,外延全异，并且二者外延之和小于其邻近属概念的外延4、界说的划定规矩：（1）界说项外延与被界说项外延之间必须是全同关系。
违犯规则所犯错误：界说过宽：界说项的外延大于被界说项的外延。
界说过窄：界说项的外延小于被界说项的外延。
（2）被定义项不得直接或间接出现在定义项中。
违犯规则所犯错误：同语反复：在定义项中直接出现了被定义项。
定义循环：在定义项中间接出现了被定义项。
（3）定义项必须用清楚确切的概念。
违犯划定规矩所出错误：界说含混；在界说项中利用了含混不清的概念。
以比喻代界说：界说项用了形象比喻。
4）定义联项不能是否定的。
违犯规则所犯错误：定义用否定联项5、划分的规则（1）划分必须是相应相称的（划分子项的外延之和等于划分母项的外延）名师整理XXX知识点划分不全：子项的外延之和小于母项的外延。
多出子项：子项的外延之和大于母项的外延。
