【大麻是「入門毒品」（Gateway Drug）？真相是「入門毒品理論」（Gateway drug theory）犯了邏輯謬誤】
#打臉 ETtoday新聞雲 的這篇投書
#歡迎分享
「入門毒品理論」(gateway drug theory)說大麻是做為一種晉升使用其他毒品的入門毒品，意思是抽大麻本身可能沒有甚麼危害，但是一旦碰了大麻就會進一步去碰其他毒品而造成危害。
但之前便有研究指出大部分大麻的規律使用者並不會去使用海洛英和古柯鹼，而其實是有很多的海洛英和古柯鹼的使用者開始他們的藥物體驗是從大麻開始。
所以說，即便我們看到有同時使用大麻、海洛英和古柯鹼的「現象」，但是gateway drug theory還是說不通，其犯的邏輯謬誤：
就是「即使存在大麻使用者使用其他毒品的這個現象」，
但這並不 蘊含(imply)「使用大麻導致(cause)進一步毒品的使用」。
也就是說使用大麻「導致」進一步使用其他毒品之間這樣的因果關係的邏輯推論是無法證成(justify)的。
#醫療大麻合法化
-\-\-\-\-
#打臉的這篇投書：謝和弦高喊「大麻合法化」稱不會成癮 真相是「碰過就回不去了」 | 島民你覺得呢 | 鍵盤大檸檬 | ETtoday新聞雲 https://www.ettoday.net/dalemon/post/47574#ixzz67uEsuEdM
Follow us: @ETtodaynet on Twitter | ETtoday on Facebook
-\-\-\-\-
☆想支持我的話有下列方式：
★志工夥伴招募：
https://forms.gle/BWa7pV6EWG65mU61A
★政治獻金帳戶：
戶名：109年立法委員擬參選人朱智德政治獻金專戶
銀行：彰化銀行(009)大安分行
帳號：5130 01 010833 00
捐款時請填寫下列網路表單：
https://forms.gle/uXQeNGiCCuCNHRnw8
-\-\-\-\-
◎學歷：
台中市豐原區南陽國小
台中市豐原區豐東國中
台中市立后綜高中
國立台灣大學政治學系輔哲學系學士畢業
國立陽明大學醫學院腦科學研究所研究生
◎經歷：
台灣無條件基本收入協會
新活力自立生活協會
手天使
勞權公投聯盟
國立台灣大學學生會福利部、大陸社
imply意思 在 Re: [請益] tautologically imply? - 看板Math - 批踢踢實業坊 的推薦與評價
※ 引述《greprep (烤啦！)》之銘言：
: ※ [本文轉錄自 logic 看板 #1F98jsAm ]
: 作者: greprep (烤啦！) 看板: logic
: 標題: [請益] tautologically imply?
: 時間: Sun Jan 29 07:57:39 2012
: 最近讀數學邏輯教到tautologically imply這個概念，教科書寫的定義我不是很懂，
: 教授解釋也不清楚，想問一下。以下是課本定義：
: Σ= a set of wffs(well-formed formulas)
: τ= a wff
: Def:Σtautologically impliesτ(written |=τ) iff every truth assignment
: for the sentence symbols in Σ and τthat satisfies every member of
: Σ also satisfies τ. （satifies 是"使其為真"的意思，
: Σ also satisfies τ就是Σ使τ為真。）
: 例如，{A, (A->B)} |= B。 註：{A, (A->B)}義同A^(A->B)。在本例中
: Σ={A, (A->B)}；τ= B。
: A｜B｜A ^ (A->B)｜B｜[A^(A->B)]->B
: －－－－－－－－－－－－－－－－－
: T｜T｜ T T ｜T｜ T
: T｜F｜ F F ｜F｜ T
: F｜T｜ F T ｜T｜ T
: F｜F｜ F T ｜F｜ T
: 我知道整個[A^(A->B)]->B是tautology，但是根據定義，似乎只要真值表第一列就可
: 以推定Σtautologically impliesτ。因為第一列所有Σ的truth assignment 都是T
: ，而且τ也是T，而結果Σ->τ（i.e. [A^(A->B)]->B）也是T，所以Σ|=τ(Σtauto-
: logically impliesτ)，因此不必管其他三列。請問我的理解是對的嗎？謝謝。
首先|=是一個模型論的概念 因此要懂必須先知道什麼是模型
因為現在講的是語句邏輯而已 所以模型就是atomic symbol的truth assignment
(以後學到一階邏輯的模型就很複雜了)
Σ|=τ白話的意思就是(在在一階邏輯 二階邏輯也都是這個意思)
'任何一個模型 只要Σ的句子在這個模型都真 τ在該模型也會為真'
現在來看你的例子 Σ包含兩個句子 A 和 A→B
有哪些模型會讓這兩個句子都為真呢
只有一個模型 那就是 A 真 B 真 的模型
所以只要看在這個模型裡τ有沒有為真即可
但是你的τ只是簡單的B而已 直接看出來它在這個模型裡為真
所以確實Σ|=τ
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 128.12.32.94
※ 編輯: recorriendo 來自: 128.12.32.94 (01/29 09:18)
... <看更多>