En lógica y lingüística , una proposición es el significado de una oración declarativa . En filosofía , se entiende por " significado " una entidad no lingüística compartida por todas las oraciones con el mismo significado. [1] De manera equivalente, una proposición es el portador no lingüístico de la verdad o la falsedad que hace que cualquier oración que la exprese sea verdadera o falsa.
Mientras que el término "proposición" se puede usar a veces en el lenguaje cotidiano para referirse a una declaración lingüística que puede ser verdadera o falsa, el término filosófico técnico, que difiere del uso matemático, se refiere exclusivamente al significado no lingüístico detrás de la declaración. . El término a menudo se usa de manera muy amplia y también puede referirse a varios conceptos relacionados, tanto en la historia de la filosofía como en la filosofía analítica contemporánea . En general, se puede usar para referirse a algunos o todos los siguientes: Los principales portadores de valores de verdad (como "verdadero" y "falso"); los objetos de creencia y otras actitudes proposicionales (es decir, lo que se cree, se duda, etc.); los referentesde cláusulas "que" (p. ej., "Es cierto que el cielo es azul " y "Creo que el cielo es azul " implican ambas la proposición el cielo es azul ); y los significados de las oraciones declarativas. [1]
Dado que las proposiciones se definen como los objetos compartibles de las actitudes y los principales portadores de la verdad y la falsedad, esto significa que el término "proposición" no se refiere a pensamientos particulares o expresiones particulares (que no son compartibles entre diferentes instancias), ni se refiere a a hechos o hechos concretos (que no pueden ser falsos). [1] La lógica proposicional se ocupa principalmente de las proposiciones y las relaciones lógicas entre ellas.
La lógica aristotélica identifica una proposición categórica como una oración que afirma o niega un predicado de un sujeto , opcionalmente con la ayuda de una cópula . Una proposición aristotélica puede tomar la forma de "Todos los hombres son mortales" o "Sócrates es un hombre". En el primer ejemplo, el sujeto es "hombres", el predicado es "mortal" y la cópula es "son", mientras que en el segundo ejemplo, el sujeto es "Sócrates", el predicado es "un hombre" y la cópula es "es". . [2]
A menudo, las proposiciones se relacionan con fórmulas cerradas (u oraciones lógicas) para distinguirlas de lo que expresa una fórmula abierta . En este sentido, las proposiciones son "enunciados" que son portadores de verdad . Esta concepción de una proposición fue apoyada por la escuela filosófica del positivismo lógico .
Algunos filósofos argumentan que algunos (o todos) los tipos de discurso o acciones, además de los declarativos, también tienen contenido proposicional. Por ejemplo, las preguntas de sí o no presentan proposiciones, siendo indagaciones sobre el valor de verdad de ellas. Por otro lado, algunos signos pueden ser afirmaciones declarativas de proposiciones, sin formar una oración ni siquiera ser lingüísticos (por ejemplo, las señales de tráfico transmiten un significado definido que es verdadero o falso).