逻辑语义学.doc

逻辑语义学一． 逻辑语义学中的命题命题是一个可以判断真假的陈述句一个命题要么是真，要么是假，具有唯一确定的真值如果是真，该命题是真命题，如果是假，该命题是假命题没有连词连接的命题称为简单命题，有连词连接的命题称为复合命题例如：太阳从东方升起真命题） 月球上有居民假命题）判断是命题的标准是：1，是否是陈述句，2，是否具有唯一的真值二. 命题的“真”与“假”“真”指的是命题的思维内容是真的这里“真”与“假”不是用以描述事物状况的，而是用以评价命题或陈述内容的，是表达常识或客观事实的例如：台湾不是一个主权独立的国家三．.逻辑语义学中的连词英语复合句中可用许多连词，如：because, since, before, after, although, though,等，这些连词属于传统语法中的连词语义学中有五类常用连词，他们是：合取（&），析取（or）,蕴含（if-----then---- p→），等值（if and only if p≡q ）和否定(not).其中，否定（not）不是严格意义上的连词，因为它在句中不起连接单句的作用，只在句子中起运算作用1， 否定在日常语言中，否定是很常见并常用的表达方式，作为逻辑学的基础问题，我们清楚对一个真命题的否定会得到一个假命题，它在逻辑学中起着重要的作用，一方面为研究者提供了一条认识矛盾的捷径，另一方面帮助我们规范了矛盾与非矛盾的规则。

在日常用语中，否定被用作各种情境下的反对含义例如：It is false that---It’s not the fact that---It’s unimportant that----It doesn’t mean that----否定在逻辑语义学中构成与句子真值相反的逻辑运算例如：He is watching TV. 这句话的否定就是 He is not watching TV. 在命题逻辑中，命题变元用p 表示因此否定运算可以这样表述：p ～p如果He is watching TV 的原命题为真，那么He is not watching TV 就为假否定命题是只有一个支命题复合命题，叫一项复合命题，其它叫二项复合命题2,合取在逻辑语义学中，合取是用来构成复合句的，且该复合句中的所有单句都为真时，该从句为真如果其中任何一个单句为假时，那么该复合句的合取关系为假如：Mary is pretty and Emma is a student.Mary is pretty and Emma is an interpreter.逻辑合取与日常生活语言中的and 不尽相同，合取只能连接两个单句，日常生活中的and 可以连接两个甚至多个单句以及低于句子层级的单位。

自然语言中的and 同逻辑合取也存在不同：如：Stella and Steven have two tickets.在日常语言中，and还可以隐含着并列成分的先后顺序He lay down on the bed and fell asleep.在日常语言中，and 可以连接多个并列成分，在命题逻辑中，合取被默认为只能连接两个成分3，析取在逻辑语义学中，析取or用来构成一个合成句，当构成两个合成句的两个分句都为假时，该析取命题为假其中一个析取命题分句为真时，该命题为真如：The moon is a satellite or a black hole.析取命题的真假唯一取决于其支命题的真假4，蕴含在蕴含逻辑中，蕴含仅具有真值功能性，当前题为假或者结论为真时，蕴含的值为真只有结论为假时，蕴含命题为假如：If it is snowing,(then)it’s cold.If you work hard, (then)you will make progress.在日常语言中，通常要求前提和结论两部分是有关联的句子，但在命题逻辑中，这一点是不被要求的它关注的是两个句子的真假值，因此即使没有关系的两个句子，只要符合真值表格中的条件，蕴含即成立。

如：If the sky is blue, the flower is beautiful.蕴含中的p被叫做前件成分命题（简称前件），q被称为后件成分命题（简称后件）只有蕴含命题有前件命题和后件命题5，等值等值可以被简单的看成是由if and only if 引导的，有的时候，when, only when, 和if 也可以引导等值命题一个等值命题是一个双重的蕴含命题运算一方面是从前提到结论的运算，另一方面是从结论到前提的运算因为等值运算实际上是基于蕴含的运算，因此其中一些运算和日常语言使用的区别也同样适用于等值运算另外，由于等值是在蕴含的基础上进行的双重运算如：I will buy you a car if you pass the exam. （pass the exam是充分条件，而非必要条件）I will buy you a car if and only if you pass the exam. （pass the exam不仅是充分条件也是必要条件）等值命题中的p被称为左支命题，q被称为右支命题两边真值相等，或当构成等值的两个分句取值统一时，等值运算为真实质等值与严格等值；实质蕴含与严格蕴含：逻辑语义学中讲的等值和蕴含是实质等值和蕴含，不是严格等值和蕴含。

四．逻辑真理和事实真理的关系逻辑真理和事实真理的关系是：事物之间的关系显示必然的逻辑关系，也是逻辑真的基本逻辑真理在某些方面与事实真理是一致的，可是在另一方面，逻辑真理又与事实真理不是一致的，逻辑真理和事实真理之间是一种交叉关系逻辑真理既具有绝对性又具有相对性，有些逻辑关系是绝对的真，可是另一些逻辑真理是相对的真逻辑真理之所以为逻辑真理，不是因为它们揭示了事物的本质或事物的普遍性，而只是涉及到逻辑自身，只按照逻辑自身而成立逻辑真理的必然性需要在逻辑自身中去寻找，而不能在现实中寻找。