[板務] 對於ERT312近日行為的判決。
ERT312近日來是本板的新板友，
本板一向人氣低落，幾乎淪於puzzle的討論或者無意義的吵嘴上。
當然有新朋友來，提供一些正向討論這我很樂見。
不過ERT312近日來在本板發表的文章，屢屢涉及一些不清不楚的語詞，甚至有人批評為
術語的濫用。在經過其他板友質疑後，ERT312本人也不做任何的回應。
目前我無法確定ERT312是不是惡意的鬧板，如果ERT312不是刻意搗亂的話，
煩請解釋一下你提到的東西。我可以體諒你身體不舒服，
所以給你三天的時間答覆我的問題，期限就是到10/17的23:59為止。
屆時你仍無法給出恰當說明的話，那我會以鬧板的理由將你放進水桶裡。
而所謂的恰當說明，我會在你給出答案後，一字不漏的詢問一些邏輯領域的學者。
請他們下判斷是否為恰當，其答案會以具名的方式，由我轉貼至板上。
如果你不同意我的判決，或者因任何理由不願合作，我將視這為你惡意鬧板的證成理由，
從我知道的那刻，會將你放入永久水桶。如果你對板主的作為有任何意見，
請移駕小組討論區申訴。
以下我提及三項ERT312說過的，嗯，該怎麼說呢，或許是古怪不甚合理的想法。
所提文章皆在邏輯板內，ERT312要回答的問題都用亮紅色標記：
1.本板(AID): #18u7Sjxy
於此篇推文中，ERT312反覆提及根本不可能有偽命題。
推 ERT312:所以可以寫出矛盾的語句? 10/02 22:17
推 ERT312:p and ~p 不是命題 10/07 01:24
請你解釋一下，這是這串討論串中，個人認為比較有趣的宣稱。
因為這不符合初階語言的構句規則。請你解釋一下，偽命題不存在要怎麼成立？
讓我提醒一下就算Assert that P implies it is the case that P.這樣的想法，
這並不蘊含沒有偽命題。
2.本板(AID): #18ynWtcy
於此篇文章中，ERT312提到：
P是一個集合，Q是動詞，又不是命題
你真的知道你寫的 (P-->Q), (~P--> ~Q)是什麼意思嗎?
可以這樣亂套?
在這篇文章之後，我有說過第一次看到這樣的寫法。
那時說的不甚詳細，個人在這解釋一下。
Q是一個動詞的意思或許是指這是predicate，但是通常這樣會寫作Qx或Q(x)，
可是，Qx是一個open formula，簡單來說他是一個開放命題。
ERT312你在這板開口閉口說別人掉書袋，
甚至是嘲笑我邏輯很差，這我都可以接受，我知道有的人以指責別人為樂。
但是你能夠回答，你在說甚麼東西嗎？
請在初階語言裡面回答：你說的Q是動詞，不是命題。
是在哪個初階語言裡的logic system才可能？
只要回答是在哪個system下就好，並給出參考資料，感謝。
3.本板(AID): #18yqiOWZ
你在推文中提及，初階語言用的符號個數比英文字母26個還少。
→ ERT312:忘了說了，這還不是一階邏輯語句，一階邏輯語句能用的符號 10/13 21:27
→ ERT312:個數比英文字母(26個)還少。 10/13 21:28
我寫東西常常出錯，所以讓我們看一下wiki對於初階語言的符號寫的是甚麼。
http://en.wikipedia.org/wiki/First_order_language#Symbols
符號分成兩種，一種是邏輯符號，一種是非邏輯符號。
非邏輯符號當中有Ｎ，也就是自然數，
這題我的要求如上一樣不多，請你證明Ｎ小於26，感謝。
我知道這要求和你講的不一樣，但至少得先證出Ｎ小於26，你的宣稱才成立吧？
我總結一下ERT312必須在期限內回答的三個問題，
1)偽命題不存在要怎麼成立？
2)請在初階語言裡面回答：你說的Q是動詞，不是命題。
是在哪個初階語言裡的logic system才可能？
3)證明Ｎ小於26
此篇判決談及的內容，自發布之後即刻生效。
我再說一次，ERT312以任何理由不合作，或者對此篇判決有任何的疑問，
都將視為是惡意鬧板成立，我將以板主應當維護板面討論風氣的責任，
將ERT312永久水桶。
在指責我們的同時，ERT312你要對你自己說過的那些話負責。
或許你在別處可以講一些不負責的話自爽，但這裡是邏輯板，不是你撒野玩沙的地方。
--
不是生在台灣，長在台灣，有手有腳，就有資格自稱是台灣人。
他也可能是台灣獼猴。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.134.201.196
※ 編輯: aletheia 來自: 220.134.201.196 (10/14 22:33)