RM是什么意思？

“RM”是一个带有单位性质的词语，用于描述训练时应选择的重量是怎样一个度。

rm（Repetition Maximum）是健美术语，通常用于，健身领域。rm最大反覆次数，指的是在一定负荷下，能进行动作的最大次数。1RM代表只能恰好做到一下的负荷，10RM代表只能做到10下，第11下无法完成的负荷。

例如教练说“二头肌弯举要达到理想的增肌效果，请选择10RM的重量，一组做10个，共做6组”

这意思是说，为了让二头肌体积增加更快，建议你做弯举的重量选择弯举10次就举不起来的重量（这个重量就是10KG的重量），你每组以此重量弯举10次，练习6组。

1-4RM主要是训练绝对肌力和体积；

6-12RM主要是训练肌肉体积；

15-20RM主要是训练小肌群体积和增强肌肉线条与弹性；

30RM及其以上主要是起到降低体脂、增强心肺功能的效果。

扩展资料：

在现在代健美训练中，练习的组、次规定是构成训练活动最基本的元素。为了统一而规范地表达这个元素的具体内容，在训练计划的制定和课程计划的编排中目前大都接受"RM"的记写方式，如："6～10RM/6～10、8～12RM/8～12、8～10RM/8～10、6～10RM/6～10或直接用数字"6～10、8～12、8～10、6～10"等。

如此记写既有4组的组数表达、每组的次数规定、每组的强度规定等负荷强度和负荷量的指标要求，又有负荷节奏和加重方式的表现，容易理解和操作。至于为何难在书刊上看到具体的重量数，可以这样理解，每个人、每个身体局部和每个动作所采用的重量都不尽相同，用具体的重量数表达反而不易说清强度规定等问题，因此不具备普遍指导意义。

参考资料：

训练肱二头肌

1、高训练量

在肱二头肌训练中，很少有人练到足够的组数。害怕艰苦训练的人常说，肱二头肌是个小部位，每次训练不能超过9组。实际上即使做20组都无法“震撼”它，而仅仅是在“挠痒痒”。一个高效的震撼训练至少要做20组，而且这20组都必须是正式组，每组都得做到力竭。

2、超级组训练法则

超级组训练法则对增大肱二头肌特别有效，它能刺激更多的肌纤维，创造更好的充血。采用超级组训练法则时应注意以下几点。

1）．不要每个练习都做超级组，仅是每组的最后两个练习采用。

2）．杠铃弯举不要采用超级组训练法则。因为这个复合练习需要强大的能量和充分的恢复。

3）．除了肱三头肌之外，不要把肱二头肌与其它部位联合在一起做超级组。二头肌与三头肌功能相反，轮流训练可保证充足的恢复时间。二头肌训练的最后一个练习与三头肌训练的第一个练习联合做超级组，正好能过渡到三头肌训练中去。

4）在用超级组法则联合练二头肌和三头肌时，应尽量选择相同用力水平的练习，如哑铃斜板弯举与单臂哑铃屈伸，或坐姿哑铃交替弯举与站姿颈后臂屈伸的组合。

5）．能用于超级组训练的肱二头肌练习只有哑铃弯举、斜板哑铃弯举、坐姿杠铃弯举和拉索弯举。相比之下，站姿杠铃弯举太重了、哑铃集中弯举太轻了，机器弯举又太孤立了。

3、每组都练到力竭

每一组都应练到力竭，不论使用多大重量或做多少次，只有练到力竭才能确保对肱二头肌震撼性刺激的要求。

4、采用较低的次数

只统计那些在68次范围内达到力竭的训练组。如果每组超过8次，则附属肌肉可能在肱二头肌完全力竭之前就疲劳了。如果无法做到6次，则表明二头肌没有在附属肌肉取代用力之前达到力竭。

5、经常打乱训练次序

假定最大的力量应该分派给最重的练习，那么结论就是每次肱二头肌训练都应以杠铃弯举开始。但是，人体具有惊人的适应能力，适应过程是如此微妙，以至于几乎察觉不到附属肌肉已经暗中分担了不少本应由肱二头肌完成的工作。

通过每次以不同的练习开始，附属肌肉就没有机会去适应，肱二头肌就会被迫做所有的工作。

6、肱二头肌和肱三头肌一起练

