katy

En filosofía y lógica, el término proposición se usa para referirse a:1
Las entidades portadoras de los valores de verdad.1
Los objetos de las creencias y de otras actitudes proposicionales.1
El significado de las oraciones demostrativas, como «el Sol es una estrella».1
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común, cuando adopta laforma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos.
En Lógica tradicional se distinguen la proposición y el juicio, por cuanto 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 enunciativo perfecto, que se expresa en un juicio quesignifica lo verdadero y lo falso como juicio de términos. Por eso el juicio es una afirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad.
La lógica y otras ciencias[editar]

Un enunciado lingüístico (generalmente en la forma gramatical de una oración enunciativa) puede ser considerado como proposición lógica cuando es susceptible de poder ser verdadero ofalso. 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 enunciativa simple en la lengua.
Proposición molecular cuandoestá constituida por varias proposiciones atómicas unidas por ciertas partículas llamadas "nexos o conectivas", que establecen relaciones sintá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.2
Proposición, enunciado y creencia[editar]
Por proposición(cursivas en el original) entenderemos el contenido común de oraciones declarativas sinónimas. Según este sentido, dos oraciones expresarán la misma proposición si tienen el mismo significado. Otra interpretación considera como una proposición al conjunto de los mundos posibles en los que es verdadera, o una función de los mundos posibles en valores de verdad.
Padilla Gálvez, J. op. cit. p. 613“Llueve” es un enunciado, lo mismo que “It rains”. Ambos enunciados expresan la misma proposición lógica por cuanto ambos representan siempre el mismo valor de verdad, verdadero o falso en cualquier situación, bien sea de verdad o de falsedad.4
También se distingue la proposición de la creencia.5 Apreciar, percibir que llueve como acto interno del individuo fundamenta la creencia, con independenciade su expresión lingüística. Podríamos de alguna forma considerarlo como pensamiento. Mirar por la ventana y constatar que llueve suscita una creencia de que “está lloviendo”, con independencia de que se exprese afirmándolo en un enunciado.
Como proposición, (independiente de las creencias y los pensamientos de cualquiera; con independencia del lenguaje o forma de expresión lingüística en el quese exprese el pensamiento, incluso de la realidad de que llueva o no llueva), a la lógica lo que le interesa es únicamente la función: «poder ser verdadero o falso».
Algunos filósofos, por eso, llegaron a pensar que la lógica habla de lo posible, lo que puede ser o no ser, o de “mundos composibles”, pero no de lo real. (Mundo = conjunto determinado de posibles compatibles en una unidad posible).67
La lógica se preocupa de las proposiciones; y estudia las formas válidas según las cuales a partir de la verdad o falsedad de una o varias proposiciones se pueda argumentar o inferir la verdad o falsedad de otras.
Por eso la verdad lógica es una verdad formal, que no tiene contenido. Eso explica por qué puede establecer sus leyes y reglas de modo simbólico, construyendo diversos cálculos...