程和祥
- 作品数：3 被引量：3H指数：1
- 供职机构：西南政法大学行政法学院更多>>
- 发文基金：重庆市社会科学规划项目教育部人文社会科学重点研究基地度重大研究项目湖南省教育厅科研基金更多>>
- 相关领域：哲学宗教更多>>
- 论命题演算系统?中的演绎与证明被引量：3
- 2018年
- 在命题演算系统中?,由于演绎定理的运用,演绎序列通常都会较为简单,而证明中只能使用公理和MP规则,因而证明的步骤较为复杂。而且,有一类定理的演蜂程序比较容易获得,而证明步骤却常常让人"意想不到"。在数理逻辑的教学过程中,如何寻找"证明的技巧",是一个颇为实际的问题。事实上,对于有一类定理,通过对演绎程序的"仔细观察",可以获得相应的"证明技巧"。
- 程和祥贺什
- 批判与超越:历史唯物主义视域下的“主—奴辩证法”
- 2014年
- 部分学者在"主—奴辩证法"中解读出"主人变成奴隶,奴隶转变成主人",纯属误解。基于唯物史观,从感性活动和历史的角度,对"主—奴辩证法"进行分析,将戳破"主—奴关系"反转的哲学神话;在黑格尔的表述中,奴隶并没有在现实中冒生命危险去实现自己的自由,而是倒向了斯多葛主义、怀疑主义与基督教主义,因而并没有"转变成主人"。"主—奴辩证法"作为黑格尔青年时期最深刻、最神圣的思想之一,其中的欲望论题、承认论题、死亡论题以及劳动论题,都成了后人汲取思想的重要资源。
- 李贞元程和祥
- 关键词：神话感性活动
- “否定性行动”何以可能
- 2020年
- "否定性行动"的存在性在行动哲学中一直备受质疑。以克拉克为代表的否定派宣称它不可能是行动,而以摩塞尔为代表的肯定派则认可它的存在性。梳理和分析两派的观点与论证,可以发现争论的焦点在于"否定性行动"能否指称外在事件。通过反驳否定派的两种典型论证,对"否定性行动"的可能性问题作出如下结论:如果坚持行动的事件因果论进路,那么"否定性行动"只能退化为一种指称肯定性行动的否定性描述;若允许基于意图因果的心理行动,则"否定性行动"可以作为一种特殊的行动类型而存在。
- 王淑庆程和祥
