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