this issue
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   
Pages: 3-24
DOI: 10.2143/LEA.229.0.3089905

Abstract :
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.

Download article