首页 | 本学科首页   官方微博 | 高级检索  
   检索      


Frege's Content-Principle and Relevant Deducibility
Authors:Tennant  Neil
Institution:(1) Department of Philosophy, The Ohio State University, Columbus, OH 43210, USA
Abstract:Given the harmony principle for logical operators, compositionality ought to ensure that harmony should obtain at the level of whole contents. That is, the role of a content qua premise ought to be balanced exactly by its role as a conclusion. Frege's contextual definition of propositional content happens to exploit this balance, and one appeals to the Cut rule to show that the definition is adequate.We show here that Frege's definition remains adequate even when one relevantizes logic by abandoning an unrestricted Cut rule. The proof exploits the fact that in the relevantized logic, which abandons the unrestricted rule of Cut, any failure of the transitivity of deduction is offset by the epistemic gain involved in learning that a stronger-than-expected result holds.
Keywords:content  cut  entailment  harmony  intuitionistic logic  perfect validity  relevant logic  transitivity of deduction
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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