除三头肌外，不要将二头肌与其它任何部位一起练。如果像许多健美运动员那样，将二头肌与胸部一起练，则因胸部训练消耗了大量能量，即使觉得已经为肱二头肌付出了100%，它们得到的却只有80%。如果每次只练一个部位，那将得到更好的震撼性刺激效果。

7、哑铃弯举

哑铃弯举之所以成为锻炼肱二头肌的理想练习，是因为它们通常是交替进行，允许每个胳膊有更多的恢复时间，使自己能采用尽可能大的训练重量。

哑铃集中弯举是个例外，这个动作过于孤立，而且无法使用大重量，因而很难成为有效的增大肌肉块动作。

8、斜板弯举

确保在每次肱二头肌训练中都包括斜板弯举，这个动作能提供其它姿势无法做到的借力与孤立的组合。在肘关节被支撑的情况下，它是个借力练习，但由于肩膀也被支撑着，故它又是个孤立练习。

斜板弯举应该用单臂和哑铃来做，或者用双臂和杠铃或曲柄杠铃来做。哑铃可使自己转到手心向上或者进行直握弯举，刺激二头肌的不同区域。采用杠铃时，所有的压力都集中施加在二头肌的肌腹上。

9、杠铃弯举

前面曾说过，不得在超级组训练中采用杠铃弯举。但这并不意味着永远不用这个动作，恰恰相反，任何肱二头肌增长训练都离不开它、因为没有其他办法能促使肱二头肌及其附属肌群最大限度地增长。每个肌群都至少需要一个复合练习。

10、保持对重量的控制

为了从弯举中获得最佳效果，在动作的伸展阶段应该保持对重量的控制，以较慢的速度下放。不加控制的快速下放不仅降低了训练效果，还会增加肱二头肌受伤的危险、甚至导致肘关节肌腰炎。

11、在收缩阶段把意念集中在肱二头肌上，在顶部进行顶峰收缩。要尽量忘记所举的重量。如果感觉不错，则试着增加一些重量；如果感觉不适，则应适当减少重量、直到出现带给你最佳充血的重量。

