作者dQoQb ()
看板logic
標題Re: [討論] 邏輯本身
時間Sun Nov 2 21:47:15 2008
※ 引述《sarsenwen (畢業就好)》之銘言：
: 怎樣用"邏輯"證明"邏輯本身"是正確的?
: 這是我認知到的不完備定理!
: 所以一堆邏輯上的問題
: 沒有辦法證明誰對誰錯
: 自己覺得合理就可以了
你說的沒錯
很多門學問 都有自己的定義域
在自己的定義域下 會有許多"公設"和"公理"
而那門學問 就是在那些公設公理下去發展的
因此邏輯本身不需要被邏輯證明
因為它在自己定義域中 是恆成立的
------------
你當然會質疑 阿那些公設、公理 是怎麼定的
結論是 你真的可以亂定
舉個不太好的例子
比如線性代數中 任何的向量空間 他的元素可以任意定
那向量之間的operation就會照著你元素怎麼給而不同
不過大多數的公設、公理 都是基於(模擬)現實狀況 或是這門學問的實用性
而去假定的
許多學問也切實解決了日常生活 不少的問題
像邏輯這門學問也是
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.73.82
1F：推 yauhh:哦,那麼有趣的是如何用一套邏輯證明本身是錯了 11/02 23:23
2F：推 luciferii:邏輯把自己證錯，那就成為 Paradox 了:P 11/02 23:45
3F：推 mainword:除非能提出一套全新的理論, 而且要大家相信..也是OK的 11/03 00:49