命题形式与命题的符号化

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

命题形式与命题的符号化

吴坚

文章导航> bob手机在线登陆学报（社会科学版）> 2008> (1): 25-29

吴坚. 命题形式与命题的符号化[J]. bob手机在线登陆学报（社会科学版）, 2008, (1): 25-29.

引用本文:

吴坚. 命题形式与命题的符号化[J]. bob手机在线登陆学报（社会科学版）, 2008, (1): 25-29.

WU Jian. Propositional Form and Symbolization of Proposition[J]. Journal of Beijing Institute of Technology (Social Sciences Edition), 2008, (1): 25-29.

Citation:

WU Jian. Propositional Form and Symbolization of Proposition[J].Journal of Beijing Institute of Technology (Social Sciences Edition), 2008, (1): 25-29.

吴坚^1,

1.
首都经济贸易大学人文学院, 北京 100070

Propositional Form and Symbolization of Proposition

WU Jian^1,

1.
College of Humanities Capital University of Economics and Business, Beijing 100070

摘要:命题形式是用符号来表示的，但命题形式是不是就是命题的符号化？传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入，导致了命题的符号化和命题形式之间的相对分离，使命题形式已不能简单地等同于命题的符号化。命题的符号化可以借助非逻辑常项实现，但纯命题形式不包含非逻辑常项，在纯形式推演中也没有真正意义上的非逻辑常项。
- 命题形式/
- 命题的符号化/
- 变项/
- 常项
Abstract:Propositional forms are expressed by symbols, but can propositional forms be equated with symbolization of propositions? Traditional logic's answer to this question seems to be self-evident, but mathematical logic makes this question complicated. Since predicate logic of mathematical logic introduced non-logical constants, symbolization of propositions and propositional forms were relatively separated, so that proposition forms have not simply equated with symbolization of propositions.Symbolization of propositions can be achieved with the aid of logic constants, but pure propositional forms don't contain non-logical constants, and there are not genuine non-logical constants in pure formal deduction.
- propositional form/
- symbolization of proposition/
- variable/
- constant

[1]	周礼全.逻辑百科辞典[M]. 四川: 四川教育出版社, 1994.
[2]	宋文淦. 符号逻辑基础[M]. 北京: 北京师范大学出版社, 1993.
[3]	杨百顺, 李志刚. 现代逻辑辞典[M]. 湖北: 湖北教育出版社, 1995.
[4]	陈慕泽, 余俊伟. 数理逻辑基础[M]. 北京: 中国人民大学出版社, 2003.
[5]	张尚水. 数理逻辑导引[M]. 北京: 中国社会科学出版社, 1990.
[6]	王宪钧. 数理逻辑引论[M]. 北京: 北京大学出版社, 1982.
[7]	莫绍揆. 数理逻辑初步[M]. 上海: 上海人民出版社, 1980.
[8]	巴克尔S F. 逻辑原理[M]. 湖北: 湖北教育1988.

[1]	刘俊海.论新《公司法》的四项核心原则. bob手机在线登陆学报（社会科学版）, 2022, 24(5): 1-19.doi:10.15918/j.jbitss1009-3370.2022.0878
[2]	赵领娣, 范超, 王海霞.中国碳市场与能源市场的时变溢出效应. bob手机在线登陆学报（社会科学版）, 2021, 23(1): 28-40.doi:10.15918/j.jbitss1009-3370.2021.4972
[3]	芈凌云, 俞学燕, 杨洁.社会影响方式对公众节能行为的干预效果——基于26项现场实验的元分析. bob手机在线登陆学报（社会科学版）, 2017, (4): 8-17.doi:10.15918/j.jbitss1009-3370.2017.1615
[4]	杨雪.县乡干部战略性群体:结构与政策效应——基于一项公共政策的个案研究. bob手机在线登陆学报（社会科学版）, 2015, (3): 70-76.doi:10.15918/j.jbitss1009-3370.2015.0310
[5]	郭小安, 蒲珏伶.网络对谣言的自我净化：可能及影响要素——对人民网研究院调查结果的一项检验与补充. bob手机在线登陆学报（社会科学版）, 2014, (3): 137-143.
[6]	俞立平.高技术产业研发经费投入绩效的地区差距研究——基于动态面板变系数模型的估计. bob手机在线登陆学报（社会科学版）, 2013, (4): 63-68.
[7]	王佺.论干谒之风与唐代文学的新变. bob手机在线登陆学报（社会科学版）, 2011, (1): 136-141.
[8]	薛继亮, 李录堂.农村集体经济实现形式的路径依赖和制度设计. bob手机在线登陆学报（社会科学版）, 2010, (5): 13-17.
[9]	张忠利, 刘春兰.发达国家私人部门提供公共服务形式探析. bob手机在线登陆学报（社会科学版）, 2009, (5): 85-89.
[10]	董灵, 张萌萌.声乐教学的新形式——论数字音频技术在声乐教学中的应用. bob手机在线登陆学报（社会科学版）, 2008, (5): 115-117.
[11]	李娅娜.传统文化作用下的版画形式创新. bob手机在线登陆学报（社会科学版）, 2008, (2): 44-47.
[12]	李悦.电影符号品牌的市场力分析. bob手机在线登陆学报（社会科学版）, 2007, (4): 28-31.
[13]	刘颖.试论《公司法》关于公司组织形式变更制度的发展与缺陷. bob手机在线登陆学报（社会科学版）, 2007, (5): 19-22.
[14]	安红昌.知识传播的符号学原理研究. bob手机在线登陆学报（社会科学版）, 2006, (5): 15-18.
[15]	吴启权, 王春峰, 房振明, 李晗虹.基于SV模型时变参数的中国股市政策效应研究. bob手机在线登陆学报（社会科学版）, 2006, (3): 41-45.
[16]	郭瑞鹏.构建动员型虚拟企业的理论思考——敏捷动员的一种组织实现形式. bob手机在线登陆学报（社会科学版）, 2005, (3): 12-14.
[17]	于小川.近代北京公立市场的形成与变容过程的研究——以东安市场为例. bob手机在线登陆学报（社会科学版）, 2005, (1): 3-7.
[18]	李爽.视觉符号的抽象程度与意义表达. bob手机在线登陆学报（社会科学版）, 2003, (5): 21-23.
[19]	胡霞, 罗昕.符号的交际功能. bob手机在线登陆学报（社会科学版）, 2003, (5): 18-20.
[20]	袁刚.汉官太常寺的组织学分析. bob手机在线登陆学报（社会科学版）, 2002, (4): 69-72.

点击查看大图

计量

文章访问数:848
HTML全文浏览量:0
PDF下载量:41
被引次数:0