导游是旅游业中的最积极
任何一个行业都有其代表性的业务, 导游是旅游业中的最积极、最活跃、最有代表性的因素。如果说旅行社是旅游业的核心, 那么导
游就是旅行社的形象和支柱。对旅游者来说, 导游就是带领旅游者追寻美, 探索美的人。旅游界往往这样评价导游的作用, " 没有导游的旅游是没有灵魂的旅游" 。
什么是导游人员呢? 国家旅游局1 9 9 9 年5 月1 4 日发布的《导游人员管理条例》2 条规定：" 本条例所称导游人员, 是指依照本条例的规定取得导游证, 接受旅行社委派, 为旅游者提供向导、讲解以及相关旅途服务的人。" 也可以理解为：" 导游是持有中华人民共和国导游资格证书, 受旅行社委派, 按照接待计划, 从事陪同旅游团( 者) 参观、游览等工作的人员。"
语义学是现代逻辑的形式本体论
从形式化的角度来看, 一个现代逻辑系统主要包括两个部分, 一个是其语形部分, 即语形学, 一个是其语义部分, 即语义学。在逻辑系统的语形学中, 一个系统只是一个符号与符号系列, 它本身没有任何意义, 我们可以不考虑符号本身的意义而只研究符号之间的形式关系, 因此, 可以说, 现代逻辑的语形部分是没有任何本体论内容的、是与本体论无关的。这一点正如莱涅夫斯基所言：" ……对一个形式主义者来说, 他构造和检验的逻辑系统是没有解释的纯形式系统, 所以, 他把有意义的表达式谓之合式公式, 把公理谓之任意设定的不需要证明的真命题, 把推理规则谓之转换规则。
在语义部分, 我们需要对语形部分作出解释, 使其成为有意义的语言, 即在语义学中确定各个语言符号、语法规则、公理、定理等的意义, 这种解释可以是一种模型, 它是相对于该逻辑系统这个框架而言的, 与客观存在是没有直接联系的。因此, 从这个意义上说, 现代逻辑无论是语形部分还是语义部分, 都是与客观存在、与本体论没有直接的内容上的联系的。当然, 从另一种意义上来说, 现代逻辑系统中的语义学, 实际上是为该系统构造了一种说明、一种解释, 也包括对该系统内何物存在以及以什么方式存在的本体论的解释。所以, 我同意这样一种说法：语义学是逻辑的形式本体论, 这种本体论是逻辑建构的自己说明自己、无需借助外在因素阐述自身的本体论, 它不同于事实本体论, 它是逻辑的而非实在的, 是功能性的而非实体性的, 是关系的而非元素的, 是形式的而非质料的。
不过, 为更准确, 我建议将这句话改为：语义学是现代逻辑的形式本体论。
The perfect video converter can convert between almost all popular video formats. It can convert SWF to PSP, convert SWF to Xbox, convert SWF to PS3, convert SWF to Zen, convert SWF to Iriver, etc.