數理 數理-三段論 數理-古典邏輯 數理-基本概念 23:27 利用關係述詞的翻譯 via Vecteezy , Ferraris Horse Vector 前幾日有朋友問,以下這個論證要怎樣翻譯成述詞邏輯的論證。 1. 所有馬都是動物 ─────────────────── 因此, 2. 所有馬的頭都是動物的頭 他問的論證其實是由 ... shares
語言哲學 語言哲學-意義理論 15:12 [Saul Kripke] 素樸理論的困難 Photo Credit: Spike Fisher via Compfight cc 「倪匡」是人名、「珠穆朗瑪峰」是山名、「馬達加斯加共和國」是國名,這些都是專有名詞 (proper name) 。使用專名的理由顯然易見:我們有時要重覆提到某個物件,想提的對象卻未... shares
雜項 雜項-習題 03:32 [103] 中正哲學碩士班邏輯題試答 來源: 中正哲學系網頁考古題 (103學年) ※ 歡迎指正 Proof System: Hausman, Alan & Kahane, Howard & Tidman, Paul (2010) Logic and Philosophy A Modern ... shares
語言哲學 語言哲學-基本概念 雜項 雜項-書筆記 22:52 [Saul Kripke] N&N 裡的「先驗」 via 9BYTZ.com 拉丁文的 “a priori” 譯成中文,一般叫做「先驗」,可約略解做「獨立於經驗」。與之相對的 “a posteriori” 叫做「後驗」,相應的意思是「依賴經驗」。 Naming and Necessity 為人重視,其中一個原因是 S... shares