Proposiciones

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.
Elsignificado de las oraciones demostrativas, como «el Sol es una estrella».
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común o formalizado,cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos de un lenguaje formal.
En Lógica tradicional se distinguen la proposición y el juicio, porcuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio.
Para Aristóteles, la proposición es un discurso enunciativoperfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos. Por eso el juicio es una afirmación categórica, es decir, incondicionada porque representaadecuadamente la realidad.

La lógica y otras ciencias

Un enunciado lingüístico (generalmente en la forma gramatical de una oración enunciativa) puede ser considerado como proposición lógica cuandoes susceptible de poder ser verdadero o falso. Por ejemplo “Es de noche” puede ser Verdadero o Falso. Aunque existen lógicas polivalentes, en orden a la claridad del concepto, aquí consideramosúnicamente el valor de Verdad o Falsedad.
Se llama proposición atómica, o simple, cuando hace referencia a un único contenido de verdad o falsedad; vendría a ser equivalente a la oración enunciativasimple en la lengua.
Proposición molecular cuando está constituida por varias proposiciones atómicas unidas por ciertas partículas llamadas "nexos o conectivas", que establecen relacionessintácticas como función de coordinación y subordinación determinadas entre las proposiciones que la integran; tal ocurre en la función de las conjunciones en las oraciones compuestas de la lengua....