談過了自然科學史與人文科學史，《冰的哲學》第三季的主題要來挑戰「邏輯」。不過我們不是要教大家形式邏輯或分析哲學，而是要從哲學史的角度去探究為什麼會出現邏輯系統，為什麼某些系統會被淘汰、哪些系統又為什麼可以取代別人。這一季內容預計一樣從古希臘講到現代，由神邏輯大亂鬥的詭辯學派開始，一直到當代形式邏輯的出現以及面臨的挑戰。
冰的哲學，哲學冰的！
哲學新媒體訂閱會員限定的哲學史 podcast 節目，由主播有蓉主講，以哲學家意見不合的爭論來當作主軸，來看看哲學家們怎麼互相冰的（翻桌）拆台。
每一季有十集，每一集大約三十分鐘，處理兩個哲學家之間的思想爭論。第一季的主題是：自然科學，要用兩千年的哲學史來跟大家介紹：自然知識怎麼變成今天大家看到的自然科學，以及擁有今天非常重要的地位。
談過了自然科學史與人文科學史，《冰的哲學》第三季的主題要來挑戰「邏輯」。不過我們不是要教大家形式邏輯或分析哲學，而是要從哲學史的角度去探究為什麼會出現邏輯系統，為什麼某些系統會被淘汰、哪些系統又為什麼可以取代別人。這一季內容預計一樣從古希臘講到現代，由神邏輯大亂鬥的詭辯學派開始，一直到當代形式邏輯的出現以及面臨的挑戰。
到底「邏輯」是指什麼？就算你沒學過形式邏輯或上過邏輯課，你應該也曾經說過「你很沒邏輯耶！」或「你這什麼邏輯？」——這個時候，你確切到底想要講什麼？你是注意到說話者什麼樣的特徵，才會說跟對方說「你講話很沒邏輯耶」？
學邏輯最難入手的地方就是，通常學生覺得邏輯和數學一樣，很抽象——但說一個東西很抽象是什麼意思？邏輯到底運用到什麼狀況裏面？這麼多人每天都在說邏輯很重要，那邏輯到底是有多重要，是運用在什麼方面讓它這麼重要？
邏輯系統為什麼會出現？為什麼有沒有邏輯會變成一個問題？甚至到了今天我們不會去懷疑為什麼要有邏輯。為什麼不能說：「這個世界就是結果論！贏的人永遠是對的」？這一切要從西元前六世紀的土地糾紛訴訟，產生出一批專業遊說者的故事開始說起。
本集介紹第一個以「智者」自稱的普達哥拉斯 (Protagoras)，還有他的名言「人是萬物的量尺」是怎麼推論出來的。透過詳細說明普達哥拉斯提出的詭辯論證，以及柏拉圖如何回應與拆解這樣的詭辯，希望可以讓聽眾們更具體了解到，在這個神邏輯時代，智者和哲學家的工作有什麼不一樣？為什麼都是在做推理，一個是詭辯、另一個是有效論證？
前面第二集說完了詭辯論證橫行的神邏輯時代，這一集要從在邏輯誕生的準備過程當中有著非常關鍵貢獻的柏拉圖說起。柏拉圖沒有建立自己的邏輯系統，但對於智者們可以自圓其說的鬼扯，他找出了一套破解之法。來聽主播有蓉在本集介紹柏拉圖與智者塞拉西馬柯 (Thrasymachus) 針對「何謂正義？」的辯論，說明哲學家如何破解神邏輯。
邏輯要能夠出現，第一個就是要把語言藉由內部語意上的指涉所建構出來的事物秩序，跟實際上不依賴任何人的事物秩序分開來。柏拉圖的貢獻就在於他注意到這樣的區分，並發現不僅是觀念本身有秩序，秩序本身也有秩序，讓我們初次以形式的方式來理解關係本身，踏出了邏輯史上關鍵的一步。
本集要初步介紹亞里斯多德的邏輯系統與三段論證，以及他如何改造來自柏拉圖的傳承。我們可以稱亞里斯多德整個邏輯系統建構的過程是在把關係實體化的過程。那什麼叫做關係實體化呢？「人都會死，蘇格拉底是人，所以蘇格拉底會死」的這種三段論證又是怎麼來的呢？
亞里斯多德將三段論的推論形式根據肯定與否定、全稱與特稱等不同排列組合，整理成十四個可以得出有效推論的邏輯公式，還分別取了不同的名字。我們今天就來看看他當初是怎麼找出像芭芭拉 (Barbara) 、瑟拉倫 (Celarent) 這些邏輯形式。
大家一般會把英文 fallacy 當作「謬誤」的同義詞，但亞里斯多德一開始的命名則是 paralogism，有別於三段論 syllogism。這三個詞彙有什麼差別呢？亞里斯多德總共整理了 13 種不同的謬誤，又分為兩大類：因語言而形成的謬誤和語言之外的謬誤。本集先介紹 6 個因語言而形成的謬誤。
本集要介紹屬於亞里斯多德歸類在語言之外的謬誤，簡單來說就是那些不是因為自然語言在使用上本身的含糊性質而產生的錯誤推論。同時也介紹高中生命教育裡面教的九個謬誤。
本集要介紹中世紀的邏輯發展，尤其是模態邏輯，也希望順便跟大家介紹一下同時代阿拉伯哲學家阿維森納發展的條件性邏輯。跟大家說說，三段論的大前提怎麼從「人會死」變成了「如果貓肚子餓，貓就會去抓老鼠」這種條件性判斷。
延續上次介紹的假設性三段論和模態邏輯，本集專注在大家一定都有聽過的邏輯式子上，若Ｐ則Ｑ，讓我們來一探究竟，邏輯式子的規則到底是怎麼出現的，為什麼它的真值表看來會這麼難以理解。
延續上次介紹的假設性三段論和模態邏輯，本集專注在大家一定都有聽過的邏輯式子上，若Ｐ則Ｑ，讓我們來一探究竟，邏輯式子的規則到底是怎麼出現的，為什麼它的真值表看來會這麼難以理解。
這一集我們要更進一步來討論，萊布尼茲的邏輯系統確切來說如何掌握他所謂的「思想法則」。萊布尼茲一方面建立起，以否定 negation 和連言 conjunction 為基礎的形式邏輯，取代亞里斯多德的詞項邏輯，另一方面提出了有別於阿維森納時間性條件句的模態邏輯，來理解真理的偶然和必然性質——就是他的可能世界理論。
本集要介紹的就是邏輯史上舉足輕重，更是當代分析語言哲學的始祖弗列格。邏輯系統是以算數作為模型，最大的特色是以論證為單位，所以關鍵在於把邏輯關係當作數學意義上的函數來看待。他希望按照算數的方式，建立起邏輯上的公理，並建立整個邏輯的推論形式，最終的是希望讓邏輯成為數學的基礎。
弗列格的研究專注在證明一件事情，就是算數真理可以被化約到邏輯真理。雖然嚴格來說，弗列格並沒有真的成功做到這件事情，但他這個嘗試仍然在哲學史上有很重要的影響，而且這個影響還要回到康德身上。怎麼說呢？這就得講一下他們兩人對於「數學判斷是分析還是綜合的？」這個問題的不同看法了。
大家可能都聽過鼎鼎有名的「羅素悖論」，像是說謊者悖論或者理髮師悖論，但這些都只是羅素悖論的一種而已。悖論和兩難有什麼不同？羅素為何要提出這個悖論？而這個悖論又和前兩集談到的弗雷格形式邏輯系統有什麼關係？來聽聽有蓉的介紹。
上一集講到羅素如何找到佛列格邏輯系統裡面的一個 bug，也就是我們上次講的羅素悖論。這一集換成羅素被批評，之後提出了修正自己邏輯理論的描述理論。到底是誰這麼大膽，居然敢批評羅素呢？就是他的學生維根斯坦。
我們今天要介紹的是，接在弗列格、羅素與維根斯坦之後，二十世紀邏輯實證論的出現，強調經驗與邏輯的密切結合。本集還要特別要講一個波普和維根斯坦兩人發生過的一個暴力八卦故事：著名的維根斯坦撥火鉗事件！（警語：請勿拿撥火鉗對著任何人揮舞。）
原本只是一種論證方式的邏輯，反過來變成規定如何書寫哲學論證的規範——這個從英美分析哲學嫌歐陸哲學晦澀沒邏輯、歐陸哲學覺得分析哲學僵硬機械化的相互「叫囂」可知一二。我們要問：哲學問題就是邏輯解謎嗎？定義不清楚、沒有明確的邏輯論證，就不是在做哲學嗎？來聽《冰的哲學》第三季最後一集怎麼說！
由哲學新媒體主編孫有蓉主講的哲學史 Podcast 節目【冰的哲學】，在第一季講完〈自然科學〉之後，第二季的主題要跟大家談談〈人文科學〉這個主題。人文科學和自然科學有什麼不一樣？哪些學門會自稱「人文科學」呢？從兩千年前的古希臘到今天，這些學科是怎麼一步步地「科學化」呢？
上一季談完「自然科學」之後，主播有蓉將在這一季談「人文科學」。你沒看錯，是「人文科學」，不是「人文學科」。第一集主要討論人文科學 (human science) 這個概念本身如何出現，而某些學科為什麼可以自稱科學，又是如何取得了自稱科學的正當性。
政治學是最早成為人文科學的學門，但是在古希臘時代，不僅柏拉圖沒把政治學當科學，連亞里斯多德也只確立了人事學，喊出「人是政治的動物」這句話，但仍無法把政治學當作像是自然科學那樣嚴格普遍的科學。這是為什麼呢？
我們今天要一跳兩千年，透過哲學家霍布斯來跟大家介紹政治學邁向政治科學的一個關鍵翻轉。霍布斯反對亞里斯多德用理想與目標來定義人性——其實不用那麼複雜，把人看作一個有特殊設定的機器就可以了，了解人性就在了解這個機器的因果機制與運作原理。在沒有道德、沒有法律的自然狀態下，這樣的自動機器聚在一起生活，會發生什麼事？
德國哲學家狄爾泰認為了人文科學跟自然科學完全不是同一種知識，沒有相同的判準、沒有相同的模型或真理界定——人文科學自己是一種有自己定義的科學，而自然科學又是另一種科學！本集介紹法國理性主義和德國歷史主義大車拼，怎麼撞出了狄爾泰的人文科學。
本集透過介紹經濟學之父亞當史密斯的《國富論》與《道德情感論》、以及馬克思在《資本論》中對資本主義的批判，讓你了解經濟學如何成為一門人文科學。
社會學在研究什麼呢？研究社會。但社會到底是什麼？一群人叫做社會嗎？一個國家是一個社會，但研究國家已經有政治學了，為什麼還要有社會學？社會學研究社會規範？那為什麼不是倫理學？今天介紹兩位社會學家，涂爾幹和韋伯，看他們如何界定「社會」是什麼、建立起社會學這一門人文科學。
今天我們要介紹的是人文科學中，讓結構主義興起的重要關鍵人物：李維‧史陀。雖然索緒爾是第一個在語言學內建構出結構主義研究取徑的人，但李維‧史陀的結構人類學才是奠定了結構主義作為人文研究科學性來源的關鍵。
心理學到底在研究什麼？心理到底在哪裡？心理學究竟是自然科學還是人文科學？今天這一集會從古典心理學的討論出發，二來會著重用提問的方式來討論，心理學想要作為一門科學必須面臨哪些挑戰，三來不是來跟大家介紹特定心理學者的理論。我們會著重討論柏拉圖如何談靈魂（心理學），講到佛洛伊德與榮格兩人的爭論，以及法國哲學家阿圖塞針對佛洛依德和拉岡兩位的思想，討論心理學如何成為人文科學的這個問題。
本集要介紹這個兩難化身成一場法國學派差異的論戰，簡稱為「結構主義大戰現象學」。在這場大戰中，李維史陀的結構主義殺向沙特的存在主義現象學：科學與此在 (dasein) 不共戴天，存在要是先於本質的話，那人文科學就不用玩了。而梅洛龐蒂與布爾迪厄又是如何化解兩邊的矛盾對立，帶著大家衝出戰場呢？
並不是所有人文學科都被納入人文科學。比如說一般會歸類在人文學科的，像是文學、歷史學、哲學，所以剩下這些學門到底是什麼呢？特別是，哲學呢？哲學到底是什麼？哲學是科學嗎？如果是，那是自然科學還是人文科學？或者說它其實是非科學的藝術？在本季最後一集，主播有蓉卯足了全力，寧可超時演出也要從柏拉圖講到康德、再談德勒茲，讓大家了解為什麼哲學 philosophy 這門學問可以生產出科學但又非常的不科學！
哲學新媒體訂閱會員限定的哲學史 podcast 節目，由主播有蓉主講，以哲學家意見不合的爭論來當作主軸，來看看哲學家們怎麼互相冰的（翻桌）拆台。
哲學新媒體訂閱會員限定的哲學史 podcast 節目，由主播有蓉主講，以哲學家意見不合的爭論來當作主軸，來看看哲學家們怎麼互相冰的（翻桌）拆台。第一集出場的主角是主張「萬物皆水」的古希臘哲學家泰利斯。
哲學史上一個重要的轉折點就是蘇格拉底的人文主義轉向，很多人以為西方哲學從他開始就不討論自然的問題，而開始討論人的問題——但這是錯的、錯的、錯的。很重要，所以講三次。如果蘇格拉底的人文主義轉向不是撇自然，轉文化，那到底是轉去哪裡呢？這傢伙又和《功夫》裡頭的火雲邪神有什麼關係呢？
在前兩集裡面介紹了西方第一個哲學家，泰利斯的自然哲學，以及蘇格拉底怎麼一腳用他的夾腳拖把自然知識踢下科學神壇，認為自然物總是無常，我們應該要轉而認識自己如何認知萬物本質。自然知識看來在節目一開始就被趕出去，那都趕出去了還有什麼好談的？當然是每個好老師的背後都有個反骨的學生——沒錯，那個去把自然知識撿回來的就是柏拉圖。
談到自然研究變成一門科學的問題，那真的是沒有任何可能跳過第一個畢生都在建立自然科學的亞里斯多德。這一集我們就要來看這個男人如何讓自然研究突破這個難題，建立自然科學，還順手創立了生物學。
我們這個哲學史一跳就跳了一千八百年，昨天還是愛在西元前的亞里斯多德，今天已經一跳就到了十六世紀笛卡兒出現之前的哲學境況了。這整整十六個世紀並不是哲學沒後人，其中也有奧古斯丁、著名的奧坎和他手上拿著的剃刀。但我們今天只著重影響整個中世紀科學最為重要的一脈思想：亞里斯多德學派之士林哲學。
亞里斯多德學派的自然科學體系一直主導整個科學發展直到十七世紀，要等到十七世紀中後期，在培根、笛卡兒、洛克的連續強烈重擊之下，才瓦解了這個系統。笛卡兒在這些重要哲學家之間是最關鍵的第一個，因為他的思想不僅讓我們看到他如何跟他的時代對話，更可以讓我們理解這個現代科學與現代哲學之父到底是怎麼來的。
在笛卡兒的時代，物理學還建立在形上學解釋上，因此其實還沒有偏離亞里斯多德學派傳統一直以來「自然科學等同自然哲學」的立場。到了小他一輩的波以耳時代，英國皇家學會以他為代表，開始倡導「由實驗建立的事實本身就是科學知識」這個觀點，而霍布斯當時拼了老命在批評這種將實驗視為科學的新定義。
時代推進到到了連牛頓和萊布尼茲誰先發現微積分都已經吵完的十八世紀，康德面對的哲學戰場是理性主義與經驗主義兩派人開打了幾代的爭論：知識的基礎是什麼？另一方面，康德發現自然科學知識的發展離哲學愈來愈遠，他試圖提出一個新的架構，讓哲學能夠再次為自然科學知識提供一個穩固有效的基礎。
康德綜合了經驗主義與理性主義，嘗試終結到底是先有經驗才抽象，還是先有理性的分析原則才能拿來經驗的問題。講這一堆到底跟自然科學有什麼關係呢？當然有關係！因為康德想要建立的不僅僅是任何認知的基礎，更是要找到普世為真——也就是科學知識——的基礎。
胡塞爾的名聲或許不如他的學生海德格那麼響亮，但他開創了現象學這個學門，並根據他對意向性結構的分析，批判現代科學與客觀主義。講求測量、精確與數學的科學居然會不客觀？讓我們繼續聽下去！
整個思想史事實上存在三種不同的時空構想，分別開展出了不同型態的自然科學發展。從亞里斯多德、笛卡兒再到康德，每一次的時空翻轉也伴隨了自然科學知識的翻轉。所以我們今天的內容，又要再一次帶大家回到古希臘，而且要在短短三十分鐘之內再從古希臘回到二十世紀！
