克里普克

摘要： 克里普克将维特根斯坦的遵守规则悖论看作是针对传统的语言意义理论而提出的怀疑论,他预设了解释作为理解规则和遵守规则去行动之间的中介,重新建构了维特根斯坦在《哲学研究》中的核心论证。为了融贯地提出意义怀疑论,克里普克在理论上作出了各种规定,并对以往的心理主义、物理主义和倾向主义等意义理论进行了反驳。意义怀疑论来源于蒯因的翻译不确定性理论和古德曼的绿蓝悖论,在逻辑论证的过程中不可避免地要面对这些理论曾经遭遇的挑战。克里普克给出了一种怀疑论意义上的解决方案,强调了语言的社会性和语境分析的重要性,但其理论建构由于忽视了语言的前理论境况仍然无法给出一种完整的意义理论。

摘要： 在语言哲学中,探讨语言与实在关系的指称理论是一个复杂问题。克里普克提出的历史因果命名理论有力挑战了传统的指称理论,为意义和指称问题指明了新的研究方向。然而,该理论没有关注到指称的涵义及其演变,即专名和通名并不是无实际内容的语言符号,而是具有丰富涵义的名称;专名与通名的涵义及指称始终处于不断的发展和演变过程中。

摘要： 词项的指称在模态语境下会发生游移,蒯因称之为"指称暧昧",具体表现为模态命题中会出现单独词项同一替换原理失效和表达式量化存在概括原则失效,并认为模态逻辑无法解决该问题,因此质疑其合法性.蒯因把指称暧昧视作无解难题,源于其秉承的经典外延主义逻辑观,只要对这种逻辑观进行有限发展,引入可能世界语义学及其哲学解释,就可以准确刻画模态语境下的词项指称,从而无矛盾地解决指称暧昧问题.

摘要： 作为自然种类词项二难的一个例子,“猫是动物”既是一个必然命题(唐奈兰),又不是一个必然命题(普特南).卡茨认为,这个二难由弗雷格分析性概念和涵义概念造成;放弃这些概念,转而主张康德式的分析概念,并让涵义完全退回语义学领域,二难就会消失.卡茨的解决会让这一命题成为先天偶然命题,这跟克里普克认为其是后天必然命题相左.不过,通过二维框架的刻画,卡茨和克里普克的分歧很容易被克服.

摘要： 克里普克在《命名与必然性》中讨论自然种类词时,拒绝接受穆勒关于普遍名称的理论.他认为:自然种类词也像专名一样是严格指示词,而穆勒关于普遍名称的说明不适用于自然种类词.其实,穆勒对于自然种类词的讨论远不止克里普克所认为的那样,克里普克对于穆勒关于自然种类词思想的总结应该说是不完全的.基于《逻辑体系》一书,阐述和澄清穆勒的自然种类词理论,并且说明相较于克里普克的观点,穆勒的自然种类词理论更合理.%Kripke refused to accept Mill's theory of natural kind terms when He discussed them in Naming and Necessity.He thought that natural kind terms like proper names were rigid designators and that Mill on general names didn't apply in natural kind terms.The idea of Mill on natural kind terms is far more than Kripke's thought.Kripke's summary should be said that this is not enough.Based on the book of Mill A System ofLogic,the author tries to explain and clarifies Mill's theory of natural kind terms,then summarizes that Mill's theory on natural kind terms is more reasonable than Kripke's theory.

摘要： 克里普克在《命名与必然性》中讨论自然种类词时,拒绝接受穆勒关于普遍名称的理论。他认为:自然种类词也像专名一样是严格指示词,而穆勒关于普遍名称的说明不适用于自然种类词。其实,穆勒对于自然种类词的讨论远不止克里普克所认为的那样,克里普克对于穆勒关于自然种类词思想的总结应该说是不完全的。基于《逻辑体系》一书,阐述和澄清穆勒的自然种类词理论,并且说明相较于克里普克的观点,穆勒的自然种类词理论更合理。

