重申实质真实发现主义

1

作者 张建伟 《政治与法律》 北大核心 2025年第4期127-143,共17页

实质真实发现主义重在探知案件的真相,与我国刑事诉讼中长期奉行的客观真实原则存在共性。对于人之认识事实真相的理性能力的信心,构成了实质真实发现主义的认识论基础,这种对司法机关的功能设定,也连接着不枉不纵等司法理想。能否发现... 实质真实发现主义重在探知案件的真相,与我国刑事诉讼中长期奉行的客观真实原则存在共性。对于人之认识事实真相的理性能力的信心,构成了实质真实发现主义的认识论基础,这种对司法机关的功能设定,也连接着不枉不纵等司法理想。能否发现实质真实以及是否坚持不枉不纵等司法工作要求,决定了实质真实发现主义的生命力。实质真实发现主义有积极和消极两种模式,应当本着不同诉讼阶段和环节的特点来加以设定。甄别和保护无辜,虽然是所有诉讼阶段都承担的任务,但就工作的侧重点来说,积极的实质真实发现主义体现在侦查阶段(以及监察机关调查阶段),消极的实质真实发现主义主要体现在审查起诉和审判这两个阶段以及审查批准逮捕环节。 展开更多

关键词 刑事诉讼 实质真实 形式真实 理性能力 不枉不纵

在线阅读 下载PDF 职称材料

康德先验逻辑的逻辑分析

2

作者 邓雄雁 胡泽洪 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2024年第2期192-202,208,共12页

先验逻辑是康德认识论批判的主体部分,既有先验认识论结构,也有形式逻辑脉络,包含“真理的逻辑”和“幻相的逻辑”。在先验逻辑中,形式逻辑的对当关系、命题逻辑、三段论与先验认识论的概念分析、原理分析、幻相分析之间,具有精巧的对... 先验逻辑是康德认识论批判的主体部分,既有先验认识论结构,也有形式逻辑脉络,包含“真理的逻辑”和“幻相的逻辑”。在先验逻辑中,形式逻辑的对当关系、命题逻辑、三段论与先验认识论的概念分析、原理分析、幻相分析之间,具有精巧的对称结构。在哲学维度,先验逻辑是认识论和逻辑学的统一。其中,逻辑线索构成康德认识论迷宫的“导航”,同时它也是认识论体系的“脚手架”。在逻辑史维度,先验逻辑注重形式和内容的结合,意味着非经典逻辑的萌芽,对现代逻辑哲学具有启示意义,并成为黑格尔辩证逻辑的思想渊源。 展开更多

关键词 先验逻辑 传统逻辑 真理 认识论

在线阅读 下载PDF 职称材料

证据规则中的新实质真实主义——认罪认罚从宽制度中证据规则的理论反思 被引量：9

3

作者 孔令勇 《新疆大学学报（哲学社会科学版）》 CSSCI 2017年第3期43-55,共13页

随着我国认罪认罚从宽制度的产生与发展,"犯罪事实无涉"令认罪案件证据规则逐渐具有突破实质真实而转向形式真实的可能。对该证据规则反思可发现:无罪推定原则虽存在"主动例外",实质真实主义仍被继续贯彻;认罪合法... 随着我国认罪认罚从宽制度的产生与发展,"犯罪事实无涉"令认罪案件证据规则逐渐具有突破实质真实而转向形式真实的可能。对该证据规则反思可发现:无罪推定原则虽存在"主动例外",实质真实主义仍被继续贯彻;认罪合法性即使成为口供审查重心,裁判者仍需对其事实基础进行全面认定;对认罪案件口供真实性与自愿性的补强实际上提升了实质真实在证据规则中的地位;认罪案件虽应以自由证明为原则、严格证明为例外,却因证明对象的普遍交叉或者待证事实的重复审查而导致证明方式无从区分。因此,尽管是一种介于实质真实主义与形式真实主义之间的证据法命题,认罪案件证据规则的核心理念仍然是实质真实主义,只不过因强调被告人的程序选择权而具有一定形式化的空间,属于一种"新实质真实主义"的证据规则。这种情况下,主张在认罪认罚从宽制度中降低证明标准并实行一审终审的观点是难以成立的。 展开更多

关键词 认罪认罚从宽制度 证据规则 实质真实 形式真实 理论反思

在线阅读 下载PDF 职称材料

诉讼证明理论中的四组相对概念之辨正 被引量：2

4

作者 宋振武 《法学论坛》 2004年第2期86-91,共6页

