战略导弹潜艇和战略轰炸机的能力
1 9 8 3 年3 月2 3 日, 美国总统里根在电视演讲里提出了" 战略防御倡议" , 要求在2 0 0 - 1 0 0 0 公里的高空建立多层次、多手段的弹道导弹综合防御系统, 以在高空拦截苏联可能来袭的战略核导弹, 加强美国的战略威慑力量。因为它设想战争有一大部分在太空进行, 所以人们称这项计划为" 星球大战" 计划。
" 星球大战" 计划并非某人灵机一动而想出来的, 它是在8 0 年代尖端科技迅猛发展的条件下美苏进行激烈军备竞赛的产物。到8 0 年代, 美苏的战略核导弹经过儿次更新换代, 技术上比较成熟, 改进的余地已不太大。尽管双方都在继续研制新一代的战略核武器, 如美国的M X 、侏儒、三叉戟Ⅱ型导弹, 隐形轰炸机, 苏联的S S - 2 4 、S S - 2 5 机动导弹等, 但无论哪一方单凭进攻性核武器都难以打破目前的均衡局面。为谋求改变这种僵持状态, 苏美相继加强了对反弹道导弹技术( 即对导弹的防御技术) 的研究和对" 第四战场- - 太空的争夺。在这方面, 苏联起步较美国早, 美国则力图赶上苏联, 夺取核战略力量的优势和太空控制权。早在1 9 6 4 年, 苏联就开始在莫斯科部署" 橡皮套鞋" 反导弹系统, 1 9 6 9 年部署完毕。美国1 9 6 9 年也决定在北达科他州的大福克斯导弹基地部署" 卫兵" 反导弹系统, 但1 9 7 5 年1 0 月完成部署后不到半年, 就因技术不成熟、费用高、作战效能差而封闭了。在此后的近十年里, 美国在微电子、电子计算机、强激光器、传感与远程通信、航天与光学等科技领域都取得了重大进展, 为在新的技术基础上重新研制反导弹武器系统提供了充分的条件。正是由于技术基础不同, " 星球大战" 计划所设想的反导系统的作战效能与范围都是过去的" 卫兵" 系统所不可比拟的。
" 星球大战" 计划也是美国核战略发生变化的产物。自6 0 年代以来, 美国一直奉行" 相互确保摧毁" 的核战略, 认为美苏双方都拥有在遭到核袭击后对对方进行大规模报复的第二次打击能力, 从而威慑对方不敢发动核战争, 保持" 恐怖平衡" 。进入8 0 年代后, 里根政府在调整美国军事战略的同时也对核战略作了调整。美国认为苏联的洲际导弹经过多次更新, 不仅投掷重量大, 而且命中精度和多弹头技术也开始赶上美国, 已具有在第一次打击中摧毁美国大部分洲际导弹、战略导弹潜艇和战略轰炸机的能力。因而美国国防部提出, " 相互确保摧毁" 的核战略已开始过时, 应以" 相互确保生存" 或" 相互确保安全" 的战略逐步取而代之, 即发展防御系统, 确保能够击毁敌方来犯导弹而保证已方安全, " 星球大战" 计划也就应运而生了。
隐含的存在只是语义上的问题
作为命题或语句的字里之意的" 隐含的存在" 与作为命题或语句的字面之意的" 明示的存在" 是两个不同层次的存在, 一旦在命题或语句中两者发生冲突, 则明示的存在就自动地消除了隐含的存在, 这样, 整个命题或语句就以明示的存在为准。
在对存在作" 隐含的" 与" 明示的" 之分这一点上, 逻辑学家盖士达的" 潜预设" 理论对于我们进一步理解这一问题是有助的。按盖士达的观点, 所谓一个语句的潜预设, 是指该语句所具有的潜在的、可能的预设, 它是一个句子从语义上分析而得到的预设。一个语句的潜预设如果与该语句的特定的语境相一致, 则它就显现出来, 成为实际的预设, 反之, 如果它与该语句的特定的语境相矛盾, 则它就被该语境消去而不复存在了。例如, 相对于语句" 小王用不着戒烟, 因为事实上小王从没有抽过烟, " 尽管" 小王用不着戒烟" 有预设" 小王曾抽过烟" , 但由于它与后面的语句相矛盾, 所以, 后面的语句" 因为小王从没有抽过烟" 就自动消去了这个预设, 因此, 这只是一个已被消去的潜预设。
可见, 按盖士达的观点, 对语句的潜预设的设定只是语义上的分析, 而该潜预设在具体的语境中能否显现出来, 则是一个语用问题。套用盖士达的这一说法, 我认为, 我们也可以说, 隐含的存在只是一个语义上的问题, 而它能否变成明示的存在则是一个语用问题。
What is MKV format? MKV file type is an open source container format. It is an alternative to the popular AVI and MP4 formats and it also surpasses them in many areas. How to open MKV files or how to play MKV file? And what can I use to play MKV files? Several MKV file player, or MKV video player, or MKV media player based on DirectShow like MKV codec Windows Media Player, support the playback of MKV files if you have the proper codecs and filters installed.