用一付哑铃，也可以有效的进行全身的健身。很多爱好者以为只有上半身可以锻炼到，是不对的。具体的锻炼方法如下： 一、胸部 1平卧推举：主要练胸大肌的厚度和胸沟。 动作：两手持哑铃仰卧凳上，哑铃置于肩部，掌心朝上，上推哑铃至臂伸直，稍停，然后缓慢还原。提示：上推和下降呈弧线，使胸大肌得到充分收缩和彻底伸展。 2上斜推举：主要练上胸肌。 动作：动作要领与平卧推举相同，不同之处是将凳面调到30～40度倾角，斜躺在上面做。 3平卧飞鸟：主要练胸部中间沟。 动作：仰卧凳上，两手持哑铃，掌心相对，两臂自然伸直于胸部上方，两臂微屈肘向两侧弧形下放哑铃至最低点，胸肌充分伸展，胸肌用力收缩将两臂弧形上举还原。 4仰卧直臂上拉：扩展胸腔，练胸大肌、前锯肌的最佳动作。 动作：肩部仰卧横凳上，两脚着地，双手握紧哑铃一端于胸部上方，以肩为轴将哑铃缓慢放至（下降）头后方（感觉胸肌和胸廓伸展），放到极限时再提拉哑铃还原。 注意：为防止损伤，下放过程速度不宜太快。 二、肩部 1推举：主要练三角肌前束、中束和后束。 动作：坐姿，两手持哑铃于体侧，两肘外展，掌心朝前，以弧线推哑铃至最高点，稍停，缓慢控制哑铃按原路线（弧线）还原。提示：亦可站姿做，双臂同时做，也可单臂轮换做。 2侧平举：主要练三角肌中束。 动作：两手持哑铃垂于腿前，身体稍前倾，双肘微屈， 向两侧举起哑铃至肩高，使三角肌处于“顶峰收缩”位，稍停，然后肩肌控制缓慢还原。也可单臂做，两臂轮换。 3俯身侧平举：主要练三角肌后束。 动作：两手持哑铃，掌心相对，俯身屈膝，身体稳定，两臂向两侧上举，然后控制缓慢还原。 4耸肩：主要练斜方肌。 动作：两手持哑铃垂于体侧，膝盖微屈，上体微前倾，双肩充分上提，试用肩峰触耳垂，稍停，然后缓慢控制还原。 三、背部 1俯身双臂划船：主要练背阔肌。 动作：俯身微屈膝，两手各持哑铃，垂于体前下方，以背阔肌的收缩力提拉哑铃至肘与肩高或略 高于肩的位置，稍停，然后以背阔肌的张紧力控制哑铃缓慢还原。注意：划船时主要是背阔肌收缩伸展，上体不宜上抬，避免借力。 2俯身单臂划船：主要练背部外侧和下背。 动作：手持哑铃，掌心朝内，另一手撑同侧腿膝盖位置的固定物以稳定身体。将哑铃提到腰部位置（背肌充分收缩），稍停，然后控制性缓慢还原（充分伸展背肌），做完一侧换另一侧做。 3直腿硬拉：主要练下背、臀大肌和股二头肌。 动作：双手各持哑铃垂于体前，两脚自然开立，与肩同宽，直腿，腰背挺直，身体前屈，抬头，直到上体约与地面平行。然后下背肌收缩用力使上体还原。注意：为保持张紧力，身体前屈时哑铃不要触及地面。动作不宜太快。 四、肱二头肌 1交替弯举：主要练肱二头肌，分离肱二头肌。 动作：坐姿（或站立），双手持哑铃垂于体侧，掌心相对，两肘靠身体两侧。以肘关节为支点，向上弯举，同时前臂外旋掌心朝上，举至最高点收紧肱二头肌，稍停，然后控制还原。轮换做。 2意念弯举：主要练肱二头肌肌峰。 动作：站立，上体自然前屈，一手持哑铃垂于体前，上臂贴靠同侧膝或腿上。另一手屈臂置于同侧膝或腿上，稳定身体。持哑铃的臂向上弯举至最高点，使肱二头肌收缩至极限，稍停，然后缓慢还原。 3侧弯举：主要练肱肌和前臂肌。 动作：坐姿（或站立），双手各持哑铃垂于体侧，掌心相对，上臂紧贴体侧，肘关节为支点，用力向上弯举至最高点，稍停，然后缓慢还原。提示：两臂可同时做，也可交替做。 五、肱三头肌 1颈后臂屈伸：主要练肱三头肌。 动作：坐姿（或站立），双手握哑铃一端于颈后上方，掌心朝前，上臂固定，以肘为支点做屈臂伸。提示：两臂可同时做，也可交替做。 2俯身臂屈伸：主要练肱三头肌上部。 动作：俯身，两脚前后开立成弓步，一手撑前腿膝盖稳定身体，另一手持哑铃，上臂紧贴体侧。肱三头肌用力向后上方伸臂至前臂与地面平行，使肱三头肌极限收缩，稍停，再缓慢还原。 六、腿部 1深蹲：主要练大腿肌群和臀大肌。 动作：双手各持哑铃于体侧，或将哑铃置于稍高于肩的位置，控制稳，两脚自然开立约于肩宽，脚微呈八字形，挺胸，腰背收紧。屈膝下蹲至最低位，然后大腿用力收缩蹲起还原。 2箭步蹲：主要练臀大肌、股二头肌和股四头肌。 动作：两手持铃，两脚自然开立，右脚向前跨出一步，屈膝，后腿膝盖几乎接近地面，成箭步蹲。一腿完成规定次数后换另腿前跨做。 3俯卧腿弯举：主要练股二头肌。 动作：俯卧长凳上，双脚夹哑铃或将哑铃绑在脚踝上，小腿悬空，双手抱凳端，两腿伸直。然后股二头肌发力，弯起小腿，至最高点使股二头肌处于“顶峰收缩”位，稍停，以股二头肌的张紧力控制性缓慢还原。 七、小腿 站立单腿提踵：主要练小腿肌。 动作：一手持哑铃，一手扶固定物，一脚前脚掌站在踏板上，脚跟尽量下降至最低点另一腿屈膝提起小腿。小腿肌用力收缩提起脚跟至最高点，然后缓慢还原。两腿交替

麻烦采纳，谢谢!

1交替弯举：主要练肱二头肌，分离肱二头肌。