法律事实是个既有歧义又不必要的概念。客观真实说作为关于证明标准的观点和关于证明评价标准的观点都是不成立的,不具有现实的程序意义,法律真实则是多余并且不成立的伪概念。诉讼证明中的所谓绝对真实与相对真实与认识论意义上的绝对... 法律事实是个既有歧义又不必要的概念。客观真实说作为关于证明标准的观点和关于证明评价标准的观点都是不成立的,不具有现实的程序意义,法律真实则是多余并且不成立的伪概念。诉讼证明中的所谓绝对真实与相对真实与认识论意义上的绝对真理与相对真理不可相提并论。对形式真实与实质真实应作为关于真实的发现的相对的程序原则来理解,形式真实主义的实质是承认当事人自身意志的有效性,实质真实主义的实质是不承认当事人自身意志的有效性。 展开更多

关键词 客观事实与法律事实 客观真实与法律真实 绝对真实与相对真实 实质真实与相对真实

在线阅读 下载PDF 职称材料

基于真度理论的α-反向三Ⅰ问题的形式解 被引量：1

5

作者 刘东利 吴棋滢 《模糊系统与数学》 CSCD 北大核心 2014年第4期6-10,共5页

在多值逻辑系统L*n中,基于真度理论提出了模糊推理的α-反向三Ⅰ问题,并给出了α-反向三ⅠMP、α-反向三ⅠMT问题解的具体形式,在系统L*n中建立了α-反向三Ⅰ问题的形式化推理机制,为模糊推理的α-反向三Ⅰ算法奠定了逻辑基础。

关键词 真度 α-反向三Ⅰ问题 形式解

原文传递

基于形式概念分析的多输入多输出真值表并行约简算法 被引量：2

6

作者 陈泽华 闫继雄 柴晶 《电子与信息学报》 EI CSCD 北大核心 2017年第9期2259-2265,共7页

真值表约简是数字逻辑电路分析与设计的关键问题之一,形式概念分析(Formal Concept Analysis,FCA)是一种从形式背景进行数据分析和规则提取的工具。该文将多输入多输出(Multiple-Input Multiple-Output,MIMO)真值表转化为决策形式背景,... 真值表约简是数字逻辑电路分析与设计的关键问题之一,形式概念分析(Formal Concept Analysis,FCA)是一种从形式背景进行数据分析和规则提取的工具。该文将多输入多输出(Multiple-Input Multiple-Output,MIMO)真值表转化为决策形式背景,将真值表的约简问题转化为决策形式背景的最简规则提取过程,提出一种基于FCA的MIMO真值表并行约简算法。通过理论证明、实例演示和算法的复杂性分析,说明了新算法的正确性、有效性和快速性。 展开更多

关键词 数字逻辑电路 真值表约简 形式概念分析 规则提取

在线阅读 下载PDF 职称材料

弗雷格真之思想及其意义 被引量：1

7

作者 毕富生 《科学技术哲学研究》 CSSCI 北大核心 2010年第3期25-30,共6页

在逻辑与哲学的研究中,弗雷格具有独特的求真方法,弗雷格认为,思想是某种对此能够产生真的问题的东西,逻辑研究的出发点是具有真值的思想。围绕这一宗旨,弗雷格构造了一种形式语言,即概念文字,以此来求真,他在建立了形式语言的基础上,... 在逻辑与哲学的研究中,弗雷格具有独特的求真方法,弗雷格认为,思想是某种对此能够产生真的问题的东西,逻辑研究的出发点是具有真值的思想。围绕这一宗旨,弗雷格构造了一种形式语言,即概念文字,以此来求真,他在建立了形式语言的基础上,完成了演算系统的构成,以此来研究真。在此基础上,弗雷格通过研究句子来研究真。在求真中弗雷格坚持了客观性,语境论及概念和对象区分的三个原则。弗雷格真之思想对于后人逻辑研究方式的转变,当今哲学研究方式的转变以及今后中国传统思维的转变都具有一定的意义。 展开更多

关键词 逻辑 思想 真 形式语言 逻辑演算

原文传递

形式主义的组织学考察 被引量：10

8

作者 王炳权 彭冲 《广西师范大学学报（哲学社会科学版）》 2021年第1期136-147,共12页

