• 職稱 Academic Position:專任副教授
  • 辦公室Office:509室
  • 電話 Phone:(02)33663383
  • Email:cmyang@ntu.edu.tw

英國牛津大學博士

形式邏輯

邏輯哲學

語言哲學

當代英美哲學

本學期開設課程:

曾開設課程:

基本集合論、意義理論、基本邏輯、演繹邏輯之形式化、真之理論、模型理論、指謂理論、存在概念、邏輯與語言哲學基本問題討論、存在概念、邏輯哲學專題

楊金穆,1995.01,“Necessary Truths, Essentialism and the Principle of Revisability”,《國立臺灣大學哲學論評》,18:187-211。

楊金穆,1996.01,“Rules for Negation in Natural Deduction Systems”,《國立臺灣大學哲學論評》,19:197-222。

楊金穆,1997,“A Projectivist Conception of Existence”, (in Chinese), Taiwan Philosophical Studies, l.1:63-95.

楊金穆,2000.07,〈語言的轉向與意義理論──評《笛卡兒,拜拜》一書〉,《科學月刊》,367:636-637。

楊金穆,2005,〈語言的轉向與意義理論的變遷──兼評《笛卡兒,拜拜》〉, Taiwan Philosophical Studies (《台灣哲學研究》), 5:27-40。

Yang, Syraya Chin-Mu,2007., “Proper Names as Quantifiers: A Neo-Fregean Account of the Sense of Names”, EURAMERICA 《歐美研究》, 37. 2: 1-44.

楊金穆,2008,〈Quine on Modality〉,《哲學與文化》

楊金穆,2009〈Tarski的形式語意學與反實在論的崛起〉,《邏輯與哲學》

楊金穆,2011.09,〈知識、信念與真:從Davidson到Williamson〉,《人文與社會科學簡訊》

Chin-Mu Yang, 1994.06, “A Syntactic Treatment of De Re Constructions in Quantified Modal Logic”, June 28, 1994, Department of Philosophy, National Taiwan University.

Chin-Mu Yang, 1997.04, “A Projectivist Conception of Existence”, given at a conference on Reference, Truth and Language, April 11-12, 1997, Department of Philosophy, National Taiwan University.

Chin-Mu Yang, 1997.09, “A First-order Axiomatization of the Classical Propositional Calculus – A Model-theoretical Approach”, given at The Conference for the Southern Taiwan Studies in Philosophy 1997, held at Sea-Tau (Nan-Tau County, Taiwan), September 12-14, 1997, National Chung Cheng University and Taiwan Philosophical Association, Taiwan.

Chin-Mu Yang, 1998.03, “Existence and Identity”, given at The 6th American Literature and Thought Symposium, held at Nankang, March 6-7, 1998, by The Institute of European and American Studies, Academia Sinica, Taipei, Taiwan.

Chin-Mu Yang, 1999.05, “Predication and its Place in a Theory of Meaning”, given at The Philosophy Lecture at Soochow University, May 5, 1999, Soochow University, Taipei, Taiwan.

Chin-Mu Yang, 1999.06, “A Tableau Proof of Interpolation Theorem, Nomalization for Tableau systems and Sequent Calculi”, given at The 7th Asian Logic Conference, June 8, 1999, Sea-Tau, Taiwan.

Chin-Mu Yang, 1999.08, “No Identity, Without Entity”, given at The 11th International Congress of Logic, Methodology and Philosophy of Science, August 20-26, 1999, Cracow, Poland.

楊金穆,1999.12,〈英國地區著名大學哲學系必修課程概況〉,世界著名大學哲學系必修課程概況研討會。臺北:國立臺灣大學哲學系。

Chin-Mu Yang, 1999.12, “The Sense of Names: A Neo-Fregean Approach”, given at The 1999 Conference for Taiwan Philosophical Association, December 19, 1999, held at The Institute of European and American Studies, Academia Sinica, Taipei, Taiwan.

Chin-Mu Yang, 2000.05, “The Development of Theories of Meaning and its Place in Contemporary Analytic Philosophy”,given at a workshop on the philosophy of language, May 29, 2000, National Chung Cheng University, Chai-Yi, Taiwan.