摘要： 关于描述性与规范性这两者之间关系的特定研究,经常可以看到一些描述性的语言包含一些规范性断言,反之亦然.那么,如何解释传统的“休谟定律”和摩尔的“自然主义谬误”这两者的严格区分？克里普克关于维特根斯坦“遵守规则悖论”的诠释尤其追求对这两者做出更精确严密的区别.因此,若要描述性事实和规范性要求不相互排斥,就需要一个新的框架来解释这种关系.在这方面,通过聚焦这种元模糊性,比较特别地运用一种“度”的理论方法,旨在从主观方面以图形的方式尽可能找出这些差异,故而初步提出用“度”来表达和测量规范性、描述性程度的双曲线模型.希望这一探索性的建议,有助于厘清总体上仍含糊不清的讨论.

摘要： 本文在阐述克里普克的专名严格性论题的基础上，特别研讨了专名的严格性与同一语句必然性的关系，以及后天必然真理思想的合理性问题;结合学界对克里普克相关思想的新近研究，从专名的严格性和“同一”的对象性解释入手，探讨了所谓“同一悖论”和“弗雷格疑难”的解决途径.

摘要： 克里普克在《维特根斯坦论规则和私人语言》一书中,给出一个怀疑论论证,得出没有事实表明用语词意谓什么的怀疑论结论.在怀疑论论证中,意义在本质上是规范的这一主张起了关键作用.说明意义的规范性构成任何可接受的意义理论都必须满足的限制性条件,以至于有人可能会说,纯粹自然地或描述地说明意义完全没有可能.这尤其体现在反对意义的倾向性说明中.本文旨在表明反驳倾向性理论的规范论证不能取得预期效果,因为这一论证暗含着关于倾向的错误预设,一旦破除这些预设,正确理解的倾向性理论是可以满足规范要求的.

摘要： 一种同时测定对克里西丁磺酸及其原料含量的液相色谱法，其特征是采用反相离子对色谱法，高效液相色谱条件为：色谱柱：C

摘要： 本发明涉及两株厚垣孢普克尼亚菌真菌及其应用，属于微生物菌种技术领域。厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00615和厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00111，保藏号分别为CGMCC No.9586和CGMCCNo.9585。厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00615和厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00111在制备抗线虫活性物质金轮霉素(aurovertins)及在抗根结线虫中的应用。本发明有以下的有益效果在于：厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00615和厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00111中的PDB发酵液中含有达到800‑1500μg/mL含量的抗线虫活性物质金轮霉素，具有很强的毒杀线虫活性，能够在制备毒杀植物病原线虫制剂中应用。

摘要： 本发明公开了一种基于道格拉斯—普克算法的航带划分方法，首先将无人机飞控数据中的经纬度坐标转为大地直角坐标；然后利用道格拉斯—普克算法对无人机飞控数据进行压缩，筛选航带曲线的节点；并对压缩后保留的无人机飞控数据点进行分类，确定哪些点属于同一航带上的关键点；最后剔除飞行转弯时曝光像片对应的pos点，保留航带两头像片对应的pos点，并完成对航带的划分。本发明能够通过编程自动剔除起降和转弯影像，实现航带的完整的划分，解决了利用传统航测进行无人机低空航摄数据航带自动整理航带的问题，可以方便快速地进行基于飞控数据的无人机航带整理。

摘要： 本发明公开了一种基于普吕克直线的成像几何模型方法，属于测绘科学与技术领域。它包括以下步骤：像方和物方提取同名直线；将像方直线螺旋运动到与物方直线共面，得到共面条件方程；利用共面条件方程可以建立强几何条件的普吕克直线成像几何模型；采用最小二乘平差法计算出外方位元素。本发明利用了普吕克直线可以直观明了地表示空间矢量的螺旋运动，而且模型简洁，几何意义明确。相比传统方法，基于普吕克直线的成像几何模型的几何定位精度更高、结果更稳定。

摘要： 本发明涉及一株厚垣菌孢普克尼亚菌株及其筛选和应用，属于杀线虫生物资源及微生物菌种技术领域。厚垣菌孢普克尼亚菌(Pochonia chlamydosporia)YMF 1.00613于2010年5月10日保藏在中国微生物菌种保藏管理委员会普通微生物中心，保藏号为CGMCC No.3806。该菌株的筛选步骤包括：菌种的分离纯化、及菌种的生产金轮霉素(aurovertins)类次生代谢产物的筛选。本发明的厚垣菌孢普克尼亚菌(Pochonia chlamydosporia)YMF 1.00613菌株在制备防治植物病原线虫的农用杀虫剂和生物农药发酵生产中的应用。本发明的有效果在于：能显著地抑制害虫繁殖和后代种群数量。该菌株PDB发酵液及其次生代谢产物主要成分金轮霉素类化合物具有杀线虫活的能力，实验条件下杀线虫活性可达90％以上，能够用于杀线虫剂和生物农药等生物活性物质的发酵生产。

