Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
Ludwig Wittgenstein
Entra así en juego la polémica -pero fundamental- distinción entre "decir" y "mostrar" que el propio Wittgenstein consideraba el núcleo de la filosofía. La "forma lógica" y la lógica en general no pueden expresarse, vale decir: no se puede crear una proposición con sentido en que se describa la lógica, porque la lógica "se muestra" en las proposiciones con sentido (que expresan el darse o no darse de un estado de cosas.). La lógica está presente en todas las proposiciones, pero no es "dicha" por ninguna de ellas. En este sentido: «La lógica es trascendental» ("Tractatus": § 6.13).