Chin-Mu Yang, 2000.05, “Proper Names as Quantifiers”, May 29, 2000, National Chung Cheng University, Chai-Yi, Taiwan.

Chin-Mu Yang, 2000.12, “Quine’s Semantic Ascent and Austin’s Conventional Account of Truth”, given at The 2000 Conference for Taiwan Philosophical Association, December 17, 2000, held at Cheng-Chi University, Taipei, Taiwan.

楊金穆,2002.06,〈指示詞D-that的量化分析〉,兩岸邏輯教學學術會議。臺北:國立臺灣大學哲學系、國立中正大學哲學系。

Chin-Mu Yang, 2002,09, “When Davidson Meets the Liar”, given at the Conference on Davidson’s Philosophy, September 19-20, 2002, held at National Tsing Hua University, Taiwan.

楊金穆,2003.06,“A Normative Conception of Assertibility”, 邏輯、方法論與科學哲學學術研討會。臺北:中央研究院數學研究所。

楊金穆,2003.09,“Logical Consequence”, 「邏輯、資訊與知識」教學工作坊,大學院校教師人文與社會科學研習營。臺北:陽明大學。

Chin-Mu Yang, 2004.10,“Towards a Naturalistic Conception of Existence”,2004 Symposium on Neo- Pragmatism, held at Naikang, Oct.2, 2004, by The Institute of European and American Studies, Academia Sinica, Taipei, Taiwan.

楊金穆,2005.02,‘First person authority and assertion’, 國科會哲學學門86-92研究成果發表會。臺北:中正大學哲學系。

楊金穆,2005.03, ‘The role of truth in theory of existence’,「第一次經驗與真理」研討會。臺北:臺灣大學哲學系、行政院國科會人文學研究中心。

楊金穆,2005.06 (25-26) ‘Truth in virtual reality’,「第二次經驗與真理」研討會。臺北:臺灣大學哲學系、行政院國科會人文學研究中心。

楊金穆,2006.11,‘Truth and Existence in Fiction’,「第三次經驗與真理」研討會。臺北:東吳大學哲學系、行政院國科會人文學研究中心。

楊金穆,2006.12,‘Existence is a predicate: A Davidsonian account of existence and predication’,「身體;認知與意義」哲學研討會。臺北:中央研究院歐美研究所。

楊金穆,2007.01,〈弗列格與形式邏輯的崛起〉,「邏輯與批判思考教學工作坊」。臺北:東吳大學。

楊金穆,2007.01,〈塔斯基形式語意學的實在論特質與反實在論的崛起〉,「邏輯與批判思考教學工作坊」。臺北:東吳大學。

楊金穆,2007.04,“Gödel 不完備定理之實在論預設與反實在論的回應”,2007邏輯、方法論與科學哲學研討會。臺北:國立臺灣大學哲學系、國際科學史語科學哲學學會之邏輯、方法論與科學哲學組中華民國委員會。

楊金穆,2007.08,“Gödel’s Incompleteness Theorems and Resolution of Anti-Realism”,The 13th International Congress of Logic, Methodology and Philosophy of Science . (中國大陸,北京市)

Chin-Mu Yang, 9-10, November, 2007, “Coming into Existence Through Language”,The 4th Conference on Experience and Truth, Taipei: National Taiwan University.

楊金穆,2011.12,〈TW-models for Epistemic Logic: Knowledge and Belie〉,ALC Conference

楊金穆,2012,〈A Universally-Free Modal Logic〉,Proceedings of the Eleventh Asian Logic Conference, T. Arai, Q. Feng, B. Kim, G. Wu, and Y. Yang(eds.) London/Hackensack, NJ: World Scientific Publishing Co.

Chin-Mu Yang, 1982, On the Criteria of Truth, (M.A. Dissertation, Fu Jen Catholic University).

Chin-Mu Yang, 1993, A Natural Modal System, (D.Phil Thesis, Oxford University).

楊金穆、陳榮華、傅佩榮、關永中、蔡信安、林照田、林火旺、楊植勝合著,2006.11,〈羅素〉、〈維根斯坦〉,《西洋哲學傳統》239-284。臺北:臺大出版中心。

