一个好的软件开拓团队每每看起来没那么“和谐”，程序员和产品经理之间，程序员和程序员之间是不是会发生“争吵”。好的软件公司没有不吵架的，不吵架的软件公司要么大家都在划水，要么大家为了掩护 “职业形象”处处小心翼翼不敢献计献策。
刚开始和华为的人互助可能会有一些不适应，他们说话的办法大略而直接，每每让人不知所措。这种直接的背后是一种撸着袖子干的企业文化，把“职场文化”变成了团队协作。
软件公司吵架不是管理不善，每每代表着开放、原谅的文化，以及团队成员心无心病的配合尽力。回忆一下，我们是不是每每都是和陌生人和和气气，和信赖的人才大大咧咧呢。
不过吵架这事儿还有一些讲究。在公司吵架这事儿分为文吵和武吵：武吵是比谁的嗓门大，谁说话的分量重；文吵讲究的逻辑、推理和归纳。
而武吵和文吵各有用处。
武吵须要的是一个敢于担责，能在关键时候拿出主张的人。在很多谈论会中，群众随意马虎陷入只对自己认知匹配的细节，然后各自为政，都很有道理，也各无差错。这个时候，文吵的逻辑难以派上用场，由于现实天下中没有完美的、精确的方案，只有不那么差的方案。那就须要武吵的人发挥他的影响力，给团队拿个主张，先结束这次谈论，得到一个基本可用的方案来，才能让事情连续。
文吵则不一样，软件开拓毕竟是一门科学，大多数情形下须要用到逻辑，通过剖析、归纳、总结得到方案。须要网络足够的信息，给出足够的情由，并对方案中的观点给出清晰地定义，末了通过因果剖析，证明自己的想法。在大多数情形下，我们更多的须要文吵，通过剖析和证明办理碰着的问题。
不管是文吵还是武吵，都须要讲逻辑。只有当团队对这些基本的逻辑规律达成共识的时候，“吵架”才能高效，并且避免落入谬误的陷阱。
逻辑学的三个基本规律逻辑学的三个基本规律可以让吵架更加准确，避免无意义的辩论，减少逻辑抵牾，让吵架有所产出。这三个主要的规律是：同一律、抵牾率、排中律。
同一律在同一段论述（命题和推理）中利用的观点含义不变，这个规律便是同一律。形式化的表述是 A -> A。
“观点”在逻辑学中的意义非常主要，观点有两个逻辑学规律：内涵和外延。内涵指的是这个观点差异于其他观点的实质属性，例如大熊猫是指的生物学中某一个物种。外延指的是这个观点所能描述的事物的范围，比如白马比马这个观点外延要小，是不同的两个观点。
以是白马非马的实质辩论在于自然措辞的不愿定性：
从观点上说，白马这个观点不是马这个观点。以是白马非马。从谓词（“是” 这个谓词）逻辑来说，白马这个观点代表的事物凑集属于马这个观点代表的事物凑集。以是白马是马（白马属于马，但是白马这个观点不是马这个观点）。同一律描述的是在一段论述中，须要保持观点的稳定，否则会带来谬误。我在大学辩论赛中利用了这个规律，赢了一次辩论。
当时的论题是“网络会让人的生活更美好吗？”，两个论点紧张的论点是：
网络让人们的生活更方便。网络让人们沉溺虚拟天下。我们选择的论点是 “网络让人们的生活更方便”。在辩论赛的前期，其余一方为了论证 “网络让人们沉溺虚拟天下”，描述了打电话、写信也可以让人生活很美好，并不会沉溺。这刚好落入了我们的逻辑陷阱。我们指出，邮政、电话网络也是网络的一种，对方的逻辑不攻自破。
这属于范例的 “失落包观点”，我们失落包了“打算机网络”和“网络”这几个观点。
抵牾律抵牾律运用的更为普遍，险些所有人都能认识到抵牾律。它的含义是，在一段论述中，相互否定的思想不能同时为真。形式化的描述是： “A 不能是非 A”。
抵牾律这个词的来源便是很有名的 “矛和盾” 的典故，出自《韩非子·难势》中。说有一个楚人卖矛和盾，牛皮吹的过大，说自己的盾在天底下没有矛能刺破，然后又说自己的矛，天底下的盾是不能穿透的。前后抵牾是一个众所周知的逻辑规律，但是并不是一开始立时就能看出来，须要多推理几步才能看出来。纵然如此，在同一个高下文中，涌现了抵牾的逻辑论述也被认为是不可信的。
具有抵牾的论述有时候又被称为悖论。尤其是宗教领域充满了大量的悖论，例如是否存在一个万能的神，做一件自己不能完成的事情。
抵牾律的用途可以驳斥不合理的论断，也可以用于反证法。在软件开拓过程中，我们时常碰着这种情形，须要开拓过程中才能创造抵牾。这个很难避免，除非有充足履历的工程师。
须要把稳的是逻辑学中的抵牾律和毛泽东思想中的抵牾论不是一回事，前者是逻辑学规律，后者是辨证唯物的一种方法。
排中律排中律是逻辑规律中最难明得的一个规律。它的表述是：同一个思维过程中，两个相互否定的思想一定有一个是真的。用形式化的表述便是，A 或者非 A。
排中律的意义在于，明确剖析问题的时候不能暗昧其辞，从中骑墙。比如有人谈论：人是不是动物。不能终极得到一个人既是动物又不是动物，这种谈论是没故意义的。
比如在一次技能会议中，须要选择利用的数据库，只能利用一种数据库。如果采取了 MySQL 就不能说没有采取 MySQL。
排中律看起来彷佛没故意义，但具有非常大的代价，让谈论终极有结论，而不是处于似是而非的中间状态。
如何诡辩在争吵中，人们会下意识的引入谬误，从而主动或者被动的诡辩。诡辩的方法非常多，下面聊几个故意思的诡辩方法，认识到诡辩的存在，让吵架的输出更可信。
失落包观点失落包观点是一种利用同一律的诡辩方法。每每是利用一个词语的多义性来制造诡辩，这种例子相称常见，再一越日常对话中：
朋友：为了让自己的判断和认知更为客不雅观，我们该当同时学习多个学科的东西。
我（故意抬杠）：人不能同时学习多个学科的东西。
朋友：为什么，学生不都是同时学习数学、语文、英语么。
我：你现在正在看手上这本书，能同时看我手上这本么。
朋友：。。。（觉得被套路）
我失落包了观点，把 ”同时“ 这个词的韶光精度调低了，导致这次对话变了味。
失落包观点在生活中无处不在。《武林外传》中的秀才利用 ”我“这个观点的失落包，让姬无命莫名其妙并自尽了。
干系性不即是因果性这个是一个不得不提的诡辩手腕，我们从小深受其害。
最经典的例子是，很多父母信佛，然后娃高考的时候每天去求神问佛。如果小孩考上了大学，那么便是拜佛的功劳，如果没有考上，那便是小孩不努力。多么完美的逻辑闭环，完备无懈可击。同样的桥段在各种电视、电影中存在。某一伙人闯入了一个村落庄，然后这个村落庄发生了瘟疫，群众认为是这些人带来了不详。
程序员圈子也会有类似的议论，由于大公司都用的 Java 而不是 PHP，以是 PHP 是一个垃圾措辞，我们要成为大公司，以是要把 PHP 换成 java。以是很多公司明明可以苟一下，然后由于折腾去世掉了。
我们须要时候记住，干系性不即是因果性，才能认识到一些奇妙的逻辑关系。
因果颠倒“可怜之人必有可恨之处。” 这是很多人挂到嘴边的话，支持者甚多。
我小的时候对这句话影象深刻。小学的时候被年长的同学陵暴，后来由于斗殴老师知道了，其他同学都表明我是个被陵暴的可怜鬼，老师还是对我们都做出同样的惩罚。
说出了一句全球名言：“为什么陵暴你，不陵暴别人”。
为什么只陵暴你，不陵暴别人，以是你也不对，同样要受随处分。这是范例的匪贼逻辑，从结果推导出缘故原由，但是这个缘故原由并不成立，由于我们知道原命题为真，抗命题不一定为真。
归纳法的局限逻辑学上把个别的知识推广到一样平常的知识规律叫做归纳推理。归纳推理是一种朴素的认识方法，在逻辑学中，归纳推理有其意义，但是须要把稳的是逻辑学从来没有把归纳法得出的结论当做真理。归纳法的问题和类比谬误类似。古人认识的到了一个规律，鸡叫三遍天会亮，但是后来出去旅游创造其他地方的鸡不是这样的，真的是应了那句，“东方不亮西方亮，黑了南方有北方。”
中国太大了，乃至二十四节气的规律都不能适用于每一个地方。归纳法只能有限的反应某种规律，不能广泛、绝对的得到真理，也不能从个体推出一样平常。
算命师长西席希望从四柱八字、面相剖析、掌纹、字迹这些中归纳真理，如果认识到归纳法的局限性，就不会平白无端友这些智商税了。
任务转移证明神存不存在，保健品有没有功效，壮阳药有没啥浸染是科学界三大难题。
从逻辑上证明有实在很随意马虎，只须要找出一个例子即可，比如证明天鹅是白色的，只须要找出一个白色的天鹅即可。但是证明玄色的天鹅不存在，是非常困难的，除非穷全球界上所有的天鹅，才能得出这个结论。
人们的思维中，天生偷
以是有一种诡辩，我姑且称之为任务转移，便是在辩论中把举证的任务推给别人，然后再来挑对方的毛病。这是一种非常高等且隐晦的诡辩手段。
比如有神论哀求无神论者给出证据，证明神不存在，但是证明无非常困难。对方只能举出一些例子，但是这些例子非常薄弱，如果再结合失落包观点就更无懈可击了。
大师：神会保佑你的。
无神论者：神不存在。
大师：你怎么证明神不存在呢。
无神论者：我从来没看到过神。
大师：没看到过神，不代表神不存在。
无神论者：看都没瞥见，怎么能说神存在呢。
大师：神是一种信念，它无处不在，逐步体悟吧。
无神论者：。。。
任务转移大法是不断把举证的任务推给对方，然后在挑错，让对方自身难保。
总结逻辑学中的内容非常多，还有很多有趣规律，比如三段论、命题和演绎等。
但对生活来说，本文先容的一些方法用于吵架足够了，当然不是为了学习怎么制造诡辩，而是为了分辨诡辩。当我们在事情中互换时，能把稳观点的统一和尊重同一律、抵牾律、排中律等逻辑学基本要素时，沟通会变得更加高效，吵架也更加有理有据，并从中得到发展。
文/Thoughtworks林宁
原文链接：https://insights.thoughtworks.cn/software-engineer-quarrel-culture/
更多精彩洞见，请关注微信公众号Thoughtworks洞见。
