普通逻辑基本规律需要形式化吗?——对普通逻辑基本规律公式化的质疑

不同的逻辑分支学科有着不同的理论叙述方式。普通逻辑分支中的基本规律理论是以自然语言为载体的逻辑基础学科理论 ,引入人工语言的符号公式后反倒出现与规律的自然语言叙述不协调甚至矛盾的情况。同一律的公式 (A→ A)与此规律的内容表述并不一致 ;不矛盾律的形式化公式 (A∧ A)也是不全面的 ,因为它漏掉了对两个具有反对关系的思想同真情况的排除 ;排中律的形式化公式 (A∨ A)也是不恰当的 ,因为它没有涵盖排中律对于下反对关系的应用。普通逻辑基本规律用自然语言进行表述已经满足了理论的明确性 ,而对它们再予以形式化的公式刻画反而弄巧成拙。普通逻辑基本规律不需要形式化     

国家版权局制定新措施 进一步规范执法程序

国家版权局于 7月 2 4日公布了新修订的《著作权行政处罚实施办法》(简称实施办法 )。此次修订在1997年公布并正式启用的旧版实施办法的基础上 ,结合形势发展的需求 ,从形式到内容对版权行政执法作了进一步完善。新修订的《著作权行政处罚实施办法》将于 2 0 0 3年 9月 1日起正式施行 ,1997年 2月 1日启用的旧版法规届时自动失效。《著作权行政处罚实施办法》此次修改的指导思想是 :以著作权法、行政处罚法和近年来中央有关行政执法的方针政策为指导 ,根据新时期著作权行政管理部门转变职能、加强监管的要求 ,以完善著作权行政执法体制 ,提…     

浅谈工程投资控制

一、建设工程投资应遵循基本建设程序从事工程建设活动,必须执行国家的基本建设程序。基本建设程序就是建设项目从项目意见书到建     

司法改革的方向应当重新调整

自1999年第一个《人民法院五年改革纲要》以来，中国司法改革已经走过了近10个年头，但是，在笔者看来，虽然司法改革取得较大的成绩，但司法改革在方向上的失误还是很明显的，表现在重体制改革而轻程序改革、重法官业务素质而轻道德素质、重司法独立而轻司法制约。正因为如此，中国司法的水平和效率虽然提高了，但司法公正这一最重要的问题仍然没有解决，由于司法业务范围的扩大，人民群众的感受反而是司法腐败越来越严重。     

刑事普通程序简化审理的制度选择与模式构建

现代社会犯罪率上升 ,刑事司法积案严重 ,对适用普通程序的刑事案件实行简化审理 ,有助于提高诉讼效率、缩短诉讼周期、降低诉讼成本 ,是司法实践中行之有效的应对之举。本文从刑事案件实行普通程序简化审理的海外借鉴及现实需要等角度论证了实行该制度的必然性 ,并从理论与实践相结合的角度 ,对普通程序简化审理的适用条件与操作流程作了深入的阐述     

论法院在民事诉讼中对行政行为合法性的审查

法院在审理民事案件过程中,当事人有时会对民事行为据以成立的具体行政行为的合法性提出异议。这样,具体行政行为合法性的确定往往成为民事诉讼审理和裁决的先决条件。对于这一问题如何解决,民事诉讼法和行政诉讼法均未作出明确规定,理论界和司法实务界也众说纷纭。法院必须走出在民事诉讼中不能审查具体行政行为合法性的观念误区,并对民事诉讼中具体行政行为的合法性进行审查。     

楷书中的改形字

楷书中的改形字是汉字中因文字孳乳渐多而采用的因利乘便的造字方法。它既非独体字,亦非合体字;既不能归为表意字,亦不能归为表音或兼表音意字。本文较详细地论述了改形字的特点,汉字采用改形分化方式的原因及其状况。     

关于递归程序的验证

本文探讨递归程序的验证技术,着重阐述结构归纳法在递归程序验证中的应用。     

论小额诉讼之合理性与适法性

本文旨在将小额诉讼制度与我国的普通程序和简易程序相比较权衡,展示出小额诉讼程序在我国适用之必要性.文章从实践和理论两方面对小额诉讼制度存在的必要性进行了阐述.实践方面力在论证我国简易程序的缺失和单用普通程序的不足.理论方面主要在小额诉讼制度的法理基础上进行论证.     

论刑事简易程序改革之误区

任何改革都需要正确的方向和稳健的步伐，简易程序改革也不例外，本文着重分析了目前简易程序改革当中存在的若干问题，指出造成这些改革误区的根本原因在于我国程序价值理念的缺乏以及司法改革理论准备的不足，并希望以此作为对热火朝天的司法改革善意的提醒。