二楼用来和所有吧友交流——讨论与对话！
@依法治国 @司马骧苴 @澜零蝶♬ @风潮℃ @超越时空的猫🌟

毛主席在他的著作《丢掉幻想准备斗争》里写到：“帝国主义者的逻辑和人民的逻辑是这样的不同。捣乱，失败，再捣乱，再失败，直至灭亡————这就是帝国主义和世界上一切反动派对待人民事业的逻辑，他们决不会违背这个逻辑的。…斗争，失败，再斗争，再失败，再斗争，直至胜利一这就是人民的逻辑，他们也是决不会违背这个逻辑的。”
这段话中的“逻辑”是什么意思呢？也就是要问，什么是逻辑？
首先，我们的生活世界关于“逻辑”这个词的多种用法是泛化的，“它”可以这样使用：
“事物发展有其内在的逻辑。”
“这个人为人处世，有他自己的逻辑。”
“按照对方辩友的逻辑，岂不是说……？”
很明显，这里所例出的“逻辑”与【逻辑学】中的逻辑相差甚远，这里所例出的“逻辑”是表示客观规律，准确的说是：——行为方式。

“逻辑”一词的另多种用法:
“说话、写文章都要讲逻辑。”
“这篇论文结构严谨，逻辑严密。”
“他的发言颠三倒四，逻辑混乱。”
这些“逻辑”与逻辑学中的逻辑比较接近，但仍然不是逻辑学所研究的对象。

逻辑学中的逻辑这个词，英文书写为【logic】，读法一样【拼音luo ji】，它的语源来自于古希腊语的“逻各斯”【logos】这个单词，表示为：
世界的可理解的规律；
一般的原理和规则；
语言、命题、说明、解释、论证；
理性、理念、推理、推理能力；
尺度、关系、比例、价值；
我们中国文化所说的“逻辑”这个词是多义的，它的理解是这样的：
客观事物的规律性；
某种理论、观点、行为方式；
思维的规律、规则；（比如文章符合逻辑）
一门学科，即逻辑学。

哲学逻辑学是这样理解的：“以推理形式为主要研究对象的学科。”
要注意，哲学逻辑学研究的推理是完全形式的演绎、归纳、溯因的方式，它不允许带有任何“前置观念”、“直觉方式”、“惯性意向”，简单说，哲学逻辑学的逻辑和日常中使用的“逻辑”是完全不一样的理解方式，要懂的区分：——哲学逻辑学的逻辑是不带心理主义的，绝对不允许非理性前置预判，那样就会产生错觉；简单的意思是说，哲学逻辑学的逻辑带有一般性演绎的前提，都是以公理化（公式化）、必然为真的前提；或带有个别性归纳的“前提”，那么这样的“前提”必须是经由证明反推（证伪）的验算性、可推理的命题。

推理：它是指从已知条件（前提）得出结论的过程。
例如，侦破案件步骤：
提取材料
搜集条件
得出结论
侦破案件是一个推理过程。
又例如，法庭审案根据案卷（关于案件的材料、已知条件），作出判罚，这也是推理过程。
又例如，数学上证明定理：用公理、定理推出新定理，这也是推理过程。
我们日常生活中，不经意都会推理。
例如，父母回到家，摸电视背后，感觉有没有发烫，判断小孩在自己进门前是否在观看电视。

推理形式，也叫“推理的结构”，它是指：
同类的不同具体推理具有共同的结构，即推理形式。
所有金属都是导体，铜是金属→铜是导体
所有鸟都是卵生的，企鹅是鸟→企鹅是卵生的
所有A都是B，C是A→C是B（共同的结构）
记住这个【→】的符号，它是【一般的、实质蕴涵】的意思，后面还有另两种“蕴涵”符号，在用法上不一样，现在按下不表。

有效推理形式，它是指：
真前提通过有效推理形式只能得到真结论。
即:通过有效推理形式，从真前提不会得到假结论。
这个就是“一般的三段论”，实际上，三段论还有很多种形式演绎，当然，它们都是“常项逻辑”，具体的解释后面再说（你们要从最简单学起）！

逻辑学的特点是研究推理、推理形式；要注意：逻辑学的推理是具有蕴涵、合取、析取关系的，因此它有三种性质：
抽象性
应用性
工具性
所有的科学在某种意义上都是某一方面的抽象。数理逻辑的公理系统中：符号只是符号本身，具有非常高的抽象性（也就是具有广泛应用性）。

