语言和逻辑.pptVIP

语言学中的逻辑;学科意义;在计算机出现以前，英国数学家A. M. Turing（图灵，1912-1954）就预见到未来的计算机将会对自然语言研究提出新的问题。 要“教会”计算机自动地分析和生成句子，首先就要使该问题所涉及的现象能够用数学语言来描述。 形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。 《语言学中的逻辑》是一本相关的入门读物。 ;一、知识准备;温习;挨只谷蛇岛哪期丁禹走撞鲤助骆尧玛泉氖帕薄十猖溅奇货吐多另涩技瞩汐语言和逻辑语言和逻辑;二、集合论;集合的外延性原则;集合论的识记点（P3-P6）;集合运算的识记点（P7-P10）;随堂作业;关系和函项（难点）;所有电动车的集合 A 和所有牌照的集合 B。 集合 A 中的每一个元素都有一个箭头指向集合 B 中的一个元素，即属于那辆车的牌照的号码。由此我们得到有巨大数目的有序偶：这些有序偶的第一个元素是一辆电动车，第二个元素是该车的牌照号。如：（张三的车，云P12253），（李四的车，云P52418 ）…… 这样的一个指派或对应规则，就是一个函项 此外，A的多个元素仅仅可以指派B的一个元素，即只可以集中不可以分散。 进一步分析见P103的小节“关系的定义域和值域的结构” 。 ;“映射到内”VS“映射到上”;※补充知识;特征函项;随堂作业 若有集合A=｛a, b, c, d｝,B=｛e, f, g, h, i｝,判断下面的关系哪些是函项？是从A到B的函项还是从B到A的函项？若是从A到B的函项，是映射到内还是映射到上的？有没有一一对应的函项，若有，是哪（几）个？ C=｛〈a, f 〉, 〈c, i 〉,〈d, h〉 ｝ D=｛〈a, e〉, 〈b, i〉, 〈c, h〉, 〈d, f〉｝ E=｛〈a, f〉, 〈e, d〉, 〈c, i〉, 〈d, h〉｝ F=｛〈a, e〉, 〈b, g〉, 〈c, f〉, 〈d, i〉｝ G=｛〈e, a〉, 〈f, b〉, 〈h, c〉, 〈i, d〉｝ H=｛〈e, b〉, 〈f, c〉, 〈g, d〉, 〈h, a〉, 〈i, c〉｝ I=｛〈a, i〉, 〈b, f〉, 〈c, e〉, 〈d, e〉｝ J=｛〈a, e〉, 〈b, e〉, 〈c, e〉, 〈d, e〉｝;三、推理和语句的逻辑分析;推理;逻辑;有效性；※或然性;或然性考察：公务员考试的逻辑推理 有人认为：我们应当制定全国性的政策，用立法的方式规定父母每日与未成年子女共处的时间下限。这样的法律能够减少子女平日的压力。因此，这样的法律也就能够使家庭幸福。 以下各项如果为真，哪项最能够加强上述的推论? ?A.父母有责任抚养好自已的孩子，这是社会对每一个公民的起码要求。 ?B.大部分的孩子平常都能够与父母经常地在一起。 ?C.这项政策的目标是降低孩子们在平日生活中的压力 ?D.未成年孩子较高的压力水平是成长过程以及长大后家庭幸福很大的障碍。 ;随堂作业：判断有效性;逻辑有效性和逻辑真理;为什么能说逻辑的有效性依赖于语句之间和语句的成分之间的某种形式关系？ 原因在于： 语句的这些形式关系常常依赖于某些逻辑词语小品词。 在P19例（1）（2）（3）（4）中，就有这类词： 所有 有的 不 ;只考虑这种形式是语法结构，也不对。 例如：（6）理查德是一个独眼的杀手。 （8）理查德是一个凶手。 （7）理查德是一个假定的杀手。 （8）理查德是一个凶手。 （6）和（7）具有非常相似的表层结构（语法结构），但第二个推理却并非有效。;逻辑形式;语句（sentence）;语句和命题的区别;陈述和判断;可能世界;命题（proposition）;真值（P31）VS真值集（P24）;（二）;真还是假？;依赖逻辑形式还是语义关系？;分析性语句综合性语句;简单句;复合句;命题逻辑（一）;定义（识记点）;真值函项的联结词;逻辑联结词的意义;否定～;逻辑的否定VS日常语言的否定;合取;合取（）VS“和、并且”;析取∨;不相容析取?;蕴涵→;实质蕴涵;实质蕴涵VS日常语言;等值≡;等值的真值表和集合论表达;命题逻辑（二）;表现语言结构的方法;理解语法学、语义学的概念;形式语言：一组与词汇表相关联的表达式，它们按照语法规则由这些词汇组成，并由语义规则加以解释。 对象语言：正在研究的语言本身。（多为自然语言） 元语言：用来研究对象语言的语言。（多为叙说自然语言的语言） 如：“非学生不准入内”——对象语言 “～P”—— 元语言 “your”是物主代词。 your——对象语言，物主代词——元语言;语法学;递归规则;语义学;命题逻辑的语