Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la 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).