《约绳鸽游搞学习》群里，马涛是群主，代号：讨厌出门。
马飞是管理员，代号：不想喝水。
小芳是群成员，代号：局外人。
马负乘是群成员，代号：讨厌起床。
焦藏藏是群成员，代号：喜欢游戏。
马涛小号群成员，代号：喜欢美女。
.
.
.
.
■■■■焦藏藏记仇日记■■■■
2021年12月10日
马飞马负乘他们出去聚餐没有喊我，这个仇我记下了。
马负乘把聚餐的饮料偷偷带给我，这个仇消掉。
2021年12月10日
马飞们走的时候又没喊我，这个仇我记下了。
晚上马飞艾特我看美女、给我视频点赞，马负乘发涩图，马涛表示慰问，这个仇消掉。
.
.
.
.
对形式逻辑思考
我最初接触到“哲学”，是在高中的某一堂课上，当时我的高中语文老师提到了“发展的、辩证的眼光看待事物”，她告诉我们，这是哲学，或者说，哲学的一部分。“哲学”这个词，第一次从我认为的权威口中说出，从此我萌生了探索它的想法。但并未真正开始实施，因为我是高中生，我得参加高考。
有一次高中放月假我照常在网咖包夜打游戏，打累了的找动漫看的时候，当时那个网站“这里是兴趣使然的无名小站”把动漫和日剧常常搞一起，我就看到了《尼采老师》这部日剧，由此，我就对“我是太阳”、“每一个不曾起舞的日子都是对生命的辜负”的尼采产生了兴趣。
正好语文课程要求提升课外阅读量，我就买了《尼采生存哲学》作为课外读物。
再后来我不单满足尼采，虽然我蛮喜欢他，但我知道，哲学不只是手中的尼采和课上的马克思，于是我逐渐阅读了其他和哲学有关的书籍，比如斯通普夫的《西方哲学史》、有趣的《柏拉图和鸭嘴兽一起去酒吧》，还有最近在看的《智者的思辨花园：逻辑辨谬与求真趣谈》。
从刘老师讲计算思维时，我就时不时会想到哲学中关于“逻辑”的东西。“逻辑”在从小到大的数学课理论相关中并不少见，即使我们并未专门接受过逻辑学的教导，我们也耳濡目染对逻辑学有相应的概念。溯源追本，我在《西方哲学史》的亚里士多德那里找到了源头：“亚里士多德发明了形式逻辑，他也提出了分门别类的诸科学的思想”。
这大概就是“形式逻辑”最初的模样。它的基础就是我们今天习以为常的三段论：大前提、小前提再到结论。当然，现在逻辑体系也是有所发展的。
我们来看“形式逻辑”这四个字，“形式”我们习以为常，什么走个形式的太熟了，同样“逻辑”我们也很熟稔，“这不符合逻辑”、“简单的逻辑推导……”。但是把“形式”和“逻辑”放在一起组成“形式逻辑”，我们可能就要懵圈了，这个“形式逻辑”是个什么玩意儿？
这里暂且不去管它什么定义，我说说我的粗浅理解。对于“逻辑”，其实我感觉是隐藏在事物之中的深刻的原理、本质一类的存在，就像“人终有一死、柏拉图是人、柏拉图终有一死”，我们可以发现这几乎是“理所当然”的，没错，我认为逻辑就是要理所当然的。但是这样还没体现出逻辑的具体感官，再举个反例：“金星上有人并且金星上没人”，无论“金星上有人”是否为真，我相信诸位都能判断“金星上有人并且金星上没人”这整个句子为假，也就是不符合逻辑的。这就是逻辑的某种体现。我认为呢，逻辑本身是抽象的，但逻辑蕴涵在具象之中。而形式，是妥妥的抽象，把“逻辑”加上形式，我的理解就是强调“逻辑”的抽象性，把逻辑从具体的事物中“拿”出来，就相当于抽出了逻辑的灵魂，这个脱离具象的逻辑就变成了“形式逻辑”，这就是我对形式逻辑的理解。
形式逻辑，就是研究人的思维本身的规律，我的理解是“规律的规律”。刘老师《计算机程序理论与模型》这门课主要上的内容还是形式语言与自动机理论，这里面呢，以二、三章举例，正则文法呢擅长语言产生，自动机擅长识别，具体的某个正则文法就是由其逻辑产生语言，自动机呢也有其识别语言的逻辑。具体可能用到的概念、判断、推理（演绎、归纳）就是形式逻辑的内容了。所以我对形式逻辑的思考就是它是相应理性思维的的核心，有一系列主客观相统一的关于思维的理论。
以上■■■■■■■■■■■■■■■■■■■■■■关思考。
喜欢肥仔马飞传请大家收藏：(www.zongcaiwenxue.org)肥仔马飞传总裁文学更新速度全网最快。