教授干脆用一块玻璃板压着跳蚤
许多人庸庸碌碌过一生, 并不是因为他们没有立志, 而是他们在遇到困难时, 总是抱以消极的心态去看待, 说什么" 我还是不行。" " 等以后再说吧! " 这样的心态必然陷入失败的深渊。在很多时候, 是出身卑微的人自己看低了自己。要知道, 人生的高度是由" 态度" 来决定的, 其好坏足以明确我们构筑的人生的优劣。
一名大学教授为同学们做了一个实验, 他把一只跳蚤放在一个玻璃杯里, 发现跳蚤跳的高度一般可达到它身体的4 0 0 倍。教授接着用一个高一米的玻璃罩罩住这个杯子, 这只跳蚤为了能跳出玻璃罩, 拼命地往上跳, 但无论它怎样努力, 都在跳到一米高的时候, 被玻璃罩挡了下来。过了一会儿, 教授取下玻璃罩, 发现这只跳蚤只能跳一米高了。同学们都感到很奇怪, 教授笑了笑, 又拿过来一个5 0 厘米的玻璃罩罩着玻璃杯, 跳蚤又拼命地往上跳, 它想继续跳到一米高的位置, 可每当它跳到5 0 厘米的时候, 就被玻璃罩挡了下来。又过了一会儿, 教授再次取下玻璃罩, 发现跳蚤只能跳5 0 厘米的高度。后来, 教授又换了一个2 0 厘米的玻璃罩, 跳蚤提跳的高度又降为2 0 厘米。最后, 教授干脆用一块玻璃板压着跳蚤, 跳蚤试着挣扎了几下, 但几次都失败了。教授把玻璃板取走, 跳蚤再也不能跳了, 只能在桌面上爬行。
跳蚤的弹跳力之所以直线下降, 是由它的消极心态导致的。心态决定人生的高度, 如果你把自己看得很低, 你就无法找到自己的强项, 你就不可能向好的方向改进和发展。消极心态会阻碍你达成愿望, 反之, 积极的心态就可以把你推向成功的巅峰。
语义学是现代逻辑的形式本体论
从形式化的角度来看, 一个现代逻辑系统主要包括两个部分, 一个是其语形部分, 即语形学, 一个是其语义部分, 即语义学。在逻辑系统的语形学中, 一个系统只是一个符号与符号系列, 它本身没有任何意义, 我们可以不考虑符号本身的意义而只研究符号之间的形式关系, 因此, 可以说, 现代逻辑的语形部分是没有任何本体论内容的、是与本体论无关的。这一点正如莱涅夫斯基所言：" ……对一个形式主义者来说, 他构造和检验的逻辑系统是没有解释的纯形式系统, 所以, 他把有意义的表达式谓之合式公式, 把公理谓之任意设定的不需要证明的真命题, 把推理规则谓之转换规则。
在语义部分, 我们需要对语形部分作出解释, 使其成为有意义的语言, 即在语义学中确定各个语言符号、语法规则、公理、定理等的意义, 这种解释可以是一种模型, 它是相对于该逻辑系统这个框架而言的, 与客观存在是没有直接联系的。因此, 从这个意义上说, 现代逻辑无论是语形部分还是语义部分, 都是与客观存在、与本体论没有直接的内容上的联系的。当然, 从另一种意义上来说, 现代逻辑系统中的语义学, 实际上是为该系统构造了一种说明、一种解释, 也包括对该系统内何物存在以及以什么方式存在的本体论的解释。所以, 我同意这样一种说法：语义学是逻辑的形式本体论, 这种本体论是逻辑建构的自己说明自己、无需借助外在因素阐述自身的本体论, 它不同于事实本体论, 它是逻辑的而非实在的, 是功能性的而非实体性的, 是关系的而非元素的, 是形式的而非质料的。
不过, 为更准确, 我建议将这句话改为：语义学是现代逻辑的形式本体论。
The best video software offers you the easiest way to deal with video conversion tasks with super fast speed and great output quality.