形式邏輯

形式邏輯是研究純形式內容的推論的一門學科。

說人話

• S—所有帝國主義政府的一切決策都是從人民出發。
• A—美國是帝國主義國家。
• P—所以美國政府的一切決策都是從人民出發。
  • 形式邏輯研究的是 「S→A→P」的過程是否正確。
  • 形式邏輯不研究「S」,「A」,「P」本身是否正確。