这便是它们要制定和实施“尤里卡”计划的原因
1 9 8 5 年4 月1 7 日, 法国总统密特朗在法国政府内阁会议上提出建立" 欧洲工艺技术共同体" , 即" 欧洲研究协调机构" , 以加强西欧国家在尖端领域的合作。密特朗总统要求西欧在电子光学、高速微电子学、新材料、大型电子计算机、大功率激光和粒子束、人工智能等方面进行联合研究和合作开发。" 欧洲研究协调机构" 的英文缩写读音为" 尤里卡" , 恰好与希腊文" E u r e k a " 相近, 含义是" 有办法了" 。这一寓意本身就有助于理解" 尤里卡" 计划出台的背景。
根据法国先进技术和系统研究中心的报告, " 尤里卡" 计划主要包括欧洲计算机、欧洲自动装置、欧洲通讯联络、欧洲生物、欧洲材料等5 个计划、2 4 项具体攻关项目。欧洲共同体及其以外的欧洲国家均可参加。
法国提出这一计划, 是由于西欧国家尖端技术落后于美国和日本。在过去的一二十年间, 西欧国家对新技术革命缺乏足够的重视。在传统上, 西欧也偏重理论研究, 科学研究与经济技术发展的实际需要相脱节, 加上各国各自为政, 课题重复, 投资大而收益小。到1 9 8 3 年3 月, 里根又提出了" 星球大战" 计划。美国通过实施这一计划有可能在先进技术的一些关键领域取得重大进展。如果西欧忽视这一挑战, 无疑将进一步扩大美欧之间的差距。加以美国提出" 星球大战" 计划后, 已同法国、联邦德国和英国等不少大公司和科研机构直接联系, 吸引它们的人才、技术和资金参加美国的新技术研究。如果西欧不能联合起来在科技上有所突破, 不仅会影响经济发展, 而且在安全和防务上还会受制于人。为了在2 1 世纪能与美、日许驾齐驱, 西欧国家决定在科技方面加强联合, 这便是它们要制定和实施" 尤里卡" 计划的原因。
将真理定义为其值为真的命题或语句
何谓语句? 语句是由语词按照一定的语法规则而形成的能表达一个相对完整的意思的语词序列, 从逻辑的角度看, 语句是语言的主要单位。在自然语言中, 语句的功能主要有三个：陈述、表情与导引。所谓陈述的功能, 是指通过语句对对象进行描述或说明, 比如" 这朵玫瑰是红的" 、" 所有的鱼都是会游水的" 等等, 可以看出, 陈述的功能主要是通过语句中的陈述句来完成的。所谓表情的功能, 也叫表达, 指通过语句来倾吐感情和情绪, 比如" 多美的花啊! " " 鱼在水中游来游去, 多自在啊! " 等等, 因此, 表情的功能主要是通过语句中的感叹句实现的。所谓导引的功能, 是指通过语句, 引导对方作出某种行为。例如, 使用问句" 你是哪里人? " , 是引导对方进行回答, 使用祈使句" 不要讲话! " 或" 我们一起去图书馆吧! " 是引导对方按我的要求行事。因此, 可以认为, 导引的功能一般是由语句中的问句或祈使句来实现的。
在语言的这三个功能中, 陈述的功能意味着说话者对对象有所说明或描述, 这就存在着所说明或描述的情况与对象本身的情况是否一致的问题。因此, 从这个意义上看, 陈述句是有真假的, 所陈述的情况与对象本身的情况相一致, 该陈述句便谓之真, 反之则为假。正因为如此, 我们把语言的陈述功能也谓之其逻辑功能。至于感叹句与问句及祈使句, 它们的功能不在于对对象进行说明或描述, 因此, 它们不存在所说明或描述的情况与对象本身是否一致的问题, 所以, 它们没有直接的真假值。由于我们把感叹句、问句与祈使句统称为非陈述句, 因此, 非陈述句是无直接的真假值的。
就现代逻辑来说, 它的主要研究对象是推理, 这种推理主要涉及的是语句与语句之间的真假关系。因此, 现代逻辑研究的语句主要是陈述句, 实际上, 传统逻辑与现代逻辑都只研究陈述句的逻辑。同时, 在现代逻辑中, 命题指的是有真假值的语句即陈述句, 因此, " 命题" 与" 陈述句" 是可以替换的。正是从现代逻辑的这一观点出发, 我认为, 关于真理载体的命题说与语句说本质上是一致的, 因为, 这里的语句, 只是指陈述句即命题。也正是基于这一点, 本文将真理定义为其值为真的命题或语句。
MOV video file is a file format used by the QuickTime-wrapped files. QuickTime Content (.mov, .qt), developed by Apple Computer, is a file format for storing and playing back movie with sound. This flexible format isn't limited to Macintosh operating systems. It's also commonly used in Windows systems, and other types of computing platforms. The best video converter can convert MOV video file to almost all popular formats as you need- convert mov to swf, convert mov to vob, convert mov to wmv, convert mov to ts, convert mov to asf, convert mov to mkv, convert mov to flv, convert mov to 3gp, convert mov to mp4, convert mov to avi, convert mov to mpeg, etc.