bijection等词译名的商榷

全国科技名词委公布的《数学名词》，将bijection，bijective，one one correspondence的泽名审定为“一一映射”。同一个概念的三个英文名规范为一个汉文名，实现了术语单名性的理想。只可惜“这并不符合数学界广泛的用法”。究竟如何规范bijection等词的译名。值得商榷。     

几个数学概念英汉名的商榷

全国自然科学名词审定委员会(现名全国科学技术名词审定委员会)1993年公布的《数学名词》(科学出版社,1994)将条件命题pq的变形式：┐p┐q,qp,┐q┐p的汉文名及相应的英文词分别审定为：否命题 negative proposition逆命题 converse proposition逆否命题 converse-negative proposition但从相关的英文文献来看,上述英文名值得商榷。首先,笔者认为negative proposition的汉文名应该是否定命题^[1－5],而不是否命题。如所周知,否定命题就是主联结词为否定词(┐)的命题,^[6]相对于命题A其否定命题就是┐A。而否命题则是将条件命题pq的条件与结论分别予以否定后,得到的命题┐p┐q,它仍是一个条件命题。两个名词虽只一字之差,却要“注意不可以混淆”^[7]。从《新牛津英语词典》我们知道：在逻辑中negative作形容词,可用来否定一个命题;作名词它就是negation的同义词。^[8]而英文版的数学词典或教科书对negation的解释是：negation If p is a statement,then the statement ‘not p’,denoted┐p,is the negation.^[9]由此不难看出,negative用以否定的是整个命题,而不是一个命题的某一两部分。文献[1]关于否定事实的阐述,引用了罗素的观点,也就是“Russell believes that negative facts exist and represented by negative proposition.”由于该文献前此有“事实可以用命题或判断来陈述。”故negative proposition被译作否定命题是十分恰当的。而把negative proposition译成否命题则有欠妥当。进而把converse-negative proposition当作逆否命题的英文名亦不可取。其实,在英文版的数学词典中不难查到相关词条：contrapositive The contrapositive of an implication pq is the implication ┐q┐p.^[9]converse The converse of an implication pq is the implication qp.^[9]这就是说,作为名词contrapositive和converse就是逆否命题和逆命题的英文名,英文版数学词典[10],以及笔者查到的十余本英文版教材或杂志,无一例外也都是这样定义或使用的。否命题一词的英文名使用频率稍低,《牛津数学词典》未予收录。但词典[10]中词条INVERSE,adj.,n.的子目：inverse of an implication.The implication which results from replacing both the antecedent and the consequent by their negations.明确地告诉我们,作为名词inverse就是否命题的英文名。英文版离散数学教材[11]也有相同的定义。另外,有台湾学者称┐q┐p为“原始条件命题pq的反命题”^[12]。但从所给表达式易知,他所称之反命题,即《数学名词》所规范的否命题。再从其所附英文词亦可知inverse即否命题之英文名。理清了三种命题的英文名之后,笔者建议《数学名词》再版时,规范中学数学课本常说的四种命题。即原命题 original proposition逆命题 converse[of an implication]否命题 inverse[of an implication]逆否命题 contrapositive[of an implication] 注：遵从《数学名词》的编排说明,条目中[ ]内的词是可省略部分。     

几个数学概念英汉名的商榷

全国自然科学名词审定委员会 (现名全国科学技术名词审定委员会 ) 1993年公布的《数学名词》(科学出版社 ,1994 )将条件命题ｐ ｑ的变形式 : ｐ ｑ ,ｑ ｐ , ｑ ｐ的汉文名及相应的英文词分别审定为 :否命题　　ｎｅｇａｔｉｖｅｐｒｏｐｏｓｉｔｉｏｎ逆命题　　ｃｏｎｖｅｒｓｅｐｒｏｐｏｓｉｔｉｏｎ逆否命题　　ｃｏｎｖｅｒｓｅ ｎｅｇａｔｉｖｅｐｒｏｐｏｓｉｔｉｏｎ但从相关的英文文献来看 ,上述英文名值得商榷。首先 ,笔者认为ｎｅｇａｔｉｖｅｐｒｏｐｏｓｉｔｉｏｎ的汉文名应该是否定命题[1- 5] ,而不是否命题。如所周…     

bijection等词译名的商榷

全国科技名词委公布的<数学名词>[1],将bijec-tion,bijective,one one correspondence的译名审定为"一一映射".同一个概念的三个英文名规范为一个汉文名,实现了术语单名性[2]的理想.只可惜"这并不符合数学界广泛的用法"[3].究竟如何规范bijection等词的译名,值得商榷.     

浙江省科技厅获省直机关党建考评优秀

