[哲學日常]正在思考我們可不可以用rational intuition看到(see)一個假的entailment。例如，有個邏輯不怎樣的人強烈地覺得A entail B，但A實際上不entail B，這樣這人算是有成功看到A entail B嗎？

A可以放進rational intuition，說rational intuition會entail一個數學真理好奇怪

奇奇怪怪的radical skepticism

entailment的前後件不都應該是well-formed formula嗎

好想舉蔡的例子……「這個公式一看就知道是真的」！

entailment應該沒有錯誤（或正確）的問題，只有真假。説A不entails B，就是在說「A entails B」為假。
可是問題裡，還有很多不是很清楚的詞，例如see是什麼意思？跟rational intuition什麼關係？
如果rational intuition entails 數學真，是不是表示intuitions也是命題（或信念）？因為通常entailment是命題或語句之間的關係。

看起來問題有點像是，一個有rational intuition的人，如果是rational，那麼至少可以合理地說他也會接受一些數學真，T。然後T entails 其他數學真，T'。然而，似乎有可能他知道T但不知道（或推不出）T'。
但如果是這樣的問題的話，應該有很多例子，你可以證明初階的數學定理，但證不出例如費馬定理（突然想到拉馬努金可能也是類似的例子，他「看得到」一個數學命題是不是成立的，雖然他沒有證明）。只是這裡涉及的到底是證明的限度，還是知識的限度，就看你怎麼刻畫？

ㄜ，我知道是用真假，畢竟是對應True/False，只是我剛剛在想可能會混淆「我看到(假的)entailment」跟「我看到這個entailment是假的」，所以決定換個講法(？)
這邊see的用法比較像是，當你用rational intuition捕捉到某些數學真理，可以說是你在智性上看見那個數學真理。
我的問題其實應該是，當A不entail B，但你的rational intuition給了你錯誤的判斷，讓你以為A entail B，這種時候還可以說，我可以看到A entail B嗎？這樣的看到是成功的嗎？
例如那些為假的數學猜想，假設猜想是從另一個公理來的，數學家一開始提出的時候，可以看到這個公理entail這個數學猜想？

哲學君SF🧩流浪謎境 : 其實我腦裡的例子是邏輯老師："這個定理一看就知道是真的！"(雖然他老人家連證都還沒開始證，但如果證了也會發現他是對的)

魂系ㄓ2🌈異世界悠哉打工 : 我覺得要看你所謂的rational intuition是什麼意思。在這個不entail的case裡，事實是不entail，但你卻誤看到有entail。這就很像一般看到幻覺的那種不可靠經驗差不多，這樣似乎很難說是rational？畢竟rational應該會更可靠一點？
順著這個角度來講，「這樣的看到是成功的嗎？」假如這個問題的答案是「不成功」，那麼對你來說，是因為enatilment不成立之故，還是rational intuition根本不rational之故？（或是認知主體根本就跟看到幻覺沒什麼兩樣？）

但稍微岔題一點講，我覺得這種「看到」的問題頗深入，數學哲學跟後設倫理學都有很大一部分在討論mathematical faculty跟moral faculty的問題。只是不曉得你這邊關心的問題是不是一樣的

那我覺得這種比較一般所認為的rational intuition，應該都會傾向於說噗首的那個case的答案是「不成功」。這個人並沒有成功看到A entails B。

哲學君SF🧩流浪謎境 : 就算是專家的intuition大概也很難不出錯吧......rational intuition很難說清楚，大概可以理解成，我們有種智性上的能力，使我們有辦法質借看見那些命題是必然為真的，就像拉馬努金的狀況。
我有點想說，"我可以看見A entails B" (但A 不entail 之所以不成功，是因為在說S can do something的時候，至少這個something不能是logically impossible的吧......然後我剛剛開始思考會不會有哲學家說I can see an impossible world

B為什麼變成表符了wwww

這樣確實有點像幻覺的情況 我來想想這樣之後可以幹嘛，滾回去讀論文

魂系ㄓ2🌈異世界悠哉打工 : 實驗哲學家和Williamson吵過類似的問題

Ａ眠泥Ｚ : 求指路

魂系ㄓ2🌈異世界悠哉打工 : 晚上給你

Ａ眠泥Ｚ : 感謝

哲學君SF🧩流浪謎境 : 專家意見、數學直覺、道德知覺和模態直覺(理性主義那種)感覺上都是類似的問題，(目前) 找不到 (官能基礎)、說不清楚，搞不懂warrant怎麼來的。