A base da primeira teoria da informação de Peirce é uma distinção lógica e semântica entre denotação e significação de termos ou símbolos.
Denotação, referência, extensão ou largura são conceitos que se referem aos objetos do conhecimento empírico aos quais os símbolos se aplicam.
Pierce e seu seguidor Charles Morris identificaram três tipos básicos de signos: ícone, índice e símbolo.
Propôs aplicar na filosofia os métodos de observação, hipóteses e experimentação a fim de aproximá-la mais das características de ciência.
Peirce concebia a Lógica dentro do campo do que ele chamava de teoria geral dos signos, ou Semiótica.