逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

康德先验逻辑的基本问题

康德的先验逻辑对传统哲学特别是形而上学所运用的范畴在分类的基础上作了新的理解,指出了范畴作为思维的逻辑功能,是对感性直观的固有关系。这就决定了先验逻辑的基本问题是范畴与直观的固有关系问题。它构成先验逻辑不同于形式逻辑和思辨逻辑的根本点。     

构建我国法务会计人才培养模式

随着我国市场经济的快速发展，经济纠纷、经济案件中所涉及的财务会计问题越来越多，迫切需要法务会计人员从会计和法律的专业角度进行调查、取证和鉴定，为法庭提供专家意见。但我国法务会计理论研究滞后、从业人员素质不高、法务会计人才严重匮乏，远远不能满足日益增长的法务会计需求。由于法务会计与财务会计有较大区别，因此，我国应加强法务会计建设，强化法务会计理论研究，并针对我国法务会计的现状，构建学历教育、在职教育和社会教育三位一体的法务会计人才培养模式，以培养具有中国特色的、多层次的、复合型法务会计人才。     

正义的变迁——兼构我国符合正义的法律体系

法律似乎与生俱来地与正义联系在一起,以此为切入点,分析正义是永恒的,而正义的内容常变.然后考察不同生产方式下的不同的正义变化,并主要分析社会化大生产条件下的应然正义.最后以此构建中国在当前历史时期符合正义的法律体系.     

电子证据概念与审查认定规则的构建研究

电子证据在中国被确立为一种独立证据类型,具有在范畴以及审查认定标准与规则等方面加以特殊研究的必要性。电子证据就其范畴而言,应定义为“以电子形式存储或传输的、用于证明案件事实的数据或信息”,包含“数据、电子、证据”三个要素;就其独立性及其范围而言,区别于书证和物证,但是与证明案件事实的视听资料证据存在交叉,现有立法将交叉部分纳入到电子证据的规制框架之下,这意味着其取证、保存、出示、审查及认定都将适用电子证据的相关规定。电子证据在物理形式与采集技术上的独特性,导致对传统证据相关规则的极大挑战,在真实性审查和认定规则特殊构建方面要求尤为突出。目前国际上对于电子证据真实性审查的规则呈现出两种发展态势：形式审查的门槛在不断降低;这种降低依赖于证据调查活动规范程度的不断提升,即实质审查层面真实性的提升。中国可以借鉴国际经验,确立和完善关于电子证据实质审查和形式审查两个方面的规则。     

贝叶斯决策理论视域下的经济逻辑及其研究范式转向--兼析习近平经济思想

经济逻辑学是经济学和逻辑学的交叉学科,它的产生有其必然性,我们可以从经济学的基本假设、经济学的研究方法、经济学研究的确定性以及逻辑学的发展等几个角度给予论证。从贝叶斯决策理论的视角看,它是研究经济活动中理性决策和策略推理的科学。在理论驱动力和现实驱动力的双重作用下,经济逻辑的研究已开始了由形式逻辑范式向科学逻辑范式的转向。     

论民事立案登记制审查中的“形式”与“实质”

在近一年实践过程中,我国的立案登记制已略显成效,但也仍然存在不少问题。在立案登记制度是否需要审查,其为形式审查还是实质审查,如何明确立案登记中形式审查的审查标准和范围,如何保持好立案登记形式审查程序与后续的审判与调解程序之间的零缝隙衔接等方面还需要不断完善。只有这样,立案登记制度才能真正实现理论来源于实践并积极作用于实践的良性诉讼循环。     

海德格尔的“实用主义”和本原思想——对奥克伦特的海德格尔解读之实用主义视角的反思

对海德格尔的实用主义解读构成了美国海德格尔学者们的一个重要研究进路,但是实用主义视角下的海德格尔在欧陆学者看来是对海德格尔的曲解,因为这一视角抹去了海德格尔现象学的先验维度或者说本原思想。本文以奥克伦特对海德格尔时间性概念的实用主义解读为例,阐明海德格尔时间性概念的本原意义如何在实用主义视角下被消解,并指出海德格尔的本原思想在这一视角中“隐身”的根源。     

法治理想及其要求

法治是当今世界公认的一种重要政治价值。法治理想的要义是通过法律规范的途径来限制任意专断权力的运作。为达到这一目标,法律规范在形式上必须满足富勒提出的八项要求,并且必须确立法律的正当程序来保障法律规范得到适当的运用。我们可以把这两方面称作法治理想形式与程序方面的要求。法治理想的要义还有助于我们理解人们围绕法治的一些重要争论,如关于实质性法治观念的争论,关于立法性法律的争论等。     

Population aging and long-term care policies in the Gulf region: a case study of Oman

Population aging is a phenomenon occurring across the globe including in countries traditionally exhibiting population dividends and “youth bulges.” The Gulf Corporation Council countries are no exception as they currently experience a process of population aging, albeit at a different stage from many developed countries. However, due to historically high fertility rates and fast-paced epidemiological transition, some of these countries will experience population aging at a higher pace than what has been observed in Europe and the United States. This article reviews recent developments in long-term care policies in the Gulf region with a focus on Oman as an example of a high-income Arab country that is experiencing population aging while still being governed by traditional family aged-care norms. Utilizing existing data and published research complemented by policy analysis and field visits, we analyze the process of population aging in Oman and neighboring countries and its policy implications.