Document
advertisement
Institute of Philosophy of Mind and Cognition, Yang Ming University Wen-fang Wang Introduction A Past Work: We Need a New Unified Theory for Conditionals Some Recent Reflections on Indictive Conditionals Prof. G. Landini and His Talks Introduction A Past Work: We Need a New Unified Theory for Conditionals Some Recent Reflections on Indictive Conditionals Prof. G. Landini and His Talks Indictive (指示) conditionals: If no one killed Harry, then he died naturally. If John is in the library now, Mary will be there too. Subjunctive (虛擬) or counterfactual (反事實) conditionals: If Mr. Ma were 7 feet tall, he would be over two meters. If Mr. Ma had not won the election in March of 2012, he would have resigned the presidency of KMT. 根據文法標準，指示條件句是其動詞具有正常(指示)模式的條件 句，而虛擬條件句則是其動詞具有特殊(虛擬)模式的條件句。 表達對現在事件的虛擬時，我們使用”If S1 V+ed …, then S2 would (should, might, could) V ….”這樣的形式，而表達對過去事件的虛 擬時，我們則使用”If S1 had V+ed …, then S2 would (should, might, could) have V+ed ….”這樣的形式。但大多數討論虛擬條件句的哲 學家約定，這兩個形式也可以不加分辨地分別表示為”If it were the case that S1 V …, then it would be the case that S2 V ….”和”If it were the case that S1 V+ed …, then it would be the case that S2 V+ed …. ”。換句話說，這些哲學家認為，虛擬條件句可以看作 係由兩個指示語句以及”If it were the case that …, then it would be the case that__”這個連接詞所組成的語句。 根據語用標準，違反事實條件句指的是那種暗示說話者對所敘 述的前件存疑、或相信其為假、或知道其為假的一種條件句。 而指示條件句則缺乏這樣的暗示。 “(p > q)” or “(p q)” (subjunctive or counterfactual conditionals): “If it were the case that p, then it would be the case that q”. “(p q)” (indictive conditionals): “If it is the case that p, then it is (will be) the case that q”. “(p q)”: truth-functional conditionals, which is equivalent to “(p q)”. 指示條件句”if it is the case that p then it is the case that q”或”(p q)” 是否在意義上或至少 在真值條件上與實質條件句”(p q)”相同？ 若然，如何解釋與之有關的各種“悖論”？又 如何計算它的(主觀)機率與可斷說度 (assertibility)？為何這樣計算？ 若否，指示條件句的意義或真值條件為何？ 而有關它的(主觀)機率又如何計算？ ① p ⊨ (q p) ② p ⊨ (p q) ③ ⊨(p q) ∨ (q p) ④ ((p ∧ q) r) ⊨ ((p r) ∨ (q r)) ⑤ (p (q ∨ r)) ⊨ ((p q) ∨ (p r)) [④的反例1] 前提：“如果丈夫爱慕妻子，并且妻子爱慕丈夫，那么 婚姻是理想的”；结论：“如果丈夫爱慕妻子，那么婚姻是理想的； 或者，如果妻子爱慕丈夫，那么婚姻是理想的。 [④的反例2]“如果温度为0℃,并且压力为一个大气压，则水冻冰”为 真，然而，“若温度为0℃，则水冻冰”为假，“若压力为一个大气 压，则水冻冰”亦假，故二者的析取亦为假。 [⑤的反例1] 前提：“如果婚姻不理想，那么或者丈夫不爱慕妻子， 或者妻子不爱慕丈夫”；结论：“如果婚姻不理想，那么丈夫不爱慕 妻子；或者，如果婚姻不理想，那么妻子不爱慕丈夫”。 [⑤的反例2] 如火车奔驰在沪宁线上，则或驰向上海，或驰向南京， 但“如火车奔驰在沪宁线上，则驰向上海”和“如火车奔驰在沪宁线 上，则驰向南京”这两个蕴涵式都不成立。 (p q) (r s) ⊨ (p s) (r q) 如果老王2012/5/29在南京，他2012/5/29就會 在 江 蘇 ， 而 如 果 他 2012/5/29 在 台 北 ， 他 2012/5/29 就 會 在 台 灣 。 因 此 ， 如 果 老 王 2012/5/29在南京，他2012/5/29就會在台灣， 或者，如果他2012/5/29在台北，他2012/5/29 就會在江蘇。 (p q) ⊨ p (如果《聖經》所說的都為真，則上帝不存在) 顯然不對。因此，《聖經》所說的都為真。 (p q) ⊨ ((p r) q) 如果Landini今天(2012/03/09)坐飛機直接來南京，那麼他很可能 會在明天(2012/03/10)抵達祿口機場。因此，如果Landini今天 (2012/03/09)坐飛機直接來南京但飛機卻在空中爆炸，那麼他很 可能會在明天(2012/03/10)抵達祿口機場。 (q r), (p q) ⊨ (p r) 如果小英在2012/03當選台灣總統，馬英九就會在2012/05退休。 如果馬英九死於2012/02競選期間，則小英會在2012/03當選台 灣總統。因此，如果馬英九死於2012/02競選期間，馬英九就會 於2012/05時退休。 (p q) ⊨ (q p) 如果中國今天(2012/03/09)停止警告台獨 ，民進黨仍不會同意 明天(2012/03/10)放棄台獨主張。因此，如果民進黨同意明天 (2012/03/10)放棄台獨主張，中國不會今天(2012/03/09)停止警 告台獨。 虛擬條件句”if it were the case that p, then it would be the case that q”或”(p > q)”或“(p q)”是否在意義上或至少在真值條件上與指 示條件句”(p q)”相同？ 若然，如何解釋它們之間的顯然差異？ 若否，虛擬條件句的意義或真值條件為何？ 而有關它的(主觀)機率又如何計算？ Introduction A Past Work: We Need a New Unified Theory for Conditionals Some Recent Reflections on Indictive Conditionals Prof. G. Landini and His Talks Philosophy Department at CCU Wen-fang Wang Kiki Wang 1. 2. 3. 4. OK Cases Replies to OK Cases IC Cases and Perspectives Perspective Semantics （1a）If Oswald hadn’t killed Kennedy, no one else would have. (True) （1b）If Oswald didn’t kill Kennedy, no one else did. (False) （1a）(A > B) (True) （1b）(A B) (False) 直覺上（1a）為真而（1b）為假。因而我們似乎 有兩種語意上不同的條件句。 問題是：我們需要區分兩種語意上不同的 條件句嗎？ D. Lewis, F. Jackson: Yes. R. Stalnaker, E. Admas, D. Edgingon: No. 指示條件句與虛擬條件句不同，前者與實 質條件句有相同(的意義與)真值條件。 一個虛擬條件句” ”在世界i中為真，若 且惟若，存在著一個-&--世界比所有-&-世界都來得更相似於i。 任何一個世界i都至少和其它的世界一樣相 似於自己 。 指示條件句與虛擬條件句不同，前者與實 質條件句有相同的真值條件但意義不同。 一個虛擬條件句” ”在世界i中為真，若 且惟若，所有「在發生之前合理地相似」 （antecedently reasonably-close）於i的-世界 都是-世界。 任何一個 -世界i都至少跟其它的 -世界一 樣地在發生之前合理地相似於自己。 Lewis & Jackson理論的一個結果： MOP：( ) ( )。 必然為真；因而 MOP’：( ) ( )。 必然為真。 但”（1a） （1b）” （也就是(A B) (A B) ）似乎是MOP’的一個反例！Lewis和 Jackson因而需要去說明這裡到底出了什麼 問題。 指示條件句與虛擬條件句有相同的真值條 件。 一個虛擬條件句" "以及一個指示條件句 " "在世界i中為真，若且唯若，""在最 近似於i的那一個唯一的-世界當中為真。 Stalnaker理論的一個結果： MOP’：( ) ( )。 仍然必然為真。 因而”（1a） （1b）”（也就是(A B) (A B) ）構成MOP’的一個反例！ Lewis和Jackson最可能作出的答覆，是去堅 持說：（1a）事實上為真，而且（1b）事實 上也為真。 實際上Oswald殺了Kennedy，而指示條件句 與實質條件又有相同的真值條件，單單這 兩件事便足以保證（1b）為真。 但我們對於（1b）為假的直覺又該如何解釋呢？ 他們或許會訴諸於可斷說性（assertibility）這個概念；” ” 和” ”總是具有相同的真值條件，但它們卻可能有不同程度 的可斷說性。 The assertibility of a conditional ”( )” and ”( )” goes by Pr(/). 實質條件句悖論之所以產生，都是因為它們雖然保存真值，但 卻未能保存高度可斷說性。 我們之所以（誤）認為（1b）為假，那是因為給定（1b）的前 件，（1b）的後件具有低的可斷說性。（1b）之所以具有低的 可斷說度，那是因為給定Oswald並沒有殺死Kennedy，沒人殺了 Kennedy的機率是相當低的。 The appeal to assertibility to explain away counterexamples may not always work. E.g., ( ); therefore . The assertibility of ” ” does not always go by Pr(/)。 (Kaufmann（2004）) 這樣的答覆總是要求我們去修正一些原先具有的強烈 信念，因而是修正式的。 我們因此喪失了區分兩種在語意上不同條件句的一個 重要動機。 一個假定歧義並區分兩種語意論的理論，在理論性的 優點上，總不如一個不假定歧義而只有一種語意論的 理論。 Stalnaker最可能採取的說法是：（1a）和 （1b）在實際上同樣為真，而這是因為在 最近似於現實世界的那一個唯一的、 Oswald沒有殺死Kennedy的世界中，並沒有 人殺死Kennedy。 但我們對於（1b）為假的直覺又該如何解釋呢？ 虛擬條件句和指示條件句之間的差別是語用的：每個 對話的 脈絡 都有其預設(presupposition)，預設是對話 的參與者所具有的共同知識、或所假設的共同知識。 語用的規則要求我們在為指示條件句選擇最近似現實 世界而且前件為真的世界時，只能選擇某一個預設仍 然成立的世界。但對於虛擬條件句，脈絡則允許我們 暫時停止這些預設。 “( ), therefore, ( )”雖非有效的推論，但在任 何其前提被適當斷說的脈絡中，一個人不可能接受該 論證的前提卻不接受其結論，因而該論證適合理的 (reasonable)。 我們之所以會（誤）認為（1b）為假，那是因為（1b） 的後件在Kennedy已經被刺殺死的預設下是不合理的。 Stalnaker的解釋蘊涵，數學上涉及條件句的許多 推論最多只是合理而非有效。這個說法令人啟疑。 是否所有直覺上的反例都可以使用可預設來加以 說明是可疑的。(Jackson 1979) 這樣的答覆仍然要求我們去修正一些原先具有的 堅強直覺，因而也是修正式的。 虛擬條件句與指示條件句明顯有著動詞語態 （modes）上的差別，而這似乎顯示說，兩著的差 別是在語意上、而非語用上。 一個雖不假定歧義但訴諸語意論和語用論兩種成 分的理論，在理論性的優點上，總不如一個並不 假定歧義也只訴諸語意論的理論。 （4a）If New York City were in Georgia, New York City (as well as the rest cities of Georgia) would be in the South. （4b）If Georgia included New York City, George would not be entirely in the South. （5a）If superman were I, he would not be able to fly. （5b）If I were superman, I would be able to fly. 每一對IC對句中的語句都有著邏輯上等價的前件，而 在前件為真的世界中，IC對句的後件不可能同時為真。 沒有一個到目前為止我們所討論過的語意論本身，能 夠讓任何IC對句同時為真。 當我們從事「假設性的考量」（hypothetical deliberations）以決定一個虛擬條件句的真 假時，有時候，我們只想保存一部份—而 非全部—「在該條件的前件中所提到的事 物、實體、種類、以及這些東西的組合的 傾 向 性 性 質 （ dispositional properties ） 」 (Nute 1981: 352)，而這些我們所想要保存的 傾向性性質，往往也會隨著脈絡的不同而 不同。 To see some force of Nute’s claim, let us consider the following two sentences: (2a) If this penny were asbestos, then it would not conduct electricity. (2b) If this penny were asbestos, then some asbestos would conduct electricity. we believe that the properties being preserved in the process of hypothetical deliberation need not always be dispositional properties and need not always be properties of entities involved in the antecedent either. Consequently, while Nute thinks that what is supposedly to be preserved in the process of hypothetical deliberation is a function of the antecedent alone, we think rather that it is a function of both the antecedent and the consequent of the subjunctive conditional. 讓我們將一個「觀點」（perspective）定義為一個 「在從事假設性的考量時，一個語言社群所共同 分享的、想要去保存在該條件中所提到的事物、 實體、種類、以及這些東西的組合的一部份—而 非全部—性質的企圖」。 條件句的真假依賴於觀點的選擇。 觀點的選擇是一個 偶然的（contingent）事情，它 可能會隨著不同的世界而改變。 觀點的選擇與世界之間的整體比較相似性似乎並 不是同一回事，因而將這兩者混為一談將會是一 個錯誤。 一個虛擬條件句的真假不但依賴於可能世界之間 的整體比較相似性，還依賴於我們在作評估考量 時所選擇保存的性質。 我們將分別稱它們為「相似性依賴」（similaritydependency ） 和 「 觀 點 性 依 賴 」 （ perspectivedependency）。 區分兩種依賴性的一個直接好處是：我們可以說 明為什麼有些前件相同、但後件互相矛盾的虛擬 條件句能夠同時為真。而這似乎對所有可能世界 語意論的提倡者來說都是問題。 顯然，在評估（1a）和（1b）的真假時，這兩個語句 也要求我們站在不同的「觀點」下去評估不同的條件 句。 一個觀點要求我們視許多事情為理所當然，而忽略其 它的許多事情。 舉例來說，（1a）要求我們在評估其真假時，「回到」 Kennedy被刺殺之前，忽略Kennedy現在被刺殺的這個 事實以及其後的許多相關事實，並視許多Kennedy生 前的事情（如他深受當時的美國人所愛戴等等）為理 所當然。 而（1b）則要求我們在評估其真假時，視Kennedy已 經被刺殺這個事實（以及其它許多之後的事實）為理 所當然，但至少忽略Kennedy是被Oswald刺殺以及相 關的一些事實。 基本上，我們同意Lewis的虛擬條件句語意 論大致的想法：在決定一個虛擬條件句的 真假時，我們得比較各個可能情形（世界） 間的整體比較相似性，並盡可能選擇那些 最近似於現實世界的可能情形。 但我們對這些世界所做出的選擇不僅依賴 於它們與現實世界的相似程度，還依賴於 我們所持的觀點的影響。 一個觀點可以看成是我們視為理所當然的事情所 形成一個命題，而在可能世界的語意論中，一個 命題又可以看作是一個可能世界的集合。 將這些想法結合在一塊，並且將之擴充到指示條 件句之上，我認為一個較為恰當的條件句語意論 是這樣的：一個虛擬（或指示）條件句”( )” （或”( )”）在世界i中為真，若且惟若，至少 有一個 該條件句相關觀點成立的 -&--世界比所 有在該條件句相關觀點成立的-&-~-世界都來得 更相似於i 。 A W-model is a quadruple <I, $, s, [ ]>, where I and $ are as those in Lewis (1973). s is a selection function from pairs of sentences, moods, and a possible world i to sets of possible worlds such that, if there is a sphere S of $i such that S∩[], then (i) s(,, mood, i)[] and (ii) s(,, mood, i)∩S’ for every S’ of $i such that S’∩[]; and s(,, mood, i)= if otherwise. A conditional “ mood ” is true at a world i in a W-model M=<I, $, s, [ ]> iff either s(,, mood, i)= or there is an S of $i such that S∩s(,, mood, i)[]. 這個語意論允許像（1a）和（1b）這樣的OK對句 在同一個模型有不同的真假值，因而維持了我們 對於（1a）和（1b）的直覺，然而它對虛擬條件 句和指示條件句給出了形式上相同的真值條件。 這個語意論允許IC對句有可能在同一個世界中同 時為真，因而也維持了我們對它們的直覺。 這個語意論決定了一個較Lewis的VC為弱的邏輯， 但其完備的公理化仍待證明。 Introduction A Past Work: We Need a New Unified Theory for Conditionals Some Recent Reflections on Indicative Conditionals Prof. G. Landini and His Talks Lewis和Jackson認為指示條件句”(p q)”與實質條件 句”(p q)”至少有相同的真值條件，因而他們得面 對各種有關於指示條件句的”悖論”，訴諸真假值與 可斷說度的分離未必總能幫助他們解決問題。 Stalnaker認為指示條件句”(p q)”與實質條件句”(p q)”有不同的真值條件，因而許多對後者來說有效 的推論對前者來說未必有效，但他同樣得面對許多 「直接推論」的挑戰；訴諸於有效推論與合理推論 的區別未必總能幫助他解決問題。 對於這個問題的解決之道，我們恐怕有更多的考慮 項，特別是Curry悖論和Sorites悖論。 A Curry sentence is a sentence C satisfying the condition that C iff (if “C” is true then Q). There are infinitely many Curry sentences. From these Curry sentences, one can infer that every sentence is true. Here is one proof: 1. C iff if (“C” is true then Q) known fact 2. “C” is true Assumption 3. If “C” is true then Q 1, 2, T-schema, Transitivity 4. Q 2, 3, MP 5. If “C” is true then Q 2-4, CP 6. C 1, 5, MP 7. “C” is true 6, T-schema 8. Q 5, 7, MP Here is another proof that every sentence is true: 1. C iff (if “C” is true then Q) known fact 2. “C” is true iff C T-schema 3. “C” is true iff (if “C” is true then Q) 1, 2, Transitivity 4. If “C” is true then (if “C” is true then Q) 3. Cl. Logic 5. If “C” is true then Q 4, Contraction 6. If (if “C” is true then Q) then “C” is true 3. Cl. Logic 7. “C” is true 5, 6, MP 8. Q 5, 7, MP 如果你(像Lewis和Jackson)認為指示條件句與 實質條件句至少有相同真值條件，你似乎必須 放棄T-schema以避面Curry悖論，但這對有些人 來說是太大的代價。 如果你(像Stalnaker)認為指示條件句與實質條 件句有不同的真值條件，但又不想放棄接受Tschema，也不想懷疑MP規則對指示條件句的 有效性，你的指責箭頭多半得指向Contraction （(A (A B)) ⊨ (A B)）以及CP，但 Contraction在Stalnaker的理論中仍然是有效的。 因而你需要進一步弱化你的條件句邏輯。How ？ Pa0, if Pa0 then Pa1 Pa1, if Pa1 then Pa2 Pa2, if Pa2 then Pa3 … Pan-1, if Pan-1 then Pan Pan 如果你(像Lewis和Jackson)認為指示條件句與 實質條件句至少有相同真值條件，你似乎必須 接受含混述詞有cut-off points以避面sorites悖論， 但這對有些人來說是太大的代價。 如果你(像Stalnaker)認為指示條件句與實質條 件句有不同的真值條件，但又不想懷疑MP規 則對指示條件句的有效性，你似乎仍然必須接 受cut-off points以避面sorites悖論--太大的代價！ 難道我們要進一步放棄MP？ 堅持指示條件句與實質條件句有相同的真值條件與邏輯， 接受含混述詞的cut-off points，放棄T-schema，並解釋 各種”悖論”。 堅持指示條件句與實質條件句有不同的真值條件與邏輯， 接受cut-off points，尋找更弱的條件句邏輯，並說明許 多有關於條件句的推論為何在直覺上有效，以及其在數 學上為何有用。 認為指示條件句與實質條件句雖有不同的真值條件與邏 輯，但後者是前者的一個特殊例子，也就是將後者當作 是在前者在（1）不涉及含混述詞；（2）不涉及語意述 詞；以及（3）不涉及各種”悖論”的共同因素（What is that?）時的正確應用。H. Field （2008）has done a great job toward (1) and (2), but a further work on (3) still needs to be worked out. Introduction A Past Work: We Need a New Unified Theory for Conditionals Some Recent Reflections on Indictive Conditionals Prof. G. Landini and His Talks Career and Education: Professor of Philosophy, 2001-present, U. of Iowa Associate Professor 1992-2001, U. of Iowa Assistant Professor, 1989-92, U. of Iowa Ball State University, Assistant Professor 1985-88 Ph.D., Philosophy, Indiana University, May 1986 Awards and Publication: 1. Frege Notations: What they are and how they mean, (Palgrave Macmillan for the series in History of Analytic Philosophy, 2012) 2. Bertrand Russell Society 2011 Book Award, for Russell (Routledge) 3. Bertrand Russell Society 2007 Book Award, for Wittgenstein’s Apprenticeship With Russell (Cambridge) 4. Bertrand Russell Society 1999 Book Award for Russell’s Hidden Substitutional Theory (OUP). 5. 20 Reviews and 44 Articles. Impredicative predicate: Px ()((y)(Gy y) x). indexical self-reference This sentence is not true. ontological self-reference Everything, including every proposition, is selfidentical. Abstract. Poetic license is an essential feature of intentionality. The mind is free to think about any objects, even objects with logically incompatible properties. Some philosophers maintain that a theory that embraces an ontology of non-existent objects is indispensable to any account of the nature of intentionality. Any such theory, however, must face paradoxes whose solutions conflict with poetic license. In this paper, I propose a theory which rejects the argument that an ontology of non-existents is indispensable for any adequate account of intentionality. The theory maintains that the intentionality of thought is produced by the quantificational nature of the apparatus of thought. All de re ascriptions of propositional attitudes must quantify over concepts and respect simple-type stratification. There are no fictional objects; there are concepts which, in the impredicative reflections of quantificational thought, are presented as if objects of thought. Thinking is fundamentally quantificational, by means of all and some, together with negation and other logical operations. I thought of something I would like to buy you for Christmas, but I couldn’t get it because it doesn’t exist. (Priest) Some property is such that I thought of buying you something that has that property for Christmas, but I didn’t because everything fails to have that property. De dicto thinking is quantificational, Socrates believe that some unique morning star is a planet. i.e., Socrates believed that [xMx][Px]. So is de re thinking. E.g., Some unique morning star is such that Socrates believed that it to be a planet. This should not be written as [xMx] [Socrates believed that Px]. It should be written as (F) (E!(xMx) .&. Fzz Mx :&: Socrates believed [xFx][Px]) . Q: Is self-reference necessary for the production of Liar paradoxes? Yablo’s Paradox: A1：A2(含)以下的語句都不是真的。 A2：A3 (含)以下的語句都不是真的。 A3：A4 (含)以下的語句都不是真的。 A4：A5 (含)以下………….. ……………………………………………. Yablo cannot at one and the same time render a consecutive list and demand that the sentences on it be semantically or pragmatically interpreted in a particular way. Far from showing that a Liar paradox can be produced without self-reference, Yablo has failed even to have produced a paradox.
