否定（一）

否定是首先是语义反对的现象。 因此，否定将表达式e与另一个方式涉及另一个方式与e的含义相反的含义。 可以以各种方式在句法和务实地实现这种关系。 而且，有不同种类的语义反对派。 第1节主要涉及自然语言的否定和反对，无论是历史和系统的角度均值。 第2节从哲学逻辑的角度来看，否定为一元结缔组织。 在Horn 1989和Speranza和Horn 2012中彻底研究和调查了否定历史。

1.自然语言中的否定和反对

1.1简介

1.2自然语言中的否定：标志性和不对称性

1.3范围的问题

1.4对照和矛盾

1.5否定，预设和单数术语

1.6从矛盾到反向绪论：否定加强否定

1.7贫困，贴上否定和标记不对称

1.8双否定

1.8.1“逻辑”双否定

1.8.2负面康科德及其关系

1.9负极性

1.10金属语言否定

2.否定的逻辑

2.1否定作为真相功能

2.2作为模态运营商的否定

2.3与否定的互动

2.4其他否定概念作为一元结合

2.5否定，拒绝和拒绝

参考书目

学术工具

其他互联网资源

相关条目

1.自然语言中的否定和反对

1.1简介

否定是一种正弦值，但仍然没有从其他动物交流系统中缺席。[1] 虽然动物“语言”基本上是模拟系统，但它是自然语言负操作员的数字性质，以符合和十字形命题逻辑代表，作为一个单句连接切换T [RUE]和F [ALSE]之间的语句的真实值（或1和0）并递归地施加到其自身的输出，允许拒绝，矛盾和人类语言系统的其他关键特性。

逻辑否定的简单句法性质掩盖了自然语言中否定的深刻复杂和微妙的表达，如语言上的不同类别和言语的部分表达（副词，动词，金属屑，量子，附件）。 正如将部分探索的那样（参见Horn 1989，Ladusaw 1996，Pullum 2002），调查英语和其他语言的负面表达的形式和意义以及与其他运营商的否定互动（包括否定本身的多次迭代）是远非简单，延伸到范围含糊不清（每个人都没有离开），负入量的融合在量词和副词中（没有人，从不，从不，从不，少数），否定（我不想去=“我想去”），以及广泛发生的负面极性项目（任何，曾经，举起手指），其分销的分布符合语法，语义和语用原则。 在心智语言的核心，否定以重要的方式与形态，语法，逻辑形式和组成语义的原则相互作用，以及语言习得和句子处理的过程，何种突出的作用逻辑，语义，语言论，认知和精神分析与文学理论的发展否定。

什么样的操作是否定？ 在类别和De Interpretatione中，亚里士多德分区指示性情绪声明句子肯定和否定/拒绝（从阿比妥邦“拒绝，说不”），分别肯定或否认一些关于某事的东西（De Int。17A25）。 作为预测模式，aristotelian术语逻辑的谓词拒绝，同时导致在真值对相应的肯定中相反的宽范围否定，与联合的“并非如此”连接的争议和freegean的句法不同。逻辑。

通过组合主题和谓词来形成一个命题，可以看到这种方法可以被视为提供比适用于完全形成的命题的标准迭代运营商更自然的普通语言否定表示（Geach 1972; Englebretsen 1981; Horn 1989，Chap。7;躯体和Englebretsen 2000）。 实际上，蒙塔古语法的联系否定（Montague 1973; CF.蒙塔古语义上的条目）本身就是连接术语短语主题的方法，其中谓词或IV（不及物动词）短语，因此未能申请自己的输出（参见“喇叭1989，§7.2”亚里士多德作为蒙图语法“）。 跨语言上，判决范围否定的结构反射可能是一个独立的副词（德国Nicht，英语，英语），绑定的拐点（日语 - ，英语，英语）或动词（芬兰语，ei）。[2]

在我们没有发现否定的地方，在一个地方命题逻辑将导致我们看看，句子或条款 - 外围位置，作为一个外在的一个地方连接被解释为“不是这种情况”。 （喇叭1989年英语和其他地方的明显外部否定实例是代表否定的金属语言使用，讨论在下面的§1.10中，而Bar-Asher Siegal 2015呈现出在犹太人中存在语义外部否定运营商的证据Babylonian Aramaic。）此外，与语音法类型不同 - 例如 - 例如。 疑问或感叹 - 否定似乎从未通过全球语调轮廓标记为自然语言。 通常，句子否定直接关联，直接在主要有限动词或谓词表达式附近相关联。

1.2自然语言中的否定：标志性和不对称性

