現在位置:臺大哲學系 > 研討會
line

研討會

研討會主題 2012台灣哲學邏輯研討會
日期 2012年12月07日~2012年12月07日
主辦單位 台灣大學哲學系
主持人 楊金穆
地點 台灣大學水源校區哲學系302會議室
最新消息
簡介

 

2012臺灣哲學邏輯研討會

 

1879年德國哲學家、數學家Gottlob FregeBegriffsschrift一書中建立嶄新的形式邏輯系統(又稱數學邏輯)之後,新的邏輯系統在二十世紀前半葉有著蓬勃的發展。首先,Giuseppe Peano1900)以及Ernst Zermelo1908)在此基礎上分別對數學以及集合論的公設化,加上完備性定理、緊緻性定理等後設定理的證明在192030年間的完成,數學邏輯己建立其在數學及邏輯上堅實的地位。19356年間Gehard Gentzen更建立了自然演繹系統以及Sequent Calculus,而隨著1950年代E. W. Bethsemantic tableau的建立,一階數學邏輯的形式化幾告完整。其後,1960年初,Paul Cohen在集合論上獨立性定理的證明,以及基本模型理論上若干重要定理的證明之完成。在1970年代,數學邏輯的發展已臻完備。若干經典教科書的出現可見一斑,諸如:C. C. Chang & H. K. Kreisler(1973)Model TheoryG. Takeuti(1975)Proof Theory,等等。或許,Jon Barwise1977)所編的Handbook of Mathematical Logic之問世可視之為此一完整發展的宣示。1970年代之後,數理邏輯的發展,大概而言可分為兩路,其一是集合論與模型理論在高階數學理論大量地應用,其二是Recursion Theorem以及計算理論在電腦程式上的應用。雖然這兩方面的發展似乎越來越遠離哲學的討論範圍,但這不意味著邏輯的發展與哲學越行越遠。相反地,隨著1959Saul Kripke所建立的Possible World Semantics,及其廣泛應用的各式各樣非古典邏輯,特別是Modal Logic, Epistemic Logic, Temporal Logic,等等。哲學家在傳統哲學議題與非古典邏輯系統之間找到一片寬廣的空間:如何利用新的邏輯系統來表徵傳統的哲學概念,諸如,必然性、可能性、知悉、相信等等。自1970年代至今,此一領域的發展與研究一日千里。目前此一領域概括稱之為Philosophical Logic1984年出版一系列的Handbooks of Philosophical Logic四巨冊,可做為這一新時代來臨的宣示。目前此一研究領域幾乎包括傳統形上學、知識論、以及倫理學的主要核心課題。無論是存在問題、認知問題、或是規範性的問題皆可訴諸於邏輯系統的處理。為了因應此一發展,各式各樣以此一領域為主的期刊相繼問世,除了Journal of Philosophical Logic之外,即使著名期刊Journal of Symbolic Logic甚至新增了Bulletin of Symbolic LogicReview of Symbolic Logic來吸收這方面的論文。

 

在亞洲地區,亞洲邏輯會議為唯一定期舉辦的重大邏輯盛會,近年來不僅將其擴張至大洋洲地區,更陸續邀請了許多美國知名學者參加,但在邏輯哲學這方面則付諸闕如。日本北陸先端科學技術大學院大學的Hiroakira Ono教授有鑑於此20122月特別在日本北陸先端科學技術大學院大學開第一屆亞洲邏輯哲學會議工作室,期望能夠推展此一方面的研究在亞太地區的發展。為了呼應此一發展,本系特別舉辦本次臺灣哲學邏輯研討會(The 2012 Taiwan Philosophical Logic Colloquium),未來此會議擬兩年定期舉辦一次,期能為臺灣哲學邏輯發展提供一良好的發表平台。本次會議於127於臺灣大學水源校區哲學系會議室舉辦。將邀請國外學者Hiroakira Ono, Katsuhiko Sano, Norbert Preining,以及數位傑出的臺灣邏輯學者進行發表。

 

議程

 

The 2012 Taiwan Philosophical Logic Colloquium

December 7, Friday, 2012

Preliminary Program

 

9:00-9:10

Registration

9:10-9:15

Opening Speech

Jeu-Jenq Yuann (Chairman of the Department)

9:15-10:45

Keynote Speech

Recent Development of Substructural Logics:

From a Methodological Point of View

Hiroakira Ono

10:45-11:00

Tea Time

11:00-12:30

Session One

Adding Conditionals to a Fixed-Point Theory of Truth

Wen-Fang Wang

On Paraconsistency

Jui-Lin Lee

12:30-2:30

Lunch

2:30-4:00

Session Two

Impossibility Theorem on Radical Inquisitive Semantics

Katsuhiko Sano

Finitely Inseparable Axiomatized Mereotopological Theories

Hsing-Chien Tsai

4:00-4:15

Tea Time

4:15-5:45

Session Three

Walking the line - <next> operators on various linear Kripke frame based logics

Norbert Preining

A Knowledge-First Epistemic Logic of knowledge and belief Syraya Chin-Mu Yang

5:45-6:00

Closing Speech

 

 

內容記錄
活動照片
資料下載

 



版權所有 Copyright(C) - Department of Philosophy - College of Liberal Arts - National Taiwan University - All Right Reserved Admin

聯絡資訊 Contact Info. 10617 台北市羅斯福路四段一號 No. 1, Sec. 4, Roosevelt Road, Taipei, 10617 Taiwan(R.O.C) +886-2-3366-3396 philo@ntu.edu.tw