矛盾

在这种情况下，发言者使用金属语言学或回应地对抗任何地面上的先前或设想的话语，包括其语音或语法形式，注册或相关的预设或突出物：“这不是汽车，它是大众”，“癌症选择不是一个又是大力量在复杂的动物生活中的出现”，“他不是你的老人，他是你的父亲”，“我们没有叫警察，我们叫警察”。 在这种情况下，取消选择的相关目标是在特定背景下说“真相不足以正确的，可能甚至不需要”的正确的事情是（Sainsbury 2004：87）。 因此，明显的LNC违规（如果它是大众，这两者都是不是汽车）不是真实的。

鉴于不是每个明显的句子否定是矛盾的，这是每一个矛盾的否定句子吗？ 在命题逻辑中，矛盾否定是自湮灭运算符：¬（¬φ）相当于φ。 这在Aphrodisias的亚历山大的ProTo-Fregean Stoic逻辑中明确地认识到：“不是：不是：这是日”与“这是日”的不同之处在于言语（队友1953：126）。 Stoics的阿帕科顿直接预测弗雷格和罗素的迭代和自我取消命题否定。 弗雷格把它置于（1919：130），“在双重否定中包装思想并没有改变实际值。” 相应的语言原理在语法中的溴化物中表达，“双工否定禁止”

并非所有命题逻辑系统都接受双否定（LDN），¬（¬φ）φφ的双重定律定律。 特别是，LDN以及LEM对于Intuitionists，Who拒绝¬（¬φ）→φ的直觉师，φ→¬（¬φ）无效。 但是，申请否定声明的可能性可能会推定对迭代运营商（一种能够申请其自己的输出）的矛盾否定的分析，或者作为其域的范围相同的函数。 在基于分类的基于亚里士多德的逻辑和他的幽灵后继逻辑中，每一个陈述 - 无论是奇偶或一般的是主题谓词形式。 矛盾否定不是一个单位的运营商将命题引入命题，而是一种预测模式，一种与谓词组合的方式：可以被肯定或拒绝给定的主题的给定谓词。 与由Stoics引入的阿培尔妮太鸟或命题否定结缔组织不同，在Freegean和Russellian逻辑中正式化，Aristotelian谓词拒绝，同时转换真理和虚假，并产生矛盾的反对派的语义，不适用于自己的输出，因此不会在语法上迭代。 在这方面，谓词拒绝都预期了蒙图语法中的否定形式（参见蒙塔古语义上的条目），并提供了一种更合理的代表自然语言，无论是古希腊语还是英语，在哪里反射Stoics和Fregeans的迭代次衔接（“不是：不是：太阳闪耀”）很难找到像“不是这种情况”的人工构造之外（喇叭1989，§7.2）。 在给定的自然语言中，矛盾的否定可以表达为与豆类或动词相关的粒子，作为一种变形的辅助动词，作为否定的动词，或作为负面后缀或前缀。

此外，通过作为点心（“我不喜欢剪枝”传达我不喜欢剪枝）和所以 - 叫做neg（ative）培养（“我不认为φ”传达“我认为¬φ”）。 同样，这种形容词中的前征否定为“不开心”或“不公平”被理解为相反而非矛盾（非adj）的基础。 这些现象已经被修辞学家，逻辑学家和语言学家讨论了（参见否定和喇叭1989：CHAP。5）。

除了谓词拒绝之外，其中授权F被授予对象A，aristotelian逻辑允许窄范围谓词术语否定，其中否定谓词Not-F被肯定为a。 谓词拒绝和谓词术语否定与简单的肯定命题（以及彼此）的关系可以在单数（非量化）表达式的广义平方上（De Interpretatione 19B19-30，先前分析第46章）来说明：

一个正方形，带有左上角的标记为p'，标记为右上点E标记为NOT-P'，左下角I标记为“S的不是-P”，右下角O标记为“S”o NNT P'。 A和E之间的双向箭头标记为“违背”; I和O之间的双向箭头标记为“分组”。 从a到我的箭头被标记为“需要”; 从e到o的箭头被标记为“需要”。 从A到O的无向线段和从E到I的e交叉在广场的中心，并标记为“矛盾”。

图2.否定广场

如果苏格拉底不存在，“苏格拉底是明智的”（a），相反的“苏格拉底是不明智的”（e）都是自动为假的（因为没有什么是积极的或消极的，可以真正肯定一个不存在的主题），而他们各自的矛盾是“苏格拉底不是明智的”（o）和“苏格拉底不是不明智”（i）都是真的。 类似地，对于任何对象x，x是红色或x不是红色 - 但x可能既不是红色也不是红色; 例如，X是单机或素数。