动作：坐姿（或站立），双手持哑铃垂于体侧，掌心相对，两肘靠身体两侧。以肘关节为支点，向上弯举，同时前臂外旋掌心朝上，举至最高点收紧肱二头肌，稍停，然后控制还原。轮换做。

2意念弯举：主要练肱二头肌肌峰。

动作：站立，上体自然前屈，一手持哑铃垂于体前，上臂贴靠同侧膝或腿上。另一手屈臂置于同侧膝或腿上，稳定身体。持哑铃的臂向上弯举至最高点，使肱二头肌收缩至极限，稍停，然后缓慢还原。

3侧弯举：主要练肱肌和前臂肌。

动作：坐姿（或站立），双手各持哑铃垂于体侧，掌心相对，上臂紧贴体侧，肘关节为支点，用力向上弯举至最高点，稍停，然后缓慢还原。提示：两臂可同时做，也可交替做。

除王路先生和李小五先生以外，诸葛殷同先生等编《形式逻辑原理》也说:“形式逻辑主要是研究推理形式和证明形式的科学”；苏天辅先生主编《形式逻辑学》也说:“形式逻辑是研究推理的有效性和可靠性以进行论证和认知的科学”。

杭州大学等十院校编的《逻辑学》说:“形式逻辑是从形式方面研究概念、判断、推理等思维形式结构及规律的”；章沛先生编的《逻辑基础》说:“形式逻辑是研究抽象思维的形式和规律的科学”；马佩先生主编《逻辑学原理》说:“逻辑学就是关于思维形式及其规律的科学，或者说，它是研究制定思维形式正确性的方法的科学”。

逻辑的研究对象是普遍领域内关于A、E、I、O关系的理论。

二

以下试就卢卡西维茨在《亚里士多德的三段论》中所表述的观点解释什么叫“普遍领域内关于A、E、I、O关系”。

（一）A、E、I、O关系

A、E、I、O分别指全称肯定判断、全称否定判断、特称肯定判断和特称否定判断四种，这是逻辑学界众所周知的。什么叫A、E、I、O关系呢？归纳卢卡西维茨的论述，起码可以发现三种。第一种是普遍词项的各种关系，由“属于所有的”、“属于无一的”、“属于有些”、“不属于有些”四个逻辑常项表达，其涵义与我们今天所用的相同。第二种是类似于数学理论中关于大于和小于关系，卢卡西维茨以Barbara式三段论与大于算术定律作比较后指出它们尽管关系“不同并发生在不同的词项之间，但两种关系有一个共同的性质：它们都是传递的，也就是说，它们都是下述公式的特殊情况：

如果a与b有R关系

并且b与c有R关系，

那么a与c有R关系。”4

这种关系与推论已经很接近了。然而，卢卡西维茨偏偏指出第三种关系是蕴涵而不是推论，这是卢卡西维茨的一大发现。

的确，传统逻辑三段论是以推论形式表示的，亚里士多德三段论是以蕴涵形式表示的，但奇怪的是，自从亚历山大、波伊提乌把亚里士多德三段论表述为推论以来，一千多年间，解读亚里士多德著作的逻辑学家竟没有谁提出异议。是卢卡西维茨，才澄清这个事实。卢卡西维茨明确指出：“亚里士多德构造的三段论原来不是一个推论，它们都不过是一些由前提的合取式作为前件、由结论作为后件的蕴涵式罢了。”5 为什么会出现这种现象呢？笔者认为，那些逻辑学家，都不能像卢卡西维茨那样，用严格的现代形式逻辑思想研究亚里士多德三段论，只凭意会，难免出现误解。不过，实事求是地说，这种误解的结果，对形式逻辑的发展，却起了一定的推动作用。因此，A、E、I、O关系，更重要的是指蕴涵关系，这是卢卡西维茨把亚里士多德逻辑纳入现代形式逻辑研究的关节点。

（二）普遍领域

