【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925 在线下载 pdf mobi 2025 epub 电子版

《分次模态语言的模型论》内容简介：分次模态逻辑是有限基数的模态逻辑。 分次模态语言的模型论给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；证明了几条可定义性定理，使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言。此外，在关系语义学下，分次模态语言的模型论还给出了结构类的可定义性定理。

《分次模态语言的模型论》适合现代逻辑专业、数学专业以及计算机领域的研究人员和高校师生参考阅读。

总序

前言

导论

章 计数模态语言

1.1 模态逻辑的语义视角

1.2 计数模态语言

1.3 构造模型和框架的基本方法

1.4 分次模态逻辑

第2章 分次模态语言的关系语义学

2.1 模型和框架构造

2.2 分次超滤扩张与饱和

2.3 模型和框架可定义性

2.4 范本特姆-罗森刻画定理

2.5 GML和FOL(C)之间的框架对应

总序

前言

导论

章 计数模态语言

1.1 模态逻辑的语义视角

1.2 计数模态语言

1.3 构造模型和框架的基本方法

1.4 分次模态逻辑

第2章 分次模态语言的关系语义学

2.1 模型和框架构造

2.2 分次超滤扩张与饱和

2.3 模型和框架可定义性

2.4 范本特姆-罗森刻画定理

2.5 GML和FOL(C)之间的框架对应

第3章 分次模态余代数

3.1 分次模态语言的余代数语义

3.2 分次模态代数

3.3 分次模态代数与余代数之间的对偶

3.4 有限余代数和余代数模型的可定义性

3.5 GML的泛余代数

第4章 公理系统和完全性

4.1 分次正规模态逻辑

4.2 典范余代数模型

4.3 一些完全的逻辑

4.4 代数完全性与典范性

4.5 GML的嵌入定理

第5章 余代数对应理论

5.1 弱二阶逻辑与翻译

5.2 无变元公式与统一公式

5.3 分次萨奎斯特对应定理

5.4 非分次萨奎斯特公式

5.5 萨奎斯特完全性定理

第6章 有限模型性质

6.1 过滤模型

6.2 NExt(Kg42)中子余代数逻辑

6.3 Kg43的典范公式

6.4 正规分次模态格NExt(KgAltn)

第7章 公式的分类

7.1 Ω模拟与正存在公式

7.2 点Ω子模型保持

7.3 GML的Chang-Los-Suszko定理

7.4 保序与正公式

7.5 子框架保持

第8章 分次模态逻辑的扩张

8.1 分次全通模态词

8.2 分次异点算子

8.3 无限基数的模态逻辑

8.4 GML的Lindstr?m定理

参考文献

附录A 模型论与泛代数

附录B 基本模态逻辑

附录C 余代数理论

后记

显示信息

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925在线阅读

在线听书地址：【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925在线收听

在线购买地址：【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

《分次模态语言的模型论》内容简介：分次模态逻辑是有限基数的模态逻辑。 分次模态语言的模型论给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；证明了几条可定义性定理，使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言。此外，在关系语义学下，分次模态语言的模型论还给出了结构类的可定义性定理。

《分次模态语言的模型论》适合现代逻辑专业、数学专业以及计算机领域的研究人员和高校师生参考阅读。

• 作者：原教旨托利党人 发布时间：2014-09-26 18:03:22

  中文世界里美国特种作战史领域第一本重量级严谨军史著作，特种作战再也不是武侠玄幻脑补扯淡文学了。译者水平在某种意义上来说比原作者还高，纠正了大量原作者的错误，甚至提供了很多原作者都没有的插图，非常值得推荐的一本特战军史书。

• 作者：堯西桑 发布时间：2024-03-25 12:24:46

  @Ikera：大哥，这本书就是裸背装订+护封的，护封和书脊之间本来就不是黏在一起的。