虽然罗素（1905）回应（没有确认）亚里士多德的歧视分析否定分析否定（“外部”）或相反（“内部”），凭借分配给“法国国王的”内部“）。不是秃头”（参见描述），这种命令化账户以自然成本购买，因为主题谓词语法形式的奇异句子被分配了存在量化的结合的逻辑形式，并且作为名称被传输到谓词。

在古希腊语中实现了否认的S和肯定的P的差异，作为字令的语调区别：S P [不是]（苏格拉底健康而不是）与s [不是p]（苏克拉底不健康）。 如图2所示，对于亚里士多德，只有句子可能处于矛盾的反对派中。 当预先存在的主题之外，P和NOT-P均产生虚假，但这两个术语中的一个或另一个如相关域中的任何存在的主题如实地预定。 P和NOT-P是排除真正的中间的“逻辑依据”，它既不是p nor not-p的存在实体。 但是自然发生的前铸形容词的情况，由（n） - 希腊语标志的那些，可能涉及未解雇的中间，如极性违背或反义词对。 现代语法话语从亚里士多德出发，允许矛盾的术语：中间允许相反的形容词（白色/黑色，快乐/不快乐）与中间不包括矛盾形容词（及物体/不及物，活/死亡）。

Jespersen（1917：144）描述了英语负面前缀形容词的逻辑状态：

通过添加前缀的感觉的修改通常是一个简单的否定：不值得='不值得'等。因此，[P，UNP]因此是矛盾的术语。 但是，前缀往往会产生“相反”的术语......：不公正（和不公正）通常意味着刚刚（正义）相反; 不明智意味着不仅仅是明智和愚蠢的方法，不开心的不悲惨等等

像亚里士多德一样，杰斯文预测，真正违背的否定就像不开心，不公正或不明智的情况将从他们的积极基地进行语义。 因此，由于允许无纠正的中间人来说，并不不开心减少：一个人既不能幸福也不快乐，而只是blaah，以相同的方式，这种东西既不是黑色也不是白色，而是五十多个灰色阴影之一。 与此同时，即使是那些是语义矛盾的形容词，例如，也是如此。 不可能，可能会在否定虚拟违背否定。 虽然技术上，任何行动或事件都必须或不可能，以评估某些东西，以评估不是不可能的，通常是为了将其发生形式被描绘成更远的可能性，而不是评估它，以便尽可能的简单符号，如“可能的，要么至少不可能”的证明。 类似的虚拟对照实例随着否定的动词短语（“我不爱狗”≠我爱狗）或谓词标称（“我们不是不是朋友”，我们是朋友）; 看到喇叭2017。

克里夫卡（2007年）争论克里夫卡（2007年）追求的是，否定否定始终产生语义矛盾。 在这个观点上，不开心的字面上只是“不开心”，具有务实的特征更强的理解。 两个否定者的不完整取消在不满意的情况下被认为是纯粹的务实现象，并将这种情况混在一起，并不是不可能的。 但古典理论有其优势。 在这种方法上，Un-Adm反义词（就像他们的形态学单纯的同学，悲伤或坏的）是可以构成相应的阳性的违法的词汇项目。 凭借其词汇状况，他们是候选人来接受进一步的语义漂移，与非adj序列（或非adj形式）不同，如臭名昭着或茂的语义和语音不透明。 请注意，许多不合格（不批es，inhoate，不可救药）缺乏相应的简单基础。 此外，前缀非收益率矛盾（通常具有客观和/或技术性感官）通常与UN-ADJ或adj的逆向造影，偏好和评估语境：

非美国人与美国; 非专业与不专业的

非基督徒与联合国基督徒; 非Rational Vs.非理性

非道德与不道德; 非现实与不现实

非自然与非自然; 非科学与不科学

对于统一的治疗甚至更有问题，对语义矛盾的所有带负面前缀形容词的处理似乎自然地从不满意或不明智地延伸到像快乐/悲伤或明智/愚蠢的单纯性反义对延伸，在那里语义对照的证据似乎是责任的。 虽然Krifka（2007：174）支持了e.g的分析。 快乐和不满意“完全矛盾地接受他们的解释只有通过务实加强”，喇叭（2017）认为，传统（Neo-aristotelian）方法调用平行但独特的语义和务实的加强过程是在探测器的实证基础上。

4.差距和冷却：LNC及其不满

除了§2中讨论的未来或有特征陈述外，有时会采取（5A，B）中的空缺受试者通过出现真实价值差距来产生违法行为。

5。

一个。

{法国/国王路易斯}的现在是秃头。

b。

{现在的法国国王/国王路易斯}不是秃头。

