NTU Philosophical Review

Issue 23, January 2000

Cheng-Uan Hung
Pages 175-296

Tracing back philosophical conceptions of logic from the first-order logic to the philosophical logic

This is one of the essays on the reflection on logic. The author points out some well-known concepts and principles, with their limitation in application, of the classicallogic are almost neglected by most users, in particular, in the areas of information processing and engineering, philosophical and linguistic analysis , and even in (college level of) mathematical education in the present Taiwan. In retrospect to Quine's critique (during 1943-1970), which is still influential in Taiwan, ofthe propositional and the quantified modal logic, the author first, reflects on and then reformulates some conceptually foundational thought (central claims) in modallogic, and furthermore, propose some philosophico-technical problems in the boderlined area of (philosophical) logic, philosophy, philosophy of language, third, the author presents a bird-eye view on the source of the main concepts concerning inquiry in philosophical logic, the conceptions in and approaches to mathematical / formallogic and philosophical logic. Finally, his own perspectives on philosophical logic and its application.