作者hunterxgod (老姜_修練狂)
看板Atheism
標題[問題] 定義本身的可信度
時間Sun Aug 2 12:19:45 2009
在嚴謹的演繹形式證明當中，一切推理都是由【定義】這個基礎的事實描述中得來的
但這個事實本身是否符合現實情境則是不重要的，也就是說在任何的演繹形式證明中
定義都是被作證明的人無條件假設為真的（或者也可勉強說是無條件相信的）
在此我就產生了疑問，定義由於是一切演繹證明的基礎，也就是說他本身是無法被
我們所知的嚴謹演繹形式的證明所證明
那麼我們該如何知道這個定義本身
是完全合於現實情境的呢？
還有所謂的形式邏輯這個我們在演繹形式證明當中屢試不爽的萬能工具，其本身也可算
作是定義，所以一樣無法以演繹形式的證明法來證明其本身的真
那麼我們該如何得知形式邏輯是完全符合現實情境的呢？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.129.164.106
1F：推 nidor:因為發現形式邏輯對於解釋現實有用，所以才使用它。 08/03 01:47
2F：→ nidor:你可以任意定義其他的演繹系統，但是未必有什麼用處就是。 08/03 01:48
3F：→ amozartea:不是 形式邏輯不是拿來解釋現實的 08/03 15:06
4F：→ amozartea:他一開始就用在幾何學上了 08/03 15:06