中醫與傳統的觀念
中醫具有悠久的歷史。然而，中醫中有許多觀念並不科學，這主要表現在：一、中醫學上有許多概念意思含糊不清，如「陰」、「陽」等概念，它們本是古代哲學的範疇，不是嚴格精確的科學概念。二、許多中醫理論不像西醫那樣建立在嚴格科學實驗的基礎上，而只是根據觀察和傳統的經驗總結的，這就難免參雜着許多主觀臆測和牽強比附的成分。
第29講：剖析一些常見的迷信
由 張海澎 於 週三, 05/05/2010 - 23:00 發表
社會上充斥著種種迷信，迷信顯示了人類的愚昧、無知和非理性。本講座通過對一些實際例子的批判和分析，揭示風水、算命、鬼神等種種迷信。
廣義量詞的自然邏輯(六)
由 kafat 於 週六, 01/30/2010 - 09:16 發表7. 其他自然邏輯理論框架
7.1 引言
至此筆者已介紹了有關廣義量詞四大類自然邏輯推理的各種理論框架，其中以「廣義量詞理論」(Generalized Quantifier Theory)和「範疇語法」(Categorial Grammar)最為重要。「廣義量詞理論」的特點是以集合論語言表述廣義量詞的真值條件，例如把"every(A)(B)"的真值條件表述為A ⊆ B。「範疇語法」(註16)的特點則是把句子的生成過程表述為句中各個「範疇」(「範疇語法」把句子和各種詞類統稱為「範疇」)之間的推導關係，這種推導關係類似邏輯推理。
廣義量詞的自然邏輯(五)
由 kafat 於 週六, 01/23/2010 - 09:51 發表6. 論元結構推理
6.1 背景知識
「論元結構推理」(Argument Structure Inference)泛指對量詞或其論元進行各種操作(包括各種布爾運算和易位等)而得的推理，這種推理對應於古典邏輯中的「結構變換推理」(亦稱「變形推理」)(Immediate Inference)。古典邏輯研究三種「結構變換」：「換質法」(Obversion)、「換位法」(Conversion)和「換質位法」(Contraposition)。由於「換質位法」是前兩種變換的結合，這裡只擬介紹前兩種變換。
廣義量詞的自然邏輯(四)
由 kafat 於 週六, 01/16/2010 - 11:13 發表5. 對當推理
5.1 基本定義
在古典邏輯中，「對當推理」(Opposition Inference)是指以「對當關係」(Opposition Relation)為基礎的推理，而「對當關係」則是指包含四個經典量詞(即"every"、"no"、"some"和"not every")的量化句(分別記作A、E、I和O)之間的各種邏輯關係，其定義見下表(在以下定義中，設p和q為量化句)：
