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

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

贺国强：要加强和改进反腐倡廉法规制度建设

中国国家主席胡锦涛11月15日在华盛顿强调，金融危机使广大发展中国家不同程度受到影响，国际社会在应对金融危机时，尤其要关注和尽量减少危机对发展中国家特别是最不发达国家造成的损害。     

法参议员:我不同意抵制奥运 不赞成达赖的制度

自中国西藏3·14暴乱及4月7日奥运圣火巴黎传递受干扰等事件发生以来,《欧洲时报》收到了大量读者、学者和法国各界人士的投稿、来函,纷纷对上述事件发表看法。该报登载了法国社会党前部长、现任参议员让-吕克·梅朗雄     

浅析古典诗词鉴赏的不定性

由于古典诗词这一特殊鉴赏对象，使鉴赏者有时对同一作品，有着不同的解释。言之有理符合主题者肯定；背离文意不合语境者则须斟酌。     

平均值的不充分性

一、平均值的意义 n个数x_1,x_2,…x_a的平均值 是一般人都熟悉的概念,也是人们在诸多领域很多方面常用的一个数量指标。它是一个很有代表性的数值,它能“集中”地反映被讨论、考察的刘象,反映一些总的情况,平均值的计算方法除了定义式:     

不老的莲米粥

在小巷深处那幢老房子的屋檐下,母亲摆了一个粥摊。两张小桌,几个竹凳,再搭一篷遮阳布,搭起一种营生。小巷冷清,吃粥的人少,母亲惨淡地经营着。吃粥的人啧啧称赞,杨嫂(那是母亲的名字),你这粥酽而不腻,温软滑口,硬是安逸哟。母亲微笑了,收获着她小小的乐趣。然后,打开她的小钱匣,数了一遍,再数一遍,用那些一元两元的零票,凑足我的学费。这个时候,我却在想:努力读书,总有一天,我会走出小巷,远离母亲,告别与粥摊相伴的日子。录取通知书接到了,我即将走进18年来梦寐以求的大学生涯。离开的那天,母亲为我熬好了一碗莲米粥。看着我咂吧粥,微笑写…     

财务欺诈与融资博弈之解析

基于信息经济学的信号发送理论和博弈论原理,本文证明了在市场不完全、投资者讨价还价能力不高以及财务欺诈成本低的情况下,财务欺诈的发生是不可避免的,而会计信息作为区分证券市场优劣公司的信号作用将被削弱,并严重影响证券市场的资产定价机制.     

高一新生不适应心理产生的原因及调适措施

新学期伊始,又一批初中毕业生迈入高中大门。随着环境的变化,大部分新生会产生不同程度的不适应感,这种不适应,往往成为他们在新环境中学习和生活的障碍,成为初中、高中衔接过程中的断点,若不能给予及时调适,将影响其身心健康,阻碍学生学习主动性和积极性的发挥。初高中衔接过程中,学生不适应心理的产生是客观环境和学生自身心理相互作用的结果。首先,从客观环境因素看,新生入校后,面对的是新环境、新教师、新同学、新知识,全新的一切需要他们去认识,去     

基于“房住不炒”的房地产税体系优化研究

“房住不炒”是党中央对房地产调控政策的重新定位,具有重大的理论和现实意义。税收是调控经济运行的重要杠杠,房地产业的健康发展离不开房地产税的有效调节,而房地产税的有效调节有赖于科学的税收制度设计和高效的征管水平。由于现行房地产税制度缺陷,影响了税收调节功能的发挥,引发了一系列问题。因此,应推进房地产税改革,优化房地产税体系。     

企业合规不起诉的模式选择论证

企业合规作为一种全世界企业的治理方式,目前在我国仍处于探索阶段。企业合规不起诉制度的本土化探索需要实体法和程序法共同推进,合规不起诉作为程序设计上的刑事激励机制之一,在司法实践中,面临着与我国现行法律制度相衔接的问题。在最高人民检察院开展两轮改革试点工作中,相关检察机关创造了两种不起诉模式：一是“附条件不起诉模式”;二是“检察建议模式”(又称“相对不起诉”模式)。企业合规不起诉的模式选择直接影响该项制度在实践当中的应用空间,如何借鉴现有经验,在此基础上构建我国的企业合规不起诉制度是重点讨论的内容,根据案件性质及涉案企业的规模,我国企业合规不起诉制度的构建可采取上述两种模式相互结合的方法。