还剩8页未读,继续阅读
本资源只提供10页预览,全部文档请下载后查看!喜欢就下载吧,查找使用更方便
文本内容:
逻辑学属于思维科学思维科学揭示思维的本质和规律研究对象是思维形式结构指思维内容的存在、联系方式,由逻辑常项,和逻辑变项构成不变成分,决定逻辑内容可变成分,决定逻辑内容思维形式结构的规律性1任意代入皆真——逻辑规律2任意代入皆假——逻辑矛盾3不确定真假逻辑学的主题判断推理的有效性语言三要素逻辑学的性质基础性+工具性+人类性逻辑学的作用有助于辨别与战胜各种谬误和诡辩,有助于正确地认识和有效地交际第二章概念*对象的属性是对象的性质和对象之间的关系的统称本质属性/偶有属性/固有属性“用于交换的劳动产品”“物美价廉”“劳动产品”概念是反映对象的本质属性的思维形式相容不相容“定义”“适当的概念陈述”说出本质属性说出固有属性被定义的概念=(邻近)属概念+种差三要素规则*划分和分解用“B”是否是“A”的方式验证AABBC“中学生”是“学生”(划分)“保山”不是“云南”(分解)概括和限制概括扩外延,减内涵“男人”——“人”*充分条件限制扩内涵,减外延“动物”——“哺乳动物”*必要条件判断对某对象具有或不具有某种属性有所断定的思维形式*判断皆有真假表达判断的语句被称为“命题”原子命题是不包含和自身不同命题的命题命题复合命题只包含和自身不同命题的命题被包含命题——“支命题”*它的真值由其之命题的真值惟一地确定联言是对几种事物情况同时都加以断定的复合命题“p∧q”“全真才真,一假即假”合取选言是断定在几种事物情况中至少有一种存在的复合命题相容选言至少有一种,也可都存在“p∨q”“全假才假,一真即真”析取不相容选言有且只有一种存在“p∨q”“一真一假才真”不相容析取假言是断定事物之间条件关系的复合命题充分条件“p→q”“前真后假才假”蕴含必要条件“p←q”“前假后真才假”逆蕴含充要条件“pq”“前后相同则真,不同则假负命题否定一个命题的命题“p¬q”“原真非假,原假非真”并非真值形式是由命题变项和真值联结词合乎定义地构成的符号表达式*由n个命题变项加以定义的是“n元真值联结词”重言式矛盾式非重言可真式第二节命题推理推理是由若干命题得出一个命题的思维过程前提结论*100%证据支持为“必然性推理”/100%证据支持为“或然性推理”推理的有效性,不是就推理的内容和意义而言的,而是就推理的形式结构而言的(*结论正确,也不一定有效)真实结论——推理有效+前提真实命题推理有四种
1.联言推理前提或结论为联言命题,并依据联言命题的逻辑性质进行的推理
2.选言推理前提中有一个选言命题,并依据选言命题的逻辑性质进行的推理
3.假言推理前提中有一假言命题,并依据假言命题的逻辑性质进行的推理
4.二难推理是由两个假言命题和一个二支选言命题做前提构成的命题推理第四章词项逻辑——传统的逻辑原子学第一节直言命题直言命题是断定对象具有或不具有某种性质的命题1主项——所断定的对象四要素2谓项——所断定的的性质3联项——所做的断定“质”4量项——主项外延被断定的情况“量”A全称肯定种类E:全称否定I特称肯定O特称否定*词项的周延性在一个直言命题中,如果其主项(或谓项)的全部外延都被断定,就称该主项(或谓项)是周延的量决定主项是否周延,质决定谓项是否周延*见下表命题名称主谓全A√×E√√特I××O×√对当关系同一素材的命题即主、谓项相同的命题(逻辑变项相同的命题)A反对关系E逻辑方阵I下反对关系O反对A真则E假,A假E不定从属(详见P82)以上有四组关系矛盾真假情况相反下反对I假O真,I真O不定第三节命题变形直接推理直接推理是由三个直言命题构成的推理形式
1.换质法换联项
2.换位法换主谓项*注意周延
3.质位混换法第四节直言三段论三段论是由三个直言命题构成的推理形式1包含且只包含三个不同词项2每此项出现两次3两名提为前提,一命题为结论规则格与式四种256式三段论的省略式是省略一个前提或结论的三段论第七章模态逻辑第一节概述模态“modal”,“形态,样式”指客观事物或人们认识的存在和发展的样式、情状、趋势等模态在人们思维中的反映,表现为一定的认识或观念,这就是模态概念模态词语言中用来表达模态或模态概念的词语或符号分类客观模态客观事物本身的存在样式、情状和趋势等主观模态指人的认识中的确定性或不确定性逻辑模态指逻辑上的必然性和可能性非逻辑模态指逻辑模态之外的模态,物理模态、生物模态、哲学模态等等狭义模态(真性模态)是关于必然性与可能性等这类性质的模态广义模态包括关于应该、允许、禁止等的道义模态,以及关于知道、相信等的认知模态等第二节模态命题及其推理必肯□P必否□¬P□P反对□¬P可肯◇P可否◇¬P从属矛盾矛盾从属◇P下反对◇¬P引入新概念“Df”——“定义”Df□□P=df¬◇¬PDf◇◇P=df¬□¬PDf⊙⊙P=df¬□P∧¬□¬PDf⊙⊙P=df◇¬P∧◇P直言模态对当关系推理
1.□SAP1反对
22.□SEP
3.□SIP
344.□SOP
5.◇SAP
6.◇SEP
567.◇SIP
8.◇SOP7下反对8*箭头表从属直言模态阵图*直线表矛盾*虚线表反对或下反对道义命题及其推理道义模态逻辑主要研究道义模态命题及其推理道义“deontic”又叫义务、规范道义模态命题实在一定情况下给人的行为提出某种命令或规定的命题道义词“必须”、“允许”、“禁止”必肯规定某种行为必须履行的命题Op必否——————必须不履行——O¬p允肯——————可以实施———Pp六大道义命题允否——————可以不实施——P¬p禁肯——————不得实施———Fp禁否——————不得不实施——F¬pOp反对O¬p从从属矛盾矛盾属道义方阵Pp下反对P¬p词项变项命题变项基本符号语言的基本材料语形规则让符号构成字、组、句语义规则赋予其意义△若“1”属于“2”的外延,则“1”应有“2”的内涵例中学生学生√中国联合国×内涵本质属性外延对象类
1.普遍概念外延分子多于一个
2.单独概念一个分子(*单独概念不能限制)
3.空概念无分子概念的分类
1.实体概念
2.属性概念1正概念(*对正概念下定义不能使用否定句)
2.负概念1集合概念
2.非集合概念全同属种交叉关系矛盾外延之和=论域对立(外延之和论域)定义*定义规则P17划分子项外延之和=母项子项外延不相容子项外同一层次依照统一划分标准母项子项划分标准“矛盾”联言命题选言命题假言命题负命题等值于矛矛从属关系从属关系盾盾1中项在前提中至少周延一次2前提中不周延的项,在结论中也不周延3两个否定前提不能得出任何结论轮4两前提中有一个是否定的,结论必是否定的5若结论是否定的,前提之一必是否定的6*两个特称前提无结论7*量前提中有一个是特称,结论也是特称。