摘要： 一种基于普鲁克分析的运动想象迁移学习方法，包括以下步骤：1)对原始脑电信号做共平均参考和带通滤波预处理，提高信噪比；2)对源域和目标域的脑电数据分别做对齐变换，使其数据分布得到初步对齐；3)将源域的脑电数据向目标域方向做旋转变换，以进一步匹配其数据统计分布；4)以源域的脑电数据为训练集得到分类模型，对目标域未知标签的脑电数据进行分类。本发明能有效利用源域已有的数据，相比传统机器学习方法，能显著提高目标域仅有少量已知标签数据情况下的分类正确率。

摘要： 本发明公开了一种基于道格拉斯‑普克算法的车辆轨迹纠偏方法、装置、计算机设备和存储介质。该方法包括：获取目标车辆在查询时间段内的原始地理位置信息点；采用道格拉斯‑普克算法对原始地理位置信息点进行过滤，得到第一处理地理位置信息点；计算第一处理地理位置信息点的速度评价参数，根据第一处理地理位置信息点的速度评价参数对第一处理地理位置信息点进行过滤，得到第二处理地理位置信息点，其中，速度评价参数包括瞬时速率和/或相邻点平均速率；将第二处理地理位置信息点发送到车辆管理平台，进行目标车辆的轨迹播放。采用该方法能够实现目标车辆的轨迹纠偏，在模拟车辆运动轨迹时，能够精简、较准确地描绘出目标车辆的运动轨迹。

摘要： 本发明公开了一种基于玉米醇溶蛋白/普鲁兰多糖复合固体颗粒稳定的皮克林乳液的制备方法及应用，制备方法包括：先制备玉米醇溶蛋白固体颗粒，然后制备玉米醇溶蛋白/普鲁兰多糖复合固体颗粒，再与油相均质构建基于玉米醇溶蛋白/普鲁兰多糖复合固体颗粒稳定的皮克林乳液，该皮克林乳液可以用于荷载多种柑橘多甲氧基黄酮类化合物。本发明的制备方法可使玉米醇溶蛋白达到中性湿润性，普鲁兰多糖用量少，营养价值高，可生物降解，制备过程简单，稳定性高，且绿色安全，所得皮克林乳液能够保鲜和载药。

摘要： 本发明涉及一种基于道克拉斯‑普克的河道断面概化方法及装置，包括获取河道断面数据，并对河道断面数据进行预处理；采用道格拉斯—普克算法对预处理后的河道断面数据进行压缩抽稀处理，以得到满足要求的所有断面节点；判断断面节点的属性，确定各个断面节点的属性，对确定属性的断面节点进行概化。本发明利用道格拉斯—普克算法对河道断面数据进行压缩，筛选重要属性节点；并确定各个点的节点属性，最后生成每个节点的节点属性。本发明能够自动抽稀河道断面节点数据，并对其属性进行合理概化。解决了传统人为手动抽稀及概化费时费力的问题，实现河道断面数据的批量自动抽稀与概化，极大程度地简化水动力模型计算的前处理过程。

摘要： 本发明涉及两株厚垣孢普克尼亚菌真菌及其应用，属于微生物菌种技术领域。厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00615和厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00111，保藏号分别为CGMCC No.9586和CGMCCNo.9585。厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00615和厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00111在制备抗线虫活性物质金轮霉素(aurovertins)及在抗根结线虫中的应用。本发明有以下的有益效果在于：厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00615和厚垣孢普克尼亚菌Pochonia chlamydosporia YMF1.00111中的PDB发酵液中含有达到800‑1500μg/mL含量的抗线虫活性物质金轮霉素，具有很强的毒杀线虫活性，能够在制备毒杀植物病原线虫制剂中应用。