6 Information-theoretic logic6信息论逻辑

6 Information-theoretic logic6信息论逻辑

ID:39077403

大小:60.85 KB

页数:19页

时间:2019-06-24

6 Information-theoretic logic6信息论逻辑_第1页
6 Information-theoretic logic6信息论逻辑_第2页
6 Information-theoretic logic6信息论逻辑_第3页
6 Information-theoretic logic6信息论逻辑_第4页
6 Information-theoretic logic6信息论逻辑_第5页
资源描述:

《6 Information-theoretic logic6信息论逻辑》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、Corcoran,J.1998.Information-theoreticlogic,inTruthinPerspectiveeditedbyC.Martínez,U.Rivas,L.Villegas-Forero,AshgatePublishingLimited,Aldershot,England(1998)113-135.6Information-theoreticlogicJohnCorcoranInmemoryofAlfredTarski1901-1983andAlonzoChurch1903-1995onthefortiethannivers

2、aryoftheirclassicworks:Logic,Semantics,MetamathematicsandIntroductiontoMathematicalLogic.6.1.IntroductionInformation-theoreticapproaches[114]toformallogicanalysethe"commonintuitive"conceptofprepositionalimplication(orargumentalvalidity)intermsofinformationcontentofpropositionsan

3、dsetsofpropositions:onegivenpropositionimpliesasecondiftheformercontainsalloftheinformationcontainedbythelatter;anargumentisvalidiftheconclusioncontainsnoinformationbeyondthatofthepremise-set.Thispaperlocatesinformation-theoreticapproacheshistorically,philosophicallyandpragmatic

4、ally.Advantagesanddisadvantagesareidentifiedbyexaminingsuchapproachesinthemselvesandbycontrastingthemwithstandardtransformation-theoreticapproaches.Transformation-theoreticapproachesanalysevalidity(andthusimplication)intermsoftransformationsthatmaponeargumentontoanother:agivenar

5、gumentisvalidifnotransformationcarriesitontoanargumentwithalltruepremisesandfalseconclusion.Model-theoretic,set-theoretic,andsubstitution-theoreticapproaches,whichdominatecurrentliterature,canbeconstruedastransformation-theoretic,ascantheso-calledpossible-worldsapproaches.Ontica

6、ndepistemicpresuppositionsofbothtypesofapproachesareconsidered.Attentionisgiventothequestionofwhetherourhistoricallycumulativeexperienceapplyinglogicisbetterexplainedfromapurelyinformation-theoreticperspectiveorfromapurelytransformation-theoreticperspectiveorwhetherapparentconfl

7、ictsbetweenthetwotypesofapproachesneedtobereconciledinordertoforgeanewtypeofapproachthatrecognizestheirbasiccomplementarity.6.2.PreliminariesTheinformation-theoreticviewpointdominatedlogicintheperiodduringwhichtheseedsofmathematicallogicwerebeingsownbyBoole,DeMorgan,Jevons,Venna

8、ndothers.Infact,thewritingsofthelogicianswhosuc

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。