A、E、I、O是除去具体材料的形式，这无论是在亚里士多德三段论，还是现在的逻辑教科书，都是一致的，所不同的是，“亚里士多德总是把谓项放在前面而把主项置于后面”。6 但这不是问题的关键。问题的关键在于：“亚里士多德强调一个单一词项是不适于作为真命题的谓项的，而一个最普遍的词项则不适于作那样的命题的主项。”7 亚里士多德这个思想仍运用于我们今天的形式逻辑，例如，单独概念（相当于“单一词项”）不能进行限制，不能作定义项中的中心语；范畴（相当于“最普遍的词项”）不能进行概括，不能运用属加种差的方法对它下定义。卢卡西维茨从现代形式逻辑的角度，指出亚里士多德的两个断定“并非普遍地是真的”、“也似乎是错的”，但卢卡西维茨并不纠缠于此，他指出了他对亚里士多德三段论的正确理解：亚里士多德“把他认为不适于在真命题中既可作主项又可作谓项的那些类的词项从他的系统中排除掉了。”8 也就是说，在亚里士多德三段论中，同一词项在任何情况下，都应能作主项或谓项。由于排除了单一词项和最普遍的词项（卢卡西维茨还认为亚里士多德没有对空的词项给予注意），因此，形式逻辑研究的对象只能在普遍领域。

（三）单一词项被略去的真正原因

“被略去”与前面所引的“排除掉”，在卢卡西维茨的认识中，似乎是相对的。因为卢卡西维茨指出并例举“亚里士多德本人曾给出带有单一词项的谓词的真命题”。9 因而相对的“被略去”与卢卡西维茨在另一些地方所说的“没有地位”是一致的。卢卡西维茨不同意一些哲学家的意见：亚里士多德受柏拉图的影响，而柏拉图相信真的知识的对象必须是稳固的并且能够有精确的定义，那就是普遍的东西而不是单一的东西。认为“这部纯粹逻辑著作完全免除了任何哲学的污染”，“它不是由从柏拉图那里借用来的任何哲学论点所确定的”。10

卢卡西维茨认为单一词项被略去的真正原因是单一词项不可既作主项又作谓项，而“在亚里士多德所知的全部三段论的三个格中，都有一个词项一次作为主项出现，另一次作为谓项出现：它在第一格中就是中词，在第二格中就是大词，而在第三格中就是小词。在第四格中，所有的三个词项都同时既作为主项又作为谓项出现。”11 因此，一旦单一词项进入三段论，就有可能违反亚里士多德所强调的“一个单一词项是不适于作为真命题的谓项的”原则（对最普遍的词项也如此）。

笔者认为，在上一段话中，卢卡西维茨的思想还给了我们一个意外的收获，他对三个词项在不同的格中的位置的分析，可能启迪我们解开一千多年来对亚里士多德的三段论没有第四格的迷疑。逻辑界一般认为：由于亚里士多德三段论大小前提的位置的不确定，导致第一格与第四格无差别，因此，第四格也就没有存在的必要了。12 这种回答是不完善的，只要把这个问题推进一下，我们就会产生这样的疑问：亚里士多德为什么偏偏选取第一格而抛弃第四格呢？可见，仅从前提的位置分析，还是不够的。卢卡西维茨从词项的位置指出第四格与前三格的不同特点，极可能是解答亚里士多德略去第四格真正原因的一把钥匙。

三、

卢卡西维茨进而提出了一个见解：“亚里士多德的逻辑是形式的但不是形式化的”。亚里士多德的逻辑是形式的，这比较好理解，我们只要抓住其研究对象就够了。而亚里士多德的逻辑不是形式化的，就不那么好理解了。什么叫形式化呢？在卢卡西维茨的这部著作中，是有特定的意义的。众所周知，每一个科学真理，为了被了解和确证，必须赋予人人知晓的外形，这个外形就是词，就是语言。语言具有模糊性的一面，如现在我们所说的自然语言；也有精确性的一面，如现在我们所说的人工语言。卢卡西维茨认为，“现代形式逻辑力求达到最大可能的确切性，只有运用由固定的、可以辨识的记号构成的精确语言才能达到这个目的。”“因此，现代形式逻辑对语言的精确性给以最大的注意。所谓形式化就是这个倾向的结果。”13 用我们今天的话来说，形式化就是用精确的人工语言来表达思想的状态。

