绿色环保创意名字绿色环保的名字

自亨普尔导出验证悖论（因为以乌鸦为例，又叫乌鸦悖论）并提出初步解决方案之后，哲学家和逻辑学家都产生了极大兴趣。从逻辑上说，一个全称命题在逻辑形式上等值于一个条件命题或蕴含式，由一个命题进行逻辑推导可以产生很多逻辑等值式，对其中每一个命题的验证都是对原命题的验证。如果同时应用尼柯德标准，结果与直觉相违背。对此，有许多解决方案。I. J. Good等人采取了贝耶斯主义的立场，主张对黑乌鸦与其他事物（非黑的或非乌鸦）相比有更高的验证权重[4][5]。而P. Maher采取卡尔纳普的归纳概率理论，主张对黑乌鸦与其他事物给予同样的证据支持度[6]。许多学者质疑尼柯德标准、蒯因论证、尼柯德标准适合于自然类，而不适合生造的谓词（artificially contrived predicates）[7]。有的学者则否定等值性，I. Scheffler和N. J. Goodman采取波普主义的立场，主张只有证伪没有证实。一只黑乌鸦只是证伪了与“乌鸦皆黑”相矛盾的命题。因此，“所有乌鸦是黑的”与它的含有否定词的逻辑等值式并不等值[8]。还有人否定实质蕴含：“如果A那么B”不等值于“如果非B那么非A”[3]。Good认为“所有乌鸦是黑的”与“所有非黑的都是非乌鸦”指示不同的检验步骤（Good，1960）。Y. Cohen将斯特劳森关于全称命题预设主词指称存在的观点用于乌鸦悖论的分析，指出其肯定式与否定式有不同的涵义[2]。

以上这些解决方案，要么是否定尼柯德标准，要么是否定形式逻辑的一些基本要素，后者如逻辑等值、实质蕴含等。但是，我们知道尼柯德标准是符合科学实践的，而仅仅为了解决亨普尔悖论就否定形式逻辑中的一些关键要素，看来是为了救急而动摇一门严密的学科，代价似乎太大。实际上，形式逻辑与尼柯德标准之间并不存在真正的冲突。

一、亨普尔悖论

设一个全称命题的基本形式为：

（x）（Px→Qx）（1）

如“所有的乌鸦都是黑的”。即“对于所有的x，如果x是乌鸦，那么x是黑的”。这是形式逻辑的命题形式化的基本措施：把所有的全称命题都形式化为全称假言命题。

根据形式演绎的规则，我们可以推出：

（x）（Qx→Px）（2）

“对于所有的x，如果x是非黑的，那么x是非乌鸦。”或：“凡是非黑的都是非乌鸦。”

（x）（Px∨Qx）（3）

“对于所有的x，或者x是非乌鸦，或者x是黑的。”

（x）（（Px∧Qx））（4）

“对于所有的x，并非‘x是乌鸦并且x不是黑的’。”

（x）（（Px∨Px）→（Px∨Qx））（5）

以上（2）-（5）均与（1）等值，这只是与（1）等值的命题的一部分。

（1）的矛盾命题是

（Ex）（Px→Qx）（6）

“并非所有的乌鸦是黑的。”或“存在x，并非‘如果x是乌鸦，那么x黑的’”。

（Ex）（Px∧Qx）（7）

“存在x，x是乌鸦并且x不是黑的。

假设“所有的乌鸦都是黑的”（1）是一个科学假说，需要得到观察实例的验证（confirmation），那么，对于一个实际对象a，（1）在以下情况下得到验证：

（A）a是乌鸦并且是黑的。

（B）a不是乌鸦。

（C）a是黑的。

（1）在以下情况下被证伪：a是乌鸦并且不是黑的。这是逻辑上的验证和证伪。

但是，一个表达证据的观察命题（或单称命题）是否证实一个理论命题或全称命题，在科学实践中可能有不同的标准。亨普尔把其中一种标准叫做尼柯德标准，因为数学家尼柯德对这个标准做了最明确的论述[9]14。

