词条 命题

命题

在现代哲学、逻辑学、语言学中,命题是指一个判断(陈述)的语义(实际表达的概念),这个概念是可以被定义并观察的现象。命题不是指判断(陈述)本身。当相异判断(陈述)具有相同语义的时候,他们表达相同的命题。例如,雪是白的(汉语)和Snow is white(英语)是相异的判断(陈述),但它们表达的命题是相同的。在同一种语言中,两个相异判断(陈述)也可能表达相同命题。例如,刚才的命题也可以说成冰的小结晶是白的,不过,之所以是相同命题,取决于冰的小结晶可视为的有效定义。

通常,命题是指闭判断,以区别于开判断,或谓词。在这种情况下,命题不是真的就是假的。哲学学派逻辑实证主义支援这一命题的概念。

一些哲学家,诸如约翰•希尔勒,认为其他形式的语言或行为也判定命题。是非疑问句是对命题真值的询问。道路交通标志不通过语言和文字也表达了命题。使用陈述句也可能给出一个命题而不判定它,例如,在当老师请学生对某个引用...

命题相关文献
岭南文化―工艺美术―岭南盆景的命题与陈设
岭南文化―工艺美术―岭南盆景的命题与陈设,(一)命题给盆景命题,即是对盆景的意境进行概括,并给欣赏者一种启示。一盆造型优美
查看全文
岭南文化—工艺美术—岭南盆景的命题与陈设
岭南文化—工艺美术—岭南盆景的命题与陈设,(一)命题给盆景命题,即是对盆景的意境进行概括,并给欣赏者一种启示。一盆造型优美
查看全文
命题逻辑
术语一般地说,演算是一个形式系统,包括一套语法表示式(合式公式)、这些表示式的一个特定子集(公理)和一套定义了特定的二元关系的形式规则,这个二元关系可解释为表示式空间上的逻辑等价关系。若形式系统会作为一个逻辑系统,其表示式会被解释成数学陈述,且其规则,被称之为“推理规则”,则一般会是保真的。在此设定下,规则(可能也包括公理)可以被用来从给定为真的陈述的公式中推导出表示真的陈述的公式来。公理的集合可能为空集、非空有限集、可数无限集或由公理模式所给定。形式文法递回地定义了语言的表示式和合式公式。之外,有时也可以给定一个语义,用以定义真值和赋值(或解释)。命题运算的语言包括:(1)一套原始符号,被称之为“原子公式”、“占位符”、“命题字母”或“命题变量”;(2)一套运算符号,被称之为“逻辑运算符”。一个“合式公式”是任一原子公式,或任一以运算符号依文法规则由原子公式建立起的公式。在下文中我们描述...
查看全文
命题
命题的分类命题可依分析-综合、必然-偶然、先验-后验三大特性区分。传统哲学认为命题或为分析的、必然的、且先验的,或为综合的、偶然的、且后验的,但这些观点近来受到了一定程度的挑战。(注:以下命题后为&q
查看全文
命题变量
引用Smullyan,RaymondM.First-OrderLogic.1968.Doveredition,1995.Chapter1.1:FormulasofPropositionalLogic.参见布尔代数布尔数据类型谓词变量原子公式
查看全文
命题相关标签
逻辑
语义学
语言哲学
家族谱大览
8394.山西乡试录(别名:山西乡试题名录)
封面题 : 山西乡试题名录
浏览:100
刘氏家乘
原书: [出版地不详] : 彭城堂, 1998年修. 10册 : 插图, 世系表. 收藏者 : 金华市成蹊信息发展有限公司. 注 : 本谱为四房合刊(福初, 纯初, 玉初, 荣初). 始祖 : (元) 刘翊圣,字益赞. 原籍江西吉安府,因官徙上湘. 石磴祖 : 刘天锡,字端甫,号太元,行九. 心田派祖 : (明) 刘万诩,讳少山. 四大房祖 : (明清之际) 刘元樟,字福初 ; 刘元楜,字纯初 ; 刘元梿,字玉初 ; 刘元珏,字荣初. 散居地 : 湖南省湘乡县等地. 书名据书衣题编目. 书名页题 : 刘氏家乘. 版心题 : 石磴刘氏心田五修房谱.
浏览:100
刘氏家乘
原书: [出版地不详] : 彭城堂, 1998年修. 10册 : 插图, 世系表. 收藏者 : 金华市成蹊信息发展有限公司. 注 : 本谱为四房合刊(福初, 纯初, 玉初, 荣初). 始祖 : (元) 刘翊圣,字益赞. 原籍江西吉安府,因官徙上湘. 石磴祖 : 刘天锡,字端甫,号太元,行九. 心田派祖 : (明) 刘万诩,讳少山. 四大房祖 : (明清之际) 刘元樟,字福初 ; 刘元楜,字纯初 ; 刘元梿,字玉初 ; 刘元珏,字荣初. 散居地 : 湖南省湘乡县等地. 书名据书衣题编目. 书名页题 : 刘氏家乘. 版心题 : 石磴刘氏心田五修房谱.
浏览:100
1.义门陈氏宗谱 四卷首二卷 , 1, 1425-1889
原书: [出版地不详] : 德星堂 , 光绪15 [1889]. 5册 : 插图, 世系表. 注 : 提修陈发然,字得明 ; 陈奇笃,字集高. 编次陈材南,号慎斋 ; 陈发钊,号茂枬. 注 : 此谱部分页数破损,模糊不清无法阅读. 始迁祖(1世) : 陈朝竖. 由江右顺昌迁居武昌. 朝竖公下五子(2世) : 陈文璋(迁施南恩施县,另有支谱) ; 陈文魁(居汝眉庄祖宅) ; 陈文礼(居梅树窝庄) ; 陈文达(止) ; 陈文俊(居南山下庄). 文魁公派下房祖(10世) : 陈思皇. 生子三 : 陈南薰 ; 陈凤衔 ; 陈汝眉. 文礼公派下房祖(5世) : 陈友富; 陈友贵 ; 陈友兴 ; 陈友旺. 文俊公派下房祖(6世) : 陈志銮,字福銮 ; 陈志旺,字福旺. 老派行 : 德积声名远 身修善流芳 义门人蔚启 颖川俎豆香. 康熙年间御派 : 志代守世天恩重 贤材奋发显奇雄 佐国宜展经济业 安邦应建硕肤功 翰光耀斗成云汉 英武图麟继令公 兰桂森庭鸣玉佩 金章彩诰袭朝荣. 散居地 : 湖北省武昌县等地. 书名据版心题编目. 书衣题 : 陈氏宗谱.
浏览:100
2.义门陈氏宗谱 四卷首二卷 , 2, 1425-1889
原书: [出版地不详] : 德星堂 , 光绪15 [1889]. 5册 : 插图, 世系表. 注 : 提修陈发然,字得明 ; 陈奇笃,字集高. 编次陈材南,号慎斋 ; 陈发钊,号茂枬. 注 : 此谱部分页数破损,模糊不清无法阅读. 始迁祖(1世) : 陈朝竖. 由江右顺昌迁居武昌. 朝竖公下五子(2世) : 陈文璋(迁施南恩施县,另有支谱) ; 陈文魁(居汝眉庄祖宅) ; 陈文礼(居梅树窝庄) ; 陈文达(止) ; 陈文俊(居南山下庄). 文魁公派下房祖(10世) : 陈思皇. 生子三 : 陈南薰 ; 陈凤衔 ; 陈汝眉. 文礼公派下房祖(5世) : 陈友富; 陈友贵 ; 陈友兴 ; 陈友旺. 文俊公派下房祖(6世) : 陈志銮,字福銮 ; 陈志旺,字福旺. 老派行 : 德积声名远 身修善流芳 义门人蔚启 颖川俎豆香. 康熙年间御派 : 志代守世天恩重 贤材奋发显奇雄 佐国宜展经济业 安邦应建硕肤功 翰光耀斗成云汉 英武图麟继令公 兰桂森庭鸣玉佩 金章彩诰袭朝荣. 散居地 : 湖北省武昌县等地. 书名据版心题编目. 书衣题 : 陈氏宗谱.
浏览:100
1.明清两朝历科题名碑录
注 : 明清两朝进士题名录
浏览:100