资源描述:
《Basic_Set_Theory.pdf》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、BasicSetTheoryLX502-SemanticsISeptember11,20081.MotivationWhenyoustartreadingthesenotes,thefirstthingyoushouldbeaskingyourselvesis“WhatisSetTheoryandwhyisitrelevant?”ThoughPropositionalLogicwillproveausefultooltodescribecertainaspectsofmeaning,likethereasoningin(1),
2、itisabluntinstrument.(1)a.JacquessanganddancedTherefore:Jacquessangb.IfJacqueskissesSmurfette,shewillslapJacquesJacqueskissedSmurfetteTherefore:SmurfetteslapsJacquesPropositionalLogicwon’thelpuswiththeargumentin(2),whichiswhywewillextendittoPredicateLogic.(2)Everyma
3、nismortalAristotleisamanTherefore:Aristotleismortal.Ourintuitionstellusthatifthefirstandsecondsentencearetrue,thenthethirdnecessarilyfollows.Thereasoninggoeslikethis.Supposethefirstsentenceistrue:thecollectionofmenispartofthecollectionofmortalthings.Nowsupposethesec
4、ondsentenceisalsotrue:Aristotleisaman.Thefirstsentencesaysthatifathingisinthecollectionofmen,itisalsointhecollectionofmortalthings.SoitfollowsthatAristotleisamortalthing(orsimplymortal),whichiswhatthethirdsentencestates.Thisisrepresentedpictoriallyin(3).(3)Thecollec
5、tionofthingsintheworldthataremortalFidoFredSueAristotleBobThecollectionofthingsintheworldthataremen.(Sentence1tellsustheyareamongthethingsthataremortal.)ThesemanticsofPredicateLogicisdefinedintermsofSetTheory.12.SetsandSetMembershipAbunchofcarrots,aclassroomfullofst
6、udents,aherdofelephants:theseareallexamplesofsetsofthings.Intuitively,youcanthinkofasetasanabstractcollectionofobjects,whichmaycorrespondtothingsinthe1worldortoconcepts,etc.Asetissometimesalsocalledacollection.Theobjectsthatarecollectedinasetarecalleditsmembersorele
7、ments.So,acarrot,astudent,andanelephant,aremembersofthesetsdescribedabove.ASetmayalsocontainothersetsasitsmembers.Ioffernodefinitionofwhatasetisbeyondtheintuitivenotiondescribedabove.Instead,Iamgoingtoshowyouwhatcanbedonewithsets.ThisisatypicalapproachtoSetTheory,i.
8、e.,setsaretreatedasprimitivesofthetheoryandarenotdefinableinmorebasicterms.Iadoptthenotationin(4)forconvenience.(4)a.Capitallettersreprese