download-逻辑心理与认知论后弗雷格时代逻辑学

36320065()JournalofZhejiangUniversity(HumanitiesandSocialSciences)Vol.36,No.3May2006::;;;,,,202050,,,,,,;,,,,,,,,985,,,:[]20060228[][](1950),,,,,,,(,100084)[]20,,,,,,,,,,[];;;;[]B81205[]A[]1008942X(2006)0300050820,,,;20,,,,,,(1884),,gold,,4gold4,gold4:4?,44,[1]153,:,,,,;[2]5,,,[2]8,,,:,;,,,[2]7,,,:,,,[2]13,,:,,[1]174-175,,:,,,,,,,,,,,,,,6()36VanHeijenoort,J.(1967).FromFregetoGÊdel:asourcebookinmathematicallogic1879-1931.Cambridge,Massachusetts,p5-8,1982,294,,(mathematicallogic),,(high2orderlogic)(classicallogic),,,,:,,,,,,,20,,20,,,mathematicallogic,,!mathematicallogic,,,mathematicallogic,,mathematicallogic,mathematicsandlogiclogicformathematicians,,,,,,,,20,:,,(1884),[3]47-48,:,;,,,,:,,,,,,[4]60-61[4]61,,,,C,ab,C=a/b,,,,,1012345,12345,,73:,,,8()36,,,,:,[8]264,:,;,,,,,2050,:,,,,,,?,?,??,??,PET?,::[9]191,:,[10]22,172,:,,,,,,,(built2instructure),,,,,,,,:,,,[11]134,(structuredependence),,(M.Gopnik)KK,93:,,31:2,,;5,3,2,;24,11(56),13(67)1,,,,2070,,,,,R.J.TheLogicofMind(1989,2)MatrixLogicandMind(1992)Mind:IntroductiontoCognitiveScience(1996)MentalLogic(1998)CoherenceinThoughtandAction(2000),,01()36Gopnik,M.(1994).Impairmentsoftenseinafamiliallanguagedisorder.JournalofNeurolinguistics8:112.SeealsoSmith,N.(2004).Chomsky:IdeasandIdeals.Secondedition.CambridgeUniversityPress.P132(),:,:A,44,(2):2A,,;7,;4?,4,7B,,A,,,?,,,!,!,,!,2050,:,?,?2070,:!,,,,;,,?,,,,,,[][1]G.:[A].,.[C].,.:,2003.149-183.[2]G..[M].,.:,1998.[3]R..[A].,.[C].,.:,2003.47-60.[4]A..[A].,.[C].,.:,2003.60-70.113:,,20046,23-30[5].[A].,.[C].,.:,2003.70-76.[6].[M].,.:,1996.[7].[A]..[C].:,2001.430-441.[8]J..[A].,..[C].:,2001.[9]CHOMSKYN.RulesandRepresentations[M].Oxford:Blackwell,1980.[10]PAISA.SubtleistheLordTheScienceandtheLifeofAlbertEinstein[M].Oxford:OxfordUniversityPress,1982.[11]CHOMSKYN.Grammargrowsinmind.InRulesandRepresentations[M].Oxford:Blackwell.1980.[12]SMITHN.Chomsky:IdeasandIdeals[C].Cambridge:CambridgeUniversityPress,2004.Logic,MindandCognitionOntheDevelopmentofLogicinthepost2FregeTimeCAIShu2shan(SchoolofHumanitiesandSocialSciences,TsinghuaUniversity,Beijing100084,China)Abstract:Fregeslogic,whichdeniesthefactorsofmankindandhismind,isjustsuitableinsomefields,e.g.indeduction,butnotininduction,ofmathematics.Wewouldbewrongifweextendedhistruthtootherfields,forexample,dailylifeorphilosophy.SomethinglikethefactorsofmankindandmentalelementsthatFregegaveupisjustthestartingpointofnewrevolutioninlogicandphilosophy.AfterFrege,logiciansandphilosophersreturnedtothenaturallanguageinthemiddleofthe20thcentury.J.L.Austin(1955)foundsomekindsofutterances,performativesthatareofdoingsomethinginsayingsomething,whicharemeaningfulbutnottrueorfalse.Then,hecreatedhisfamoustheoryofspeechacts,whichisthefoundationaltheoryofpragmaticsthatgivesconsiderationtoman,theuseroflanguage.N.Chomsky(1957)developedhissyntactictheoryinrationalismandpsychologism,whichtakesLanguageFaculty(LF)asinnate,viewinglanguageasthemirrorofmind.Afterthesedevelopments,anewinter2discipline,cognitivescience,wassetupinthemid1970s.Therefore,thisauthorthinksthatitwouldbenecessarytoinstituteanewframeoflogicinthebackgroundofcognitivescience,say,cognitivelogic.Theauthorgotthecognitivelogicsystemmadeupofsixdisciplines2philosophicallogic,mentallogic,logicoflanguage,logicsincultureandevolution,logicsinAI,andlogicofneuro2web2bymappingsixbranchesofcognitivescienceintothefieldsofmodernlogic.Theauthorpointsoutthatsomenewfieldsofcognitivelogic,suchasmentallogicandlogicincultureandevolutionshouldbepaidmoreattentionto.Inthispaper,thedifferentcharacteristicsofmentallogicandFregeslogicareanalyzedindetail.Mentallogicisanewdisciplineintegratinglogicwithpsychology,inwhichthementationthatFregehadforsakencamebackagainintologic.Theauthorpointsoutthatlogicfaculty,likelanguagefaculty,isalsoinnate.Therefore,logicmusthavesomecertainstructuresandmodalitiesthataregenetic,innateandmental.Finally,theauthorconcludesthatlogiccannotfunctioninexploringman’smindincognitivescienceuntilithasreturnedtomankindhimself.Keywords:logic;mind;cognition;logicofmind;Frege21()36