Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
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).