• 作者：珍妮的肖像 发布时间：2020-06-12 21:03:57

  看到最后才明白书名含义，一个人的爱好足够巨大，就可以享有~选择性孤独能够覆盖的最大幸福。含灰彩铅真是贴合这故事的气质（想问什么牌子(ಡωಡ) ），低温又恒温里，从头至尾的温柔。美术馆里的雕塑与油画不少，留给读者解密作品名。主人公在看的电视里在播的电影，一部应该是法国片《蝴蝶》，另一部是卓别林的《淘金记》。很喜欢这本。

• 作者：满城月光 发布时间：2015-05-19 10:28:43

  借用荣格的理论，对炼金术&自性化的过程进行了解读。其中对很多炼金术意象的解释，无论对于理解绘画还是梦的意象都是很有帮助的

• 作者：cubesugar 发布时间：2015-08-11 00:42:12

  初读略失望 解读过于简略 很难读到实质性内容 可能还是期望过高以为会醍醐灌顶

• 作者：长白山之鹰 发布时间：2023-12-19 10:40:04

  我们需要这样理性的死亡教育与思辨

• 似乎是个悲剧

  作者：照花儿前 发布时间：2022-02-06 01:13:22

  庭院深深深几许，杨柳堆烟，帘幕无重数。玉勒雕鞍游冶处，楼高不见章台路。文如其名，整本书确实笼罩在一种神神秘秘，犹抱琵琶，迷雾重重的氛围里。打分时我又在三星和四星间纠结许久，最后看在文笔优美，故事流畅的份上，决定选四星。

  琼瑶阿姨驾驭文字的功底没得说，而且对古典文学运用得心应手，再狗血，再无语的情节，到她笔下，也能写得美好浪漫。这是她的优点，也是她的文字几十年来长盛不衰的一个重要倚仗。

  至于故事本身，我只能说，小曲儿好唱口难开。它应该是个悲剧，但又不完全是，所以我加上似乎两个字。最究极的问题，也许还是在于格局不够。当然，这也是很多言情作家的共同特点。故事中所有人物的恩怨情仇，分分合合，都是因为爱情。生也是死也是，走也是留也是，分也是合也是，没有别的情节可以推动故事发展。

  我想，其实作者并不是写不出来，而是用心程度不够。在这一点上，我推荐另一本《烟雨濛濛》，明显倾注了作者更多心血。一条复仇主线贯穿始终，大家也都会做些爱情之外的事，看起来就舒适并且合理了很多。

  爱琳，又是位工具人般的存在，性格不够饱满鲜明。书中只是强调她深爱柏霈文，没有提及为什么爱。其实挺让人费解的，因为看上去柏霈文对她并不好。最后的主动离开更让这个人物显得假大空，坐实工具人之名，召之即来，挥之即去，仿佛存在的用途只是需要填上柏家女主人这个空缺，同时给亭亭找个母亲，堵上邻居家悠悠众口，减少一些别人茶余饭后的谈资。

  柏老太太，更像一位工具人了。阅读过程中我不得不每时每刻都提醒自己，别用现代的思想，去看六十年前的事。那时候封建大家长制依然存在，所以她才能造成这样大的阻碍。柏霈文和章含烟居然硬生生被她一个人弄得“生离死别”，真是厉害啊。一个人就能把章含烟折磨得绝望至死，也实在让人难以理解。

  我本以为男女主角之间会有些“迫不得已”，有些“天灾人祸”，结果天灾没有，人祸倒是只有这一个。原来那些“雨横风狂三月暮”，全是她一个人带来的。让人不得不感叹，哪里来的这么大能量。她又不是柏家的实际掌权人，又不掌握茶园经济命脉，又不是政界商界大人物。赋闲在家的老长辈，男女主角到底怕她什么啊，实在看得人火大。

  柏霈文，这个角色真的很不讨喜。虽然作者努力把他写惨，让他为自己赎罪，但依旧没能让人满意。理论上，他山庄也烧没了，眼睛也盲了，爱人也丢了，精神状态濒临崩溃，是个非常悲惨的境遇。但实在是很难使人产生同情，因为每次都是他自己作后的报应。

  “失去才懂得珍惜”的道理，要死要活地经历过两次，好了伤疤忘了疼，还是没长记性。最初一两年中，柏老太太和章含烟闹成那样，他神经到底多迟钝，才会一丁点都看不出来。而且居然还怀疑高立德，许多年的好兄弟，真的让人无力吐槽。我不喜欢这个角色，准确地说还有点厌恶。

  章含烟，书中最复杂的人物。起初真的哀其不幸，又怒其不争，怎么就能让柏老太太欺负成那样呢。本来都计划好了，跟柏霈文出去游玩，去柏霈文公司工作，商量好的事情，怎么就非得被柏老太太轻飘飘一句话留下呢，就不能稍微地，轻轻地，抗争一下吗。我记得你是长了嘴的啊，到底在怕什么呢。这种为虐而虐的剧情，代入很难，所以共情不深，对她的苦难实在很难理解和同情。

  后期重生后的态度倒是让人欣赏，坚强独立，美丽自主，有自己的事业，不再倚靠什么人。其实我希望她最后可以一走了之，去过过不一样的生活。柏霈文并非良配，她早该看清这一点，从最初柏霈文嫌她“不清白”那时开始。只可惜结局又陷入固定团圆模板，不管失明失聪或是不良于行，在一起就算皆大欢喜。这个结尾我看得并没能开心起来，反而觉得有些莫名其妙。

  总之这一本，不能用现代思想去衡量，应当结合时代背景去理解人物做法，才能足够心平气和地看完。

