陈嘉映讲弗雷格|逻辑学|本体论|认识论|索绪尔|维特根斯坦_网易订阅
概念词和句子的意义是什么,他的界说不尽一致,但关于它们的指称,弗雷格的说法相当一致:概念词指称概念,句子指称真值。概念、真值显然不同于金星这类实存事物,而且,有些专名如数字所指称的也不是实存事物,因此,围绕弗雷格的Bedeutung是否具有统一的意义以及这个统一的意义是什么发生了经久不息的争论,英文译者、中文译者...
孙中原:论《孟子》逻辑学的范畴与原理
从这个意义上说,孟子“知言”的两个原理,“以意逆志”与“知人论世”,可以视为中国逻辑语义学思想的发端和启蒙。结语孟子畅论“辩、名、辞、说、故、理、类”等逻辑范畴与原理,内涵精湛,科学合理,具有重要的理论、历史与现代意义,值得细为品鉴,传承弘扬。更为宝贵的是,孟子把对逻辑学的理论应用于论辩实践,...
弗雷格的本体论的研究方法及难题
弗雷格认为概念的存在与对象的存在是不同的,概念的存在并不要求语句的真,而只是要求概念有意义。囿于篇幅,这里就不讨论关于概念存在的问题。弗雷格的对象与概念之分建立在表达式的逻辑类型的区分上。然而,即使单称词项和谓词有严格的区分,我们也不能以此简单推出对象和概念的严格区分。在《论对象和概念》中,弗雷格在...
于同志:刑事裁判文书的构成要素分析
要力求妥帖、准确;要正确使用简称,一般情况下首次出现用全称,后续内容中可用简称;要正确使用数字,做到“真”“准”“慎”;要恰当适用量词,包括何种情况下使用一般量词(如“一些”“不少”“有的”“有些”),何种情况下使用全称量词
人机关系中的??逻辑与非逻辑
量词:量词用于描述谓词逻辑中的泛化和特化。常见的量词有全称量词(??,代表“对所有的对象都成立”)和存在量词(??,代表“存在一个对象成立”)。例如,??xP(x)可以表示“对于所有的x,P(x)成立”,??xP(x)可以表示“存在一个x,使得P(x)成立”。
杨红玉:论金岳霖 《逻辑》 中的 “弗雷格-罗素论题”
正是基于量词域的这一特征,弗雷格指出全称命题表达的是一种条件性(conditionality):对于“所有人是有理性的动物”这样的全称命题,虽然句子中没有出现个体词,但这个句子真正的逻辑主语还是个体词;“人”和“有理性的动物”两个概念无论在语法上是主语还是宾语,在逻辑上它们都是谓词,都是用来谓述个体词的;而“所有...
论逻辑后承概念
的特称句子,其中“n”代表某个给定的(如十进制)数字系统中指称自然数的任何符号。另一方面,全称句子A.每一个自然数都具有给定的性质P三、语义方法第一个尝试为真正的后承概念表述一种精确定义的人是卡尔纳普。6但这种尝试与选定为研究主题的形式化语言的特殊性质密切相关。卡尔纳普提出的定义可以表述如下:...
2016考研逻辑基础:集合概念与非集合概念
可以尝试这样的方法进行辨识:在这个词的前面加上全称量词,比如,加上“所有的”,也可以加上“每一个”,或者加上“任何”,如果加上这样的全称量词后该判断没有任何改变,还是原来的意思,那这个词表达的就是非集合概念,如果加上这样的全称量词后,该判断就不对了,或意义改变了,那这个词表达的通常就是一个集合概念...
“有一些”量词打翻“所有的”整个一群人
量词“有的(有一些)”、“所有的(每一个)”是经典一阶逻辑仅有的两个量词,“存在量词”和“全称量词”,分别表示为“x”、“x”,读作“存在x”、“对于所有的x”,符号和分别是上下颠倒的A(All,所有的)和左右翻转的E(Exist,存在)。存在量词和全称量词都是一元函数:如果P是任意的公式,x是任意的个体变...
极限——大学数学的基础和核心,你真的理解了吗?
全称量词上面表达式的意思是,S的每个元素(表示为k)都将满足后面的条件。你可以把它看作是对那些不相信你接下来要说的话的人的一种挑战。"你不相信我?挑选S中的任何元素,称其为k,k将满足这个右边的一切条件。"定义中全称量词的两个实例是:第一个表达式意味着你可以选择任何你想要的正数。第二个表达式意味...