Return to Website

Welcome to Chow Ka Fat's Forum

You are welcome to post messages in this forum. But please observe the rules of this forum. Any messages violating the rules will be deleted and the person posting such messages may be forbidden to post messages.
歡迎在本板留言,但請遵守本板規則。任何違規留言將被刪去,違規者亦可能被禁止發言。

Forum: Welcome to Chow Ka Fat's Forum
Start a New Topic 
   Board|Threaded
Author
Comment
About logistics

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

Email  
Re: About logistics

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

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

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

Get your own FREE Forum today! 
Report Content ·  · Free Blogs   Email Forms   Free Web Tools   Cheap Domains 
Powered by Bravenet