之前的文章我有發表過關於logic版歸屬的問題 目前logic板則位於科學學術研究院的分類底下 (當時logic版是位於法律財經的分類下) 以現在的狀況來看 這群組比較像是雜繪... 除了明顯是關於科學的討論板外 還有一些不知道該怎麼分類 但又似乎自成一說的板 也就是 科學學術研究院下的板有兩類 目前也只有這兩類的板才位於科學學術研究院的分類下 1.其板的討論主題公認為一門科學 2.其板的討論主題非科學 但似乎自成一說 如果個人對於科學學術研究院的描述是恰當的話 那麼 邏輯板不應位於科學學術研究院的分類內 因為 甲.邏輯並非一門科學 按照Popper的論點 邏輯和數學必須歸類為非科學 因為這兩門理論沒有否證的問題 因而不是科學 而邏輯實證論者也認為邏輯並非科學 而是科學最好能符合邏輯上涵蓋律模式 她們認為邏輯是科學的矯正器 我敢說 活在地球表面上的邏輯學家都不認為邏輯屬於一門科學 乙.邏輯非科學 但邏輯不是一自成一說的理論 甚至說來 邏輯和數學一樣 是一門嚴謹有系統可被評估優劣的學問 在邏輯內有眾多非常嚴格的系統 嚴格到不能犯任何的疏失 任何事都必須交代清楚 任何東西都必須說明 有自己的符號 有自己的公設 有自己的推論法則 有自己的語意等等... 跟古文明研究,軍武,造船(沒有貶低的意思)這類型的學問 在本質上有重大差異 所以 邏輯一來不是科學 二來也不是自成一說的非科學學問 因此歸類在科學學術研究院的分類下不恰當 ------------------------------------------------------- 再者 以前的討論串中我說明過為何logic板歸類於語言研究院下比較合適 個人的立場是 因為所有的邏輯系統都是一種精心製造的人造語言 它和一般語言雷同 但又避免自然語言的重大缺點 使得邏輯語言的使用者可以進行清楚的溝通 而不陷入雞同鴨講的狀況 一個邏輯上的公設系統 它有指稱個別物體,關係,運算元的符號等 它有自己的語意語法 它有自己的推論法則等等 相應於自然語言 自然語言也有這樣的特性 因此就這個面向而言 把logic板分類在語言研究院下比較合適 當然在邏輯中可以討論一個公設系統 在應用上的不足之處 這是一般自然語言無法進行的討論 也是邏輯這門學問中不類似於自然語言的部分 但若忽略此不談 邏輯的主要目的之一就是告訴人類什麼是一個好的論證 而論證的建構 不可能脫離語言 無論是人造或自然語言 ------------------------------------------------------ 簡單的講 結論就是 logic板分類在科學學術研究院不恰當 而logic板按照目前分類的選擇和個人的立場 歸類在語言研究院底下較為合適 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.216.45.55