卢卡西维茨进而论述，“形式化要求相同的思想应当总是用由严格相同的方式排列起来的词之严格相同的序列来表达”，以分离规则为例：根据这条规则，如果一个“如果α，那么β”形式的蕴涵式和前件α分别被断定，那么，后件β也必然被断定。但推论的条件是两个α必须严格地具有相同的外在形式。例如，当断定蕴涵式“如果所有哲学家都是人，那么所有哲学家都是有死的”和命题A“每一个哲学家都是一个人”，还不能推出“所有哲学家都是有死的”，因为蕴涵式的前件与命题A的意义是否相同，没有确证。因此，只有二者意义完全相同，才能推出结论。14 在这一点上，亚里士多德是不严谨的，即使是我们今天的形式逻辑，同样存在这样的问题，也是不严谨的。

卢卡西维茨还指出了亚里士多德三段论的抽象形式与具体形式之间的结构上的歧异，例如有一个三段论，令B和C代表“科学”，A代表“医学”，亚里士多德在变项中陈述为：

如果B属于所有的A

并且C属于无一A，

那么C不属于有些B。

在具体词项中陈述为：

如果所有医学是科学

并且没有医学是科学

那么有些科学不是科学。

在第一个前提，公式“B属于所有的A”对应于“科学属于所有的医学”，而“所有医学是科学”对应于“所有A是B”，但在亚里士多德的三段论中，并没有这种严格对应的习惯。

此外，亚里士多德还经常使用不同的短语表示相同的思想，例如，同样的意思，时而用“A表述所有的B”，时而用“A属于所有的B”来表述，“表述”和“属于”常常省略，甚至“所有”和一些连接词也被省略。诸如此类，都说明了亚里士多德三段论不是形式化的。15

据笔者所知，亚里士多德在论证中的叙述方式，也不是形式化的，这表现在自然语言运用过多，过于冗肿，并且仅仅是一种直观的叙述。因此，卢卡西维茨在解释亚里士多德的话的时候，往往不得不运用严格的逻辑语言。

什么原因使亚里士多德三段论不是形式化的呢？鉴于卢卡西维茨在研究中摒弃哲学、心理学的影响，严格运用现代形式逻辑观点的方法论思想指导，他不会也不可能在这方面作深入探讨。笔者认为主要原因有三个：第一、人类抽象思维水平是一个不断提高的过程；第二、亚里士多德是一个大百科全书式的学者，他的研究涉及了当时几乎全部的科学领域，这难免会把他所熟知的哲学、历史、政治、美学、动植物学揉合在他的逻辑著作里；第三、亚里士多德时代论辩风气盛行，其著作以认识真理，反对诡辩为目的，带有鲜明的功利性。这些导致了亚里士多德及其逍遥学派不可能在形式化的道路上迈得太远。

尽管如此，卢卡西维茨还是给亚里士多德三段论以高度的评价，他说：“亚里士多德三段论是一个系统，其严格性甚至超过了一门数学理论的严格性，而这就是它的不朽的价值。”16这一评价是十分中肯的。

四

《亚里士多德的三段论》这部著作是把“亚里士多德逻辑”与“形式逻辑”在同等意义下使用的，亚里士多德三段论仅仅是一个狭小的系统，从这个狭小的系统出发，概括出普遍意义下的“形式逻辑”研究对象，难免给人以偏概全的印象。然而，如果我们从方法论意义上领会卢卡西维茨关于形式逻辑研究对象的思想，把握其精神实质，那么，我们就可以从卢卡西维茨对亚里士多德三段论的特殊性的分析，获得关于普遍意义上的形式逻辑研究对象的结论。卢卡西维茨给我们的启示有如下三点：

（一）形式逻辑要走形式化的道路

卢卡西维茨研究亚里士多德三段论时所用的方法是很“自私”的，一方面他摒弃了哲学、心理学的影响，认为“逻辑中的所谓‘心理主义’乃是逻辑在现代哲学中衰败的标志”，另一方面他又认为，如果像哲学家们把亚里士多德三段论看成是唯一的逻辑，那么也会对哲学产生灾难性的影响。由于这种学科界定思想非常明确，因此，他就只能运用一种纯粹的方式---形式化的方式来研究亚里士多德的三段论。也仅因此，卢卡西维茨就等于从外部给亚里士多德逻辑注入一种生命力，构造了一个具有像数学演算系统那样严格的新的亚里士多德三段论演绎系统。并以此使形式逻辑纳入形式化轨道。

