《邏輯語彙初編》導言

這本「邏輯語彙初編」所收集的語詞包括下列三方面的用語：(1)邏輯本身：這包含演繹邏輯與歸納邏輯，符號邏輯與傳統邏輯，制式邏輯與非制式邏。(2)後設邏輯：包括證明論和形式語意學；也就是對於邏輯系統的語法與語意方面的論述。(3)不屬於邏輯或後設邏輯，但卻是寫作邏輯或討論邏輯時經常使用的語詞。

選擇語詞時所依據的標準是：(1)先收取那些在邏輯文獻裏已成標準用法的術語。(2)遇有各邏輯家間的用法不一致時，則訴諸編者的判斷，或是考其得失，論其功效而在諸用法間加以選取和捨棄；或是諸語皆收，並存不廢。在做這種判斷的時候，編者所考慮的是：(1)一個語詞在邏輯發展沿革裏的重要性。(2)一個語詞在現代邏輯理論裏的系統意義和地位。(3)一個語詞在將來的邏輯發展上，所可望扮演的角色。這些考慮孰重孰輕，很難一語說定。因此，在這方面，編者所做的判斷是值得檢討的。

在我國，現代邏輯的歷史尚短，因此許多邏輯上的基本語彙至今仍然沒有一個標準的用法。這往往並不表示我們的語言裏，詞彙空泛，無語可用。更重要的是，許多語詞在平常的用法裏，業已紮根堅實，很難去除那不必要或要不得的意含，而那保留做為精確的邏輯術語。這當然不是只有中文才面臨的問題，幾乎所有的自然語言，或多或少都有類似的困難。但是由於文化傳統分殊，民族習性有別，這類困難的程度往往差異很大。就中文而言，編者以為我們眼前尚有一段艱苦的路。

舉一個很簡單的例子。 '矛盾'一詞不論就字源上返，或就典故上言，都與現代邏輯用語的 'contradiction'不同，甚至往往大異其趣。在這方面，我們應該努力試做邏輯用語的意義釐清的工作，並且提倡人們注意一般用法與專門用法之間的不同。這不只是一種認知問題，同時也是一種態度問題。

雖然我們現代邏輯的傳統尚短，可是這並不表示我們在發長現代邏輯方面一定得緊隨別人之後，亦步亦趨。沒有實實在在地從頭做起，當然不能妄談迎頭趕上；可是努力學習模仿了一段路程之後，並駕齊驅理該沒有問題。這在用語的標定方面，尤其如此。我們應該多多考慮自己語文上的特性，力求創新；不必老是尾隨別人，自亂步伐。舉一個很簡單的例子。當miniskirt這種超短裙之風西吹過來的時候，我們把'mini'譯為'迷你'。有人還寫文章大大誇讚這樣的譯法傳神。沒幾時，英磅貶值；'minipound'一語東來，可是我們再也不能以 '迷你磅'呼之。所以，我們並不一定得用翻譯的方式來介紹新語；不論這種翻譯是本於字源或是基於實用；或音譯，或意譯；或直譯；或非直譯。我說我們不一定翻譯，但我並沒有說，我們一定不翻譯。要不要翻，甚麼時候該翻，該怎麼翻，這要看我們背後的基本考慮而定。我們要自由發揮，不要呆板從事。因此，在這本語彙中，編者沒有將denotic logic稱為'義務邏輯'而將之稱為'規範邏輯，不但把maximal consistent class 叫做'最大一貫類'，也將之稱為'飽和一貫類'。

一般言之，已經有過普遍表受的名稱的，編者悉取該名，加以沿用。比如 'variable'一詞仍作 '變數'，而沒有採用 '變項'，'變詞'等名。可是在'n-ary'裏，則'n元'與'n位'並用。我們採用 'n元函數'之名，但卻也用 'n位連詞'一語。在這時候，編者的意見是 '數'這個概念不妨加以擴大。(比方，集論雖然社數學一支，但它不一定討論數)。而'n元'與'n位'則有並存不廢的價值。

可是遇有不值得提倡的名稱，則一概廢棄不收。比如，logic已老早稱為 '邏輯'。其他的名稱，如'名學'，'論理學'，'理則學'等等，皆沒有收入本輯裏頭。

