资源描述：
《Logic of Fiction and Logic in Computer Science.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、LogicofFictionandLogicinComputerScienceChayuntMathonDepartmentofPhilosophy,ChulalongkornUniversityThailandFictionsFictionalDiscourseFictiveDiscourseMetafictiveDiscourseTransitiveDiscourseTheoriesofFictionOntologicalAnalysisFictive-operatorAnalysisPretense,Imagination,andMakeBelieveAna
2、lysisFictionalDiscourse[WoodsandAlward,2004]thoughthatthebelowaspectsoffictionareaxiomofnaïvetheoriesoffictionalityorourpre-theoreticintuitionsregardingfictions.Referenceispossibletofictionalbeingseventhoughtheydonotexit.A.Somesentencesaboutfictionalbeingsandeventsaretrue.B.Someinfere
3、nceaboutfictionalbeingsandeventsarecorrect.C.Thesethreefactsarenamepossible,inacentralway,byvirtueofthecreativeauthorityofauthorsoffiction.Indeed,theprimaryandoriginatingcriterionoftruthforfictionalsentencesistheauthor’ssayso.D.Thesethreefactsarenamepossible,inacentralway,byvirtueofth
4、ecreativeauthorityofauthorsoffiction.Indeed,theprimaryandoriginatingcriterionoftruthforfictionalsentencesistheauthor’ssayso.E.Itispossibleforafictionaltruthtomakereferencetorealthings.Forexample,“SherlockHolmeslivedinLondon”istrueandreferstotheactualcapitalcityofEngland.OntologicalVie
5、wThisviewbelievesthatsentencesoffictionalandnon-fictionaldiscoursehavethesamelogicalform,butadistinctrangeofentitiesserveasthesemanticvaluesoffictionalandnon-fictionalexpressions.Theexemplarsare:Qusasi-actualistMeinongeanaccountsofthereferentsoffictionalnames([Parsons,1975]and[1980]an
6、d[Routley,1979]andCf.[Castaneda,1979]and[Zalta,1983]).TheversionofParsons’correlatedwitheachnon-emptysetofpropertiesadistinct,specificobject;existentandnon-existent.Fictionalobjectsareasubclassoftheclassofnon-existentobjects.Theyaretheobjectscorrelatedwithsetsofthefollowingsort,wherex
7、isafictionalobject:x=theobjectcorrelatedwith{p:accordingtotherelevantbodyofliterature,xhasp}.Anexampleofthisschemeis{p:accordingtotheConanDoylestories,SherlockHomeshasp}.Theconsequenceofsuchtreatisthat,fictionalobjectscanentertoasentenceorthelikeandmakeittohavetruth-value“true”.Fictiv
8、e-Ope
