text: 逻辑学入门（学习日记，0）
  我们现在所说的逻辑学发源于古希腊，并复兴于一个世纪以前，逻辑学不仅一直在发展壮大，而且计算机时代的诞生也受益于此，当然，古希腊的逻辑推理并不仅仅只是用来进行数学推理，例如毕达哥拉斯定理，也不仅仅只是用来进行哲学思考，例如巴门尼德和赫拉克利特进行的‘存在’与“非存在”的辩论，逻辑推理还是智者们用来攫取名利的工具。
  自公元前594年起，古希腊经过梭伦，克里斯提尼再到伯里克利的民主改革，加上希波战争的胜利，古希腊的民主制度逐渐完善。由于古希腊民主制度下的竞争主要通过辩论和演讲进行，因此古希腊的辩论逐渐发展为带有强烈的功利性的诡辩，雅典战胜波斯之后，希腊城邦进入繁荣状态，这种功利性的辩论愈演愈烈，出现了一批专门传授辩论和演讲的“智者”（sophist），soph means 智慧，sphist 智者。为了获得影响力，他们利用怀疑主义和相对主义对传统观念提出了挑战，不在乎真理和事实，一切以驳倒对方为目的，可称为古希腊特产杠精。其中苏格拉底就很鄙视这些功利心很重的智者，为了将自己与sphist智者区别，他自称为philosopher，“philo—”表示爱，“—soph”表示智慧，philosopher直译为爱智慧的人，现在意为哲学家，哲人。
  诡辩盛行于古希腊，直到亚里士多德出现，他规范了逻辑学的有效推理形式。亚里士多德是苏格拉底的徒孙，柏拉图的徒弟，他开启了逻辑学研究，最早用公式表示正确的推理原则，用字母代表词项并构建了公理系统。这套公理系统将被欧几里得所吸收并使用到自己的数学研究当中，并在千年之后被伽利略运用到物理学研究里面。在19世纪末之前，亚里士多德逻辑将一直处于主导地位。
  另外，在世界的其他地方例如中国和印度，也有不同的逻辑传统兴起，被称之为佛教逻辑，也研究了西方逻辑的诸多重要问题，包括推理，谬误和语言，例如：
  此处有火，以有烟故；
  有烟处皆有火，如在厨房。
  此处有烟，
  此处有火。
  后三行就是一个有效的演绎：
  有烟的地方都有火，
  这是有烟的地方
  那么这里有火。
  和亚里士多德逻辑不同，佛教逻辑并没有流传开来，其出现在晦涩难懂的经书当中，被用来推理完善佛教的宗教世界观，难以传播。
  和其他自然科学一样，西罗马灭亡之后，大量的科学哲学著作都流传到了阿拉伯世界，阿拉伯进行了大翻译运动，吸收了这些知识，于是整个中世纪时期，阿拉伯世界在逻辑领域都占据了统治地位。