虽然亚里士多德将看到共和国法国作为渲染（5A）假和（5B）自动真实，Frege（1892）和SweeSon（1950）拒绝这些句子中的任何一个都可以使用真假断言。 相反，这两个陈述都预先存在于单个术语的指称; 如果PresupPosition失败，则古典真相分配的可能性也是如此。 然而，注意，这种分析仅当（5B）被视为（5A）的真实矛盾时，才会对LEM呈现挑战，假设不普遍共享。 例如，Russell允许一个读取（5b），如（5a），在没有主题项的指示或表示的情况下的错误; 在该读数上，描述具有主要发生的，这两句话不是矛盾。 通过这种方式，Russell（1905：485）寻求将法国君主引导出明显的陷阱，而无需求助于假发或真实值差距：

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

在那些拥抱真实值差距（SweeSon，可争议的弗赖基）或非经典价值的系统（Łukasiewicz，Bochvar，Kleene）的系统中，没有分配某些句子或陈述（古典）真值; 在谢谢斯森着名的宗教之中，“法国国王是明智的”真理价值的问题，在法国是共和国的世界，只是没有出现。 例如，这种空性陈述的负形式，例如， “法国之王不是明智的”，同样也不是真的，也不是假的。 这金额拒绝lem，如罗素1905所指出的。除了空心奇异的表情之外，还提出了基于差距的分析来为未来的特遣队（在亚里士多德的博览会上的海运中的博览会上;上述§2之后）和类别错误（例如，“7号喜欢/不喜欢跳舞”）。

虽然LNC传统上仍然是牺牲品，但反映了其作为令人难以置信的人的原因的地位，近年来违反这一决赛禁忌越来越诱人。 这里的举动涉及拥抱不是差距，而是真实值的曝光，其中一个给定的句子及其否定的病例被认为是真实的，或者句子可以分配多个（经典）真值，即真实和假。 帕森逊（1990）观察到两种非经典理论可证实逻辑上等同于，因为在一类理论内呈现出来的差距在另一类中出现; 然而，其他人认为，差距（在直觉上的非二价逻辑中）比吞咽更容易吞咽（见牧师等人的论文2004年收集进一步辩论）。 Dialetheists通过注意到接受一些矛盾来拒绝不连贯的负责，这不是接受它们; 特别是，他们寻求解散逻辑阿姆齐森或“爆炸”构成的逻辑阿姆齐尔威胁的威胁，推断（6）：

6。

p，¬p

∴q

由于亚里士多德被任命，因此，真正矛盾的支持者，包括在Sylvan（NéCorfley）和牧师领先地位的自豪拨二甲双水道的支持者是雄辩的。

亚里士多德的“第一个原则”是明显的，正如他相信的那样明显？ Dialetheist的副教徒存在真正的矛盾（牧师1987,1998,2002;也见Dialetheism和Paraconsistent Logic的条目）将牢牢地回答负面。[6] 在西方传统中，真正矛盾的统计数据通常是 - 尽管不仅仅是在这种经典逻辑悖论的基础上作为“这句话不是真实”和它的类似物; 如果它不是真的，那样的声明是明显的。 骗子，或真的是骗子的悖论（见骗子悖论）和罗素的悖论，它的理论模拟（一个不是本身的成员的集合，也不是本身的成员 - 看到Russell的悖论中的条目），在没有LNC的情况下，不再构成对逻辑一致性的立即威胁（见牧师等人的论文。延长讨论）。 如果我们确实准备好狂热的LNC，我们可以将“这句话不是真实”（或“这句话是假的”）同时真实，而不是真实而不是因为亚里士多德和他的继承人因这种矛盾而导致的由此产生的荒谬而不是真实。 正如笑脸（1993：19）所说，“DialeCheism代表否定的否定否定理念，如对牛顿机械师的特殊相对性：他们在熟悉的地区同意，但在边缘（特别是悖论）分歧。” 其他人仍然是宽容的，其中包括刘易斯（1982：434）：“没有真相，没有真相可能会有一个真实的否定。 没有什么是，没有什么可以是真实的和虚假的。 我们知道某些，并先验，没有任何例外，特别是特别令人困惑的主题很重要“。

