首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  免费   0篇
综合类   1篇
  2018年   1篇
排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
为了使断言与非断言的区分一目了然,吉奇引入弗雷格逻辑系统中的判断杠这一符号,将它添加在被断言的语句之前。但实际上,吉奇的这一做法是对弗雷格判断杠的误解:第一,不需要借用任何专门的符号来判别一个语句是否得到了断言。第二,弗雷格的判断杠是添加在没有判断力的表达式之前,而非直接加在本来就具有判断力的自然语句之前。弗雷格创造判断杠这一符号是服务于他的函数分析法的,目的是恢复已被他剥夺了判断力的自然语句的判断力。判断杠“|”是一个判断表达式生成器,将它置于真值表达式“—▲”之前,就构造出判断表达式“|—▲”。虽然在转向谓词分析法的现代逻辑中,这一符号已不再被使用,但是,弗雷格通过判断杠及其相关设施所做的铺垫,才使得现代逻辑对传统逻辑的超越成为可能。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号