宋文坚 逻辑学读后感 2000字
当初上逻，也是奔着学分。
然而在逐步的学习过程中，老师的举例，多是涉及到我们现活中的问题，让我觉得，哲学并没有想象中的乏味于枯燥，逻辑与生活并不是完全割裂开来的。
生活离不开逻辑，逻辑也渗透在生活的各个层面。
哲学家喜欢喋喋不休，所以很不愿意沉默，哪怕前面是块“坚硬的石头” ，并没有办法给出进一步的理由。
这样，问题出现了。
在理性的尽头，哲学家要么会给出一个或者几个所谓“自明”的公理—— 这是独断论；要么因此而怀疑一切理由，声称一切都是虚妄——这是怀疑论。
这似乎是大多数人对逻辑的深刻印象。
逻辑学是研究用于区分正确推理与不正确推理的方法和原理的学问。
”正确推理的界定有着许多客观标准，而如果不了解这些标准，也就无法运用它们。
逻辑学研究的宗旨，就是发现并塑述这些标准，使之能够检验论证，把好的论证与坏的论证区别开来。
我知道这才是学习逻辑的最终目的，习得知识并运用到实际活动中指导我们的生活与学习，也算是拥有了一份比别人更睿智的理性，在问题的分析上，我们会更占优势。
因为在某些问题上，主观感官直觉做出的判断也许就是片面的，被蒙蔽的，而在这种时刻就应当辅助以逻辑的敏锐思维，丁是丁，卯是卯，不允许有丝毫含糊的地方。
我认为这是严谨求精的态度. 通过学习，我看待问题的角度和方法都得到了改变。
比如通过逻辑三段论的判断方法，判定一个论证的有效性。
否定后件式，肯定前件式，纯假言三段论等等，都是帮助我们全面理性分析问题的向导。
以我们身边的事情为例，大学中多有辩论比赛，主办方所定下的论题，则是利弊兼有，或是被称作模棱两可的题目，从不同的角度可以获得不同的结论和观点。
据我的观察，在辩论的过程中，辩手多采取偷换概念或者层层嵌套的论述方法，一步步把对方绕晕，以小的意义覆盖大的意义，就如逻辑命题中的某些名词一样，在此句中的意义要小于在彼句中的指示含义。
一般没有经过逻辑训练的人，也许真的会哑口无言，在自己还在诡辩中挣扎的时候，实际上已经输给对方了，因为凭主观直觉上，我们无法推翻别人的断言，或者对其提出反驳，因为没有逻辑的思维，我们是无法抓住出错点的。
如果具备了逻辑的知识，完全可以抓住对方的蛛丝马迹，陷其于自相矛盾、举例不当的尴尬境地。
对方如果采用逐步论定的结论的方法，我们也可以用验证逻辑论证的方法，比如前面提到的否定后件式，看他是否犯了肯定后件的谬误，这样一来，对方想耍思维上的小聪明，对我们来说也不过是黔驴技穷罢了。
还有逻辑作业，我觉得基本上很少有人是真心愿意写的，多是为了学分和成绩吧。
但是在做题的过程中，我逐渐感受到了学习的兴趣，体会到了逻辑的魅力。
老师选的题都是很有代表性的，而且可以使我们在做题的过程中反复复习课上学习的知识点，并以做题的方式进行应用实践，我印象最深刻的就是通过举与原题形式一致的反例来推翻原命题，通过一个生活中大家熟知的常识来推翻看似晦涩的哲学命题，确实是一件令人高兴的一件事。
学习逻辑的过程亦是发现惊喜的过程，你会惊喜的发现原来你也可以通过知识来推翻伟大学者曾下过的断论，李老师也说过，并不是所有名人的话都是对的，包括伟大的哲学家，我们通过逻辑论证也可以对其提出质疑。
再者，我真的很喜欢逻辑学老师。
声音很有磁性，他身上有种很令人敬佩的魅力，不单单是渊博的学识，还有他的授课方式，他的讲话语调，都让人觉得亲切。
就像一个磁铁，吸引着你在逻辑的海洋中吸取无尽的知识，欲罢不能。
所以说，一个学了逻辑学的人，比之一个从未思考过推理原理的人，其进行正确推理的可能性要大得多。
这首先因为学习逻辑学可以习得许多检验推理的正确性的方法，能够更容易地识别推理错误，从而使这些错误不容易在推理中滞留。
在这些被识别出的错误中，有些普通的推理谬误，或所谓“自然错误”，是只要把它们充分弄清就很容易避免的。
没有逻辑，而只凭主观感觉的分析是自我盲目的情绪与分析的产物。
这种盲目地分析，与逻辑背道而驰。
而我们在生活之路中，需要分析各种各样的问题，这些是无法避免的，所以说逻辑与我们的生活是统一的，也是一体的。
逻辑是关于正确思维的理论，它必然与人类为伴，渗透在社会生活的方方面面，无时不在，无处不在。
逻辑是人们言语交往的工具，是人们求知的方法，是人们理性的支撑点。
我觉得一个民族，如果没有良好的逻辑思维素质，就不可能有健全、成熟的理性，就不可能积极有效地认识世界，也不可能进行成功的交际。
一个没有良好逻辑思维素质的民族，是没有希望的。
所以这学期学习逻辑是很必要的，也是十分值得的。
宋文坚 逻辑学读后感 2000字
当初上逻，也是奔着学分。
然而在逐步的学习过程中，老师的举例，多是涉及到我们现活中的问题，让我觉得，哲学并没有想象中的乏味于枯燥，逻辑与生活并不是完全割裂开来的。
生活离不开逻辑，逻辑也渗透在生活的各个层面。
哲学家喜欢喋喋不休，所以很不愿意沉默，哪怕前面是块“坚硬的石头” ，并没有办法给出进一步的理由。
这样，问题出现了。
在理性的尽头，哲学家要么会给出一个或者几个所谓“自明”的公理—— 这是独断论；要么因此而怀疑一切理由，声称一切都是虚妄——这是怀疑论。
这似乎是大多数人对逻辑的深刻印象。
逻辑学是研究用于区分正确推理与不正确推理的方法和原理的学问。
”正确推理的界定有着许多客观标准，而如果不了解这些标准，也就无法运用它们。
逻辑学研究的宗旨，就是发现并塑述这些标准，使之能够检验论证，把好的论证与坏的论证区别开来。
我知道这才是学习逻辑的最终目的，习得知识并运用到实际活动中指导我们的生活与学习，也算是拥有了一份比别人更睿智的理性，在问题的分析上，我们会更占优势。
因为在某些问题上，主观感官直觉做出的判断也许就是片面的，被蒙蔽的，而在这种时刻就应当辅助以逻辑的敏锐思维，丁是丁，卯是卯，不允许有丝毫含糊的地方。
我认为这是严谨求精的态度. 通过学习，我看待问题的角度和方法都得到了改变。
比如通过逻辑三段论的判断方法，判定一个论证的有效性。
否定后件式，肯定前件式，纯假言三段论等等，都是帮助我们全面理性分析问题的向导。
以我们身边的事情为例，大学中多有辩论比赛，主办方所定下的论题，则是利弊兼有，或是被称作模棱两可的题目，从不同的角度可以获得不同的结论和观点。
据我的观察，在辩论的过程中，辩手多采取偷换概念或者层层嵌套的论述方法，一步步把对方绕晕，以小的意义覆盖大的意义，就如逻辑命题中的某些名词一样，在此句中的意义要小于在彼句中的指示含义。
一般没有经过逻辑训练的人，也许真的会哑口无言，在自己还在诡辩中挣扎的时候，实际上已经输给对方了，因为凭主观直觉上，我们无法推翻别人的断言，或者对其提出反驳，因为没有逻辑的思维，我们是无法抓住出错点的。
如果具备了逻辑的知识，完全可以抓住对方的蛛丝马迹，陷其于自相矛盾、举例不当的尴尬境地。
对方如果采用逐步论定的结论的方法，我们也可以用验证逻辑论证的方法，比如前面提到的否定后件式，看他是否犯了肯定后件的谬误，这样一来，对方想耍思维上的小聪明，对我们来说也不过是黔驴技穷罢了。
还有逻辑作业，我觉得基本上很少有人是真心愿意写的，多是为了学分和成绩吧。
但是在做题的过程中，我逐渐感受到了学习的兴趣，体会到了逻辑的魅力。
老师选的题都是很有代表性的，而且可以使我们在做题的过程中反复复习课上学习的知识点，并以做题的方式进行应用实践，我印象最深刻的就是通过举与原题形式一致的反例来推翻原命题，通过一个生活中大家熟知的常识来推翻看似晦涩的哲学命题，确实是一件令人高兴的一件事。
学习逻辑的过程亦是发现惊喜的过程，你会惊喜的发现原来你也可以通过知识来推翻伟大学者曾下过的断论，李老师也说过，并不是所有名人的话都是对的，包括伟大的哲学家，我们通过逻辑论证也可以对其提出质疑。
再者，我真的很喜欢逻辑学老师。
声音很有磁性，他身上有种很令人敬佩的魅力，不单单是渊博的学识，还有他的授课方式，他的讲话语调，都让人觉得亲切。
就像一个磁铁，吸引着你在逻辑的海洋中吸取无尽的知识，欲罢不能。
所以说，一个学了逻辑学的人，比之一个从未思考过推理原理的人，其进行正确推理的可能性要大得多。
这首先因为学习逻辑学可以习得许多检验推理的正确性的方法，能够更容易地识别推理错误，从而使这些错误不容易在推理中滞留。
在这些被识别出的错误中，有些普通的推理谬误，或所谓“自然错误”，是只要把它们充分弄清就很容易避免的。
没有逻辑，而只凭主观感觉的分析是自我盲目的情绪与分析的产物。
这种盲目地分析，与逻辑背道而驰。
而我们在生活之路中，需要分析各种各样的问题，这些是无法避免的，所以说逻辑与我们的生活是统一的，也是一体的。
逻辑是关于正确思维的理论，它必然与人类为伴，渗透在社会生活的方方面面，无时不在，无处不在。
逻辑是人们言语交往的工具，是人们求知的方法，是人们理性的支撑点。
我觉得一个民族，如果没有良好的逻辑思维素质，就不可能有健全、成熟的理性，就不可能积极有效地认识世界，也不可能进行成功的交际。
一个没有良好逻辑思维素质的民族，是没有希望的。
所以这学期学习逻辑是很必要的，也是十分值得的。
逻辑学宋文坚精彩内容摘抄
《简单的逻辑学》这书没看过但入门的话推荐你金岳霖老先生的《形式逻辑》讲解很清楚也很容易懂可以说是目前国内最好的逻辑入门书了
逻辑学宋文坚精彩内容摘抄
《简单的逻辑学》这书没看过但入门的话推荐你金岳霖老先生的《形式逻辑》讲解很清楚也很容易懂可以说是目前国内最好的逻辑入门书了
想找几本比较好的，哲学和逻辑学方面的，入门书籍
小黑的逻辑学最好了~ 逻辑学 黑格尔 《小逻辑》、《大逻辑》 路德维希-维特根斯坦 《逻辑哲学论》 谷振诣、刘壮虎 《批判性思维教程》 金岳霖主编 《形式逻辑》 周礼全主编 《逻辑：正确思维和有效交际的理论》 宋文坚主编 《逻辑学》 谷振诣 《论证与分析：逻辑的应用》 彭漪涟主编 《逻辑学导论》 陈波著 《逻辑学是什么
》 雍琦主编 《法律逻辑学》 王洪主编 《法律逻辑学案例教程》 武宏志、刘春杰主编 《批判性思维》 摩尔、帕克 《批判的思考》 柯匹、科恩 《逻辑学导论》（第11版） 袁正校主编 《逻辑学基础教程》 哲学与宗教 西方哲学 《圣经》Bible 维尔-杜兰特 《哲学的故事》 乔斯坦-贾德 《苏菲的世界》 威廉-欧文编 《黑客帝国与哲学》 《奥义书》 《佛经》 柏拉图 《理想国》 奥勒留 《沉思录》 亚里士多德 《伦理学》 鲁道夫-奥托 《神圣者的观念》 圣-奥古斯丁 《忏悔录》 笛卡尔 《第一哲学沉思集》 培根《培根论人生》 帕斯卡尔 《思想录》 蒙田《蒙田随笔全集》 洛克《人类理智论》 休谟《人性论》 康德《纯粹理性批判》、《实践理性批判》、《判断力批判》 黑格尔 《精神现象学》、《哲学全书》、《美学讲演录》（又译：《美学》、《谈美学》）、《历史哲学讲演录》、《哲学史讲演录》、《宗教哲学讲演录》 费尔巴哈 《上帝、自由和不朽》、《神统》 莱布尼茨 《人类理智新论》 尼采《悲剧的诞生》、《人性，太人性的》、《反基督》、《查拉图斯特拉如是说》、《善恶的彼岸》、《偶像的黄昏》、《上帝之死》、《权力意志》 马克思、恩格斯 《马克思恩格斯全集》 列宁、斯大林 《列宁斯大林全集》 特里-伊格尔顿 《马克思主义为什么是对的》 阿道夫-希特勒 《我的奋斗》 路德维希-维特根斯坦 《哲学研究》 亚当-斯密 《道德情操论》 约翰-斯图亚特-穆勒 《功利主义》 马克斯-韦伯 《新教伦理与资本主义精神》 胡塞尔 《欧洲科学的危机与超越论的现象学》 马丁-海德格尔 《存在与时间》 让-保罗-萨特 《存在于虚无》 威廉-巴雷特 《非理性的人》 哈贝-马斯 《社会交往》、《追补的革命》 卢卡奇 《历史与阶级意识》 哈耶克 《自由哲学原理》 尼尔伯斯曼 《娱乐至死》、《乌合之众》 乌尔里希-贝克 《风险社会》 罗素《数学原理》（与怀海特合著）、《哲学问题》、《我们对外间世界的知识》、《社会重建原理》、《神秘主义与逻辑》、《自由之路》、《布尔什维克的理论与实践》、《心的分析》、《物的分析》、《婚姻与道德》、《教育与社会秩序》、《权力论——一个新的社会分析》、《西方哲学史》、《人类知识之范围及其极限》、《权威与个人》、《我的哲学发展》、《西方的智慧》、《罗素自传》、《论教育》 大前研一 《无国界的世界》 托马斯-弗里德曼 《世界是平的》 鲍德里亚 《拟像与仿真》Simulacra and Simulation 凯文-凯利 《失控：机器、社会与经济的新生物学》 中国哲学 冯友兰 《中国哲学史》 章太炎 《国学概论》 孔子《论语》 老子《道德经》 墨翟《墨子》 庄子《庄子》 韩非《韩非子》 管子《管子》 吕不韦 《吕氏春秋》 刘向《战国策》 左丘明 《左传》 吴兢《贞观政要》 司马光 《资治通鉴》 涩泽荣一 《论语与算盘》 鲁思-本尼迪克特 《菊与刀》 美学 黑格尔 《美学》 鲍桑葵 《美学史》 朱光潜 《谈美书简》、《西方美学史》 宗白华 《美学散步》 《西方美术史》 《西方音乐史》 政治经济学 亚当-斯密 《国富论》 大卫-李嘉图 《政治经济学及赋税原理》 马歇尔 《经济学原理》 N-格里高利-曼昆 《经济学原理》 格奥尔格-西梅尔 《货币哲学》 约翰-斯图亚特-穆勒 《政治经济学原理及其在社会中的应用》 约-梅-凯恩斯 《就业、利息、货币通论》 马克思 《资本论》 雷蒙-阿隆 《社会学主要思潮》 宋鸿兵 《货币战争》 李成坤 《可乐薯条心理学》
想找几本比较好的，哲学和逻辑学方面的，入门书籍
小黑的逻辑学最好了~ 逻辑学 黑格尔 《小逻辑》、《大逻辑》 路德维希-维特根斯坦 《逻辑哲学论》 谷振诣、刘壮虎 《批判性思维教程》 金岳霖主编 《形式逻辑》 周礼全主编 《逻辑：正确思维和有效交际的理论》 宋文坚主编 《逻辑学》 谷振诣 《论证与分析：逻辑的应用》 彭漪涟主编 《逻辑学导论》 陈波著 《逻辑学是什么
》 雍琦主编 《法律逻辑学》 王洪主编 《法律逻辑学案例教程》 武宏志、刘春杰主编 《批判性思维》 摩尔、帕克 《批判的思考》 柯匹、科恩 《逻辑学导论》（第11版） 袁正校主编 《逻辑学基础教程》 哲学与宗教 西方哲学 《圣经》Bible 维尔-杜兰特 《哲学的故事》 乔斯坦-贾德 《苏菲的世界》 威廉-欧文编 《黑客帝国与哲学》 《奥义书》 《佛经》 柏拉图 《理想国》 奥勒留 《沉思录》 亚里士多德 《伦理学》 鲁道夫-奥托 《神圣者的观念》 圣-奥古斯丁 《忏悔录》 笛卡尔 《第一哲学沉思集》 培根《培根论人生》 帕斯卡尔 《思想录》 蒙田《蒙田随笔全集》 洛克《人类理智论》 休谟《人性论》 康德《纯粹理性批判》、《实践理性批判》、《判断力批判》 黑格尔 《精神现象学》、《哲学全书》、《美学讲演录》（又译：《美学》、《谈美学》）、《历史哲学讲演录》、《哲学史讲演录》、《宗教哲学讲演录》 费尔巴哈 《上帝、自由和不朽》、《神统》 莱布尼茨 《人类理智新论》 尼采《悲剧的诞生》、《人性，太人性的》、《反基督》、《查拉图斯特拉如是说》、《善恶的彼岸》、《偶像的黄昏》、《上帝之死》、《权力意志》 马克思、恩格斯 《马克思恩格斯全集》 列宁、斯大林 《列宁斯大林全集》 特里-伊格尔顿 《马克思主义为什么是对的》 阿道夫-希特勒 《我的奋斗》 路德维希-维特根斯坦 《哲学研究》 亚当-斯密 《道德情操论》 约翰-斯图亚特-穆勒 《功利主义》 马克斯-韦伯 《新教伦理与资本主义精神》 胡塞尔 《欧洲科学的危机与超越论的现象学》 马丁-海德格尔 《存在与时间》 让-保罗-萨特 《存在于虚无》 威廉-巴雷特 《非理性的人》 哈贝-马斯 《社会交往》、《追补的革命》 卢卡奇 《历史与阶级意识》 哈耶克 《自由哲学原理》 尼尔伯斯曼 《娱乐至死》、《乌合之众》 乌尔里希-贝克 《风险社会》 罗素《数学原理》（与怀海特合著）、《哲学问题》、《我们对外间世界的知识》、《社会重建原理》、《神秘主义与逻辑》、《自由之路》、《布尔什维克的理论与实践》、《心的分析》、《物的分析》、《婚姻与道德》、《教育与社会秩序》、《权力论——一个新的社会分析》、《西方哲学史》、《人类知识之范围及其极限》、《权威与个人》、《我的哲学发展》、《西方的智慧》、《罗素自传》、《论教育》 大前研一 《无国界的世界》 托马斯-弗里德曼 《世界是平的》 鲍德里亚 《拟像与仿真》Simulacra and Simulation 凯文-凯利 《失控：机器、社会与经济的新生物学》 中国哲学 冯友兰 《中国哲学史》 章太炎 《国学概论》 孔子《论语》 老子《道德经》 墨翟《墨子》 庄子《庄子》 韩非《韩非子》 管子《管子》 吕不韦 《吕氏春秋》 刘向《战国策》 左丘明 《左传》 吴兢《贞观政要》 司马光 《资治通鉴》 涩泽荣一 《论语与算盘》 鲁思-本尼迪克特 《菊与刀》 美学 黑格尔 《美学》 鲍桑葵 《美学史》 朱光潜 《谈美书简》、《西方美学史》 宗白华 《美学散步》 《西方美术史》 《西方音乐史》 政治经济学 亚当-斯密 《国富论》 大卫-李嘉图 《政治经济学及赋税原理》 马歇尔 《经济学原理》 N-格里高利-曼昆 《经济学原理》 格奥尔格-西梅尔 《货币哲学》 约翰-斯图亚特-穆勒 《政治经济学原理及其在社会中的应用》 约-梅-凯恩斯 《就业、利息、货币通论》 马克思 《资本论》 雷蒙-阿隆 《社会学主要思潮》 宋鸿兵 《货币战争》 李成坤 《可乐薯条心理学》
求关于逻辑学入门的一些书
《简单的逻辑学》这书没看过但入门的话 推荐你金岳霖老先生的《形式逻辑》 讲解很清楚 也很容易懂 可以说是目前国内最好的逻辑入门书了
求关于逻辑学入门的一些书
《简单的逻辑学》这书没看过但入门的话 推荐你金岳霖老先生的《形式逻辑》 讲解很清楚 也很容易懂 可以说是目前国内最好的逻辑入门书了
求逻辑学中的符号全集?
到目止，人类所使用的语言，可以三类：自然语言（如：和汉语）、半形式言（如：数学的语言。
即：自然语言加特定的符号）和形式化语言（如：逻辑的语言）。
本文从自然语言、半形式化语言和形式化语言的特征看逻辑学的发展。
自然语言文字的一个重要特征 : 人们在日常生活中所使用的语言文字，可以分为拼音语言文字和非拼音语言文字两大类。
英语语言文字、俄语语言文字、法语语言文字、德语语言文字、意大利语语言文字、西班牙语语言文字等都是拼音语言语言文字。
汉语语言文字是一种非拼音语言语言文字。
不管是拼音语言语言文字还是非拼音语言语言文字都属于自然语言语言文字的范畴。
然而，任何一种自然语言语言文字都是一个丰富的、复杂的“符号”系统。
这种符号系统包括语音、语汇、语法等作为子系统，每一子系统又都包括许多不同特点的语言单位，单位和单位之间的关系错综复杂，但有规律可循。
就每一个语言单位（例如，一个词）而言，它的语音形式是依照语音系统的规则构成的，它的意义与词汇系统中的许多方面发生联系，它的功能受语法规律的支配。
语言单位是声音和意义的结合。
语言单位的声音虽然千差万别，但是构成不同语言的基础（音位）通常只有 40 个左右。
这就说明不同的语音的基础音位是有穷的。
由于词是由有限个基础音位生成的，于是，构成任何一种自然语言语言文字的词汇也是有穷的。
从而，由有限个词构成的句子也是有穷的。
例如，英语语言文字有 26 个字母组成，英语语言文字中的词是由有限个字母的有限次组合而成的，因此，英语语言文字的词的个数是有穷的。
英语语言文字的句子是由有限个词的有限次组合再按照一定的规则生成的，从而，英语语言文字的句子的个数也是有穷的。
依次类推由此可得：英语语言文字是一种有穷的语言文字，汉语语言文字也是如此。
因为，汉语语言文字是由偏旁部手组成的，虽然汉语语言文字的偏旁部手要比英语语言文字的 26 个字母多得多，但它也只有有穷多个。
汉字是由有限个偏旁部手的有限次组合生成的，有限个汉字的有限次组合再按照一定的规则生成句子，等等。
总之，任何一种自然语言文字都是一种 有穷语言 。
半形式化语言的主要特征: 半形式化语言的种类很多，我们以数学语言为例来分析半形式化语言所具有的主要特征。
数学语言是指数学这一学科特有的语言。
虽然数学语言与自然语言有许多共同之处，但是，任何一个数学分支的语言都是在自然语言的基础上附加一些特定的符号，它们与自然语言相比更具形式化。
因此，称它为半形式化的语言。
这种半形式化的语言具有以下三个重要特征：（ 1 ） 无穷性 由于数学研究的对象是“数”与“量”这些无穷概念。
而与之相应的任何一种数学语言都是一种无穷语言。
因此，它们具有更强的表达能力。
就拿最简单的算术语言来说，它研究的对象是 0,1 ， 2 ，…， n ，…这些自然数的性质。
除此之外，它还包括＋， · 等用来表示自然数加法和乘法运算的符号。
对任意的自然数 m 和 n ，人们都可以进行两个自然数的加法（ m+n ）和乘法（ m·n ）的运算。
（ 2 ） 统一性 由于数学语言中使用了特定的记号，从而使数学语言成为一种半形式化的符号语言，这样以来，数学语言比任何一种自然语言更具有“统一性”。
如：在任何一种自然语言编著的平面几何学的教科书中，符号“△”都表示三角形。
在任何一种自然语言编著的微积分的教材中，符号“∫”都表示积分。
因此，数学语言作为一种特定的符号语言，与自然语言相比，它简单、直观和严密。
再如，数学命题：“两个数和的平方等于这两个数的平方和再加上这两个数乘积的 2 倍”。
用通用的数学符号，就可以形式地表示为： （ a ＋ b ） 2 = a 2 ＋ 2 ab ＋ b 2 这里的符号 a 和 b 表示任意的数，符号“＋”表示加法运算， ab 表示 a 和 b 这两个数的乘积。
x 2 表示 x 自乘，即： x 2 =x·x 。
这种写法，全世界的中学生们都认识。
（ 3 ） 可操作性 数学语言作为一种特定的符号语言，与自然语言相比，它与算法建立了联系。
因此，它还具有“可操作性”。
法国数学家违达提出：我们可以用字母（即符号）表示已知量和未知量，并对此进行纯形式的操作，也即我们可以摆脱问题的具体内容，而从一般角度总结出普遍的算法。
正如人们所熟悉的，我们可以按照以下的算法去求得任何一个一元一次方程的解：①去分母；②去括号；③移项；④合并同类项；⑤同除以未知数的系数。
因此，许多数学家都认为完美的符号系统促进了整个数学的发展。
特别地，数学家克莱因对代数学的情况写道：代数学上的进步是引进了较好的符号体系，这对它本身和分析的发展比 16 世纪技术的进步远为重要。
事实上，采取了这一步，才使代数有可能成为一门科学。
” （《古今数学思想》，第一册，第 301 页）正是在这种意义上，数学家迪多内认为：“好的符号往往伴随着易于使用它们的算法：我们把这理解为计算或常规的推论，就是说一旦确定之后就是永远如此，对它们的应用几乎是自动化的，不需要从头做起，这样，极为明显地简化了数学语言，并且可以集中注意力于证明的基本要素。
”与此相反，“常常是由于缺乏能够说清楚真正实质的符号，数学的某个领域就得不到发展”（郑毓信，第 41 页）。
数学语言与任何一种自然语言相比较，除了具有以上特点外，还具有无歧异性、简明性等特点。
历史上，第一个有意识地、系统地在数学中使用字母的学者是十六世纪法国数学家韦达。
他的这一工作不仅推动了代数学的发展，而且对十七世纪的数学家和逻辑学家莱布尼茨启发很大。
因此，使数学本身有一套完美的、通用的符号，成为莱布尼茨在数学研究中的努力追求。
因此，莱布尼茨的工作，导致了他在数学符号发展史上占据着重要的地位。
如：莱布尼茨本人创立的微积分符号体系。
在他的符号体系中， dx 表示 x 的微分， ddx 和 dddx 分别表示 x 的二阶和三阶微分。
他还用符号 d m x 来表示 x 的 n 阶微分，特别地，他把复合函数的求导法则表示成： dy\\\/dx = （ dy\\\/dz ）（ dz\\\/dx ）。
尽管在创建微积分的过程中，牛顿也曾创立了另一种不同的符号体系。
由于民族的偏见，英国的数学家曾在很长的时间内对莱布尼茨的符号体系进行抵制并坚持采用牛顿的符号。
但终因莱布尼茨的符号体系更为便利，从而得到了普遍的应用并一直沿用至今。
然而，我国在辛亥革命之前，由于没有采用国际上通用的数学符号体系。
直到 1906 年，京师大学堂使用的教科书上，仍然用天、地、人、元表示未知数，用符号“ ⊥ ”和“｜”分别表示加和减，分数则自上而下读。
因此，含有四个未知数 x ， y ， z ， w 的多项式 w 2 \\\/5 － z 3 \\\/3 ＋ x 2 y 4 \\\/27 被表示成： 五 ? 三 ? 二七 元 二 ? 人 三 ^ 天 二 地 四 这种表示方法显然是极不方便的，因此，也就必然遭到淘汰（郑毓信，第 44 页）。
总之，数学符号被看成数学的一个重要组成部分。
数学的发展在很大程度上可以被认为数学语言的更新与扩展，而这种不断更新的数学语言又对自然界的认识与改造提供了更为有力的武器。
形式化语言及其特征: 形式化语言的种类也很多。
我们以逻辑的语言为代表来分析形式化语言所具有的主要特征。
建立逻辑的语言，使逻辑学象数学那样也有一套完美的、通用的符号，其思想也可以追溯到莱布尼茨。
他认为，我们可以建立一种普遍的、没有歧义的语言，通过这种语言，就可以把推理转变为演算。
一旦发生争论，我们只要坐下来，拿出纸和笔算一算就行了。
这里，他实际上提出了数理逻辑的两个基本思想：构造形式语言和建立演算。
但是，对于他所设想的语言，他要求：“它能这样地形成和排列符号，使得它能表达一些思想，或者说使得它们之间具有和这些思想之间的关系相同的关系。
一个表达式是一些符号的组合，这些符号能表象被表示的事物，表达式的规律如下：如果被表示的那个事物的观念是由一些事物的一些观念组成的，那么那个事物的表达式也是由这些事物的符号组成的。
”（张家龙，第 46-47 页） 莱布 尼 茨的这些论述，实际上就是要将逻辑形式化。
不过莱布 尼 茨没有实现他的两个设想。
1879年，逻辑学家弗雷格发表了名著的《概念文字——一种模仿算术语言构造的纯思维的形式语言》。
在这本书中，弗雷格借鉴了两种语言，一种是传统逻辑使用的语言，另一种是算术的语言。
从而成功地构造了一种逻辑的形式语言，即：一种表意的符号语言，并且用这种语言建立了一个一阶谓词演算系统，实现了莱布尼茨提出建立一种普遍语言的思想。
其实，在莱布尼茨之前，从亚里士多德开始，对逻辑学的研究所使用的语言就是一种半形式化的语言。
这种半形式化的语言就是用字母表达一般概念。
如，亚里士多德在《前分析篇》中用字母来表达一般概念，给出了三段论的推理形式。
从逻辑的观点看，三段论最重要的方面是它的形式。
一个三段论推理是否有效，完全决定于它的形式。
下面的推理 ? 所有的植物都是需要阳光的， （ 2） 所有的植物都是生物， （ 3） 所以，有些生物是需要阳光的。
就是一个三段论的具体例子。
如果用三个字母 P、S和M分别表示这个三段论的大项（阳光）、小项（生物）和中项（植物），那么这个三段论的前提和结论的推理形式就可以形式的表示如下： MAP MAS SIP 它是第三格的 AAI式。
这个推理在前提的主项非空的条件下有效（ 宋文坚，第 149 ～ 151 页 ）。
但是，这里的三个字母 P、S和M还可以用来表示其它的概念。
在弗雷格构造的形式语言中，他用“ ? — ”表示判断符号，用“ ? 「— ”表示否定符号，用“≡”表示内容统一符号，用“ F （ A）”表示函数符号，等等。
因此，“李四有死”可以表示为： ? — F（a）。
弗雷格使用这些符号，不仅表达了推理的形式和规则，而且还成功构造了第一个初步自足地逻辑演算系统。
但是，他使用的符号不利于印刷。
1910-1913年，罗素和怀特海发表了《数 学 原理》。
在这部逻辑著作中，他们改进了弗雷格的表述方式，发展和完善了弗雷格的形式语言和形式推理系统。
现在，一个一阶谓词演算系统的形式语言，通常是在命题演算系统的形式语言 L 0 （简称：命题语言）的基础上建立起来的。
一个命题的形式语言 L 0 一般由两部分组成。
（ 1）形式语言 L 0 的字母表，即 L 0 的初始符号；（ 2）形式语言 L 0 的形式规则。
下面给出的是一种常用的命题的形式语言 L 0 。
L 0 的初始符号： 甲类： p，q，r，s，p 0 ，q 0 ，r 0 ，s 0 ，p 1 ，…； 乙类： ? ， ù ， ú ， ? ， ? ； 丙类：（，）。
初始符号相当于自然语言中符号的字母表。
形式语言 L 0 实际上有可数可穷多个符号组成，即： L 0 = ｛ ? ， ù ， ú ， ? ， ? ，（，）， p，q，r，s，p 0 ，q 0 ，r 0 ，s 0 ，p 1 ，… ｝。
不做解释时，我们只能从它们的外形和它们所占具的空间上去认识它们。
从外形上，我们可以区别出“ p ”与“ q ”不同，“ ? ”与“ ú ”不同等等。
经解释后，甲类符号表示可数无穷多个命题变项，乙类符号是真值联结词。
“ ? ”称为否定词，“ ù ”称为析取词，“ ú ”称为合取词，“ ? ”称为蕴涵词，“ ? ”称为等值词。
并按下表对它们进行解释。
p q ? p p ù q p ú q p ? q p ? q 真 真 假 真 真 真 真 真 假 假 假 真 假 假 假 真 真 假 真 真 假 假 假 真 假 假 真 真 丙类符号分别是：左括号和右括号，它们起标点的作用。
一个拼音语言，当它的字母表给定以后，人们就可以随意地对字母表中的字母进行排列。
但是，这样随意排列出来的符号序列，并不一定都有意义。
于是，人们又规定了一些拼音的规则，使得用这些规则排列出来符号序列有意义，即表示字或者表示一定的意义（即句子）。
对于命题语言 L 0 来说， L 0 的初始符号 所组成的符号序列对我们来说，并非都有意义。
我们也将规定一些规则，使得按我们的规则形成的符号序列有意义，否则就无意义。
L 0 的形成规则： 甲：任一甲类符号是一合式公式； 乙：如果有穷符号序列 X 是合式公式，则 ? X 也是合式公式； 丙：如果有穷符号序列 X 和 Y 都是合成公式，则（ X ù Y ），（ X ú Y ），（ X ? Y ）和（ X ? Y ）也都是合成公式； 丁：只有适合以上三条的符号序列才是合成公式，简称为公式。
这里，形成规则甲规定：命题变项 p，q，r 等都是公式，这类公式也叫做原子公式，因为它们不能再分解。
乙和丙都是由原子公式生成的，因此它们也被称为复合公式，乙类公式叫做否定式，而丙类公式分别叫做合取式、析取式、蕴涵式和等值式，丁是限制性规则，说明哪些符号序列不是公式。
在命题语言 L 0 的初始符号中，为什么要有命题变项、真值联结词和括号这三类符号呢
因为哲学家争论的问题都是一些用自然语言描述的语句。
在这些语句中，命题又是最简单的形式。
如“亚里士多德是哲学家”。
要把这类命题转化成计算，就需要把具体的命题抽象化。
象数学那样，把一些具体的量抽象化。
如： 1 个苹果或者 2 个香蕉或者 3 个梨等，把这些具体的量抽象化后，用一个变量 x 表示。
但 x 本身是一个抽象的量。
这里的 x 可以代表 1 个苹果，也可以代表 2 个香蕉，当然也可以表示 3 个梨。
现在，我们用符号 p 、 q 等来表示用自然语言描述的命题，因此，对它们的解释是不固的。
需要注意：由于 p 、 q 等表示的不是数量，为了与数学变量相区别，人们把它们叫做命题变项，而不叫命题变量。
另外，对任意的两个数 x 和 y 来说，我们都能做 x 和 y 的加法 x+y 运算。
对命题变项 p 和 q 来说，我们给命题联结词以固定的符号，将这些符号作为命题之间的运算符号或算子。
而括号的使用只是为了书写的方便，正如我们在算术的四则运算中也使用括号一样。
还有一点值得一提，我们所使用的命题变项符号 p ， q 等表示或真或假的命题，用联结词运算所得到的结果，仍然是表示或真或假的命题。
这一点也恰好是数学计算结果对、错的体现。
命题语言只能将哲学家讨论的问题做一种最简单的形式处理。
随着研究的不断深入，我们需要对哲学家讨论问题时，所使用的基本单位——命题继续分析。
分析出语句中所含的个体词、谓词（即关系词）和量词等，从而揭示简单命题的形式结构。
因此，在形式语言 L 0 的基础上增加适当的符号，就可以建立起一阶（形式）语言 L 1 。
L 1 的初始符号： 甲类： v ， v 0 ， v 1 ， v 2 ，…； 乙类： ? ， ù ， ú ， ? ， ? ； 丙类： （，）； 丁类： ， $ ； 戊类：对于每个大于等于 1 的自然数 n ， P n ， Q n ， R n …（可以没有）； 己类： c ， c 0 ， c 1 ， c 2 ，…（可以没有）。
这里，甲类符号表示可数无穷多个个体变项，乙类符号表示逻辑联结词，丙类符号表示技术性符号，丁类符号表示量词，其中（ ）为全称量词符号，（ $ ）为存在量词符号，戊类符号表示无穷多个 n 元谓词或关系符号，己类符号表示无穷多个个体常项。
另外，在一个一阶语言 L 1 的初始符号中，运算符可以有也可以没有，这里我们给出的是一个没有运算符号的一阶语言。
如果我们约定用 A 0 表示甲～丁类中所有符号的集合，用 S 表示戊类和己类所有符号的集合， S 可以是空集，并且 A 0 和 S 是不交的，即： A 0 ? S = ? 。
为此，我们称 A s = A 0 è S 为由 S 所确定的一个一阶语言 L 1 的符号集。
对任何一个一阶语言 L 1 来说， A 0 都是不变的，所以甲～丁类符号又叫做逻辑符号。
S 是可变的，戊～己类符号又叫做非逻辑符号。
给定 S ，也就确定了一个一阶语言 L 1 。
S 不同，所确定的一阶语言也不同。
我们说给定一个一阶语言 L 1 ，就是给定了 L 1 的符号集合 S 。
L 1 的形成规则： 甲：个体变项和 S 中的个体常项统称 S 项， S 项用 t 或加下标表示； 乙：如果 t 0 ， t 1 ，…， t n-1 都是 S 项，而 R n 是 S 中的任一 n 元关系符号，那么 R n （ t 0 ， t 1 ，…， t n-1 ）是一个 L 1 表达式； 丙：如果 a 是 S 表达式，那么 ? a 也是； 丁：如果 a 和 b 都是 S 表达式，那么（ a ù b ），（ a ú b ），（ a ? b ）和（ a ? b ）也都是； 戊：如果 a 是一个 S 表达式，而 x 是一个个体变项，那么 x a 和 $ x a 都是 S 表达式； 己：只有适合以上乙～戊四条的符号序列才是 S 表达式。
其中：按照规则乙形成的 L 1 表达式叫做原子公式。
按照规则丙形成的 L 1 表达式 ? a 叫做 a 的否定式。
由规则丁形成的表达式分别叫做 a 和 b 的合取式、析取式、蕴涵式和等值式。
由规则戊形成的表达式 x a 和 $ x a 分别叫做 a 的全称式和存在式。
总之，在逻辑学中，形式语言最核心的思想是把自然语言描述的语句抽象化、符号化。
即：用符号表示客观世界中或真或假的命题。
这样建立起来的形式语言，除了具有数学语言所具有的一般特征外，它还具有 离散性 和 递归性 。
这使得形式语言可以借助于某些数学的方法进行研究，如公理化方法和集合论模型方法。
至此，我们就可以将自然语言表述的论断：“世上决没有无缘无故的爱，也没有无缘无故的恨 ” 用一阶语言 L 1 的符号刻画出来。
这个论断最简单的表示方法为： p （ 1 ） 从推理的角度看，我们还应该把这个论断的表示形式再细分，在这个意义上，（ 1 ）式又可以表示为： 没有无缘无故的爱 也 没有无缘无故的恨 （ 2 ） （ 1 ）式已被分析成两个命题。
（ 2 ）式又可以再细分为： ? 存在无缘无故的爱 ù 存在无缘无故的恨 （ 3 ） （ 2 ）式中的否定词被分析出来了。
如果令 p 表示：“存在无缘无故的爱”，令 q 表示：“存在无缘无故的恨”，则（ 3 ）被形式的表示为： ? p ù ? q 如果将（ 3 ）式中的存在量词分析出来，（ 3 ）式又可以表示为： ? $ x （无缘无故的爱（ x ）） ù ? $ y （无缘无故的恨（ y ）） （ 4 ） 如果将（ 4 ）式中爱和恨的概念分析出来，（ 4 ）式又可以表示为： ? $ x （爱（ x ） ù ? 有缘故（ x ）） ù ? $ y （恨（ y ） ù ? 有缘故（ y ）） （ 5 ） 如果将（ 5 ）式中爱和恨的原因分析出来，（ 5 ）式又可以表示为： ? $ x （爱（ x ） ù ? $ z 缘故（ x ， z ）） ù ? $ y （恨（ y ） ù ? $ w 缘故（ y ， w ）） （ 6 ） 再令 F 表示一元谓词“爱”， H 表示一元谓词“恨”，令 G 表示二元谓词“缘故”，则（ 6 ）式又可以形式的表示为： ? $ x （ F （ x ） ù ? $ zG （ x ， z ）） ù ? $ y （ H （ y ） ù ? $ wG （ y ， w ）） （ 7 ） 这样以来，在命题语言 L 0 中，我们把论断“世上决没有无缘无故的爱，也没有无缘无故的恨 ”形式地表示为： ? p ù ? q 。
在一阶语言 L 1 中，我们可以把论断“世上决没有无缘无故的爱，也没有无缘无故的恨 ”进一步地表示为（ 7 ）式。
但是，在 L 1 中，人们仍然不能处理象“亚里士多德可能是哲学家”这类命题。
要处理这类命题，只需将一阶语言 L 1 （或命题语言 L 0 ）进行扩充。
即在 L 1 （或 L 0 ）的基础上，增加模态算子“可能”，形式地记作◇。
于是，我们又得到了处理模态语句的形式语言 L 1 è ｛◇｝。
在此基础上，人们又创立了模态逻辑的各类形式系统。
从命题语言 L 0 到一阶语言 L 1 ，再到模态语言 L 1 è ｛◇｝的这一过程，类似于数集的扩充。
即：人们最先认识和使用的数都是一些自然数（即：正整数），如 1 ， 2 ，…， n 等等。
所有自然数集的全体记作 N 。
随后人们认识了数零，即： 0 。
由于生产和生活的需要，在引入负数的概念之后，数集就随之扩大。
于是，就有了整数集 Z 。
即：整数集包括：自然数（正整数）、零和负整数。
亦即： Z = ｛ 1 ， 2 ， 3 ，…， n ，…｝ è ｛ 0 ｝ è ｛…， -n ，…， -3 ， -2 ， -1 ｝ = ｛…， -n ，…， -3 ， -2 ， -1 ， 0 ， 1 ， 2 ， 3 ，…， n ，…｝ 随后，人们把整数加密，引入了分数的概念，例如，在 1 和 2 之间加入了 1\\\/2 。
在此基础上，整数集 Z 就被扩大到了有理数集 Q 。
最后，在有理数集的基础上，又增加了无理数，有理数集被扩充到了实数集 R 。
即： N í Z í Q í R 。
总之，随着生产和生活的需要，数集在不断扩大。
同理，随着对逻辑学的深入研究，逻辑所使用的形式语言的符号集也在逐步扩大，并由此得到了不同的形式语言。
结 论: 根据以上分析可以得出：（ 1 ）从亚里士多德开始，直到莱布尼茨设想要建立一种“普遍语言”（即：形式语言），这一设想后由弗雷格完成。
这一时期对逻辑学的研究主要采用的是半形式化语言。
（ 2 ）弗雷格之后的逻辑学研究使用的是形式语言。
由此可以推出：逻辑学的发展在很大程度上可以被认为是逻辑语言的更新与扩展。
（ 3 ） 20 世纪初之前，由于中国一直未能使用字母表示变量，也未能使用字母表示概念。
这不仅阻碍了数学在中国的发展，也阻碍了逻辑学在中国的产生。
所以， 20 世纪初之前，中国没有逻辑。
这里的逻辑，既是指亚里士多德意义下的逻辑也是指莱布尼茨意义上的逻辑。
（ 4 ）如上建立起来的逻辑语言，被看成逻辑学研究的两大支柱之一，并且逻辑学的发展，在很大程度上被认为是逻辑学所使用的语言的扩展。
而这种不断扩展的逻辑语言又对人们的思维和推理提供了更为有力的工具。
因此，从语言发展的观点看， 21 世纪逻辑学的发展仍然依赖于逻辑语言的发展。
也就是说， 21 世纪逻辑学要取得长足的发展，首先，研究逻辑学所使用的语言必须取得长足的发展。
但是，这种发展是否还建立在现有形式语言的基础上，这是有待于逻辑学研究者们深入研究的一个重要的问题。
如，将来“形式化”的意义是否还是我们这篇文章中第三部分介绍的内容等等，这些问题都有待于 21 世纪的逻辑学工作者们深入研究。
