弗雷格的本体论的研究方法及难题
2024年5月13日 - 新浪
打开任意一本数理逻辑的教科书,就会发现教科书中所讲述的形式语言都先默认了语言有几种基本的符号,比如个体变元、个体常量、函数符号、量词、谓词等等,而不再考虑怎样判定自然语言的个体常量、函数符号、谓词等等。当然,这种默认是出于学科研究的需要。哲学就不同了,它要问我们怎样判定自然语言的逻辑—句法的不同表达式...
详情
打开任意一本数理逻辑的教科书,就会发现教科书中所讲述的形式语言都先默认了语言有几种基本的符号,比如个体变元、个体常量、函数符号、量词、谓词等等,而不再考虑怎样判定自然语言的个体常量、函数符号、谓词等等。当然,这种默认是出于学科研究的需要。哲学就不同了,它要问我们怎样判定自然语言的逻辑—句法的不同表达式...