Curso de lingüística general
Saussure entiende la lengua como un sistema semiótico formado por signos lingüísticos. El signo lingüístico es definido como una entidad psíquica con dos caras íntimamente unidas y que se reclaman recíprocamente. Estas serían el significante (forma fónica o imagen acústica) y significado (concepto mental al que corresponde la imagen acústica). Las diferencias en el significado vendrían provocadas por las diferencias en el significante. Cabe destacar que la relación entre estos significados se da de forma arbitraria, por lo que podemos decir que el signo lingüístico es arbitrario. Un ejemplo propuesto por Saussure es el de la idea de "sur", que no está necesariamente ligada a la sucesión de sonidos s-u-r, por lo que podría estar ligada a cualquier otra sucesión de sonidos, tal y como pasa en otras lenguas diferentes.
Tractatus logico-philosophicus
La circunstancia de que en un idioma natural el mismo signo pueda vincularse a símbolos muy diferentes está en el origen de las confusiones filosóficas. La función de la lógica es entonces esclarecer dichas equivocaciones. El signo "es" no corresponde a los mismos símbolos en "Sócrates es", "Sócrates es el maestro de Platón" y "Sócrates es un filósofo". La primera expresión expresa la existencia de un individuo, la segunda expresa una identidad y la tercera expresa la posesión de una propiedad. Cada una de estas proposiciones tiene una forma lógica diferente.