高士忠
- 作品数：13 被引量：1H指数：1
- 供职机构：武汉科技大学商学院更多>>
- 相关领域：经济管理哲学宗教理学社会学更多>>
- 社会最终总产品与社会总资本的有机构成
- 2004年
- 提出了商品加工全过程的价值分析公式并运用这一公式,对社会总产值的价值组成进行了分析,论证了社会总资本由社会总固定资本和社会总可变资本组成,社会总资本的有机构成只能用社会总固定资本与社会总可变资本的比例来衡量。
- 高士忠
- 社会最终产品两大部类的价值构成与实现
- 2006年
- 提出并证明了一个新的价值组成分析公式,认为商品的价值由三部分组成:一是所有加工阶段固定资本折旧的总和,二是所有加工阶段可变资本的总和,三是所有加工阶段剩余价值的总和。以这一公式为基础,构造了劳动资料与消费资料年产品价值构成公式,最后提出了,劳动资料与消费资料价值实现条件的新公式。
- 高士忠
- 时态命题演算T_1的树枝图及其应用
- 1994年
- 将命题演算语义树理论扩充到非标准逻辑，建立了时态命题演算Ｔ１的树枝图，并证明这种树枝图从语义上能判别Ｔ１的有效式，Ｔ１的无效式，从语法上能判别Ｔ１系统的定理，非定理的其它公式．
- 高士忠
- 关键词：模态逻辑模型论
- 论周延的语义解释
- 1999年
- 本文所作的主要工作 ,是将传统逻辑的欧拉图扩充成性质命题形式的语义解释 ,严格区分性质命题形式的主项 (或谓项 )与性质命题主项 (或谓项 )这两个不同层次的概念 ,从语义角度定义了周延、不周延这两个概念 。
- 高士忠
- 论统计假设检验的逻辑基础
- 2003年
- 研究了统计假设检验的逻辑基础,指出小概率事件不是不可能事件,"概率反证法"不是反证法。提出了拒绝原假设的推理公式及其特征,认为接受原假设应用的是概率回溯推理。在研究中,第一次提出了偶然概括推理,并运用克瑞普克语义学讨论推理中的语义问题。
- 高士忠
- 关键词：统计假设检验
- 论生产关系、经济结构、经济基础的区别被引量：1
- 2001年
- 文章分析了“生产关系”、“经济结构”、“经济基础”这三个概念的区别 ,揭示了现有经济基础理论中包含着逻辑矛盾。在这个基础上 ,下了一个新的经济基础的定义 :一定社会的经济基础是与该社会占统治地位的生产关系具有非对抗性矛盾的各种生产关系的总和 (或系统 )
- 高士忠
- 关键词：经济结构经济基础上层建筑政治
- 论性质命题形式项的周延性
- 1996年
- 周延问题是我国逻辑学界讨论了较久的一个理论问题.笔者以为,现有的某些周延理论需要精确,需要完善.本文所作的工作是:将传统逻辑的欧拉图扩充成性质命题形式的语义解释,严格区分性质命题形式的主项或谓项与性质命题的主项或谓项这两个不同层次的概念,并从语义角度论述性质命题形式项的周延性;剖析某些周延理论中隐藏的逻辑矛盾,并说明本文的周延理论是怎样消除逻辑矛盾,完善现有的周延理论.一性质命题形式的语义解释定义1.1:性质命题形式(或公式)指的是SAP、SEP、SIP、SOP这四种形式,在本文中有SHP代表这四类公式,S是性质命题形式的主项,P是性质命题形式的谓项.定义1.2:性质命题是指对性质命题形式的主项和谓项代入具体的词项所形成的有意义的命题.例如,将SAP的S的代入“白马”,将P代入“马”得到“所有白马是马”是一个性质命题,其中“白马”是主项,“马”是谓项.
- 高士忠
- 关键词：谓项普通逻辑命题形式主项逻辑矛盾
