这个世界就像个多棱镜一般
成功者能够用积极的心态去眶释成败得失, 对未来充满信心。伟大发明家爱迪生在发明电灯过程中, 经历了9 9 9 9 次失败, 工作难度出乎他的意料, 当时全世界的人民都在等待他的成果, 半年过去了, 他一无所获, 人们都对他失去了信心, 开始对他产生怀疑, 纽约《先驱报》说：" 爱迪生的失败现在已经完全证实, 这个感情冲动的家伙从去年秋天就开始电灯研究, 他以为这是一个完全新颖的问题, 他自信已经获得别人没有想到的用电发光的办法, 可是, 纽约的著名电学家们都相信, 爱迪生的路走错了。" 爱迪生并没有因此而放弃。人们的议论声也变得越来越强烈, 有人说：" 不管爱迪生有多少电灯, 只要有一只寿命超过2 0 分钟, 我情愿付1 0 0 美元, 有多少买多少。" 有人说：" 这样的灯, 即使弄出来, 我们也点不起。" 爱迪生并没有被人们的言语所左右, 他坚信自己终有一天能够成功。又过了半年, 他终于造出了能够持续照明4 5 小时的电灯。曾经有人问他：" 难道你还想经历第一万次失败吗? " 爱迪生笑着回答说：" 我那不叫失败, 只是我发明灯的方法不对, 我把不对的方法都排除了, 剩下的就是对的。" 面对每一次失败, 他都能给这个失败的发明找出额外的用途, 从而诞
生了新的发明。对他来说, 根本没有失败而言。
生活对于每个人都是公平的, 命运在向人们关闭一扇门的时候, 同时又会为人们打开另一扇窗户。这个世界就像个多棱镜一般, 这一面是不幸, 另一面可能就是幸运, 如果能以一颗积极乐观的心态去对待, 不幸就可以转化为幸运。
语义学是现代逻辑的形式本体论
从形式化的角度来看, 一个现代逻辑系统主要包括两个部分, 一个是其语形部分, 即语形学, 一个是其语义部分, 即语义学。在逻辑系统的语形学中, 一个系统只是一个符号与符号系列, 它本身没有任何意义, 我们可以不考虑符号本身的意义而只研究符号之间的形式关系, 因此, 可以说, 现代逻辑的语形部分是没有任何本体论内容的、是与本体论无关的。这一点正如莱涅夫斯基所言：" ……对一个形式主义者来说, 他构造和检验的逻辑系统是没有解释的纯形式系统, 所以, 他把有意义的表达式谓之合式公式, 把公理谓之任意设定的不需要证明的真命题, 把推理规则谓之转换规则。
在语义部分, 我们需要对语形部分作出解释, 使其成为有意义的语言, 即在语义学中确定各个语言符号、语法规则、公理、定理等的意义, 这种解释可以是一种模型, 它是相对于该逻辑系统这个框架而言的, 与客观存在是没有直接联系的。因此, 从这个意义上说, 现代逻辑无论是语形部分还是语义部分, 都是与客观存在、与本体论没有直接的内容上的联系的。当然, 从另一种意义上来说, 现代逻辑系统中的语义学, 实际上是为该系统构造了一种说明、一种解释, 也包括对该系统内何物存在以及以什么方式存在的本体论的解释。所以, 我同意这样一种说法：语义学是逻辑的形式本体论, 这种本体论是逻辑建构的自己说明自己、无需借助外在因素阐述自身的本体论, 它不同于事实本体论, 它是逻辑的而非实在的, 是功能性的而非实体性的, 是关系的而非元素的, 是形式的而非质料的。
不过, 为更准确, 我建议将这句话改为：语义学是现代逻辑的形式本体论。
The best video converter can convert MOV to Windows Media, convert SWF to Windows Media, convert TS to Windows Media, convert RMVB to Windows Media, convert MPG to Windows Media in an easy way.