Essentialism and the Principle of Revisability”

楊金穆,1996,行政院國家科學委員會第一期甲種獎,“Rules for Negation in Natural Deduction Systems”

楊金穆,1997,行政院國家科學委員會第一期甲種獎,〈一個投射論者的存在概念〉

楊金穆,1999,行政院國家科學委員會第一期甲種獎,“A Tableau-Proof of Interpretation Theorem, Normalization for Tableau Systems and Sequent Calculi, and the Deficiency of Natural Deduction.”

楊金穆,2000,行政院國家科學委員會第一期甲種獎,“No Identity, without Entity”

楊金穆,1997,二階邏輯之模型(Ⅰ),執行起迄:1996.08.01~1997.07.31

楊金穆,1998,二階邏輯之模型(II-II),執行起迄:1997.08.01~1998.07.31

楊金穆,1999,二階概念與二階邏輯的模型,執行起迄:1998.08.01~1999.07.31

楊金穆,2000第一期,奧斯汀的真之約定論與奎因的語意昇揚,執行起迄:1999.08.01~2000.07.31

楊金穆,2000第二期,指示詞D-that的量化分析,執行起迄:2000.08.01~2002.03.31

楊金穆,2001,語用的真之概念與語意詭論,執行起迄:2001.08.01~2002.07.31

楊金穆,2003,威廉森論「宣稱」,執行起迄:2003.08.01~2004.07.31

楊金穆,2004,存在的投射概念:戴維森式的存在概念(1/3),執行起迄:2004.08.01~2005.07.31

楊金穆,2005,存在的投射概念:戴維森式的存在概念(2/3),執行起迄:2005.08.01~2006.07.31

楊金穆,2006,存在的投射概念:戴維森式的存在概念(3/3),執行起迄:2006.08.01~2007.10.31(計畫編號:NSC95-2411-H-002-001)

楊金穆,2007,形式邏輯的發展與前期分析哲學(1/3),執行起迄:2007.08.01~2008.07.31(計畫編號:NSC96-2411-H-002-027-MY3)

楊金穆,1997,〈基本邏輯課程綱目(syllabus)規劃及教學手冊編纂〉,教育部大學院校人文社會科學教育改進計劃。

楊金穆,1997,〈二階邏輯之模型(Ⅰ)〉,行政院國家科學委員會專題研究計劃成果報告,計畫編號:NSC86-2411-H-002-016。

楊金穆,1998,〈二階邏輯之模型(II-II)〉,行政院國家科學委員會專題研究計劃成果報告,計畫編號:NSC87-2411-H-002-015。

楊金穆,1998.07,〈英國著名大學哲學系必修課程研究〉,《世界著名大學哲學系必修課程研究》,教育部顧問室研究計劃成果報告。

楊金穆,1999,〈二階概念與二階邏輯的模型〉,行政院國家科學委員會專題研究計劃成果報告,計畫編號:NSC88-2411-H-002-008。

楊金穆,2000,〈奧斯汀的真之約定論與奎因的語意昇揚〉,行政院國家科學委員會專題研究計劃成果報告,計畫編號:NSC89-2411-H002-028。

楊金穆,2002.03,〈指示詞D-that的量化分析〉,行政院國家科學委員會專題研究計劃成果報告,計畫編號:NSC89-2411-H-002-049。

楊金穆,2002,〈語用的真之概念與語意詭論〉,行政院國家科學委員會專題研究計劃成果報告,計畫編號:NSC90-2411-H-002-056。

楊金穆,2004,〈威廉森論「宣稱」〉,行政院國家科學委員會專題研究計劃成果報告,計畫編號:NSC92-2411-H-002-030。

楊金穆,2005,〈存在的投射概念:戴維森式的存在概念(1/3)〉,行政院國家科學委員會楊金穆,專題研究計劃成果報告,計畫編號:NSC92-2411-H-002-029。

楊金穆,意義理論中的自然主義(III-I),100-2410-H-002-112-。

楊金穆,形式邏輯的發展與前期分析哲學,96-2411-H-002-027-MY3。

楊金穆,存在的投射概念:戴維森式的存在概念(3/3),95-2411-H-002-001-。