逻辑形式
在逻辑中,逻辑形式()是一个陈述在形式系统中的精确定义语义版本。非正式地说,逻辑形式试图将一个可能有歧义的陈述为一个在形式系统中具有精确、无歧义的逻辑解释的陈述。在一个理想的形式语言中,逻辑形式的含义可以仅从语法唯一确定。 逻辑形式的概念由伯特兰·罗素在1914年引入,作为他哲学逻辑计划的一部分。罗素写道:「对逻辑形式的某种知识,尽管对大多数人而言并不明确,但涉及对所有话语的理解。哲学逻辑的任务就是将这种知识从其具体的外壳中提取出来,使…
共 7 篇文章
在逻辑中,逻辑形式()是一个陈述在形式系统中的精确定义语义版本。非正式地说,逻辑形式试图将一个可能有歧义的陈述为一个在形式系统中具有精确、无歧义的逻辑解释的陈述。在一个理想的形式语言中,逻辑形式的含义可以仅从语法唯一确定。 逻辑形式的概念由伯特兰·罗素在1914年引入,作为他哲学逻辑计划的一部分。罗素写道:「对逻辑形式的某种知识,尽管对大多数人而言并不明确,但涉及对所有话语的理解。哲学逻辑的任务就是将这种知识从其具体的外壳中提取出来,使…
語意記憶(Semantic memory),又稱語義記憶、字義記憶,是一種記憶的型態。它是一種對於一般知識的事實與概念的了解,透過語言、文字、數字、演算法等抽象性的了解來形成記憶。語意記憶通常是經由情節記憶發展而來,是一種客觀性的知識,與個人經驗無關。 外顯記憶(或陳述性記憶 )是對事實或事件的記憶,可以被清晰地儲存及提取,外顯記憶有两种类型,而語意記憶是其中之一。在我们一生中所累积的世界的一般性知识即為語意記憶。这种常识性知識(com…
在语言学中,直指()是指用词或短语来指代语境中特定的时间、地点或人物,比如明天、那里、他们这些词。這些詞原本的意义是固定的,但是其指代意义會因时间和/或地点的不同而变化。 一个与直指相关的概念是回指。有的语言学家会把回指作为直指的一种,有的则把这两个概念完全区分开来。 类型 传统的范畴 Charles J. Fillmore 用 "主要语法化类型 "一词来指代最常见的语境信息类别:人、地点和时间。类似的范畴化方法在其他地方也可以找到。 …
普通语义学()是主要研究语言对思维与行为影响的一个哲学流派,由美籍波兰裔哲学家阿尔弗雷德·柯日布斯基创立。查尔斯·凯·奥格登与I·A·瑞恰慈于1923年合著的《》一书是普通语义学思想的先行者。而柯日布斯基于1933年出版的《科学与健全精神:非亚里士多德体系与普通语义学入门》(Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semant…
语言学中,定指性()是名词短语语义特征之一,区分了特定语境(限定名词短语)中限定的指称对象或涵义与不定的(不定名词短语)。典型限定名词短语会突出一个独特、熟悉、具体的指称对象。 不同语言中,定指性的表达有着相当大的差异,日语等语言一般不做标记。英语等语言则一般通过选择限定词来进行标记。丹麦语等语言则通过词形变化来标记。 “语法上的定指性和认知上的能识性间的理论区别,能帮我们区分离散的(语法)和不离散的(认知)类别。” 不同语言中的语例 …
受事是表示动作或状态变化的承受者的语义角色。有时“主题”和“受事”可以指同一概念。 在区分两者的情景下使用时,“受事”指变化的状态的承受者(“我撞了车”);“主题”则没有这一功能(“我有车”)。在这种区分方式下,状态动词施加于主题,动作动词施加于受事。 理论 一般地,句子表达状况,句中动词表示动作,名词短语表示受事。 例如,句子“张三吃饭”中,“饭”是受事。一些语言中,受事需要变格或添加其他标记以表示其语法功能。例如,日语中,动作及物动…
標名,也称寓意名或标示名,指和身份或职业相符的姓名。標名不考慮因果關係,如為什麼姓名與職業相符,因此和姓名決定論的假设不同。。 参考文献