与逻辑和集合理论的经典悖论有关是石头的悖论。 首先通过授予基本困境，作为lem的明显例子：无论是上帝都是无所不能的，还是上帝不是无所不能的。 随着无所不能的话，他可以做任何事情，特别是他可以创造一块石头，称之为S，即使他无法举起它也是如此沉重。 但后来有一些他不能做的东西，viz。 （EX HYPOTHESI）电梯。 但这违反了LNC：上帝可以举起S，上帝无法解除硕士。 这种悖论和提供的潜在挑战以及为期一方的潜在挑战或无所不能的可能性，从阿奎那开始认可，他们选择通过了解无所不能的方式保留亚里士多兰法律，因为只有逻辑上不可能的能力。。 （包括奥古斯丁和梅松尼的其他人已经指出，在任何情况下，上帝都是“无法”做与他的性质不一致，例如，犯罪。）对于笛卡尔，另一方面，无所不能的上帝是通过任何任务的定义，即使是那些产生矛盾的人。 Mavrodes（1963），肯尼，其他人与圣托马斯相吻合，只能延伸到这些权力可以拥有; Frankfurt（1964年），另一方面，基本上采用了笛卡尔线：是的，当然，上帝确实可以建造一块石头，以便他无法举起它 - 以及更莫尔可以举起它！ （另见萨维奇1967年为相关解决方案。）

正如我们所看到的，亚里士多德的心理（Doxastic）版本的LNC的目标是Heraclitus：“任何人都不可能相信同样的事情，并且不是，因为一些人认为，因为有人说，这是没有必要的人们也相信”（见过.1005b23-26）。 但正如亚里士多德在这里承认的那样（即使他在其他地方的政治中较少），那么Heraclitus所说的和他相信的是相当大的不确定性。 Heraclitus无法从字面上拒绝LNC，因为他经常被指控（或称赞）这样做，因为他的着作先是一个世纪的形而上学γ原则的声明。 但问题仍然存在：做他的话，如在现存碎片中所代表，预计拨号师和其他拒绝者？ 是和否。 肯定的是，Heraclitus很自豪地穿着“乘法征拉人”的地幔（Barnes 1982：80）并且只享受了他一天的ÉpaterLes资产阶级。 但支持他宣告对对立面的统一的关键碎片可以以多种方式采取。 他指出，海水是有益的（如果你是鱼）和不健康（如果你是一个人），就像垃圾最好的金子（对于驴子）一样，但是再一次，它不是（对于一个人）。 鉴于助焊剂的不可避免性（作为Heraclitus令人难忘地被他的河流说明，其中一个不能踩两次），真实（今天）也是假的（明天）。 但这些精明的观察结果并不是如此驳斥LNC，如展示（通过Barnes称之为掉落的资格的谬误），这对于亚里士多德的关键是的，例如，海水不能对同样的健康而不健康在同一时间和同一方面体验。 （以类似的方式，“下雨”当然，当然，在西雅图的这一刻，在帕洛阿尔托的假设中，我们需要在这里承认无论我们是否通过认可未纳米规定的成分或以某种其他方式应对问题.CF. Recanati 2002尤其是。和Wedin（2004b）在维持亚里士多德的指控中，很难看到Heraclitus提出的证据，但是，他可能是我们在上下往下下降的那个路径上的旅行中的指导，威胁着LNC的可行性。 （另见Heraclitus。）

在现代哲学佳能中，黑格尔往往被视为呼应LNC - 怀疑论者，好的，在他被誉良的死亡哀悼之前，“只有一个人才能理解我，他不明白我。” Hegel认为自己是拾起Heraclitus离开的地方 - “我逻辑上没有通过的Heraclitus的主张”（Barnes 1982：57） - 确实是一个由统一形式的世界塑造的Heraclitean观点通过冲突和分辨率的对立面似乎预示着黑格尔辩证法。 然而，事实上，未解决的矛盾是黑格尔错误的迹象。 论文与对抗之间的矛盾导致辩证分辨率或取代对立之间的矛盾作为通过Aufhebung（来自Aufheben的过程的更高水平合成，同时解释为'）保留，取消，举起'）。 Hegel的辩证依赖于它而不是拒绝LNC。 在马克思主义理论中，矛盾不仅仅是抵消，而是在更高的水平处被动态解决（AUFGEHOBEN），以一种既保留和取代矛盾，激励历史辩证法。 （见喇叭1989：§1.3.2。）

对于弗洛伊德，有一个领域，其中LNC不是如此取代但溶解。 在梦想和神经中反映的主要，婴儿水平，没有：“”不“似乎不存在，就梦想而言。 梦中的任何东西都可能意味着它相反“（弗洛伊德1910：155）。 当分析坚持一个梦想性格“这不是我的母亲”，分析师意识到翻译，“所以这是他的母亲！” 弗洛伊德试图将这个不逻辑的，无期数（和否定）不仅仅是在梦想家无意识的原始领域，而且在Gegensinn，单词（特别是Urwörte，原始词）的现象中两种反对意义声称以古代和现代语言广泛证明。 然而，下一项索赔的经验基础已被广泛信誉; 看到Benveniste 1956。