Home Page Image
  Important Dates
  • Submission deadline: January 20,2014.
  • Notification of acceptance: February 15, 2014.
  • Conference: April 12-13, 2014.

Please feel free to contact us via liuhu2@mail.sysu.edu.cn if you have any questions.
 
Call for Papers

The Second Asian Workshop on Philosophical Logic will be held at Guangzhou, China, and is organized by the Institute of Logic and Cognition, Sun Yat-sen University from 12th to 13th April, 2014.
The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover:
philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science.

 


Call for Submissions

All researchers working on various aspects of philosophical logic are cordially invited to submit their papers by the submission deadline of January 20th, 2014. Authors should submit an (extended) abstract at least two pages but no more than ten pages. Papers must be submitted as PDF files and sent to liuhu2@mail.sysu.edu.cn. Each submission will be refereed.  

All authors of papers presented at the conference will be encouraged to submit a full version to a post-conference volume published by Springer at the book series "Logic in Asia". See   http://www.springer.com/series/13080 . All papers submitted to the post-conference proceedings will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. The details of the post-conference proceedings will be announced later

Committee:

Chairs:
Shier Ju (Sun Yat-sen University, China)
Hiroakira Ono (JAIST, Japan)

Program Committee:
Wojciech Buszkowski  (Adam Mickiewicz University, Poland)
Mihir Chakraborty (Jadavpur University, India)
Phan Minh Dung (Asian Institute of Technology, Thailand)
Fenrong Liu (Tsinghua University, China)
Jeremy Seligman (The University of Auckland, New Zealand)
Wen-fang Wang (National Yang Ming University, Taiwan, China)
Chin-mu Yang (National Taiwan University, Taiwan,China)
Xishun Zhao (Sun Yat-sen University, China)

Local Committee:
Hu Liu  (Sun Yat-sen University, China)
Xuefeng Wen (Sun Yat-sen University, China)
Yuping Shen (Sun Yat-sen University, China)

Programm:

Saturday, April 12. Room 322 Xichang Hall, Sun Yat-sen University
08:30-08:40 Opening speech

09:00-10:20 Tutorial Talk, Chair: Shier Ju
Wojciech Buszkowski: Full Lambek Calculus and Type Grammars

10:40-12:00 Contributed Talks, Chair: Ono Hiroakira
10:40-11:20 Yanjing Wang: Epistemic informativeness
11:20-12:00 Katsuhiko Sano: An impossibility theorem on radical inquisitive semantics

14:00-16:00 Contributed Talks, Chair: Fenrong Liu
14:00-14:40 Wen‐fang Wang: Quine on the ground of logical truths
14:40-15:20Linton Wang: The Powerlessness of laws
15:20-16:00 Ming-Yuan Hsiao: Modal dispositionalism and its difficulties

16:20-17:40 Contributed Talks, Chair: Xuefeng Wen
16:20-17:00 Fenrong Liu: Decision Making and A Modal Logic of Good-enough
17:00-17:40 Minghui Ma: lattice graded modal logic

17:40-18:10 Panel Discussion on Collaboration, Chairs: Shier Ju and Hiroakira Ono

Sunday, April 13, Room 322 Xichang Hall, Sun Yat-sen University
09:00-10:20 Contributed Talks, Chair: Wojciech Buszkowski
09:00-09:40 Hiroakira Ono: Uniform interpolation in substructural predicate logics
09:40-10:20 Minghui Ma and Zhe Lin: Residuated Basic Logic

10:40-12:00 Contributed Talks, Chair: Wen-fang Wang
10:40-11:20 Chi-Yen Liu: From 3-valued semantics, Adams' thesis rises
11:20-12:00 Fei Zha: Models of restricted flux generated by assignments

14:00-16:00 Contributed Talks, Chair: Xufeng Wen
14:00-14:40 Ryo Takemura: Counter-example construction with Euler diagrams
14:40-15:20 Jiayue Cui: Categorial type logic based on case grammar
15:20-16:00 Mauricio S.C. Hernandes: Conditional probability logic over conditional probability spaces

16:20-17:40 Contributed Talks, Chair: Katsuhiko Sano
16:20-17:00 Rui Zhu and Xinwen Liu: Justification logic with names  
17:00-17:40 Jia Qing: A multi-modal categorial type logic on anaphora of Chinese reflexives

17:40-18:00 Closing speech

LOCAL INFORMATION:
Guangzhou, known historically as Canton, is located in southern China on the Pearl River, about 120 km north-northwest of Hong Kong. With over 12 million inhabitants, it is the third largest city in China (after Shanghai and Beijing) and the largest city of southern China. In the month of November, expected temperatures are between 15 and 24 degrees. Baiyun International Airport is a major transportation hub with many national and international airlines (for instance, Air France, China Southern Airlines, Emirates, Lufthansa, etc.). In addition, Guangzhou is easy to reach from Hong Kong with its international airport.