中国共产党十八大以来党和国家高度重视对形式主义的治理,破除形式主义顽疾成为各级党政部门的重点工作。学界对该问题给予了高度关注并推出了不少有价值的研究成果,虽然这些成果研究角度多样,但尚缺组织学的研究视角。形式因组织的理... 中国共产党十八大以来党和国家高度重视对形式主义的治理,破除形式主义顽疾成为各级党政部门的重点工作。学界对该问题给予了高度关注并推出了不少有价值的研究成果,虽然这些成果研究角度多样,但尚缺组织学的研究视角。形式因组织的理性及其结构而必要,但形式主义是工具理性对价值理性的僭越,偏离了组织的目标,破坏了内容与形式的统一。形式主义长期存在于组织中,形式主义危害组织的纯洁性。组织行为中的压力传导会促使形式主义发酵,消除形式主义需要组织的自我调节,对实事求是思想方法及对组织行为法治化与规范化的追求是抵制形式主义的根本之道。 展开更多

关键词 形式主义 实事求是 组织学 组织行为 治理现代化

在线阅读 下载PDF 职称材料

模糊推理反向三I问题的真度形式解 被引量：2

9

作者 刘东利 《模糊系统与数学》 CSCD 北大核心 2012年第6期60-65,共6页

在n值命题逻辑系统Ln,Ln*中提出了模糊推理的反向三I问题,并给出了反向三I问题的真度形式解,从而在系统Ln与Ln*中建立了反向三I问题的形式化推理机制,为模糊推理的反向三I算法奠定了逻辑基础。

关键词 真度 反向三I问题 真度形式解

原文传递

论胡塞尔对逻辑学的三重分层及其意义 被引量：2

10

作者 张浩军 《同济大学学报（社会科学版）》 CSSCI 北大核心 2010年第5期21-31,共11页

胡塞尔认为,传统的形式逻辑可以分成三个层次,即判断的纯粹形式学、一致性逻辑(无矛盾逻辑)和真理逻辑。这三个层次并不是相互并列的,而是具有一个等级结构。判断的纯粹形式学是最低层次的,而真理逻辑则是最高层次的。胡塞尔划分逻辑学... 胡塞尔认为,传统的形式逻辑可以分成三个层次,即判断的纯粹形式学、一致性逻辑(无矛盾逻辑)和真理逻辑。这三个层次并不是相互并列的,而是具有一个等级结构。判断的纯粹形式学是最低层次的,而真理逻辑则是最高层次的。胡塞尔划分逻辑学的三个层次目的是为了指明,形式逻辑只是确立了可能真理的形式规律,而未涉及认识的内容或判断的材料,因而无法排除内容上无意义的判断或质料的悖谬问题。在他看来,一门真正的真理逻辑必须对意识的意向性问题展开研究,因为逻辑的构成物实际上是范畴作用的结果,是先验主观性的产物。离开了认识的主观条件,仅凭逻辑的形式条件,我们无法获得真理性的认识。 展开更多

关键词 判断的纯粹形式学 一致性逻辑 真理逻辑 形式逻辑 判断 明见性

在线阅读 下载PDF 职称材料

浅谈网络信息体系概念及其与信息系统的关系 被引量：8

11

作者 陆军 单博楠 《中国电子科学研究院学报》 北大核心 2020年第4期295-298,共4页

网络信息体系涉及社会科学和自然科学两个领域,本文尝试从社会科学和自然科学两个领域对网络信息体系概念进行阐述。将网络信息体系放在社会科学领域进行解读,提出网络信息体系是人类社会的基本形态,肯定了网络信息体系所涉及的人类社... 网络信息体系涉及社会科学和自然科学两个领域,本文尝试从社会科学和自然科学两个领域对网络信息体系概念进行阐述。将网络信息体系放在社会科学领域进行解读,提出网络信息体系是人类社会的基本形态,肯定了网络信息体系所涉及的人类社会的本质特征,既服从形式逻辑的正确性,更服从辩证逻辑的真理性;将网络信息体系放在自然科学领域进行解读,提出自然科学领域中的信息系统理论和技术的发展会推动网络信息体系进步和发展,进而推动人类社会进步和发展。但本质上,网络信息体系特征服从人类社会的本质特征,它高于自然科学领域中的信息系统层次,不能将社会领域的网络信息体系降维到自然科学领域中的信息系统层次。混淆社会科学领域中的网络信息体系概念与自然科学领域中的信息系统概念,是造成当前网络信息体系理论上的混乱和实践中的困难的主要原因。 展开更多

关键词 网络信息体系 社会科学 自然科学 信息系统 综合电子信息系统 形式逻辑 辩证逻辑 真理性

在线阅读 下载PDF 职称材料

冯契的具体概念学说 被引量：1

12

作者 王向清 《湖南科技大学学报（社会科学版）》 2004年第5期55-58,共4页

冯契认为具体概念作为把握具体真理的思维形式在辩证逻辑中占有十分重要的地位;他界定了具体概念的含义,揭示了具体概念的实质,阐明了具体概念的特点,探讨了具体概念的形成过程。