对于科学假说，其形式为（1），对于任何事物a，尼柯德标准C规定，

（C1）a验证（1），当且仅当a是P并且a是Q。

（C2）a否证（1），当且仅当a是P并且a不是Q。

（C3）a与（1）的验证和否证无关，当且仅当a不是P。

以“所有的乌鸦都是黑的”为例，按尼柯德标准，凡既是乌鸦又是黑色的东西都验证它，凡是既是乌鸦又非黑的东西否证它，凡是非乌鸦的东西与它的验证无关。但是，按照逻辑规则，一个观察命题验证一个全称命题，那么它也验证该命题的所有逻辑等值式；如果一个命题证伪一个全称命题，那么它也证伪该命题的所有逻辑等值式。所谓亨普尔悖论，其实是验证的逻辑规则与尼柯德标准之间的逻辑矛盾：按照逻辑规则，非黑的事物验证（1）；按尼柯德标准，非黑的东西与（1）的验证无关。

即使我们怀疑（1）的逻辑形式（x）（Px→Qx）的恰当性，仅仅以自然语言来表达，悖论一样存在：按照亚里士多德逻辑的换质换位规则，“所有的乌鸦是黑的”等值于“所有非黑的都是非乌鸦”（2a），于是，观察命题“a是非黑的并且不是乌鸦”验证（2a），因此验证（1）。“其结果就是，任何一只红色的铅笔，任何一片绿色的树叶，任何一头黄色的母牛，等等，都成了一切乌鸦皆黑这一假说的验证证据。”而且，由于（1）与（5）等值，所以，任何一个不是乌鸦或者是黑色的事物都验证了（1）“我们把这些从等值条件和从上述验证的充分条件[即尼柯德标准]中得出的推论称之为验证悖论”[9]15。

一个是新的，一个是旧的

AK74子弹口径是5.45MM，AK47子弹是7.62MM

AK74初速大，子弹口较小但是翻滚大，威力也就比47大

AK47射程是400M，AK74射程是1500M，最大射程是3010M

都是卡拉什尼科夫制造的，只不过74是卡拉什尼科夫领导这一群人制造的

国内上市时间为2010年12月下旬。瑞典著名跑车制造商柯尼塞格我们相当熟悉，他们已经在世界车坛之巅占有一席之位，其作品完全拥有向布加迪、法拉利和保时捷叫板的实力。在今年的日内瓦车展上他们将再推出一款Agera R超级跑车，车展上它将与量产版的Agera同台出场。在设计上，它参照15年前推

出的CC，可以说柯尼塞格Agera看起来非常“柯尼塞格”。

日内瓦车展上的展车的车漆主题灵感来自于赛车，相比之下车盖下方更加让我们激动。这台柯尼塞格Agera R的单体底盘仅重70公斤，净车重为1330公斤，在超级跑车领域中它是最轻的。其使用的5.0升V8发动机采用双涡轮增压，在使用E85型燃料情况下最大马力达到1115匹，最大扭矩为1200牛米，如果使用普通型95号汽油燃料最大马力为940匹而最大扭矩为1100牛米。包括飞轮、离合器、干式油壳和排气系统与涡轮在内的整个发动机才仅重197公斤。

对于一部超级跑车来说，柯尼塞格Agera R是相当省油的，它百公里油耗仅为14.7升。匹配一具7速的变速器，而且首次采用双离合器系统，结果实现史上最快的换挡速度。另一项特别装备是新的E-Diff，柯尼塞格表示这项装备可以让Agera在行驶时更加安全并带来更佳的性能享受。 理论上的极速可达443KM/H，不过全部的Agera车型均限速在375KM/H。不过如果条件允许柯尼塞格可以突破限制，这意味着它也可以跑上443KM/H的极速，这样就将超越第二代的布加迪跑车成为世界上跑得最快的量产跑车了。 来自瑞典的超级跑车制造一族科尼赛格宣布了自己旗下的超级怪兽Agera R的更多详细情况，这款车在瑞士日内瓦国际车展开幕前夕就曾经公布了官方图片并且在车展上面现出了自己的真身。

