馮諾曼 Related Tags: 哲學 Graham Priest Gottlob Frege 馮諾曼 古典邏輯 哲學史 塔斯基 哥德爾 數理邏輯 亞里士多德 西方邏輯學簡史︰由亞里士多德到二十世紀 2016/08/15 科學 Joe 雖然運用論證是理性的人的基本能力,但有系統地研究論證,其開端卻是亞里士多德。經過二千多年的發展,邏輯變成了一個大家族,除了被視為正宗的「古典邏輯」外,還有各式各樣的邏輯系統。 哲學 歷史 數學 矛盾 邏輯 羅素 電腦 邏輯學 科學史 亞里士多德 Graham Priest 數理邏輯 哥德爾 塔斯基 哲學史 古典邏輯 馮諾曼 Gottlob Frege Saul Kripke