因而美国国防部提出
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 年代后, 里根政府在调整美国军事战略的同时也对核战略作了调整。美国认为苏联的洲际导弹经过多次更新, 不仅投掷重量大, 而且命中精度和多弹头技术也开始赶上美国, 已具有在第一次打击中摧毁美国大部分洲际导弹、战略导弹潜艇和战略轰炸机的能力。因而美国国防部提出, " 相互确保摧毁" 的核战略已开始过时, 应以" 相互确保生存" 或" 相互确保安全" 的战略逐步取而代之, 即发展防御系统, 确保能够击毁敌方来犯导弹而保证已方安全, " 星球大战" 计划也就应运而生了。
传统逻辑无法用形式表示出来
自然语言服从语法要求, 所以传统逻辑的表述依赖于自然语言的语法形式, 这样, 它只能从语言的语法形式揭示出逻辑形式。而人工语言是人造的, 它与自然语言的语法无关, 因此, 现代逻辑可以摆脱自然语言语法的局限, 从而更准确、深刻地揭示语法形式背后的逻辑形式。
第二, 由于使用自然语言, 传统逻辑的研究方法较为直观朴素, 特别是由于在自然语言中元语言与对象语言没有区分, 因此, 传统逻辑处理问题的能力及范围十分有限, 其内容和系统本身不够严谨、精确。而现代逻辑借助于人工语言, 严格区分了元语言与对象语言, 并对逻辑系统本身进行了一系列元理论研究, 从而大大增强了逻辑系统本身的包容量与精确性。
第三, 传统逻辑由于使用自然语言, 很多有效的推理形式无法展示出来, 而现代逻辑使用人工语言, 因此, 很多在自然语言中展示不出的有效推理都可以清楚地展示出来。例如, 相对于" 有人喜欢展览会上所有的展品, 所以, 所有的展品都有人喜欢" 这一直观就可以看出明显有效的推理, 传统逻辑无法用形式表示出来。
Flash Video File is the name of a file format used to deliver video over the Internet Adobe Flash Player. FLV video file is viewable on most operating systems, similar to SWF video, via the widely available Adobe Flash Player and web browser plugin, or one of several third-party programs such as MPlayer, VLC media player, Quicktime, or any player which uses DirectShow filters. The best video converter can convert FLV video file to almost all popular formats as you need- convert flv to avi, convert flv to 3gp, convert flv to mp4, convert flv to mov, convert flv to wmv, convert flv to asf, convert flv to swf, convert flv to vob, convert flv to ts, convert flv to mkv, convert flv to mpeg, etc.