经常观察到，逻辑中的负面和肯定命题的逻辑对称表示自然语言的基本不对称。 它是柏拉图首次观察到诡辩者中，那些负句子比肯定的句子不那么有价值，不太具体，更少的信息。 亚里士多德支持对否定的本体论，认识论，心理学和语法优先权和否定否定的优先权：

肯定的命题是比消极的更好和更好的名称（因为确认解释拒绝就在不存在之前）（形而上而上学996B14-16）

和圣托马斯阿奎那：

肯定的阐明是在否定的原因......关于声音，肯定的发音是在负面的原因之前，因为它更简单，对于负发音为肯定地增加了负粒子。 关于思想，智力表示构成的肯定章程是在负面的负面上，这使得划分的差异......肯定的阐明，表示，这是否定的，这是否定的，这意味着不作为在它贫困之前自然的东西。 （圣托马斯，第I，课程，课程，第1962,44岁）

负陈述（例如，“巴黎并不是西班牙的资本”）一般不那么少于肯定的信息（“巴黎是法国的首都”），它们是更具标记的（所有语言都有负标记，而少数人有肯定标记）[3]和心理上更复杂，更难以处理（参见只有和木匠1971,248-9;以及在喇叭1989，第3章中审查的其他工作。 许多哲学家，语言学家和心理学家都在逻辑或语义中位于这种不对称，如每个否定都预先推出了相应的肯定但不反之亦然。

强的不对称主义师位置导致“消极判断的悖论”：如果积极的陈述是指或对应于积极的事实，对否定的事态会引用或对应？ 事实上是一个消极的事实？ 对于卑尔森（1911,289），否定必然“教学和社会自然”; 对于木头（1933,421），它是“感染错误和无知”。 根据Wittgenstein（1953，第447节），“感觉就好像对这个命题的否定不得不在某种意义上使其成真，以便否定它”。 Givón（1978,70）指出话语推出的话语，如“我的妻子不怀孕”。 精神语言学研究表明，当否认的命题（如果尚未在话语模型中，否认的命题是否定的，则更容易处理它，这是至少一个合理的补充（例如，“鲸鱼不是鱼/？鸟”; CF.Anon 1965; Horn 1989年，第3章）。

除了标志性的地位之外，否定也被各种方式分析为一种方式，命题态度和言语行为。 这里的危险是在语义马之前把务实的推车放在务实的车前。 例如，并非每一个否定都是扬声器拒绝（在制作这一点时，弗雷格指向嵌入否定的非拒绝性，如“如果不是-p那么Q”），也不是每个扬声器否认语言否定。 鉴于几个世纪以来的重复尝试将IT否定为积极差异，作为阳性差异，作为虚假，作为认识性贫困的否认，作为否认的言论自由及其在幸存下的弹性这些攻击，否定符合命题微积分的rasputin。

但否定的原型使用确实是否认与话语背景相关的人或至少考虑的命题或至少审议的命题。 虽然肯定标准介绍了一个主张进入话语模型，但否定其“首席使用”（Jespersen 1917,4），其“最常见的使用”（Ayer 1952,39），其“标准和主要用途”（Strawson 1952,7） - 是在话语模型中已经进入或可以容纳的命题的命题。

1.3范围的问题

如果我们认为否定基本上是反对意义 - 同时认识两个不相容的选择的不可能性（见矛盾的条目和反对派的传统广场） - 不一定是特权的关键否定。 此视图在Keenan和Faltz的Boolean代数模型中正式实现，其中否定是跨分类操作，就像二进制连接一样：

我们可以在大多数类别中直接解释连词，歧交和否定，通过将其作为适当的符合，加入和补充函数来解释，解释的表达式，分歧或否定的解释。 我们只有一个和，或者而不是在理由上阐述的意义，即他们总是被解释为我们正在寻找的任何设定的满足，加入和补充功能。 （Keenan和Faltz 1985,6）

英语和其他语言的治疗频繁的负责人的范围较窄的负负运营商比句子或条款窄。 这个传统可以追溯到亚里士多德，因为苏格拉底的谓词违法是不明智的，肯定的是，如果苏格拉底不存在，则会产生一个虚假的陈述，而谓词拒绝苏格拉底是不明智的否认苏格拉底的谓语明智的持有，如果苏格拉斯不存在，则是真实的。 对于jespersen（1917）而言，在没有人中的亚级“特殊”否定，在“负面概念......逻辑上属于一个明确的想法”，而不是“Nexal”否定，申请“两种想法的组合”，通常是主题谓词Nexus。 后来的语言学家通常遵循klima（1964）和ackendoff（1969）允许组成否定（例如，你可以在[不走的话语]中的动词短语否定）与句子否定（你不能去），利用各种语法和区分两种品种的语义诊断。

