<正> 《法律命题逻辑系统及其实践意义》一文(载本刊1987年第四期),介绍了规范逻辑的K、KD和KDⅣⅤ三个系统,然后添加了“制裁”模态词S,改KDⅣⅤ系统为L系统,阐述了L系统在法律和法制领域的实践意义。由于专用于法律领域,所以称L系统为法律命题逻辑。 L系统虽能切合法律领域的实践要求,但从逻辑学的角度来看,是否有可靠性、一致性和完全性呢?能否判定任一L合式公式A是否有效,是否为L系统的定理呢?本文是说明这些问题的。
培养创新人才的基础在教育,高校作为培养创新精神和创新人才的重要阵地,要责无旁贷地承担起培养学生创新意识的使命,努力创建有利于大学生创新素质培养的机制.
介绍了几种实用的灯具分布光度测试系统的原理和结构,并对各种系统的性能作了对比分析.重点介绍了一种大型旋转反光镜式空间光分布测试系统,通过使用一个大型椭圆旋转反光镜
墨子姓墨名翟,不是宋公子目夷之后,也不是孤竹国君墨胎氏之后,而是禹师墨如的后裔。墨学之墨,乃以禹之道为绳墨之墨,墨行夏道,既是弘扬夏禹之道,又是弘扬墨如家学;翟乃夏翟,阳翟为禹所
介绍了采用相移干涉法进行聚合物光纤剖面折射率分布测量的技术,并着重阐述了相移技术和去包裹技术的原理.