作者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