近日,浙江省直机关工委公布了2020年度省直机关党建工作综合考评情况,省科技厅被评为"2020年度省直机关党建工作综合考评优秀单位". 2020年是极不平凡的一年.面对国际国内形势的深刻变化特别是面临突如其来的新冠肺炎疫情,在厅党组和省直机关工委的坚强领导下,厅系统各级基层党组织和广大党员干部始终把政治建设摆在首位,认真落实习近平总书记赋予浙江"重要窗口"的新目标新要求,第一时间学习贯彻习近平总书记关于疫情防控、科技创新等重要指示批示精神,推动中央和省委省政府重大决策部署在科技系统落地见效;坚持"两手硬、两战赢",在全国率先启动疫情应急科研攻关,并组建党员服务先锋队,收集办理抗疫科研攻关团队问题需求117件,推动科研攻关成果第一时间运用到疫情防控第一线;高质量落实省委巡视整改任务,销号式闭环化落实73项整改举措,推动巡视整改工作按时保质完成;依托"浙江科技大脑"完善智慧监督系统,推进项目受理、评审立项、合同管理等全链条监督,加快构建党建统领、数字赋能的整体智治体系.省科技厅"建设清廉机关、创建模范机关"工作荣获第九轮全省机关党建工作最佳创新成果,在省直部门中排名第三.     

教材应是术语规范化的楷模——略谈一些现行教材术语使用不规范的问题

教材是知识的载体，中小学教材更是广大师生学习、使用科技术语的楷模，但白玉微瑕，一些现行教材在术语使用上尚有改进的余地，今仅就全国中小学教材审定委员会2003年审查通过的，人教版高中《数学》第一册(以下简称新教材)中的一些不规范之处，提出修订意见，供有关专家参考并祈教正。     

教材应是术语规范化的楷模--略谈一些现行教材术语使用不规范的问题

教材是知识的载体,中小学教材更是广大师生学习、使用科技术语的楷模,但白玉微瑕,一些现行教材在术语使用上尚有改进的余地,今仅就全国中小学教材审定委员会2003年审查通过的,人教版高中《数学》第一册(以下简称新教材)中的一些不规范之处,提出修订意见,供有关专家参考并祈教正。1.改正、余弦定理为正、余弦定律正弦定理、余弦定理分别由相应的俄文名ТЕОРЕМА СИНУСОВ、ТЕОРЕМА КОСИНУСОВ直译而来,这两个名词和符号tg、ctg一起,于上世纪50年代从苏联引入我国中学课本,新教材的试验本(1997)早就根据国家标准(GB3102.11—93),将两个符号分别改为tan、cot。而正、余弦定理却沿用至今,殊不知,国务院曾明确批示：经全国科学技术名词审定委员会审定公布的名词术语,全国科研、教学等各部门,均应遵照使用(摘自国函[1987]142号文件),建议新教材遵照《数学名词》^[1],将两个定理分别更名为正弦定律(law of sines)与余弦定律(law of cosines)。2.改象、原象、图象为像、原像、图像2001年10月26日,全国科学技术名词审定委员会、国家语言文字工作委员会公布了《关于“象”与“像”用法研讨会会议纪要》,根据会议审定的这两个字的名词义和语词搭配实例,建议新教材将函数的相关概念：象、原象、图象,分别正名为像、原像、图像。3.series不是progression的同义词新教材的部分中英文词汇对照表(以下简称对照表),在等差数列的英文名arithmetic progression下面,另加了一个arithmetic series作它的同义词,此举似有画蛇添足之嫌,因为文献^[1]已将后者的汉文名规范为等差级数,正确地反映了等差数列与等差级数间的区别,多义词series的确还有“列”、“串”诸含义,但它与arithmetic搭配之后,就只能是等差级数,而不可能是等差数列,否则,不仅与定义：arithmetic series,the indicated sun of the terms of an arithmetic sequence^[2]不符;更与国际标准化组织ISO DIS 704《术语工作原则与方法》^[3]关于术语单义性的原则相悖,故建议从对照表的词条“等差数列”中,删去arithmetic series。同理,还建议删掉词条“等比数列”中的geometric series。4.术语简明性原则及名词的数《术语工作原则与方法》要求“术语应尽可能简明”^[3],人们在列词汇表时,不会把“实数集”写成“所有实数的集合”,同样,英语中也常把“the set of all real numbers”简之为“set of real numbers”^[4]。显然,对照表中所录N、N+、Z、Q等数集的英文名均可作类似的简化。由于上述各个数集都由无穷多个数构成,故各词条中的名词“numbers”都用复数形式,但同一张对照表,同样是由无穷多个数构成的无穷数列,词条中的名词“number”却用单数形式,似欠妥当,建议对照表的“数列”、“有穷数列”、“无穷数列”各词条中的“number”均改正为复数形式,例如：数列sequence of numbers^[5]。5.两种命题的英文名有误对照表将四种命题中的否命题、逆否命题的英文名,分别定为negative proposition与converse-negative proposition,但是,许多逻辑学家把negative proposition译作负命题^[6],它指称的是一个命题的否定(negation),而不是条件命题(conditional^[7],亦称蕴涵命题implication^[2])的否命题,显然,对照表中这两个英文名有误,其实,从英文文献(例如[2]、[7]、[8]等)不难查出converse、inverse、contrapositive作名词,在逻辑中就分别是逆命题、否命题、逆否命题的英文名,因为“在英语中名词作定语是常有现象”^[9],为避免由inverse等词的多义性可能引起的混淆,建议词汇对照表作如下更正：否命题 inverse propostion逆否命题 contrapositive proposition