双重否定句 语法修辞

双重否定句是在同一句中用两个相互配合的否定词来表达含义的现象。它存在于世界上很多语言中。根据具体语言的不同,双重否定句可用于表达否定或肯定两种相反的含义。英语标准英语语法在主从复合句中存在双重否定的应用,而过在单句中基本没有。但在日常口语中,经常可以听到貌...

复合性原理 语义学

在数学、语义学和语言哲学中,复合性原理是指,一个复杂表达式的意义是由其各组成部分的意义以及用以结合它们的规则来决定的。复合性原理认为,在有意义的句子中,如果实词部分被从句子中脱离出去,所剩下的东西就是复合的规则。例如句子“苏格拉底是哲学家”。一旦有意义的词法项...

命题 语言哲学逻辑

命题(proposition),在现代哲学、逻辑学、语言学中是指一个判断(陈述(逻辑))的语义(实际表达的概念),这个概念是可以被定义并观察的现象。命题不是指判断(陈述)本身。当相异判断(陈述)具有相同语义的时候,他们表达相同的命题。例如,雪是白的(汉语)和Snowiswhite(英语)是相异的判断(陈述),但...

定义 哲学术语哲学逻辑

定义(definition)是透过列出一个事件或者一个物件的基本属性来描述或规范一个词或一个概念的意义;被定义的事物或者物件叫做被定义项,其定义叫做定义项。例如“一个单身汉是一个未婚男子”这个定义中“单身汉”是被定义项,“未婚男子”是定义项。定义中的“一个”和“是”均可...

外延 语义学方法论

一个想法或(语言)表达的外延由它所适用于的事物构成;它是相对于内涵的。这个一般概念来自语义学,也适用于一些其他领域。目录1数学2计算机科学3语义学4形而上学蕴涵5普通语义学6参见数学在数学中,数学概念的“外延”是这个概念所指定的集合。例如,函数的外延是由函数的参数和值...

操作语义学 计算机逻辑编程语言语义

语言语言学操作语义学是计算机科学中的一个概念,它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学,包括公理语义学和指称语义。一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义...

焦点 (语言学) 语法范畴语法实体

焦点(缩写为:foc)是一种语法的类别,用于确定句子的哪一部分能够提供新的、不可推导的或对比的信息。1焦点与信息结构有关。对比焦点尤其是指与对话者(语言学)的前提相反之信息编码。234相关词条包括评论以及述位(Rheme)。456参见主题与评论话题优先语言c-command注释^Hallida...

博弈语义 语义学计算机逻辑

语言语言学博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义,比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。目录1直觉主义逻辑,指称语义,线...

演员模型的指称语义 编程语言语义

演员模型的指称语义(DenotationalsemanticsoftheActormodel)是演员的指称域理论的研究主题。这个主题的历史发展参见指称语义的历史。目录1演员不动点语义1.1阶乘函数的例子1.2从演员语义得出Scott连续性1.3编程语言中的复合性2引用演员不动点语义计算系统...
Copyright© 2020 丛云角网蜗 Themes by cele