En
filosofía y
lógica, el término
proposición se usa para referirse a:
- Las entidades portadoras de los valores de verdad.
- Los objetos de las creencias y de otras actitudes proposicionales.
- El significado de las oraciones declarativas o enunciativas, como «el Sol es una estrella».
Intuitivamente una proposición expresa un contenido semántico a la que bajo cierto procedimiento acordado o prescrito es posible asignarle un valor de verdad (usualmente "cierto" o "falso", aunque en lógica formal se admiten otros valores de verdad diferentes).