Quasi-quotation

我們可以使用(use)符號,也可以 提及 (mention)符號本身。要使用符號,只需直接將它寫出來;要提及,只要加上引號。然而,有時我們也需要部分地使用、部分地提及某段符號

相對真理的候選

說一個真述句是相對真理(relative truth),就是指「它相對於某東西為真」,而不是簡單的「它為真」。有兩類述句,根據初步的直覺,常被視為相對真理的最佳候選。

兩個以一替五的二位連詞

之前 提到 ,有兩個二位連詞能以一替五,僅一個就具有五個古典連詞的表達力。作為證明,我也該將定義方法列出來。 根據先前的證明, { ∼, ∧, ∨ } 已足夠定義五個古典連詞 由於 { ∼, ∧ } is adqeuate ,理所當然 { ∼, ∧, ∨ } is a...

簡單的Blogger自動註腳

A 自動註腳-兩個背景設定 測試過幾個在 Blogger 做自動註腳的方法,目前找到一個簡單的做法,這篇的目的是要分享我目前的做法。我用的自動註腳來自〈 用 Javascript 和 CSS 实现脚注(Footnote)效果 〉,只有稍稍修改過顯示樣式。這做法只要做好兩個背...

訴諸人身的謬誤

「 人身攻擊謬誤 」是「訴諸人身謬誤」的分枝,英文邏輯書常把前者叫做 “personal attack ad hominem fallacy” (針對個人的攻擊的謬誤),把後者稱做 “ad hominem fallacy” (針對個人的謬誤)。正如先前將「人身攻擊」和「人身攻擊...

恆星視差

Edwin H.-C. Hung 的  The Nature of Science: Problems and Perspectives  (1997, p. 76)提到另一個與輔助假設有關的科學故事,這件事發生在 15 至 16 世紀,發生在哥白尼提出日心說的時候。 在哥...

本站

A  文章 在本站找文章的方法主要有四個 在首頁逐頁翻查 利用置列的〈全部文章〉,有依 日期 和依 標籤 排列的清單 利用 標籤樹 用置頂的搜尋功能,或者是側欄的 搜尋功能

設定外掛

A 板模(Template) 我會使用的 Blogger 板模基本上這個網站都有 Blogger Templates 2017 Blogger Templates 順帶一提,本站目前使用的板模是 Hilary  。 B 符號和字體 正在使用 〈 M...

船桅論證

Edwin H.-C. Hung 的 The Nature of Science: Problems and Perspectives (1997, p. 75)提到哥倫布如何發現地球是圓的,這發現非透過在遠處觀察地球的形狀,而是透過觀察船在海上行駛的現象。 如果地球是圓...

“Not So Much a School”

去年讀 William Charlton 某本書的第一章 “What is Analytical Philosophy” (書名好像是 The Analytic Ambition ),裡面有段內容,至今乃印象深刻: In fact [analytical philosoph...

減少古典邏輯的連詞

古典邏輯總共有五個邏輯連詞(logical connectives),分別是「∽」、「∧」、「∨」、「→」和「↔」。這五個邏輯連詞可互相定義,例如可用只包含 ∽ 和 ∨ 的「∽p∨q」來定義「p→q」。 ∽ 和 ∨ 足以定義 → ,代表原本用 → 表達的 wff 都可改由只包含 ...

「違反常識」的哲學家

Saul Kripke 有一本小書談維根斯坦,書名是 Wittgenstein on Rules and Private Language  。這本書對維根斯坦的詮釋是否正確,學界有相當激烈的爭論,但撇開詮釋問題不理,此書的內容依然十分具啟發性。

《Logic, Sets and Recursion》我的邏輯入門書

我大學時用的邏輯教科書是 Robert Causey 的 Logic, Sets and Recursion  (2005, 2nd ed.),到現在仍十分感謝當時老師選用這本書,因為它有兩個特色,令我在邏輯方面的基本功比一般哲學系學生略好一點。 第一個特色是關於寫證明的方法...

動物「權」

權利(right)是個很抽象的概念,甚少有人能將它講清楚。應用倫理學談動物的道德地位,有些人會直接用「動物權」(animal right)籠統涵蓋討論,認為整個討論就是在談(非人)動物有沒有權利。

遞迴性定義的例子

回想起來,有時讀書組雖不是在討論數學、邏輯,但我也會莫名其妙講到遞迴性定義(recursive definition)。這種場合,我最常引用的例子不是過往在數學、邏輯書見到的,反而是從一本知識論入門書學會的定義。那是 Richard Feldman 的 Epistemology...

Lottery proposition

假設你只有一份低收入工作,而且不大可能換工作。再假設你沒有任何投資,因此工作以外完全沒有收入。似乎,我們可以合理地得出: (1). 我知道我不會成為千萬富翁
技術提供:Blogger.