形式逻辑;或者,推理演算,必要和可能的

历史的逻辑

• 
  在历史的逻辑:16世纪

  …奥古斯都•德•摩根(德摩根形式逻辑1847年)。现在标准的讨论有效性,无效,自觉从非正式“正式”分离方面的句子和论点都能溯源到工作。

  阅读更多
• 
  在历史的逻辑:布尔和德摩根

  …奥古斯都•德•摩根发表了他形式逻辑;或者,推理演算,必要和可能的。与布尔和其他大多数逻辑学家在英国,德摩根知道中世纪逻辑理论和语义,也知道大陆,Leibnizian象征性的兰伯特的传统,Ploucquet, Gergonne。象征性的…

  阅读更多