Tracing Back Philosophical Conceptions of Logic–From the First-order Logic to the Philosophical Logic

Author:洪完成

Abstract /

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 classical logic 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, of the propositional and the quantified modal logic, the author first, reflects on and then reformulates some conceptually foundational thought (central claims) in modal logic, 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/formal logic and philosophical logic. Finally, his own perspectives on philosophical logic and its application.

Keywords: Transparent context,Opaque context,Necessity,Possible world,Name,Definite description,Rigid designator,Substitutional interpretation of quantifier