ection::::发展历史.许多文化都采用复杂的推理系统，最初仅有三个地方把逻辑学作为对推理方法的明确分析，并且有持续的发展，那就是前6世纪的印度、前5世纪的中国和前4世纪与前1世纪间的希腊。现代逻辑的形式复杂处理明显源自希腊传统，但是有人提出布尔逻辑的先驱可能知道印度逻辑（Ganeri 2001）。希腊传统自身来自亚里士多德逻辑的传播，伊斯兰哲学家和中世纪逻辑学家对它的评论。欧洲以外的传统没有存活到现代时期：在中国，对逻辑的学术研究传统在韩非的法家哲学之后就被秦朝压制；在伊斯兰世界，艾什尔里派（A