句法相关性与英语中的广泛（句子）与窄范围（成分）否定之间的区别是只有当负元素具有字词范围时，如（a）例中（1） - （3）（或者在这内）中句子），它可以触发负反转（Klima 1964）。 在相应的（b）例中，否定的范围不会超出前面的短语，否则排除否定的卫星（负极性项目）。[4]

（1）

一个。

没有工作，我会开心。 [=我对任何工作都不满意]

b。

没有工作，我会很开心。 [=我不会在没有任何工作的情况下快乐]

（2）

一个。

在没有衣服上，罗宾看起来不错。

b。

没有衣服罗宾看起来不错。

（3）

一个。

我们在椭圆形办公室没有一个人（永远）。

b。

在任何时候，我们在椭圆形办公室独自一人（*永远）。

否定也以量化和态度的复杂和经常令人惊讶的方式互动。 也许最多分析的相互作用是具有通用量化的。 尽管常见谴责普遍的广泛读取欧洲人的否定读数，但闪闪发光的一切都不是法国，德国和其他语言的黄金和类似的例子，或者像所有男孩一样的暧昧句子没有离开，那样的可用性读数（取决于扬声器，语调轮廓和话语的背景）并不像它出现的那样不合逻辑（喇叭1989，§3.4;托蒂和Neukom-hermann 2010）。

1.4对照和矛盾

否定的概念往往是在语义上仅限于命题之间的矛盾反对，其中可以解释（如果不一定句法代表），因为“这不是一个”。 如亚里士多德类别（11b17）所引入的，反对（凋亡）属的属性分为包括对照和矛盾的物种。 矛盾的对立面，是否奇异预测的肯定和消极对应物（苏格拉底是明智/苏格拉底的不明智）或量化表达（所有乐趣是好的/有些乐趣并不好），是互穷的和相互排斥的相反的对立面（苏格拉底是明智/苏格拉底是不明智的;所有的乐趣都很好/没有乐趣是好的）不相互排出他们的领域。 违背不能同时真实，尽管它们可能同时为假。 矛盾对的成员同时不能是真或假的; 矛盾“他们之间的真实和虚假”（见矛盾的条目和反对派的传统广场）。

相反的术语（Enantia）有两种品种（猫。11B38FF）。 在立即或逻辑依据（奇数/偶数，生病/井）中，一个真正的中间实体满足两种反对术语的范围，但在它们中都没有掉落 - 例如，例如，例如整数既不是奇数也不是。 但是介相相反的对（黑/白色，好/坏）允许中间的阴影在黑白之间，一个男人或一个既不好也不糟糕。 在被排除的中间[LEM]（非数据型）的法律范围内，两次调节和即时违背。

对于通过窄范围谓词否定形成的即时违背，传统的准英语措施中的渲染A不是亚里士多德通过单词顺序表达的亚里士多德，利用例如EinaiMêLeukon之间的区别“不是白色”和MêEinai莱昂“不是白色”（先前的分析I 51B10）。 对于亚里士多德来说，如果不存在对象的非F-ness而不是否认积极的财产。

其他案件，其中明显的矛盾可以被视为违背，从而免受任何lem的应用，是未来的特征（明天将不会是海运;第9章）和，在更新的工作中，在最近的工作（Alxatib和2011年的颗粒，2011年的ripley 2011年），模糊的预先发生。 因此，当F是模糊的谓词（秃头，富人，高）时，虽然在后一种情况下，虽然在后一种情况下，但是虽然在后一种情况下，扬声器也不愿意肯定是f和not-f，这使得重要的是（看矛盾的条目），未来的特遣队和模糊性）。

1.5否定，预设和单数术语

在他的感觉和参考的博览会中，Frege（1892）认为（4A）及其矛盾（4B）假定名称开普勒有一个表示。 具有单数主题（姓名或描述）的每一个肯定或否定句子都预先存在对该主题的独特指的存在; 如果PRESUPPOSTION失败，则（4A，B）没有任何断言。

（4）

一个。

开普勒在痛苦中死亡。

b。

开普勒没有死于痛苦。

但是这个预设不是表达式内容的一部分，因此（4a）不需要存在，或者（4a）的否定不会是（4b），但是开普勒没有死于痛苦，或者名称“开普勒”没有参考，一个结果弗雷格似乎是作为一种荒谬，而是一个预先出现了预先出现的外部或排除否定。

罗素（1905,485）重新考虑与空中科目的矛盾否定的状况（1905,485）进行弗雷格分析所产生的真实价值差距：

