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