10.帕格尼———风之子(车长4395mm、宽2055mm、高1151mm，匹配德国梅塞德斯AMG的V形12缸48气门7.3升发动机，最大功率555马力，最大扭力750牛顿．米，百公里加速耗时仅3.7秒，最高时速达390公里，是世界上最快的跑车之一)9.宾利欧陆GT拥有多项技术革新和突破，应用了当今汽车制造业的尖端技术。W型排列的12缸6公升双涡轮增压发动机，是世界上最短的12缸汽车发动机。欧陆GT是全世界真正四座跑车的速度之王：极速达318公里/小时，从0-100公里加速仅用4.8 秒。同时，欧陆GT还是全世界最大马力和最低转速高扭矩的限量车型，最大的马力可达560PS(552bhp)，最大扭矩为4791bft (650Nm）。在获得最大马力和最高扭距的同时，发动机依然能够保持低转速,确保车辆在任何状态下都能将其性能发挥得淋漓尽致。作为第一辆四轮驱动的宾利汽车，欧陆GT 拥有六前速自动/手动变速箱：四轮驱动及电子稳固程序不仅可以满足动力与舒适度的完美表现，而且可以更好地确保汽车的安全性和可靠性。8 保时捷CarreraGTCarrera GT有很多卖点。气缸引擎，它基于一个5.5升的引擎改造而成，该引擎作为一流的赛车动力系统，参加勒芒24小时全天赛车比赛。将CarreraGT的引擎容量增加到5，7升，此时保时捷车的引擎在8000转／分时达到最大的输出功率450千瓦(612马力)和在5750转／分时达到最大的输出扭矩590牛米(435磅英尺)，最高速度是330km／h。尽管CarreraGT具有赛车特征，10缸引擎在低速运转时也完全适合于日常的驾车。引擎的运转声非常悦耳，而且转速越高越好听。6档手动变速箱是特意为CarreraGT生产的，它横向布置在汽车的后部，将引擎大量的动力光滑的连续的传递给道路。变速箱设计上的紧凑性和可能的最低重心，有助于汽车的最佳重量分布⒎ 阿斯顿．马丁DB9这辆双门轿跑车上最有激情的东西，当然就是那台来自前身车型DB7Vantge的V12发动机，这台功率为456马力发动：机的扭矩曲线，已经被优化得近乎完美。和意大利的那些同行们不同，阿斯顿，马丁的发动机工程师们已经对追求功率没什么兴趣了，而是在扭矩上下功夫。发动机在5000转／分时扭矩高达570牛.米，而仅1500转／分的时候就可以达到最大扭矩值的80％，约为450牛.米⒍ 克莱斯勒ME-Four-TwelveME Four-Twelve的心脏是一个全铝的、方形的涡沦增压、6.0升V-12引擎。电子连续多点式燃料喷射压缩比9.0:1，ME Four-Twelve的AMG改良引擎能够输出850匹马力于5750转/分，使用特级的无铅燃料在2500到4500转/分时达到850磅的扭矩。这样计算下来每升的马力达到142匹，这台概念车重量1310公斤，重量马力比达到了3.4lbs/bhp，这些都刷新了超级车领域的新性能记录和新基准。速Ricardo双离合器变速器是特地为这辆汽车研发的，并且拥有最新的双湿离合器技术和电子控制策略。独一无二的ME Four-Twelve变速器以200毫秒的换档时间为后轮提供了永不间断的扭矩。悬挂采用双叉臂、铝控制臂和水平对置螺旋避震可电子控制压缩、回弹调校，不锈钢推杆和一个刀片状的防倾杆。 ME Four-Twele刹车系统的特点是巨大的15.0英寸(381 mm)通风碳瓷复合碟盘刹车转子和六活塞铝制单块卡钳保证在任何驾驶情况下都能提供出众的制动表现。44.9英寸高，78.7英寸宽，178.8英寸长，这款2座，中置引擎的ME Four-Twelve有着惊人的表现，就好像随时准备出击一样。ME Four-Twelve碳纤车身有着轮廓分明的外表，这缘于克莱斯勒集团在Auburn Hills的风洞测试中心无数个小时的雕琢⒌ 福特GT

福特GT是为了纪念福特建厂百年而制造的现代版GT40赛车。虽然在外观上看起来和60年代的那台GT40好像没什么区别，不过它怀旧的车身并非为了纯粹的漂亮或仿古，而是经过现代技术重新设计，符合空气动力学的要求。早期设计的赛车上通常会出现不稳定的空气动力学特性，这些缺陷已经在新的GT上得到改进了，在车头和车尾都能产生稳定的下压力。由于使用了全铝制的底盘，福特GT的车重有望控制在1700kg以内。在引擎方面，福特GT使用了一款来自林肯四驱Navigator的 5.4L、每缸4气门、双突轮轴的V8引擎。和Navigator不同的是福特GT这台引擎是全铝浇铸的，更额外增加了一个超级增压器。据福特声称，这款引擎的马力超过500匹，当转速达到4000rpm的时候就能输出679牛米的峰值扭矩，而且在低至2000rpm时就已经能释出最大扭力的80%。福特GT采用MR（中置引擎后轮驱动）的布局，引擎置于驾驶舱后方，使用源自赛车科技的干底油润滑系统，这使引擎的重心降得很低。变速箱是来自英国的 Ricardo六速手动变速箱，刹车系统采用Brembo制造的带ABS的 4活塞卡钳刹车系统，前轮使用18英寸、后轮则用19英寸的Goodyear Eagle F1轮胎。尽管福特GT是一辆跑车，它的内饰和车载设备也不会过于简陋：按钮的触感做得很出色，内饰用了穿孔皮革，配有空调、电动车窗、后视镜和电控门锁，还有一套防盗系统和一套可以选装的McIntosh High-end音响。

4.布加迪．威龙此款两座双门超级跑车系1999年东京车展上概念车的改进，已获批准正式生产。其采用的发动机为W16发动机，它实际上是两个小夹角的V8发动机，以90°夹角呈W型组合，最大功率736kW/6000r/min，最大扭矩1250Nm/2200r/min，0～100km/h加速时间为2.9秒，比F1纪录快0.3秒，原地起步达到300km/h车速需时14秒，发动机有4个涡轮增压装置并带中冷，排量8升。新型7速双离合器式手动变速箱对出色的加速性功不可没。换档杆为方向盘后的拨板(顺序手动换档)或地板上的变速杆，4轮驱动⒊ 奔驰SLR

SLR装备的是一款由AMG提供的5.4升V8发动机，带机械增压器，在6500转动时发出最大功率626马力，而达到3250转时可以提供780牛.米的超强扭炬。这款发动机与SL55AMG的相似之处仅限于结构，其余的都变了。机油润滑改为干式油底壳，用独立的油箱取代油池，增压器也加大了。但如果用挑剔的眼光来看，V8机型好象不如V12或者V10更适合超级跑车的名分。

尽管SLR属于超级跑车之列，但为了强调奔驰惯有的舒适，还是匹配了自动变速箱。而且是5挡的。同时，拥有可电动调节的座位：GPS全球卫星定位；Bose音响；电动方向盘调节；前面、侧面、头部和漆部安全气囊；左右分区的自动空调等。这些SLR所拥有的豪华装备证明了一⒉ 兰博基尼

这是一款典型男士跑车，并不仅是因为它外貌刚阳，只因为它的各项操作都比一般跑车重手。例如转向系统，方向盘没有动力辅助。车身重1655公斤，车头占40%的重量，再加上245mm宽的轮胎，不是停车重手那么简单，市区慢驶也很重手。一方面由于操作费力，另一方面由于那颗5.7升的引擎太靠近车厢散发出的阵阵热量(中置发动机-__-)，就算开了冷气机，驾驶这辆车也会浑身大汗的(这也是人们一直说的，开兰博基尼鬼怪就是要拉风度不讲究舒适度的重要原因）。它的方向盘是特别为高速而设计,它的弯路表现是典型中置引擎跑车，基本上贴路性极强，很容易用油门加油入弯然后突然收油的方式来刻意甩尾。另外，由于车型的原因，兰博基尼的后视镜基本上形同虚设，根本看不到后方路况。对此公司的解释是：“在公路上，不会有哪辆车开得比我更快，所以，我们的驾驶员只需要看前方即可，无须后视！”⒈恩佐．法拉利有太多太多的描述，去向世人展现恩佐.法拉利的传奇经历和黄色跃马法拉利的故事，你可以不是法拉利的支持者，但你不得不承认，法拉利是世界上最受欢迎的跑车品牌。恩佐.法拉利是以法拉利创始人的名字命名的，他最初只预计生产349辆，后来订单实在太多了，法拉利将其增加到400辆，完全体现了其品牌的尊贵传统。这款跑车具有了浓厚的意大利艺术美感，整车线条就像是米卡朗基罗的雕像一般优美准确，6升12缸的引擎，为他提供了650 匹马力，最高时速达到350公里，是融合了法拉利顶尖F1技术的精品之作。 市面上有很多法拉利恩佐的汽车模型，但小卡坚持只有这款BBR的1:18法拉利恩佐，才能让人充分感受到真正的法拉利贵族气息。BBR作为同样来自于意大利的收藏级别汽车模型品牌，专门生产制造法拉利、玛莎拉蒂、爱快.罗密欧，意大利三大跑车品牌的模型。而这款1:18恩佐汽车模型，尤其具有深远的收藏意义。他是BBR第一款1:18高精细度收藏模型，同时也是目前全世界唯一被允许使用真车原漆的模型精品。设想一下，你手中的BBR 1:18法拉利恩佐是使用和全球仅有的400台真车同样的油漆，那种满足和骄傲是足以让你细细回味的。 另外这款的1：18 法拉利恩佐，是由573个零配件，通过人工装配组成，其中塑料树脂零件255个，冲压零件43个，金属精密零件73个，帖纸图案63个，金属蚀刻片19个，其它零件120个。每个零件都经过精心的雕琢，连刹车碟上的法拉利标志也清晰可见。车模还附赠黄色印有法拉利标志的防尘套，以及拆卸轮胎用专用工具，可谓无微不致了。金黄色的包装上除了有法拉利创始人恩佐.法拉利的签名，还有独一无二的雷射标签证明每一辆都是原厂正货。该款模型全球限量发售，自2001首先在美国公开发售以来，每年进入的市场数量都极其有限，而2006年将是该模型对外销售的最后一年，法拉利的爱好者们，可千万不要让机会永远的在你身边流失了。

索菲亚·SOGAL源自法国1981，索菲亚家居股份有限公司设立于2003年，是一家主要经营定制衣柜及其配套定制家具的研发、生产和销售的深圳A股上市公司（证券代码：002572）。作为首届全国工商联衣柜协会会长单位，凭借经典百叶系列衣柜在定制衣柜界声名鹊起，拥有获得CNAS认证的国家级中心实验室，完成对4大生产中心的整体布局。

2、欧派家居OPPEIN

创立于1994年，以整体橱柜为旗舰，涵盖全屋定制、衣柜、卫浴、木门、金属门窗等产品的综合型的现代整体家居一体化服务供应商。作为《住宅整体厨房》参编单位、中国工商联橱柜专业委员会会长单位，拥有140余项国家专利、四大智能化生产基地，2019年整体橱柜年产量超70万套。2017年更于A股主板成功上市（股票代码603833）。

3、好莱客HOLIKE

好莱客自2002年创立以来，始终坚持“定制家居大师”品牌定位，专注全屋定制领域，全面布局衣柜、橱柜、木门、护墙、成品、窗帘多品类齐头并进的大家居战略，重点发展全屋套系，致力于提供全屋一站式整体解决方案。2015年，成为定制家居行业A股主板上市企业（股票代码：603898）。