通过被排除的中间的法律，“A是B”或“A不是B”必须是真的。 因此，要么“法国的现在是秃头”或“法国国王不是秃头”一定是真的。 然而，如果我们枚举了秃头和不秃的事物的东西，我们就不会在任何一个名单上找到法国之王。 爱综合的黑格尔人可能会得出结论，他穿着假发。

解决这个（明显的）悖论，同时保留了一个经典分析，其中每个有意义的句子是真或假的，罗素尽管他们的逻辑形式表面谓词谓词语法。

（5）

法国之王是秃头。

（6）

法国之王不是秃头。

在Russell的描述理论上，（5）可以代表（5'），（假）命题，具有与法国之王的属性有独特的实体，并且这个实体是秃头的，而（6）是模糊的，这取决于范围否定。

（5'）

∃x（kx∧∀y（ky→y = x）∧bx））（6'）

∃x（kx∧∀y（ky→y = x）∧¬bx））（6“）

¬∃x（kx∧∀y（ky→y = x）∧bx））

（6'），具有狭隘范围（“内部”）否定，是法国缺席（或供过于求）的法国独特和亨德斯国王的命题。 另一方面，在（6英寸）中，法国国王的描述落在外部否定的范围内，并产生了一个真正的命题。 与（6'）不同，（6“）未能留出法国国王; 实际上，法国国王的不存在保证了（6英寸）的真相。 这种读数更自然地表达了Metal语言否定（喇叭1989）的崩塌轮廓和延续特征，如（7）所示：

（7）

法国之王不是vbald-法国之王！

对于谢泼森（1950年，1952年），通常否定或总是让受试者“未受害”。 谢森森在弗雷格和罗素（和亚里士多德）关于诸如（4b）和（6）的负面陈述，作为明确的，并必然预先定位的russell（和亚里士多德）。 （6）不那么断言（6）的人（也不是她的陈述，也没有）是法国之王。 相反，（6） - 利用其肯定的对应物（5） - 补产它。 如果此PRESUPPOSTESS失败，则可以进行语句，但其真实值的问题未能出现。

虽然许多分析师（例如，Wilson 1975，Atlas 1977，Gazdar 1979，Grice 1989），因为russell通过保留了二价语言和调用了明显的务实解释PresupOrational效果，其他语言学家和哲学家（例如，1979年，Burton-Roberts 1989，Von Fintel 2004）对弗赖奇 - 谢森逊精神进行了辩护和正式的语义预设理论，在不满足预设时，允许出现真实值差距或非古典真理值。

语义预设的非二价逻辑，追溯到Łukasiewicz（1930）和Kleene（1952），一般（至少）两个非运营商，这种区别而不是罗素）监察; 请参阅下面的许多值逻辑和第2节中的条目。 普通的，预设保留的内部或选择否定是弗里格和谢森逊唯一的屠杀; 在这种阅读中，圣诞老人不是白，就像圣诞老人是白色的，既不是真的也不是假，因为圣诞老人不存在。 PresupPosition取消或排除否定始终确定经典值。 随着排斥的否定，圣诞老人不是白人（或者也许比较合理的是，圣诞老人是白色的，即使没有圣诞老人也是如此。 因此，没有被排除在外; 任何肯定及其相应的排除否定是矛盾而非违法（参见预设的条目以制定和进一步的细节）。

1.6从矛盾到反向绪论：否定加强否定

在他的宗教中，“正式否定的本质是与矛盾的性格投入相反的是，织布圈（1888年）封装了语义上的正式矛盾（广泛范围）否定的广泛倾向或务实地加强相反。

我们使用©a代表A的任何相反的反对派。在亚里士多德的反对理论之后，两个矛盾A和¬A不能既是假的，就像他们不能既然真的一样，而一个特定的命题和与该命题，A和©A相反，A和A，既是假的虽然他们不能既是真的。 （其他人已经使用κ或r用于单位非真实功能对照连接; CF.McCall 1967，Humberstone 2005;另请参阅Bogen 1991，以区分语言和形而上学违背。）应该指出虽然¬是一个将一个命题进入另一个命题的操作员，©不是，因为给定的命题可能具有逻辑上不同的违法行，而这不是矛盾的情况。 GEACH（1972,71-73）在（8）中的例子中表明这一点。 虽然（8A）有两个句法独特的矛盾，例如，但不是每只猫都厌倦了每只狗，而不是每只猫都憎恶的狗，任何这样的矛盾都会有同样的真理条件。 但（8A）允许两种与不同的真实条件（8B）和（8C）相反。

（8）

一个。

每只猫都厌倦了每只狗。

b。

没有猫厌倦了每只狗。

c。

每只猫都没有狗憎恨。

类似地，（9a）允许三个非相同的对比：