Where is Logical Knowledge Located?

Ivor Grattan-Guinness


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.


  • There are currently no refbacks.