La referencia es una relación entre las "expresiones en un cierto lenguaje" y "aquello de lo cual se habla" (mundo objetivo) cuando se usan dichas expresiones. En lingüística, la referencia de una expresión involucra entes, objetos y situaciones posibles del mundo real, cuya relación es descrita por la expresión lingüística. En matemáticas y lógica formal la referencia de una expresión matemática se refiere a un objeto de la estructura matemática que sirve como modelo para el lenguaje formal considerado.