|next article in this issue|
Document Details :
Title: Where is Logical Knowledge Located?
Author(s): GRATTAN-GUINNESS, Ivor
Journal: Logique et Analyse
Volume: 229 Date: 2015
An attempt is made to distinguish logical from all other kinds of knowledge, especially mathematics. The tradition of stressing forms of proposition is revived, imitating the theory of moments in phenomenology from which it follows that logic is intrinsically dependent on the setting in which it is used. Sites are sought also for several topics that overlap with both logic and foundational branches of mathematics; they include set theory, model theory, axiomatisation and metamathematics. Logic is held exhibit structuralism in a way that mathematics does not. Both logic and its neighbouring topics manifest self-reference, which is an exceptionally ubiquitous but perplexing moment.