卢卡西维茨形式化的方式体现于排斥法和判定法的运用上。亚里士多德三段论共有256个式，其中有24个正确式，亚里士多德也运用排斥法排除了其他232个不正确的式，但他的排斥方法不是形式化的。卢卡西维茨采取公理化和形式化的方法，有效地排除了所有不正确的式。卢卡西维茨还解决了判定问题。其方法是使复杂的表达式，按一定的定理和规则，化归为简单表达式。能够化归并能还原的，就是正确式；不能化归，则用排斥方法来排斥。

值得注意的是，卢卡西维茨的公理化和形式化的方法，是基于他在1929年以前创造的不用括号的符号体系。这种符号体系，十分有利于在计算机上应用，极具现实意义。17、8世纪，德国哲学家莱布尼茨曾预言：当一种新的通用语言完善化之后，具有良好意愿解决争端的人们会手里拿起他们的铅笔说；“让我们坐下来计算吧！”莱布尼茨创立通用语言的工作失败了，从当时的历史条件看，原因是他仍然保留对逻辑内涵的解释，以致于碰到难以克服的困难，他失败了。用今天的眼光看，笔者认为，莱布尼茨的失败不在于此，而在于当时的科技没有发展到今天这个样子。他保留对逻辑内涵的解释是对的，只不过当时科技的局限制约了他。卢卡西维茨是欣赏莱布尼茨的，同时，他也是幸运的，他的时代给了他最大的成功机会，他使当时的波兰成为逻辑的“圣地”。今天，随着计算机技术的迅猛发展，大容量计算机不断更新，给逻辑形式化，尤其是逻辑内涵的形式化提供很好的客观条件，同时，也对它们提出更高的要求。

因此，逻辑形式化是时代的呼唤。

（二）形式逻辑要建立精确语言系统

人类在长期的发展中形成了各民族的语言，它们在形、音、义上有着不同的联系，这是约定俗成的。同一意义的语言（语词、语句）在不同民族中甚至在同一民族中会具有不同的语形和语音，这就构成了自然语言的丰富性、多样性和复杂性，对自然语言的研究固然是语言学、语法学和修辞学的任务，但也是形式逻辑的任务。形式逻辑是从形式结构这一新角度来研究自然语言的，它的目的是要达到精确性，正像卢卡西维茨所说的“现代形式逻辑对语言的精确性给以最大的注意”那样。

自然语言还不是精确语言，只有人工语言才是精确语言。从这个意义上说，建立精确语言系统，就是指建立人工语言系统。在逻辑史上，莱布尼茨、布尔、弗雷格等人，当然也包括卢卡西维茨，做了大量的工作。这仅仅是问题的一方面，这些系统毕竟还是很狭窄的，不可能逼近自然语言。

依笔者所见，应该确立一个大系统意识。有三大任务需要广大逻辑工作者共同努力完成：第一、促进逻辑学与语言学结合，加强语言逻辑的研究工作，力求从纷繁复杂的自然语言现象中抽象出更多的新形式，而绝不仅仅限于三段论本身，更不能像卢卡西维茨所指责的那些蹩足的哲学家那样，把亚里士多德三段论看成是认识世界的唯一工具。第二、利用媒介、教育等手段，引导、规范自然语言，使之不断精确化，为形式逻辑的发展提供一个更为良好的客观基础。第三、加强构建自然语言向人工语言过渡的桥梁，使自然语言与人工语言能够互相翻译，为人机对话打下坚实的基础。

笔者坚信，逻辑理论与计算机技术结合具有先天的优势，二者的互相作用，互相发展，必然导致具有自学习功能的智能化的计算机出现，从而实现莱布尼茨的预言。

（三）自然语言精确化与人工语言完善化同时并举

目前，从哲学、心理学、语言学、数学、人工智能等方面研究形式逻辑，这个态势客观上突破了卢卡西维茨的纯粹的逻辑观点，是一个可喜的现象。笔者认为，应该利用我国逻辑人才济济的优势，构成一个金字塔式的逻辑人才结构，金字塔的基部，是最广大最普通的逻辑工作者，他们教人以推论和论辩，力求使自然语言精确化。金字塔的顶部，是专家学者队伍，他们从事逻辑学的各个分支的专业研究，力求使人工语言完善化。这支队伍的新生力量，将是通晓一至数门外语、电子计算机技术和现代形式逻辑理论的人。二者同时并举，才能真正实现在形式逻辑发展中普及与提高的统一。

