4 Tweedledum and Tweedledee: 邏輯 – 叮噹弟的定義
叮噹兄和叮噹弟
1970年，哲學家及邏輯學家奎因出版了一本小書，題為《邏輯的哲學》，在1986年版的序言中引述了叮噹弟的邏輯理念，並且明言他對邏輯的理解大體上就是叮噹弟對邏輯的界定。30 那就讓我們再看一看叮噹弟對邏輯下的定義。
「我知道你在想什麼，」叮噹兄說。 「但事實並非如此，不是啊。」
「反過來，」叮噹弟接著說，「如果真有發生過那回事，那是可能的；如果真有發生過那實在並沒有發生過的那回事，那或許吧；但是既然實在沒有那回事，那就實在沒有那回事。這是邏輯。」
先弄清楚這是怎麼樣的一個定義，也就是說，先弄清楚這個定義的性質。
叮噹弟用的是個實指定義。
實指定義大概是人們最常用的一個界定形式。實指定意的英語名稱為「ostensive definition」，而「ostensive」(形容詞) 的語源為拉丁文「ostendere」(名詞)，乃展示﹑指示﹑示範等意思。簡單說，就是用手指指著實物做解說。父母教育成長初階段的兒童或小孩時便常會指著椅子，並且重複說「椅子」，或將手按在電視機上，並且重複說「電視機」。這些都是實指定義，界定的是「椅子」和「電視機」。
比較妥當的解釋應該是這樣的，實指定義就是用實例來說出被界定的事物是什麼東西。
我們接著要問的是叮噹弟用了什麼實例來界定「邏輯」這個東西。
實例就是愛麗絲忍不住唱了出來的腦袋中想到的兒歌，關於叮噹兄與叮噹弟吵架，卻被一頭烏鴉嚇得忘了要吵架一事。
叮噹兄說，我知道妳在想什麼。當然，因為愛麗絲心裡想的都唱出來了。
叮噹兄說，事情不是這樣的: 即叮噹兄和叮噹弟吵架，卻被一頭烏鴉嚇得忘了要吵架一事。
叮噹弟接著說: 反過來，如果真有發生過那回事，那是可能的；如果真有發生過那實在並沒有發生過的那回事，那或許吧；但是既然實在沒有那回事，那就實在沒有那回事。這是邏輯。
叮噹弟究竟在說什麼?
__________
30 W.V. Quine: Philosophy of Logic, Harvard University Press, 1986。
待續