关键词 冯契 具体概念 具体真理 辩证逻辑 形式逻辑

在线阅读 下载PDF 职称材料

思维的具体内容论——兼为逻辑的形式主义辩护 被引量：1

13

作者 葛宇宁 《唐山学院学报》 2015年第5期25-29,共5页

思维的具体内容一直是人们反对逻辑形式主义的工具,认为形式逻辑脱离了思维的具体内容,不能产生真理,不是真理的逻辑。但遗憾的是,人们在何为思维的具体内容上却远未达成一致意见,有时指思想内容,有时指事物本身,当然,有时也指经验内容... 思维的具体内容一直是人们反对逻辑形式主义的工具,认为形式逻辑脱离了思维的具体内容,不能产生真理,不是真理的逻辑。但遗憾的是,人们在何为思维的具体内容上却远未达成一致意见,有时指思想内容,有时指事物本身,当然,有时也指经验内容。因此理清思维的具体内容,并具体分析其给逻辑基本问题造成的混乱,对逻辑本身的发展具有特别的意义。逻辑的本质就是要"抛弃"思维的具体内容,走形式主义的道路。 展开更多

关键词 思维内容 形式逻辑 逻辑真理 内涵逻辑

在线阅读 下载PDF 职称材料

悖论与塔斯基真理定义

14

作者 朱建平 《渤海大学学报（哲学社会科学版）》 2014年第4期124-129,共6页

塔斯基真理定义的理论有两个目标:一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学(又称元逻辑)研究的是... 塔斯基真理定义的理论有两个目标:一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学(又称元逻辑)研究的是在逻辑框架(一阶和高阶数理逻辑)中理论(特别是数学理论)的形式性质以及逻辑框架本身的性质。真理的概念在元逻辑研究中扮演着重要的角色。然而,由于这一概念会产生悖论,因而,塔斯基的第二个目标是证明"真理"概念可以在元逻辑中一致性地被使用。 展开更多

关键词 真理 形式化语言 真理定义 语义学

在线阅读 下载PDF 职称材料

新时代治理形式主义、官僚主义的理路

15

作者 何强 唐志强 《华北水利水电大学学报（社会科学版）》 2021年第1期24-30,共7页

形式主义、官僚主义具有长期性、复杂性、隐蔽性、顽固性和反复性,与我们党为人民谋幸福、为民族谋复兴的初心和使命相违背,同我们党实事求是的优良作风相背离,是严重影响党群干群关系的“离心墙”,也是当前群众反应强烈的突出问题。在... 形式主义、官僚主义具有长期性、复杂性、隐蔽性、顽固性和反复性,与我们党为人民谋幸福、为民族谋复兴的初心和使命相违背,同我们党实事求是的优良作风相背离,是严重影响党群干群关系的“离心墙”,也是当前群众反应强烈的突出问题。在新时代,形式主义、官僚主义主要表现为重表态轻行动、重痕迹轻实绩、重包装轻实效、重自我轻群众。究其内质根源在于违背党的思想路线、“官本位”思想作祟、利己心过重、政绩观扭曲、干部管理机制不科学、思想教育制度不完善。整治形式主义、官僚主义是一个长期复杂的过程,需要从加强政治建设、强化理论武装、密切联系群众、坚持实事求是、明确问题导向、健全制度体系等方面综合发力、精准施治,推动新时代党的作风建设实现常态化、制度化。 展开更多

关键词 形式主义 官僚主义 治理 实事求是

在线阅读 下载PDF 职称材料

塔尔斯基真理论对戴维森意义理论的影响 被引量：1

16

作者 梁义民 谭伟静 《湛江师范学院学报》 2009年第5期84-89,共6页

塔尔斯基真理论不仅为戴维森意义理论提供了恰当的形式表征框架和经验证据的验证形式的基础,而且为其提供了研究意义等内涵问题的外延主义道路和研究语言与实在的关系的可靠便利的形式分析手段。正是这些重要影响,使得戴维森意义理论将... 塔尔斯基真理论不仅为戴维森意义理论提供了恰当的形式表征框架和经验证据的验证形式的基础,而且为其提供了研究意义等内涵问题的外延主义道路和研究语言与实在的关系的可靠便利的形式分析手段。正是这些重要影响,使得戴维森意义理论将弗雷格等人的真值条件意义理论的构想变成了现实,在众派理论中独树一帜,令人瞩目。 展开更多

关键词 塔尔斯基真理论 戴维森意义理论 形式表征 经验验证 外延主义 形式分析

在线阅读 下载PDF 职称材料

