图情释怀的BLOG

    铁冰没来过我的图书馆，但他已来过我的blog，到目前为止他还是依法合理利用我的园子的，因此他是我的用户。他自己也承认他是图林的用户，但我不知道为什么年轻轻的他心里会有极大的阴影，总以为图林中某些人不遗余力的证明他是错误的，所以有极强的逆反心理来对待“定理四”，甚至迁怒于所有对“定理四”举过手的人。如果是因为吃了我等园子里的菜，如此上吐下泻，那可真是罪过啦。谁让程大教授提出：“用户永远都是正确的”呢？真是该“定理死”，搞得图林没几个真“爷们儿”出来说话，还要本“婆婆”（铁冰所赐）亲自出面去伺候铁石心肠冷冰冰的小媳妇（他自己内心阴影所致，感觉变成了小媳妇）。那些书疗导员们真该书导书导。不过，既是吃过本“婆婆”的菜，我也该苦口婆心说说。说过之后，谁爱伺候谁伺候去。（以上纯系斗嘴，没别的意思，我是想说明缺乏理性的批判，只是与斗嘴无异，只能使其阴影更阴，对解决问题毫无助益，离科学差得更远）。下面言归正传。

    铁冰是这样品我的一道菜的，并把感觉用红字批出来了，我只好用蓝字作答。

[定义1]图书馆是为了满足社会成员公平、自由、合理利用信息资源的公益性社会服务机构。(No problem) （谢谢！品出味了）

在这样的语境下，那就有一个公理：

[公理1]每个社会成员都有依法合理利用图书馆的权利，社会保障这种权利的实现。 (No problem) （谢谢！品出味了，其实该公理与定义1还有一层味道没品出来，但不是你的错，下面我再说）

作为公理它是不需要证明的。

[定义2]图书馆用户是依法合理利用图书馆的社会成员（个体或团体）。 (No problem) （谢谢！品出味了）

于是我们有公理2：

[公理2]图书馆有义务帮助用户正确利用图书馆，实现其利用图书馆的权利。 (No problem) （谢谢！品出味了）

[推论1]用户利用图书馆没错。 (“利用图书馆没错”表述含糊，到底是说“用户利用图书馆”这一行为并无过错，还是指“公理2”中的“用户正确地利用图书馆”？“正确利用”与“利用……没错”并不等价。) （我不得不承认表达不清，但你太心急了，要是看完证明，就还不至于不能理解，在证明中我只说“根据定义1、2，公理1”，而没提“公理2”。这一推论，从法理上说明用户利用图书馆的正确性，自然是“利用……没错”之意，而下一推论才是具体利用行为的正确性，只是这种行为的正确性是需要图书馆来保障的）

证明：根据定义1、2，公理1，用户利用图书馆没错。证毕。

[推论2]如果用户不能正确利用图书馆，那么图书馆必须提供帮助。 (No problem)（谢谢，理解）

证明：根据定义1、2、公理1，用户有权利利用图书馆，图书馆应该保障用户权利的实现。根据公理2，帮助用户正确利用图书馆是图书馆的义务。所以，用户不能正确利用图书馆，图书馆必须提供帮助。证毕。 (No problem)（谢谢，理解）

[定理]如果用户利用图书馆，那么他们应该永远是正确的。

证明：根据以上定义、公理和推论，如果用户不能正确利用图书馆，那错儿不在用户，而是图书馆没有尽到使用户正确利用图书馆的义务(No problem)（谢谢，理解）。因而对图书馆来讲用户永远是正确的(BIG problem!!作者只证明了“那错儿不在用户”，却没能证明“用户是正确的”。“错不在用户”不等于“用户没错”，更不等于“用户正确”。功亏一篑，呜呼！哀哉！！)（的确，“错不在用户”不等于“用户没错”，更不等于“用户正确”。也许有个细节你没注意到，定理中，我在“永远”前加了“应该”，而“对图书馆来讲用户永远是正确的”却省掉了，我以为不会造成歧义，看来又是我的错，而不是你的错。而“应该”之意，应该是在推论2中应有之义。也正是这一“应该”之意，明确将这一定理的限度限定在了图书馆的理念当中，任何泛化必将招致矛盾。也就是程大教授更强调“用户永远是正确的”是图书馆的理念的应有之意。当然，你会说“定理是定理，理念是理念”，下面我再说吧）。证毕。这个定理用诗性语言表述就是：“用户永远是正确的”。

    其实从定义1、公理1，到定义2、公理2，乃至下面的推论与定理，每一步都体现了图书馆事业艰辛的进步。其中滋味是铁冰不能品味出来的，也不必再去品，更不是他的错。“图书馆是为了满足社会成员公平、自由、合理利用信息资源的公益性社会服务机构，每个社会成员都有依法合理利用图书馆的权利，社会保障这种权利的实现”。现在说起来铁冰们都无异议，认同为公理，实在是社会的进步，也正是这一公理经过了上百年，先贤们以其为“利器”而奋斗，才开创了符合公理的现代社会，在这方面图书馆学人中的先行者是其中最自觉的拿起这把“利器”的。“用户永远是正确的”能够被普遍认同，也许还需要上百年的奋斗，也许更遥远，也许铁冰们认为不可能，但是图书馆学就是这样在奋斗着。程教授们就这样坚定着信念。我也轻贱过图书馆学，但知道了图书馆事业艰辛的历程，看到图书馆学人通过奋斗将理念变为公理、定理，不得不对图书馆学心存敬畏。铁冰说“定理”不定，那是绝对正确的，定了还要我们求证什么？定了再去求证，那叫习题。所以，我首先坚信铁冰永远都是正确的，但我也希望我在铁冰那里也是永远正确的，因为我也成了他的用户。