逻辑是一门高度抽象的学科，应用范围广。
欧姆定理：U＝IR，通过实验得出。之后可用数学求出，可不再用实验求其中某一值。
数学是物理学和很多学科的工具。逻辑学也一样。
因A＝B，故B＝A：对
因A＞B，故B＞A：错
因A?＝B，故B?＝A：对
显然它们是正确，但“显然”不靠谱。在逻辑学上，若两对象关系是对称的，则位置可互换，否则，不行。
由A＝B和B＝C，可得A＝C。
显然这是正确。在逻辑学上，“等于号”【＝】具有传递的关系。

逻辑学的基本准则：那是说明——逻辑学研究对象的范围很小；只是研究——推理以及与推理有关的问题。
逻辑学的基本准则：
同一律：——A就是A（譬如，跑题）。
（不）矛盾论：——不矛盾论就是矛盾律，A不是非A，A和A的否定不能同时成立。
排中律：——A或A的否定必有一真，也就是没有中间态。
矛盾论：A和A的否定不能同时成立，但是日常生活中，常常描述某事物同时是好是坏，如这事物指下雪。
正确的解读：
A：下雪是好事。
A的否定：下雪是坏事。
A1：下雪对冬小麦是好事。
A2的否定：下雪对交通是坏事。
A与A1是不同的——说明：
同一律，（不）矛盾论普遍适用，而排中律的适用范围是没有中间状态的，而二者互补的。
例如：
张三是男生，张三是女生，违反矛盾论。
张三不是男生，张三不是女生，违反排中律。
日常生活中，符不符合逻辑，往往就逻辑学的“基本准则”（形式三律）的几方面而言。

逻辑学和其他学科的关系，这里我们应该知道逻辑学与以下学科的关系密切：
哲学
数学
语言学
计算机科学
逻辑学最早是作为哲学的一部分存在的。
哲学，狭义理解，主要解决世界本原问题，物质的，还是精神的，是主观的，还是客观的。
本体论和认识论是哲学的核心。
广义理解，包括逻辑学，伦理学，美学。
数理逻辑：用数学的方法、数学的语言、数学的工具研究推理。数理逻辑的成果为数学基础的研究服务。
语言是逻辑的外壳。例如，语文老师会认为“整个大楼一片漆黑，只有那个窗户灯火通明。”是不对的，因为这两个子句互为矛盾。同样，“中国有着世界上任何国家都没有的万里长城”也是不对的。
计算机科学：它是以【离散数学】的研究与分析为基础学问的科目。这里，最早的逻辑系统：二值（二进制），是与不是，此后发展了：各式各样的“值”（例，十进制、三进制……）、逻辑门、比特与逻辑、量子逻辑、次协调逻辑、等等……
推理：演绎、归纳、溯因，目前来说，这仨是混用的。
演绎：从一般到个别
归纳：从个别到一般
溯因：类比或对比
计算机未能做到完整归纳，但能做到完整演绎。
归纳逻辑它的一个任务是要把我们所做的具体的归纳，要给出归纳的有效推理形式。

传统逻辑还是数理逻辑？
传统逻辑：也叫（古典逻辑）——古希腊亚里士多德为代表。
数理逻辑：是指（现代逻辑）——西方以莱布尼茨为创始人。
一般使用：数理逻辑的基础部分和传统逻辑的常用部分。
数理逻辑：不涉及任何一门高等数学的具体内容。
通过具体的推理了解：逻辑的精神、逻辑的方法、逻辑的思路。
这里要注意：
传统逻辑与数理逻辑是可以“相互转换”的。
也就是说：
传统逻辑，是由“口语”的文字方式形成的日常语言。
数理逻辑，是由“编程”的记号方式形成的人工语言。
所以：
这二者可以相互转换，这也是逻辑学使用的意义所在。
同时：
逻辑学有了公设的规定符号，这里的基础为【是】与【否】。
【是】的方面：
蕴涵方面：→（一般蕴涵，也叫实质蕴涵）、⇒（严格蕴涵，模态专用）、∈（集合蕴含，属于）
等价方面：＝（一般等价）、↔（实质等价）、⇔（严格等价，模态专用）、⊂（集合等价，真包含于）
【否】的方面：
否定式：¬（非）、-（负）
不等价：≠（不等于）
不蕴涵：⊄（不包含于）、∉（不属于）

第二部分：逻辑学的产生与发展