※ 引述《A1Yoshi (我是按摩棒...)》之銘言：
: ※ 引述《reader (讀者)》之銘言：
: : 但成效遠不如從數學出發的研究，甚至倒過來有人用資訊理論和計算理論
: : 來討論哲學，或建構相關的哲學理論。
: 你能否舉一個例子，怎樣的哲學理論（處理哪一個或哪類哲學問題）被資訊
: 理論和計算理論討論？我沒有懷疑或否定的意思，我只是想知道那個討論大
: 致長什麼模樣而已。
1828篇：links to computational philosophy
可以做為例子說明，的確有人利用電腦來做哲學，
其中包含，將哲學論證寫成程式。
研究關於各式各樣主題的推論方法，以期可以自動化。
這當中應該會牽涉到什麼樣的人的推論方式是可能的自動化？
以及有沒有可能有涉及語意的論證系統？
在一個系統中，有哪些為真的命題不可能被證明？
這些都可以改善哲學家的論證方式。
因為使用自然語言來論證，有太多歧義性跟開放性，
以及較主觀的語詞間的語意關係。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.5.64
※ 編輯: popandy 來自: 140.112.5.64 (06/27 20:57)
※ 編輯: popandy 來自: 140.112.5.64 (06/27 20:59)