实际上是为该系统构造了一种说明
从形式化的角度来看, 一个现代逻辑系统主要包括两个部分, 一个是其语形部分, 即语形学, 一个是其语义部分, 即语义学。在逻辑系统的语形学中, 一个系统只是一个符号与符号系列, 它本身没有任何意义, 我们可以不考虑符号本身的意义而只研究符号之间的形式关系, 因此, 可以说, 现代逻辑的语形部分是没有任何本体论内容的、是与本体论无关的。这一点正如莱涅夫斯基所言：" ……对一个形式主义者来说, 他构造和检验的逻辑系统是没有解释的纯形式系统, 所以, 他把有意义的表达式谓之合式公式, 把公理谓之任意设定的不需要证明的真命题, 把推理规则谓之转换规则。
在语义部分, 我们需要对语形部分作出解释, 使其成为有意义的语言, 即在语义学中确定各个语言符号、语法规则、公理、定理等的意义, 这种解释可以是一种模型, 它是相对于该逻辑系统这个框架而言的, 与客观存在是没有直接联系的。因此, 从这个意义上说, 现代逻辑无论是语形部分还是语义部分, 都是与客观存在、与本体论没有直接的内容上的联系的。当然, 从另一种意义上来说, 现代逻辑系统中的语义学, 实际上是为该系统构造了一种说明、一种解释, 也包括对该系统内何物存在以及以什么方式存在的本体论的解释。所以, 我同意这样一种说法：语义学是逻辑的形式本体论, 这种本体论是逻辑建构的自己说明自己、无需借助外在因素阐述自身的本体论, 它不同于事实本体论, 它是逻辑的而非实在的, 是功能性的而非实体性的, 是关系的而非元素的, 是形式的而非质料的。
不过, 为更准确, 我建议将这句话改为：语义学是现代逻辑的形式本体论。
洋将的儒雅风流
英国总兵丢乐德克, 奉命防守宁波, 主要是保护本国的商民。1 8 6 2 年5 月, 宁波失而复得, 丢乐德克出了很多力。后来, 太平军又大举来攻宁波, 丢乐德克率洋兵五十人人城助守, 出奇制胜, 帮助清军打败了太平军。丢乐德克为人谦恭儒雅, 赢得了官兵对他的好感。后来, 洋枪队的洋将买忒勒在攻绍兴时被击毙, 而李鸿章所派的德克碑的援军也未到, 致使绍兴的洋枪队无人统领。这时, 道员史士良请求丢乐德克接任买忒勒, 丢乐德克不同意。因为按照我国的法律, 驻防的外国军官不能离开防地的百里以外, 但道员却仍坚持要丢乐德克前往绍兴, 丢乐德克的同事和翻译也都怂恿他接任此职, 丢乐德克不得已, 就以打鸟为名, 上报提督前往, 因为打鸟是可以超出百里的规定的。丢乐德克到任后, 多次打败太平军。等德克碑率军到达绍兴后, 丢乐德克随即将统领一职移交德克碑。
后来, 丢乐德克因擅离防地被提督弹劾去职, 史道员和富绅筹集了白金万两, 以谢他保卫宁波的功劳, 丢乐德克坚辞不受, 史道员也不让步。丢乐德克说：" 我国的法律规定：军臣在外不能接受他国的馈赠。" 最后, 在史道员的一再央求下, 他只留下了二千金犒赏部下将士, 其余的原封没动。临别时, 丢乐德克还伤心地说：" 我和宁波人相处很久, 感谢大家对我的厚爱, 回国后我永远不会忘记你们。还有一事相告：洋枪队的士兵, 经过训练和实践, 已成为克敌制胜的一支军队, 太平军被平后也不要轻易解散, 以留后用……" 说罢, 扬帆而去。李鸿章听说丢乐德克走了, 很为他惋惜。
法国人买忒勒, 被授中国总兵官衔。他喜读中国诗书。有一次, 刺史吴春泉曾在冬天到他的住所拜访, 买忒勒拉着吴春泉。惠而好我, 携手同行。" 的手吟起了诗句：" 北风其凉, 雨雪其虽是洋将, 倒也有中国学者儒雅风流的气派。
- Total Video Converter can convert video between any formats, so it can be used like iPod Video Converter, AVI Converter, 3GP Video Converter, PSP Video Converter, etc.