形式逻辑与自然语言刍议——基于徐盛桓先生“充分条件的语用嬗变”一文的思考

17

作者 曾跃都 《鸡西大学学报（综合版）》 2013年第5期116-119,共4页

形式逻辑的最小单位是命题,其基本特征是判断性和真值,因此排除了语句可能具有的真假程度性。形式逻辑核心任务在于区分有效论证和无效论证。它完全排除语境因素,而语言学则将语境作为其研究的基础,因此在研究诸如if条件句这样的自然语... 形式逻辑的最小单位是命题,其基本特征是判断性和真值,因此排除了语句可能具有的真假程度性。形式逻辑核心任务在于区分有效论证和无效论证。它完全排除语境因素,而语言学则将语境作为其研究的基础,因此在研究诸如if条件句这样的自然语言现象时采用形式逻辑系统所做出的结论,对于相关语言学研究的指导意义不大。 展开更多

关键词 形式逻辑 真值 命题 主观性

在线阅读 下载PDF 职称材料

演绎的认识论辩护——一个批评性评论和重构

18

作者 陈波 《绵阳师范学院学报》 2004年第6期1-6,35,共7页

哈克在《演绎的辩护》(1976)一文中指出,演绎辩护将面对一个与归纳辩护类似的二难困境:我们不 能对之提供归纳辩护,这样的辩护太弱了;我们也不能对之提供演绎辩护,这样的辩护将是循环的。本文指出,哈 克原来的证明存在严重疏漏,是不能... 哈克在《演绎的辩护》(1976)一文中指出,演绎辩护将面对一个与归纳辩护类似的二难困境:我们不 能对之提供归纳辩护,这样的辩护太弱了;我们也不能对之提供演绎辩护,这样的辩护将是循环的。本文指出,哈 克原来的证明存在严重疏漏,是不能成立的;但她在论文中表达的思想是重要的,本文为之构造了一个新证明,并 阐发了这个证明的认识论意蕴:通过其所含逻辑常项的解释,逻辑系统与关于日常语言和思维实践的经验发生十 分间接的联系;除了逻辑系统(在技术上)的可靠性和完全性外,还有一个它(在认识论上)是否正确或适当的问 题,即逻辑系统内的形式论证是否充分、适当地刻画了逻辑系统外的非形式论证;不存在对演绎和逻辑系统的绝对 辩护,只存在对它们的相对辩护;逻辑在原则上是可修正的。 展开更多

关键词 证明 辩护 演绎 批评性 认识论 论文 逻辑系统 类似 刻画 正确

在线阅读 下载PDF 职称材料

论求真务实与形式主义

19

作者 陈恭正 《华北水利水电学院学报（社会科学版）》 2008年第6期17-19,共3页

形式主义是一种形而上学的思想观点和方法,是与我们党的全心全意为人民服务的宗旨和实事求是的思想路线相背离的。形式主义的产生有其思想根源和深刻的历史文化背景,也与我国政治体制不完善有关。反对形式主义需要标本兼治:一靠教育,二... 形式主义是一种形而上学的思想观点和方法,是与我们党的全心全意为人民服务的宗旨和实事求是的思想路线相背离的。形式主义的产生有其思想根源和深刻的历史文化背景,也与我国政治体制不完善有关。反对形式主义需要标本兼治:一靠教育,二靠制度。教育是基础,制度是保证。 展开更多

关键词 形式主义 求真务实 工作作风

在线阅读 下载PDF 职称材料

形式真理与逻辑科学 被引量：1

20

作者 马养新 《陕西师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2003年第6期62-68,共7页

命题就是语句表达的对可能世界对象的情况进行断定并且至少具有可能确定真值的思维形态。按照所包含的形式概念是否相同,命题区分为不同的类。形式命题的实质是具体命题的类。通过形式命题可以实现认识具体命题一般属性的目的。普遍有... 命题就是语句表达的对可能世界对象的情况进行断定并且至少具有可能确定真值的思维形态。按照所包含的形式概念是否相同,命题区分为不同的类。形式命题的实质是具体命题的类。通过形式命题可以实现认识具体命题一般属性的目的。普遍有效式是所代表的具体命题个个都具有真的真值。满足关系是当理由型的具体命题真时论断型的具体命题一定真的形式命题关系。形式真理是断定形式命题具有普遍有效性或者满足关系的真实命题。逻辑科学的惟一对象和全部使命是形式真理,逻辑学的发展始终要以追求形式真理为正确方向。 展开更多

关键词 形式真理 逻辑科学 命题 形式命题

在线阅读 下载PDF 职称材料