看板
[ logic ]
討論串[請益] 矛盾
共 12 篇文章
內容預覽:
如果一個語句具有可證性，則是因為它有真假可言。不具有真假可言的語句還談. 什麼恆真恆假？形式邏輯的系統只適用於有真假可言的語句，你拿沒有真假可言. 的語句作為例子不是很奇怪嗎？形式邏輯的效力有限，它並不能百分之百吻合我. 們的思維，這我想所有的邏輯學家都會承認。. 另外就是恆真句是否可引入推論之中的
(還有966個字)
內容預覽:
我覺得重點在於, 在一個proof theory裡(例如: natural deduction),. 引入恆真句並不是一件理所當然的事情,. 你通常會需要一些meta-theory來允許你這麼做,. 其中一個可能會用到的, 如: 完備性定理,. (即: 凡是真的皆可以被證明). 不見得在每一個系統中
(還有733個字)
內容預覽:
「直覺主義認為」是「直覺主義者認為」，只有理性生物會思考，才會認為；. 主義本身不會「認為」。. 所以目前問題區分成兩個部份，是不是有恆真句的問題，. 跟恆真句能否直接引進推論的問題：. 1.恆真句是存在的嗎？. 你這段話：. "φ可以建構出一個證明或者ψ可以建構出一個證明". 對於(pv~p)來說
(還有587個字)
內容預覽:
推 MathTurtle:如果是自然演譯法, 其實是不能直接引入恆真句進去前提 01/10 21:38→ MathTurtle:但你可以把恆真句給出證明, 然後以此當Lemma用, 才行 01/10 21:38→ MathTurtle:這點很重要的原因是 5中的Rv~R在直覺邏輯的自然演譯法 01/
(還有140個字)