Hi Mr Chow,
看到你的网页很有兴趣，写的很多东西都很好玩，谢谢！
有一点疑问想要请教。
在 http://chowkafat.net/Lingpassage2.html 这一页‘甚麼是邏輯’前几段（尤其是四、五两段里）提到的‘邏輯學所指的正確推理方式是純粹從形式方面考慮的，而不考慮其實質內容，實質內容是其他學科 的研究範圍’，这里的其他学科指的是什么，能够请教一下吗？譬如说，哲学，或者物理学？我的印象里，传统的形而上是不排斥逻辑学的，例如亚里士多德就很注重形式逻辑，这一习惯到弗朗西斯培根才得到扭转。
那么，针对研究的是形式逻辑，还是实质内容，有没有一个很明确的分类？似乎在我们接受的教育里面，没有很明确地区分开，是吗？
以及，‘逻辑学和数学一样’的说法，指的是数学和逻辑学一样，都是形式逻辑啰？
Thanks for your precious time!

謝謝你瀏覽敝網站，由於我不是經常來看留言板，所以這麼遲才回覆，請見諒。以下嘗試回答你的問題。

現代數理邏輯學有所謂「形式主義」，是指僅從邏輯推理的形式判斷該推理是否有效，而不考慮該推理所含的語言內容，而有關內容可以是關於任何學科或甚至非學術內容，這裡的「學科」是指數理邏輯以外的學科，可以是化學、經濟學，甚至可以是常識或日常生活的事情。

我不是說「邏輯學與數學一樣」，而是說「邏輯學有點跟數學相似」，這是因為數學像邏輯學一樣也是高度抽象的，例如現代的抽象代數學便從眾多滿足結合律、含單位元和逆元的封閉運算中抽象出「群」這個概念。當數學家證明有關「群」的定理時，他是抽象地從「群」的整體性質考慮問題，並不考慮「群」的具體例子，例如自然數加法、矩陣加法、可逆矩陣乘法等等，因此這也是一種純形式推理。