| 簡歷 |
|
民國24年生。48年台灣大學學士。51-70年台灣大學數學系助教，講師，副教授。54年赴美國聖母大學攻哲學與數學。58年哲學碩士。64年任台大數學系教授。67-68年美國威斯康辛大學(指迪遜)數學哲學訪問研究。77-78年美國史坦福大學訪問學者。
|
| 研究興趣 |
|
數理邏輯中之相干邏輯與直觀論邏輯之命題理論(後設理論)；
語言哲學中之指稱理論與相關的哲理邏輯之批評分析，
19世紀末迄1980年代邏輯思想史與相關的數學哲學之探討。
|
| 曾授課程(近五年) |
|
| 89年度： |
微積分乙 |
| 88年度： |
微積分乙、專題討論、解構知識與系統思考、邏輯理論選題二 |
| 87年度： |
微積分乙、認知、語言、表徵、邏輯理論選題 |
| 86年度： |
微積分甲、微積分乙 |
| 85年度： |
微積分甲、語言、資訊、知識表現 |
|
|