2016/08/15 | Joe 西方邏輯學簡史︰由亞里士多德到二十世紀 雖然運用論證是理性的人的基本能力,但有系統地研究論證,其開端卻是亞里士多德。經過二千多年的發展,邏輯變成了一個大家族,除了被視為正宗的「古典邏輯」外,還有各式各樣的邏輯系統。 邏輯 邏輯學 More... 科學史 歷史 哲學史 哲學 亞里士多德 哥德爾 塔斯基 古典邏輯 電腦 馮諾曼 Graham Priest 數學 數理邏輯 羅素 Gottlob Frege 矛盾 Saul Kripke 2016/04/11 | Joe 用邏輯系統就能判斷論證對確嗎? 邏輯系統的演變和革新,許多時候就是在於非形式論證、符號表達(翻譯過程)及形式論證這三個元素。 Graham Priest Susan Haack More... 哲學 宿命論 思考 數學邏輯 羅素 蘇格拉底 論證 邏輯 邏輯分析 邏輯哲學 邏輯學 非形式邏輯 2016/04/11 | Joe 用邏輯系統就能判斷論證對確嗎? 邏輯系統的演變和革新,許多時候就是在於非形式論證、符號表達(翻譯過程)及形式論證這三個元素。 Graham Priest Susan Haack More... 哲學 宿命論 思考 數學邏輯 羅素 蘇格拉底 論證 邏輯 邏輯分析 邏輯哲學 邏輯學 非形式邏輯