以形式逻辑去尝试证明一个论点的正确性

阅读前请注意:本文是尝试以形式逻辑去辨别一句话的对错,这是个很有趣的过程,本意不是抓住一个问题一直不放,非严肃讨论主要是趣味性。 前文已经充分的探讨了关于程序员一词的讨论所引发的各种值得深思的问题,有些读者还在纠结关于我的「员」后缀的观点是否正确。其实这个正不正确真的不是很重要,其中包含了很大成分的主观因素,背后所映射的问题才更值得讨论。 但是非要去深究这个观点正不正确,也是个有趣的事情,判断一个观点是否正确,归根到底是说这个观点有没有逻辑。对于语言的讨论本身更适合采用非形式逻辑,但是这种论证很困难,不存在绝对的标准,我们不妨以形式逻辑这一非常明确的标准来判断。 我的原文是「员所代表的职业多为偏重重复、轻创造性」。第一步先将这句话尽可能的明确为形式逻辑命题。 「多为」一词没有明确的数学定义,宽泛的来说 >50% 总样本数量即可说「多为」。但站在严格的角度,我们提高一下这个标准,一般在社会中,当我们说少数服从多数时,会以三分之二的标准去进行投票,即 > 66% 即代表是多数人的意见,我们再把这个值提高到 >75%,避免因「多为」一词的使用差异造成逻辑上的瑕疵。如果认为 >75% 的标准依然不可代表「多」,也过于苛刻了吧。