• To be a better giver

  作者：松间明月 发布时间：2018-11-25 23:50:40

  《Give and take》一书是由沃顿商学院亚当·格兰特所写，在这本书中他区分了三种不同特点的人际交互模式：付出者、获取者和互利者，并用丰富的案例故事说服读者只有成为一个“自利且利他”的付出者才能真正通往成功。读了这本书，给我最大的收获是如何从各个方面改善自己的交互风格，成为一个更好的付出者。

  首先，先要成为一个付出者而不是获取者和互利者。我认为三者本质的区别在于动机或思维方式的不同。

  获取者更注重当下的每一次利益，他们喜欢得到比自己所付出的更多的东西，把自己的利益置于他人的利益之上。获取者相信世界是一个你死我活的竞技场，他们认为为了获得成功必须比别人做得更好，为了证明自己的能力他们很会推销自己，以确保自己的努力获得足够的认可。一般的获取者并不残忍，也不会做背后捅刀子的事，他们只是小心翼翼，自我保护。用一句耳熟能详的话来形容，就是“精致的利己主义者”。

  付出者更加重视的是群体的利益，比起关注如何占有更大的蛋糕，他们更加关注的是如何把蛋糕做大，根据亚当·格兰特的描述，我认为付出者可以分为理性的付出者和委曲求全的付出者。To be a better giver 要求我们做一个理性的付出者而不是委曲求全的付出者，怎么做一个理性的付出者会在后文进行描述。

  在本书中，亚当·格兰特定义了基于公平原则行事的第三种风格——互利者。互利者信奉等价交换，人际关系中充斥着公平的交易，在帮助别人时，他们也寻求回报，以此来保护自己。

  那么付出者有哪些行为模式需要我们学习呢？文章从建立人际关系网络、合作、发现和培养人才、说服四个方面进行了阐述。

  付出者通过自身与网络中其他人的互动方式，创造了一种规范，让增添价值这种行为比攫取或是交易价值更受欢迎，帮助所有参与其中的人把蛋糕做大。同时付出者更善于利用弱关系和休眠关系，当他们真的需要帮助时，可以重新激活那些休眠的关系，从那些几乎将要遗忘，但是对其仍然充满信任的人身上获取新的帮助。此外，作者还提到了一种帮我们识别获取者的“蛛丝马迹”，获取者往往有炫耀行为，喜欢自我美化，以自我为中心，我们要尽量避免和减少这样的行为模式。

  在合作这一块，作者提到了两种在合作中人们的本能（容易犯的问题），即责任偏差和视角差距，并提出了解决办法：把注意放在团队的利益和团队成果的质量上，而非追踪记录每个人的功绩。付出者的关注点是通过集体的成果来愉悦他人，而非个人独占这种成果：“我通常记不住自己做的事情，所以我一般不会说是我做了这个或那个。我会说，是我们做了这个或那个。我认为这是一种很好的习惯”。要想养成这种习惯并不十分困难，责任偏差之所以出现，是因为我们更加了解自身的贡献，而非他人的贡献。平衡责任判断的关键在于，将我们的注意力放在别人的贡献上，在估计自身的贡献之前，首先列举一下你的搭档做出了哪些贡献。视角差距则要求我们拥有换位思考看待世界的能力：跳出自己的参考标准，问：“对方在这种情境下会如何感受”。此外，作者还认为在团队合作中，要创造一种心理安全（相信你可以承担风险，并且不受到损失或惩罚）环境，这可以提高人们学习和创新的效率。

  关于鉴别天才，作者建议我们要善于从周围所有人身上看到潜力。这章开头作者引用的歌德的一句名言对我触动很大：“如果我们将一个人作为他自己来对待，会让他变得比现在更差；如果我们将他作为他可能成为的人来对待，会让他成为他应该成为的人”。接着，作者还说了在培养人才过程中获取者容易的错误：“承诺升级”。相反，付出者更善于接受社会信息，对其他人的建议持更加开放的心态，并以此为基础采取行动，而不仔细考虑各人的后果。更关注他们的决策带来的人际间和组织层面的后果，更善于接受负面信息，对于批评意见持开放态度，愿意接受自己的自尊和声望在短期内受到打击，以便做出长期来看更有益的决策。付出者的模式这才是我们应该学习的正确做法。

  关于说服的技巧，可以总结成四个方面：1“在与能力无关的方面展示自己的弱点，可以帮助我们建立起名声。”2提问题是有效的说服方式，“宣传的艺术在于，引领着你，让你自己得出我的结论。我想要让你形成自己的结论：你会加倍坚定地守护他们。”“在直接的说服中，听众会持续地意识到他们正在被另一个人说服。当自我说服时，人们相信，改变的动机来自于内部。”3 听众不太配合，付出者如何改变他们的想法：说服——试探性的谈话艺术。使用一些试探性标记；温柔地提出想法，不求功劳。4 谈判——心怀疑虑的寻求建议：寻求建议帮助我们获取了我们不知道的信息，并鼓励对方从我们的角度看问题。但只有发自真心地寻求建议才会有效。这一章，让我想起了上个月读《富兰克林自传》里富兰克林对于自我在谈话方面的要求，“谈话的主要目的是提供或得到信息，使人愉悦并心悦诚服接受观点”。“在提出可能引起争议的事项时，‘我’从不使用‘肯定地’、‘无疑地’这类对意见表示确凿之意的字眼。相反，我总是倾向于说自己对此事的‘设想’或‘理解’是如此这般，或者出于某种原因，我认为某事如何，我怎样理解，或者假如我没有弄错的话，我想是如此或者这件事是这样的。因为讲话时独断式、过分自信的武断态度很少不会引起人的反感，让人产生抵触情绪，造成争议，是语言之所以存在的目的破坏无遗——语言的存在是为了交流思想、传达情感。”按照本书的理论，富兰克林在这方面从动机和方法上都体现了一名付出者的说话风格。

  上面列举了培养付出者行为风格的各个方面的具体措施，但光是做一名付出者是不够的，要能够做一名理智的付出者。

  1 维持和提升自己的能量：不理智的付出者，会在一味的付出中精疲力竭，而理智的付出者，则可以在付出中维持甚至提升自己的能量，更有效的发展和工作。如何在付出中维持自己的能量，书中介绍了几种办法：1）看到自己的影响 创造反馈 2）集中、分散以及志愿服务的100小时原则：委曲求全的付出者会把他们的付出行为分散到不同的日子里，只要人们需要，就会提供帮助。这很容易让付出者分心和疲惫，消磨掉他们的注意力和能量，而这些东西对于他们完成自己的工作是必须的。而把付出行为集中起来，比方说集中到每周一次的区块中，能够更加生动地体验到自己带来的影响，让自己的努力感觉上“不只是沧海一粟”。志愿服务的100小时原则：在一年100小时（每周两小时），付出行为能带给人最大限度的活力，同时消耗程度最低。此外，有心理学家研究认为，只有当付出行为是令人愉悦的有意义的选择而非出于责任和义务时，付出行为才拥有激发活力的效果。这给我的启示是，要带着愉悦感和目的感做事，而非责任感和义务感（当然我们要有责任感和义务感，这和前面说的是两码事）。3）在责任感的前提下保持积极性，需要我们积极地寻求建议帮助和资源，来自他人的支持/建立支持网络，是对抗精疲力竭的一种可靠办法。趋近和帮助教会我们建立起自己的支持网络，在遇到威胁时，投向团体的怀抱，彼此提供和获取帮助。付出行为使我们的生活更有意义，将我们的注意力从自己的问题上转移，给我们带来幸福感，激励我们工作得更努力、更长久、更高明也更有效率。

  2 为别人代言和换位思考：付出者容易踏入3种陷阱——太过于信任他人、太容易同情别人 以及太胆怯，所以这要求我们有一定的办法和措施来解决这三种问题。1） 真诚性筛选：要认识到付出者也可能亲和力差，且亲和力强的也有可能是获取者，亲和力和付出者交互风格两者间并没有直接的决定作用；2）慷慨地针锋相对，适应性的付出：将注意力从对方的感受（共情）转移到对方的想法和思维方式上；3）为别人代言（果敢性与辩护的困境）：扮演不同的角色，成为为别人辩护的代理人。“我使用这种思路，作为对抗自己的心理武器，激励我自己。”；学会运用关系性解释——在解释一个请求背后的原因时，强调对于他人的利益，而非对于自己利益的关注；4）谈判桌上的换位思考：最佳的谈判者不是获取者也不是委曲求全的付出者，而是理智的付出者，他们对于自己和对手的利益都表示出了较高的关注。通过寻找他人和自己共同获益的机会，理智的付出者能够进行更加复杂的思考，找到双赢的解决方案。首先创造价值而非攫取价值或拱手送出价值，这样他们付出更多，同时获取更多。5）不要独自承担重担，“你可以做很多事情，来放大付出者的倾向，压制更有侵略性的获取者倾向，并让互利者转向付出。这会带给你能量感和满足感。这件事本身就非常让人上瘾”。

  3 关于如何培养团队里的付出者倾向，作者提到了社区感、凝聚力和认同感：要寻找最优的独特性，“培养一种共同的身份认同，并提供独特的自我表达机会。”此外作者还介绍了互惠之环（reciprocity ring）这种练习活动，非常借鉴意义，通过一定的条件和方法，随着时间推移，获取者身上是会出现“认同转移和交互反转”的。

  文章的最后还推荐了一个小工具，可以测试自己的交互风格(

  www.giveandtake.com

  )，通过这些问题，我了解了很多我们生活中、未来工作中可能会碰到的情境。测试结果显示，我的身上同时存在着三种交互风格，以付出者的交互风格为主，占了半数以上。我要学会按照这本书里提供的具体行为模式和举措做一个更好的付出者——To be a better giver.

  最后，我想着重点出两个词：“注意力”和“能量”。

  对于同一个场景，不同人接收到的信息可能不同，这就是注意力的差别。烦恼时，脑海里不停地“反刍”引起负面情绪的事，是因为注意力难以转移到其他事情上；能量是一个人产生行动和变化的动力，当一个人很有力量感时，充满了行动力时，可以说此时他的能量是很丰厚的。重复无聊而没有反馈的事情最容易消磨人的能量，反馈不一定是自己实在的获取，也可以是一种贡献、对他人带来的改变、对长期后的预期或想象。

  通过阅读这本书，我学会有意识的控制注意力从自身移向外界，更开放地接收外界信息，更加关注和重视他人和团体的长期利益；同时我们要积极地谋求自身发展，维持和提高自身前进和改变的动力和能量。