2017/07/03 | 好青年荼毒室(哲學部) 指涉理論(二)︰「金星」的意思就是金星嗎?那麼「祝融星」呢? 一個名字的意思,只是這符號背後所代表的東西嗎?哲學家弗雷格就不這麼認為,他舉了三種不同的語言用法來反駁。 弗雷格 Gottlob Frege More... 語言哲學 哲學 名字 2016/12/16 | 好青年荼毒室(哲學部) 邏輯推理就只是心理活動嗎? 邏輯心理主義及胡塞爾的批評 有哲學家認為邏輯規律其實不外是心理規律,希望以心理學作為邏輯的基礙,但這套理論困難重重。 哲學 邏輯 More... Gottlob Frege Edmund Husserl 心理學 經驗世界 邏輯心理主義 2016/12/16 | 好青年荼毒室(哲學部) 邏輯推理就只是心理活動嗎? 邏輯心理主義及胡塞爾的批評 有哲學家認為邏輯規律其實不外是心理規律,希望以心理學作為邏輯的基礙,但這套理論困難重重。 哲學 邏輯 More... Gottlob Frege Edmund Husserl 心理學 經驗世界 邏輯心理主義 2016/12/02 | Kayue 圖靈機正式面世80年︰一個與現實毫不相干的問題為人類帶來了電腦 80年前,圖靈發表〈論可計算數及其在判定問題上的一個應用〉,對電腦發展影響深遠。 圖靈 圖靈機 More... 電腦 通用圖靈機 數學 邏輯 數理邏輯 希爾伯特 哥德爾 Gottlob Frege Alonzo Church 邱奇—圖靈論題 2016/11/30 | Kayue 圖靈機正式面世80年︰「離地」研究為人類帶來了電腦 80年前,圖靈發表〈論可計算數及其在判定問題上的一個應用〉,對電腦發展影響深遠。 圖靈 圖靈機 More... 電腦 通用圖靈機 數學 邏輯 數理邏輯 希爾伯特 哥德爾 丘奇—圖靈論題 Gottlob Frege Alonzo Church 2016/08/15 | Joe 西方邏輯學簡史︰由亞里士多德到二十世紀 雖然運用論證是理性的人的基本能力,但有系統地研究論證,其開端卻是亞里士多德。經過二千多年的發展,邏輯變成了一個大家族,除了被視為正宗的「古典邏輯」外,還有各式各樣的邏輯系統。 邏輯 邏輯學 More... 科學史 歷史 哲學史 哲學 亞里士多德 哥德爾 塔斯基 古典邏輯 電腦 馮諾曼 Graham Priest 數學 數理邏輯 羅素 Gottlob Frege 矛盾 Saul Kripke