，乃令蜀贼陆梁边陲。洮西之战，至取负败，将士死亡，计以千数，或没命战场，冤魂不反，或牵掣虏手，流离异域，吾深痛愍，为之悼心。其令所在郡典农及安抚夷二护军各部大吏慰恤其门户，无差赋役一年；其力战死事者，皆如旧科，勿有所漏。」
十一月甲午，以陇右四郡及金城，连年受敌，或亡叛投贼，其亲戚留在本土者不安，皆特赦之。癸丑，诏曰：「往者洮西之战，将吏士民或临陈战亡，或沈溺洮水，骸骨不收，弃於原野，吾常痛之。其告征西、安西将军，各令部人於战处及水次钩求尸丧，收敛藏埋，以慰存亡。」
甘露元年春正月辛丑，青龙见轵县井中。乙巳，沛王林薨。魏氏春秋曰：二月丙辰，帝宴群臣於太极东堂，与侍中荀顗、尚书崔赞、袁亮、锺毓、给事中中书令虞松等并讲述礼典，遂言帝王优劣之差。帝慕夏少康，因问顗等曰：「有夏既衰，后相殆灭，少康收集夏众，复禹之绩，高祖拔起陇亩，驱帅豪俊，芟夷秦、项，包举内，斯二主可谓殊才异略，命世大贤者也。考其功德，谁宜为先？」顗等对曰：「夫天下重器，王者天授，圣德应期，然后能受命创业。至於阶缘前绪，兴复旧绩，造之与因，难易不同。少康功德虽美，犹为中兴之君，与世祖同流可也。至如高祖，臣等以为优。」帝曰：「自古帝王，功德言行，互有高下，未必创业者皆优，绍继者咸劣也。汤、武、高祖虽俱受命，贤圣之分，所觉县殊。少康、殷宗中兴之美，夏启、周成守文之盛，论德较实，方诸汉祖，吾见其优，未闻其劣；顾所遇之时殊，故所名之功异耳。少康生於灭亡之后，降为诸侯之隶，崎岖逃难，仅以身免，能布其德而兆其谋，卒灭过、戈，克复禹绩，祀夏配天，不失旧物，非至德弘仁，岂济斯勋？汉祖因土崩之势，仗一时之权，专任智力以成功业，行事动静，多违圣检；为人子则数危其亲，为人君则囚系贤相，为人父则不能卫子；身没之后，社稷几倾，若与少康易时而处，或未能复大禹之绩也。推此言之，宜高夏康而下汉祖矣。诸卿具论详之。」翌日丁巳，讲业既毕，顗、亮等议曰：「三代建国，列土而治，当其衰弊，无土崩之势，可怀以德，难屈以力。逮至战国，强弱相兼，去道德而任智力。故秦之弊可以力争。少康布德，仁者之英也；高祖任力，智者之俊也。仁智不同，二帝殊矣。诗、书述殷中宗、高宗，皆列大雅，少康功美过于二宗，其为大雅明矣。少康为优，宜如诏旨。」赞、毓、松等议曰：「少康虽积德累仁，然上承大禹遗泽馀庆，内有虞、仍之援，外有靡、艾之助，寒浞谗慝，不德于民，浇、豷无亲，外内弃之，以此有国，盖有所因。至於汉祖，起自布衣，率乌合之士，以成帝者之业。论德则少康优，课功则高祖多，语资则少康易，校时则高祖难。」帝曰：「诸卿论少康因资，高祖创造，诚有之矣，然未知三代之世，任德济勋如彼之难，秦、项之际，任力成功如此之易。且太上立德，其次立功，汉祖功高，未若少康盛德之茂也。且夫仁者必有勇，诛暴必用武，少康武烈之威，岂必降于高祖哉？但夏书沦亡，旧文残缺，故勋美阙而罔载，唯有伍员粗述大略，其言复禹之绩，不失旧物，祖述圣业，旧章不愆，自非大雅兼才，孰能与於此
，向令坟、典具存，行事详备，亦岂有异同之论哉？」於是群臣咸悦服。中书令松进曰：「少康之事，去世久远，其文昧如，是以自古及今，议论之士莫有言者，德美隐而不宣。陛下既垂心远鉴，考详古昔，又发德音，赞明少康之美，使显於千载之上，宜录以成篇，永垂于后。」帝曰：「吾学不博，所闻浅狭，惧於所论，未获其宜；纵有可采，亿则屡中，又不足贵，无乃致笑后贤，彰吾闇昧乎！」於是侍郎锺会退论次焉。
夏四月庚戌，赐大将军司马文王兗冕之服，赤舄副焉。
丙辰，帝幸太学，问诸儒曰：「圣人幽赞神明，仰观俯察，始作八卦，后圣重之为六十四，立爻以极数，凡斯大义，罔有不备，而夏有连山，殷有归藏，周曰周易，易之书，其故何也？」易博士淳于俊对曰：「包羲因燧皇之图而制八卦，神农演之为六十四，黄帝、尧、舜通其变，三代随时，质文各繇其事。故易者，变易也，名曰连山，似山出内气，连天地也；归藏者，万事莫不归藏于其中也。」帝又曰：「若使包羲因燧皇而作易，孔子何以不云燧人氏没包羲氏作乎？」俊不能答。帝又问曰：「孔子作彖、象，郑玄作注，虽圣贤不同，其所释经义一也。今彖、象不与经文相连，而注连之，何也？」俊对曰；「郑玄合彖、象于经者，欲使学者寻省易了也。」帝曰：「若郑玄合之，於学诚便，则孔子曷为不合以了学者乎？」俊对曰：「孔子恐其与文王相乱，是以不合，此圣人以不合为谦。」帝曰：「若圣人以不合为谦，则郑玄何独不谦邪？」俊对曰：「古义弘深，圣问奥远，非臣所能详尽。」帝又问曰：「系辞云'黄帝、尧、舜垂衣裳而天下治'，此包羲、神农之世为无衣裳。但圣人化天下，何殊异尔邪？」俊对曰：「三皇之时，人寡而禽兽众，故取其羽皮而天下用足，及至黄帝，人众而禽兽寡，是以作为衣裳以济时变也。」帝又问：「乾为天，而复为金，为玉，为老马，与细物并邪？」俊对曰：「圣人取象，或远或近，近取诸物，远则天地。」
讲易毕，复命讲尚书。帝问曰：「郑玄曰'稽古同天，言尧同於天也'。王肃云'尧顺考古道而行之'。二义不同，何者为是？」博士庾峻对曰：「先儒所执，各有乖异，臣不足以定之。然洪范称'三人占，从二人之言'。贾、马及肃皆以为'顺考古道'。以洪范言之，肃义为长。」帝曰：「仲尼言'唯天为大，唯尧则之'。尧之大美，在乎则天，顺考古道，非其至也。今发篇开义以明圣德，而舍其大，更称其细，岂作者之意邪？」峻对曰：「臣奉遵师说，未喻大义，至于折中，裁之圣思。」次及四岳举鲧，帝又问曰：「夫大人者，与天地合其德，与日月合其明，思无不周，明无不照，今王肃云'尧意不能明鲧，是以试用'。如此，圣人之明有所未尽邪？」峻对曰：「虽圣人之弘，犹有所未尽，故禹曰'知人则哲，惟帝难之'，然卒能改授圣贤，缉熙庶绩，亦所以成圣也。」帝曰：「夫有始有卒，其唯圣人。若不能始，何以为圣？其言'惟帝难之'，然卒能改授，盖谓知人，圣人所难，非不尽之言也。经云：'知人则哲，能官人。'若尧疑鲧，试之九年，官人失叙，何得谓之圣哲？」峻对曰：「臣窃观经传，圣人行事不能无失，是以尧失之四凶，周公失之二叔，仲尼失之宰予。」帝曰：「尧之任鲧，九载无成，汨陈五行，民用昏垫。至於仲尼失之宰予，言行之间，轻重不同也。至于周公、管、蔡之事，亦尚书所载，皆博士所当通也。」峻对曰：「此皆先贤所疑，非臣寡见所能究论。」次及「有鳏在下曰虞舜」，帝问曰：「当尧之时，洪水为害，四凶在朝，宜速登贤圣济斯民之时也。舜年在既立，圣德光明，而久不进用，何也？」峻对曰：「尧咨嗟求贤，欲逊己位，岳曰'否德忝帝位'。尧复使岳扬举仄陋，然后荐舜。荐舜之本，实由於尧，此盖圣人欲尽众心也。」帝曰：「尧既闻舜而不登用，又时忠臣亦不进达，乃使狱扬仄陋而后荐举，非急於用圣恤民之谓也。」峻对曰：「非臣愚见所能逮及。」
於是复命讲礼记。帝问曰：「'太上立德，其次务施报'。为治何由而教化各异；皆脩何政而能致于立德，施而不报乎？」博士马照对曰：「太上立德，谓三皇五帝之世以德化民，其次报施，谓三王之世以礼为治也。」帝曰：「二者致化薄厚不同，将主有优劣邪？时使之然乎？」照对曰：「诚由时有朴文，故化有薄厚也。」帝集载帝自叙始生祯祥曰：「昔帝王之生，或有祯祥，盖所以彰显神异也。惟予小子，支胤末流，谬为灵祇之所相祐也，岂敢自比于前喆，聊记录以示后世焉。其辞曰：惟正始三年九月辛未朔，二十五日乙未直成，予生。于时也，天气清明，日月辉光，爰有黄气，烟熅于堂，照曜室宅，其色煌煌。相而论之曰：未者为土，魏之行也；厥日直成，应嘉名也；烟熅之气，神之精也；无灾无害，蒙神灵也。齐王不吊，颠覆厥度，群公受予，绍继祚皇。以眇眇之身，质性顽固，未能涉道，而遵大路，临深履冰，涕泗忧惧。古人有云，惧则不亡。伊予小子，曷敢怠荒？庶不忝辱，永奉烝尝。」傅暢晋诸公赞曰：帝常与中护军司马望、侍中王沈、散骑常侍裴秀、黄门侍郎锺会等讲宴於东堂，并属文论。名秀为儒林丈人，沈为文籍先生，望、会亦各有名号。帝性急，请召欲速。秀等在内职，到得及时，以望在外，特给追锋车，虎贲卒五人，每有集会，望辄奔驰而至。
五月，鄴及（上谷）〔上洛〕并言甘露降。夏六月丙午，改元为甘露。乙丑，青龙见元城县界井中。秋七月己卯，卫将军胡遵薨。
癸未，安西将军邓艾大破蜀大将姜维于上邽，诏曰：「兵未极武，丑虏摧破，斩首获生，动以万计，自顷战克，无如此者。今遣使者犒赐将士，大会临飨，饮宴终日，称朕意焉。」
八月庚午，命大将军司马文王加号大都督，奏事不名，假黄钺。癸酉，以太尉司马孚为太傅。九月，以司徒高柔为太尉。冬十月，以司空郑冲为司徒，尚书左仆射卢毓为司空。
二年春二月，青龙见温县井中。三月，司空卢毓薨。
夏四月癸卯，诏曰：「玄菟郡高显县吏民反叛，长郑熙为贼所杀。民王简负担熙丧，晨夜星行，远致本州，忠节可嘉。其特拜简为忠义都尉，以旌殊行。」
甲子，以征东大将军诸葛诞为司空。
五月辛未，帝幸辟雍，会命群臣赋诗。侍中和逌、尚书陈骞等作诗稽留，有司奏免官，诏曰：「吾以暗昧，爱好文雅，广延诗赋，以知得失，而乃尔纷纭，良用反仄。其原逌等。主者宜敕自今以后，群臣皆当玩习古义，脩明经典，称朕意焉。」
乙亥，诸葛诞不就徵，发兵反，杀扬州刺史乐綝。丙子，赦淮南将吏士民为诞所诖误者。丁丑，诏曰：「诸葛诞造为凶乱，荡覆扬州。昔黥布逆叛，汉祖亲戎，隗嚣违戾，光武西伐，及烈祖明皇帝躬征吴、蜀，皆所以奋扬赫斯，震耀威武也。今宜皇太后与朕暂共临戎，速定丑虏，时宁东夏。」己卯，诏曰：「诸葛诞造构逆乱，迫胁忠义，平寇将军临渭亭侯庞会、骑督偏将军路蕃，各将左右，斩门突出，忠壮勇烈，所宜嘉异。其进会爵乡侯，蕃封亭侯。」
六月乙巳，诏：「吴使持节都督夏口诸军事镇军将军沙羡侯孙壹，贼之枝属，位为上将，畏天知命，深鉴祸福，翻然举众，远归大国，虽微子去殷，乐毅遁燕，无以加之。其以壹为侍中车骑将军、假节、交州牧、吴侯，开府辟召仪同三司，依古侯伯八命之礼，兗冕赤舄，事从丰厚。」臣松之以为壹畏逼归命，事无可嘉，格以古义，欲盖而名彰者也。当时之宜，未得远遵式典，固应量才受赏，足以酬其来情而已。至乃光锡八命，礼同台鼎，不亦过乎！於招携致远，又无取焉。何者？若使彼之将守，与时无嫌，终不悦于殊宠，坐生叛心，以叛而愧，辱孰甚焉？如其忧危将及，非奔不免，则必逃死苟存，无希荣利矣，然则高位厚禄何为者哉？魏初有孟达、黄权，在晋有孙秀、孙楷；达、权爵赏，比壹为轻，秀、楷礼秩，优异尤甚。及至吴平，而降黜数等，不承权舆，岂不缘在始失中乎？
甲子，诏曰：「今车驾驻项，大将军恭行天罚，前临淮浦。昔相国大司马征讨，皆与尚书俱行，今宜如旧。」乃令散骑常侍裴秀、给事黄门侍郎锺会咸与大将军俱行。秋八月，诏曰：「昔燕刺王谋反，韩谊等谏而死，汉朝显登其子。诸葛诞创造凶乱，主簿宣隆、部曲督秦絜秉节守义，临事固争，为诞所杀，所谓无比干之亲而受其戮者。其以隆、絜子为骑都尉，加以赠赐，光示远近，以殊忠义。」
九月，大赦。冬十二月，吴大将全端、全怿等率众降。
三年春二月，大将军司马文王陷寿春城，斩诸葛诞。三月，诏曰：「古者克敌，收其尸以为京观，所以惩昏逆而章武功也。汉孝武元鼎中，改桐乡为闻喜，新乡为获嘉，以著南越之亡。大将军亲总六戎，营据丘头，内夷群凶，外殄寇虏，功济兆民，声振四海。克敌之地，宜有令名，其改丘头为武丘，明以武平乱，后世