順便一提的是，在中文裏 '辭'與 '詞'的用法是不同的。但在這裏，編者把辭看成是一種特例。這樣做的理由是：(1)從邏輯的觀點看，有時一個辭與一個詞，不容易斷然劃分。尤其是我們的討論牽涉到不同的語言的時候，往往在這個語言裏是辭的，在另一對應的語言裏卻是個詞。(2)從邏輯的觀點看，這個分別並不重要。(3)把辭看成是詞的一種特例，很合乎一般的邏輯處事習慣。

這本書分成三個部必：(1)英漢對照邏輯語彙；(2)漢英對照邏輯語彙；(3)附錄。關於各部份的編輯要點中應該一提的，列寫如下：

I 英漢對照部份：
(1)語詞的編排全以平常的字母次序為之。
(2)所列的均為英語名稱，但常用的外語(特別是拉丁語詞，以及原來拉丁文裏沒有，但卻模仿拉丁文法製成的語詞)亦收錄其間。
(3)儘可能提倡簡單譯名。如將 truth function 稱為 '真函'(亦稱 '真函值數')。又如將rule of universal instantiation 稱為 '全例化律'('全稱個例化規則')。
(4)注重邏輯上的精細區分。如entailment 與implication之分別，以及logical 與analytical truth 之不同。又如，將tautology 稱為 '真函恆真式'或 '套套絡基'，而沒有將之譯成 '恆真式'。因為前者是後者的一種特例而已。對於logistic system的稱呼也是一樣。我們不能只名之為 '邏輯系統'，因為一個邏輯系統的克系固然是一種邏輯系統，但反之不必然。
(5)有些外語名詞，全依其用法意譯。例如modus ponens, bivalence, expository syllogism, Barbara等分別稱為 '離斷律'， '真值排中'， '單語中詞三段論'(即 Darapti 與 Felapton兩者)與第一格AAA三段論(或 '第一格單稱AAA三段論')。
(6)一個邏輯語詞若含有幾個構成項，則讀者可以分別檢查各個構成項，以明該邏輯語詞的選代譯名。例如 'predicate' variable'是由 'predicate'與 'variable'二週所成，則讀者可以分別檢查 'predicate'和 'variable'兩詞的漢譯。前者有 '謂詞'與 '賓詞'；後者有 '變數'與 '變項'。則該合成語詞理論上可有四種不同的譯法。但這只是提供讀者一種參考用法，並不表示這樣綴成的每一稱呼都可用。有的是極不自然，甚至應該排棄的。所以在這方面，讀者應該就自己所需，善做判斷。
(7)各種括號的用法如下：圓括號表示(a)又名，和(b)可省略字詞。比如： '種屬界說(種差界說)'表示同物異名； '集(合)表示可名之為 '集(合)'表示可名之為 '集'亦可名之為 '集合'。方括號表示多語交併。如 '一貫﹝性﹞'表示可當 '一貫'解，又可當 '一貫性'解。曲括號表示附帶說明文字，如 '三段論的格'表示這名稱是用在三段論裏。其他標點用法：單引號表示符號的提指，如 ' '□''。逗號表示同質用法中的殊名，分號表示異質用康。例如： '語詞，語項；術語'。但需注意，這一區分是相對的，不可過份拘泥，蓋「萬物畢同畢異」也。

II漢英對照部份：
(1)以筆劃多寡排列為主要原則。各語詞的中文名稱中第一字相同者編排在一起。
(2)以性質相近的語詞排列在一起為輔助原則。
(3)漢語之前冠有外文的(如n位)排為0劃。
(4)計數筆劃時以目前流行的字體為原則。如 '形'不排成 '形'， '舉'不排成 '(舉)與手'， '體'不排成 '体'等。在這方面編者提不出一定得遵循的原則。
(5)括號與標點的用法與英漢部份同。

III 附錄部份：
(1)第7個附錄裏所提的項目，到底應該稱為規則，定律底原理，這常常不是一成不變的。那要看該項目在一個邏輯系統裏所佔的地位而定(有時也因邏輯家的喜愛之不同而有別)。因此我們沒有統一的規定，也沒有重複列舉。
(2)這些目錄所列舉的，只是些常見常用的項目。尤其是些編者相信對於邏輯教學有用的項目。