莱布尼茨的概念代数及其外延解释

根据传统的观点,莱布尼茨被视为数理逻辑的最伟大的前弗雷格先驱,但后人同时认为他的失败归之于他对三段论模式和主谓句法过于拘泥。这种近乎矛盾的说法无法解释莱布尼茨既是弗雷格的伟大先驱,同时又是传统三段论的集大成者的历史事实。莱布尼茨作为一位逻辑巨人的历史地位是建立在他对古老三段论的隐藏力量和范围继承及发展的基础上的,正是这种继承和发展决定了他比同时代的任何人都更加清晰地预见了新逻辑的诞生。莱布尼茨的概念代数就是这样一个承上启下的系统,但由于种种原因,这一承启作用只体现于逻辑史的重构中。     

那些来自动物的病毒

<正>1981年艾滋病被发现后,科学家对艾滋病病毒的来源进行了很多探索。到目前为止,最流行的说法是艾滋病病毒来自非洲喀麦隆的黑猩猩。科学家通过检验生活在喀麦隆南部丛林中黑猩猩的粪便,追查到被感染的黑猩猩体内含有艾滋病病毒。其中,萨那加河流域的黑猩猩感染的猴免疫缺陷病毒(简称SIV)和人类艾滋病病毒最相近。科学家认为,当地人被黑猩猩咬仿,一曦者在猎杀、屠宰黑猩猩时,感染了SIV     

如何应对那几天的痛

正进入青春期的晓婷,生长发育得很好,可就一件事经常闹心——每次来月经时总是肚子痛。幸好不是太严重,忍一忍就过去了。可是,晓婷的父母听说,痛经会引起不孕不育,于是就带她到医院检查了一下。医生说没有发现异常病变,属于原发性痛经,只要晓婷注意日常保健和经期卫生,随着进一步的生长发育或结婚生育后就会好转的。     

新建中波台优化方案及实施（1）

随着城市发展规模不断扩大，中波台天线场地被侵占，地网等设施遭到损坏，逐渐成为普遍问题。这不仅严重危及安全播出，而且使台站发展空间受到挤压。池州台正是在这样的情况下开始了易地重建工作。经过一年的建设，新台区于2008年9月中旬正式投入运行。在建台过程中，我们遵从中波台技术规范的基本要求，注重新台址的实际情况，从提高播出效果这一根本目的出发，开展了一系列科技创新活动，采用了多项技术措施，     

蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.     

恋物就是性变态?

<正>小A是名高中生,性格内向,善于思考,读书从没让父母操过心。随着高考的临近,小A却遇到了难以启齿的困惑,让他心神不宁。原来,最近他总喜欢偷偷地把几件母亲的内衣藏在自己衣柜里,晚上睡觉时趁父母不注意,塞到内裤里手淫。每次这样做之后,他都有种前所未有的释放感,可又隐约觉得有些羞愧。他听人说,这种情况是恋物癖,属于性变态。这让小A感到万分担忧,难道自己真的成了性变态?恋物癖被认为是一种性变态,患者大多为男性。恋物癖患者对异性的身体或性器官没有兴趣,而把兴趣集中在异性的内衣、内裤等物件上,通过这些物件得到性兴奋,同时伴以手淫来     

功能化石墨烯载hTERTsiRNA的制备及其对宫颈癌Hela细胞的影响

以氧化石墨烯(GrapheneOxide,GO)为基质,制备了氧化石墨烯-聚乙二醇-叶酸(GO-PEG-FA)纳米载体,借助于通过π-π相互作用负载在GO表面的胺甲基芘盐酸盐(PyNH2),介导人端粒酶反转录酶siRNA(hTERTsiRNA)转染入宫颈癌Hela细胞.GO-PEG-FA-PyNH2-hTERTsiRNA纳米基因复合物被成功制备,并通过红外光谱和紫外光谱进行表征.荧光显微镜观察该纳米载体的转染效率明显优于裸siRNA组,Western blot实验检测Hela细胞hTERT蛋白表达显著降低,MTT实验观察该载体对细胞无毒,其共载hTERTsiRNA和抗肿瘤药阿霉素后对Hela细胞生长的抑制具有协同作用.因而该功能化氧化石墨烯可以作为靶向基因载体,有效传递siRNA及化疗药物进入肿瘤细胞发挥作用.     

学点儿防范招术

<正>曾经有过这样的故事:一个女孩单独在家,不料闯入一个图谋不轨的色狼。女孩尽力反抗,但力气小,被色狼按倒不能动弹。此时,女孩转而劝色狼不要冲动,犯罪没有好下场,结果罪犯真的被说怕,转身离去。另一个故事说的是:一位女大学生被一个罪犯抱住欲施奸淫。她急中生智,说:"交个朋友,不着急,先接个吻。"罪犯信以为真,把舌头伸入她口中,结果被她咬断了舌头。罪犯疼痛难忍,弃舌而逃。她立即报案,最终,断     

论中医药术语英译简洁性原则

“简洁性”是全国科学技术名词审定委员会之重要定名原则。中医药术语的突出特点是语言高度凝练、简明扼要,因此在其英译的过程中更应坚持简洁性原则。建议中医药术语英译的简洁性可通过省略虚词、使用名词性定语、采用连字符及避免赘译等手段来实现。     

论中医药学名词审定系统性原则的实施

系统性是术语的重要特征,也是科技名词审定的主要原则之一。文章从收词、定名、定义、英译和体例编排方面论述了中医药学名词审定的系统性。另外,中医药学名词存在多种理论并存、西医名词的选收等特殊情况,审定时均给予了妥当处理。