有一位伟人曾经说过：“每一时代的理论思维，从而我们时代的理论思维，都是一种历史的产物，在不同的时代具有非常不同的形式，并因而具有非常不同的内容。”17 是的，从卢卡西维茨时代到我们今天这个产生巨人的时代，不断涌现的、具有非常不同的内容和形式的、日新月异的理论思维，的确值得我们好好探讨和总结。

注释：

1、2、3、4、5、6、7、8、9、10、11、13、14、15、16 〖波兰〗卢卡西维茨：《亚里士多德的三段论》， 商务印书馆1981年版，第21－22、2、16、24、9、10、15、15、14、15、15－16、25、25－26、26－28、163页。

12 参看马玉珂主编：《西方逻辑史》，中国人民大学出版社1985年版，第63－64页。

17恩格斯：《自然辩证法》，人民出版社1971年版，第27页

哑铃使我们最为常见的器械，不少人无论是在健身房，还是在家中，甚至在上班的公司里，也会备上一副。哑铃小巧，但是别小看它，它可是可以助你锻炼各种肌肉。哑铃可以锻炼你肩膀，锻炼前中后束三角肌；也能锻炼你背部背阔肌，还能通过手抓哑铃进行负重，去锻炼腿部等。

想要上图那样粗壮让人畏惧的手臂吗，那个可不是小山丘了，而是绿巨人浩克了，就是传授中，那种网扣板粗的拳头的力量之手了。想要成为图中这样的壮汉，其实不难，简单小巧的哑铃，就能助你打造如此威猛的手臂。

当然，限制于基因和许多人其实不喜欢过于粗大，又不要去参加健美比赛，我们也做不了那么夸张手臂，不过想要在朋友面前炫耀力量，这点哑铃还是可以帮助你的。

好的，步入重点，教会大家如何通过哑铃锻炼，去将肱二头肌变成好看象征着力量的小山丘，助你打造有力有型的大手臂！

开始吧，准备好了吗？Here we go！

第一个动作：哑铃肩上推举

此动作是锻炼二头肌+三角肌中束。想要锻炼肩膀，则可以通过哑铃做前平举（三角肌前束），侧平举或者肩上推举（三角肌中束），俯身侧平举（三角肌后束）去针对性的锻炼肩部三角肌。

这是一个弯举+肩上推举的组合动作，同理，你也可以加上其他侧平举动作，让你在短时间，通过一套动作，去刺激其他肌群。

第二个动作：俯身哑铃弯举

弯举动作是锻炼我们肱二头肌最重要的动作。此动作在做弯举时候，肘部紧贴着腿部，让其他部位都不会摇晃，全注意力都放在弯举上。

第三个动作：哑铃前冲

吃动过在弯举的基础上，加入了个前冲动作。除了锻炼我们肱二头肌外，还能锻炼我们三头肌。想要手臂同时粗壮，除了锻炼二头肌外，必不可少也要增加三头肌锻炼，这样才能让手臂撑爆衣袖，让你穿衣好看有型。

第四个动作：俯身斜板弯举

此动作对于新手十分友好，在健身房找到这样的斜板，可以让你更安全放心的做弯举动作。

运动可以分泌的内啡肽具有与吗啡类似的极强的镇痛作用，能够使人振作、精神愉悦、引起欣快感，同时可降低抑郁、焦虑以及其他消极情绪。

二头肌就是肱二头肌

肱二头肌位于上臂前侧，整肌呈梭形肱二头肌有长，短二头。故名肱二头肌长头起于肩胛骨盂上粗隆，短头起于肩胛骨喙突长，短二头于肱骨中部汇合为肌腹，下行至肱骨下端，集成肌腱止于桡骨粗隆和前臂筋腱膜近固定时肱二头肌使前臂在肘关节处屈和旋外使上臂在肩关节处屈远固定时，肱二头肌使上臂向前臂靠拢肌电观察表明，当前臂旋外使掌心向前并屈肘时，肱二头肌才有明显的肌电活动而当前臂旋内即使掌心侧向身体或身后屈肘时，肱二头肌的电位活动很小或不出现电位活动这也是肱二头肌练习基本上皆使掌心向前握持器械的主要原理之一