Proposicin

1.1 Proposicin, enunciado y creencia

En losofa y lgica, el trmino proposicin se usa para

referirse a:[1]

Por proposicin (cursivas en el original)

entenderemos el contenido comn de oraciones declarativas sinnimas. Segn este
sentido, dos oraciones expresarn la misma
proposicin si tienen el mismo signicado.
Otra interpretacin considera como una proposicin al conjunto de los mundos posibles
en los que es verdadera, o una funcin de los
mundos posibles en valores de verdad.
Padilla Glvez, J. op. cit. p. 61.[3]

Las entidades portadoras de los valores de verdad.[1]

Los objetos de las creencias y de otras actitudes
proposicionales.[1]
El signicado de las oraciones declarativas o enunciativas, como el Sol es una estrella.[1]

Es un producto lgico del pensamiento que se expresa mediante el lenguaje, sea ste un lenguaje comn o
formalizado, cuando adopta la forma de oracin gramatical, o simblico, cuando se expresa por medio de signos
Llueve es un enunciado, lo mismo que It rains. Amo smbolos de un lenguaje formal.
bos enunciados expresan la misma proposicin lgica por
En Lgica tradicional se distinguen la proposicin y el cuanto ambos representan siempre el mismo valor de verjuicio, por cuanto la primera es el producto lgico del acto dad, verdadero o falso en cualquier situacin, bien sea de
por el cual se arma o se niega algo de algo, mientras ese verdad o de falsedad.[4]
acto constituye el juicio.
Tambin se distingue la proposicin de la
Para Aristteles, la proposicin es un discurso enunciati- creencia.[5] Apreciar, percibir que llueve como acto
vo perfecto, que se expresa en un juicio que signica lo interno del individuo fundamenta la creencia, con
verdadero y lo falso como juicio de trminos. Por eso el independencia de su expresin lingstica. Podramos de
juicio es una armacin categrica, es decir, incondicio- alguna forma considerarlo como pensamiento. Mirar por
nada porque representa adecuadamente la realidad.
la ventana y constatar que llueve suscita una creencia
de que est lloviendo, con independencia de que se
exprese armndolo en un enunciado.

La lgica y otras ciencias

Como proposicin, (independiente de las creencias y los

pensamientos de cualquiera; con independencia del lenguaje o forma de expresin lingstica en el que se exprese el pensamiento, incluso de la realidad de que llueva o
no llueva), a la lgica lo que le interesa es nicamente la
funcin: poder ser verdadero o falso.

Un enunciado lingstico (generalmente en la forma gramatical de una oracin enunciativa) puede ser considerado como proposicin lgica cuando es susceptible de
poder ser verdadero o falso. Por ejemplo Es de noche
puede ser verdadero o falso.
Algunos lsofos, por eso, llegaron a pensar que la lAunque existen lgicas polivalentes, en orden a la claridad gica habla de lo posible, lo que puede ser o no ser, o de
del concepto, aqu consideramos nicamente el valor de mundos composibles, pero no de lo real. (Mundo = conjunto determinado de posibles compatibles en una unidad
verdad o falsedad.
[6][7]
Se llama proposicin atmica, o simple, cuando hace re- posible).
ferencia a un nico contenido de verdad o falsedad; ven- La lgica se preocupa de las proposiciones; y estudia las
dra a ser equivalente a la oracin enunciativa simple en formas vlidas segn las cuales a partir de la verdad o falsedad de una o varias proposiciones se pueda argumentar
la lengua.
Proposicin molecular cuando est constituida por va- o inferir la verdad o falsedad de otras.

Por eso la verdad lgica es una verdad formal, que no tiene contenido. Eso explica por qu puede establecer sus
leyes y reglas de modo simblico, construyendo diversos
clculos que puedan modelizar algunos contextos lingsticos o teoras cientcas, de forma semejante a las matemticas.

rias proposiciones atmicas unidas por ciertas partculas llamadas nexos o conectivas, que establecen relaciones sintcticas como funcin de coordinacin y
subordinacin determinadas entre las proposiciones que
la integran; tal ocurre en la funcin de las conjunciones
en las oraciones compuestas de la lengua.[2]
1

1 LA LGICA Y OTRAS CIENCIAS

Su elemento fundamental es la proposicin lgica y la

denicin de las reglas que, tomadas como leyes lgicas,
permiten la transformacin de unas expresiones bien formadas (EBF)s en otras equivalentes, como inferencias.

Puede ser unas veces verdadera y otras

veces falsa segn la verdad o falsedad de
cada una de las proposiciones atmicas
que la integran.

Tengamos en cuenta que el clculo lgico basado en valor

V y F, traducido como sistema binario a 1 y 0, es la base
sobre la que se han construido las mquinas de clculo y El valor lgico V (verdad) de la proposicin llueve y hace calor, slo se dar en el caso de que las dos propolos ordenadores o computadoras.
siciones llueve (p) y hace calor (q) sean tomadas en
Los enunciados y los juicios subjetivos son estudiados por
su valor de V; en los dems casos ser falsa. Sin embarotras ciencias.
go en la proposicin llueve o hace calor basta que una
de las dos sea considerada en su valor de verdad V para
que la proposicin molecular sea verdadera. La funcin
1.2 Proposicin atmica y molecular
y conjuntiva y la funcin o disyuntiva se denen en
En los casos anteriores hemos considerado nicamente la tablas de verdad, como funciones de verdad, functores o
posibilidad de un enunciado atmico o simple, simboli- conectivas.
zada con una sola variable. Estas proposiciones se llaman Las dos proposiciones moleculares enunciadas ms arriatmicas.
ba pueden ser verdaderas o falsas segn sean los valores
Si establecemos conexiones lgicas entre varias proposi- que tomemos en consideracin en cada una de las propociones segn unas reglas perfectamente establecidas en siciones que la integran. Por eso ambas son contingentes.
sus elementos simblicos y denidas como funciones de
verdad, construiremos proposiciones moleculares o compuestas.
As la proposicin Si llueve entonces el suelo est mojado, enlaza la proposicin llueve con la proposicin el
suelo est mojado, bajo el aspecto de funcin de verdad
si entonces.

1.3

Que su valor de verdad no dependa del

valor de verdad de las proposiciones que
la forman, sino que, por la forma en que
se establecen sus conexiones, como relaciones lgicas, siempre y necesariamente
es falsa. Entonces esa proposicin es una
contradiccin.

Proposicin lgica y valores de verdad

El valor de verdad de una proposicin lgica atmica (o El valor de verdad de la proposicin llueve y no llueve
variable proposicional) es, por denicin, verdadero o fal- es una contradiccin y siempre ser falsa, con independencia del valor que consideremos V o F de llueve (p)
so (podemos representarlo como V o F).
y de no llueve (p). La funcin de verdad no se dene
As el enunciado llueve es verdadero si y slo si esmediante una tabla de verdad.
t lloviendo en ese momento. Pero si dicho enunciado se
considera como proposicin lgica atmica, p, entonces
puede ser tanto verdadera como falsa.
Que su valor de verdad no dependa del
Es una verdad de hecho o contingente, porque tiene los
valor de verdad de las proposiciones que
dos posibles valores de verdad, por la propia denicin
la forman, sino que, por la forma en que
de proposicin lgica.
se establecen sus conexiones, siempre y
necesariamente es verdadera. Entonces
El contenido de la relacin de un enunciado con lo real no
esa proposicin es una tautologa.
es objeto de la lgica sino de otras ciencias.
1.3.1

Verdad de hecho o contingente, contradiccin

El valor de verdad de la proposicin llueve o no llueve,
y tautologa
es una tautologa y siempre ser verdadera con independencia de los valores que consideremos de llueve (p) o
El valor de verdad de una proposicin molecular puede
de no llueve (p).
ofrecer los siguientes casos:
El anlisis del valor de verdad de una proposicin se realiza mediante las tablas de verdad.
Que su valor dependa del valor de verdad
de las proposiciones que la integran, segn las conexiones lgicas que las unen.
En ese caso dicha proposicin tiene un
valor de Verdad de hecho o contingente.

Las tautologas se constituyen como leyes lgicas o

verdades formales y son la base sobre la que se construyen las reglas de inferencia en el razonamiento o clculo
lgico.

Anlisis lgico de las proposiciones

clase de los mamferos.[12] La clase ordena, clasica todo universo, total o parcialmente denido, en dos clases:
dicha clase y su clase complementaria. Cualquier individuo del universo se dene por pertenecer o no pertenecer
Hemos considerado hasta aqu la proposicin como un to- a una clase.
do. Pero tambin puede analizarse la proposicin de vaEn el caso de Maximiliano, Maximiliano es una clarias maneras:
se entera, universal, porque nicamente est formada
por un nico individuo: Maximiliano. El enunciado an Como la atribucin que se hace de una propiedad en terior ha de leerse ahora como: La clase Maximilitanto que predicado de un sujeto gramatical.
ano=Maximiliano, pertenece a la clase de los seres que
corren.
As ha sido considerada la proposicin lgica, como juicio
El valor V o F de las proposiciones atmicas parte de
de trminos, en la lgica tradicional. Segn este modo de
los individuos x, y, z, etc. considerados nicamente coentender la proposicin lgica, los trminos designan:
mo pertenecientes o no pertenecientes a una clase.[10]
Los valores de verdad de las proposiciones moleculares y
sus relaciones con otras proposiciones surgen a partir de
conceptos que representan adecuadamente la reali- las relaciones y operaciones entre las clases. La lgica de
dad como esencias abstradas por el entendimiento clases estudia dichas operaciones y sus conectivas lgicas.
segn las categoras lgicas.
En matemticas las clases se consideran como conjuntos
sustancias existentes mediante un nombre propio, o

y los individuos son considerados como elementos.

Suele simbolizarse como S es P.
Maximiliano corre es interpretada segn este punto de
Como esquema cuanticacional de un predicado que
vista como Maximiliano es un ser que est corriendo
se arma de un argumento.
ahora, es decir, a Maximiliano, Sujeto, se le atribuye un
Predicado: la accin de correr ahora como una propiedad
(correr) que se est realizando, (ahora), en Maximiliano
y maniesta un aspecto de la identidad de Maximiliano
Maximiliano corre es ahora analizado como Fx en que
en este momento; en base a esa identidad es posible la
el argumento x es reemplazado por Maximiliano y F coatribucin.
mo predicado reemplaza a correr. Por lo mismo F(x, y)
Tradicionalmente la lgica aristotlica consideraba de es- cuando x es Maximiliano e y es Fernando.
ta forma la proposicin lgica. Este tipo de anlisis est
Para proposiciones generales y particulares hay que utiliclaramente en desuso, pues introduce el verbo ser cozar cuanticadores
mo referencia a la realidad que, por denicin, es un ele[8]
mento extralgico. Por eso Aristteles consideraba la /\x / Fx Para todo x se cumple Fx. Todos los hombres son
validez formal de sus argumentos como silogismo cate- mortales. Donde x es un hombre y F es ser mortal.
grico. Hoy da no se acepta dicha argumentacin como \/x / Fx Existe algn x en el que se cumple Fx. Algunos
categrica, lo que no quita nada a la validez formal del hombres son mortales.
silogismo. Hoy da la lgica aristotlica se interpreta
como lgica de clases.[9]
Como la unin o separacin de clases que tienen o
no tienen una propiedad comn.
Una clase es el concepto de una propiedad que puede denir o no a una coleccin o conjunto de individuos. La clase tiene su sentido aun cuando no existan individuos que
pertenezcan a ella; pero los individuos que pertenecen a
ella estn de esta manera clasicados. La proposicin as
analizada queda denida como relacin entre clases.[10]
Una entidad es un conjunto cuando existe una clase de la
que es elemento.[11]
La proposicin los perros son mamferos, se interpreta como la clase de los mamferos incluye a la clase de
los perros o dicho de otra forma: Todos los individuos
que pertenezcan a la clase de los perros pertenecern a la

Como esquema relacional.

Pepe ama a Mara es ahora analizada como Rab , donde

R es la relacin que simboliza amar a"; a es Pepe y b es
Mara. Ntese que no es lo mismo que Rba , pues sera
Mara ama a Pepe.
Lo que da lugar a una lgica de relaciones.
Los clculos pueden ser eternamente innitos segn consideremos las proposiciones y denamos las reglas. Pero
a la lgica le interesan aquellos que resultan tiles para
ser aplicados a un mbito especco, capaces de generar modelos de interpretacin, bien sean lingsticos o de
otra clase. El llamado clculo de deduccin natural, es el
ms fcilmente ligado a la expresin lingstica habitual.

Proposicin en la lgica tradicional llamada aristotlica

Las proposiciones en la lgica aristotlica pueden ser armativas o negativas. En lgica bivalente o lgica binaria,
la negacin de una proposicin negativa equivale a una
armativa.
El predicado de una proposicin negativa est tomado en
su extensin universal, se reere a todos. El predicado de
una proposicin armativa est tomado en su extensin
particular, algunos.

REFERENCIAS

Los que consideran que la verdad nicamente es aplicable

al mundo y a los enunciados directamente, sin tener que
llegar a la fusin de la lgica con el lenguaje, consideran
la proposicin como un artilugio conceptual intil:
La gramtica, como estructura sintctica, es un
asunto del lenguaje.
pero tambin el lxico
y, cuando hablamos, hablamos del mundo y para ello
tenemos que utilizar el lxico

y la verdad es un asunto del mundo

Por su extensin, las proposiciones pueden clasicarse en
universales, cuando el sujeto est tomado en su extensin
universal ( Todo S es P ), particulares, cuando el sujeto Ciertamente la verdad lgica se ha de mantener, como
est tomado en su extensin particular ( Algn S es P ). verdad, a travs de todas las sustituciones lxicas, y no
depende de los rasgos del mundo que se expresan meLa combinacin de ambos criterios da lugar a los siguien- diante el lxico.
tes tipos de proposiciones:
Pero:
Universal armativa (Todos los humanos son mortales).
Universal negativa (Ningn humano es mortal).
Particular armativa (Algunos planetas giran alrededor del Sol).
Particular negativa (Algunos planetas no giran alrededor del Sol).
Existencial armativa (Scrates existe).
Existencial negativa (Scrates no existe).

no puede depender de otros rasgos del

mundo, de rasgos que nuestro lenguaje reeje
en sus construcciones gramaticales, y no en su
lxico? No tendra ningn inters objetar aqu
que la gramtica vara de un lenguaje a otro,
porque lo mismo le pasa al lxico. Tal vez las
verdades lgicas deban su verdad a ciertos
rasgos de la realidad que se reejan de un
modo en la gramtica de nuestro lenguaje, de
otro modo en la gramtica de otro lenguaje,
y de otro modo en la combinacin de la
gramtica y el lxico de un tercer lenguaje.
Quine. op. cit. p, 164

Las proposiciones son los elementos a partir de los cuales se construyen los razonamientos. La lgica aristotlica estudia los razonamientos segn un esquema llamado Lo que tal vez nos remita a la nocin de la creencia como
silogismo.
evidencia, anterior a la mera constitucin del signo y su
articulacin lingstica.

Crticas a la nocin de proposi5 Vase tambin

cin

La cuestin podramos formularla de esta manera. Es la

proposicin algo ms que un enunciado expresado en un
lenguaje determinado?
Quienes consideran que la verdad lgica es independiente
del lenguaje considerarn que la proposicin representa
la estructura lingstica como algo independiente de los
enunciados:

Lgica proposicional
Lenguaje formal
Lenguaje formalizado
Distincin analtico-sinttico

6 Referencias
porque no habla del mundo;
porque las verdades lgicas nicamente representan
una estructura gramatical (sintaxis) que permite que
cualquier sustitucin de sus variables dar un resultado tautolgico, como verdad obvia.

[1] McGrath, Matthew, Propositions, en Edward N. Zalta (en ingls), Stanford Encyclopedia of Philosophy (Fall
2008 Edition edicin), http://plato.stanford.edu/archives/
fall2008/entries/propositions/, consultado el 6 de noviembre de 2009

[2] Vase clculo lgico

[3] Exposicin de la relacin enunciado, oracin y proposicin en dicho texto.
[4] Con independencia de la forma lingstica y la oracin
mediante la cual se exprese el enunciado: Por ejemplo:
Est lloviendo, o Las nubes estn soltando agua, caen
chuzos de punta o la lengua en que se exprese. (Copi, I.M.
Lgica simblica. pp. 16-17.)
[5] En la losofa tradicional se utilizaba el trmino, juicio.
La razn es que se relacionaba directamente el objeto con
la intuicin cognoscitiva del mismo y su expresin lingstica como expresin de la verdad del conocimiento en el
juicio. Hoy da al no considerar la intuicin como conocimiento objetivo evidente se distingue la creencia como
contenido subjetivo, del objeto conocido; siendo el enunciado la expresin de la creencia, cuando este enunciado
responde como a tal creencia (de lo contrario es una mentira). La expresin de ese conocimiento como verdad o
falsedad posible es la proposicin; la diferenciacin entre
enunciado y proposicin tiene tambin el mismo motivo,
si bien algunos como Quine consideran una diferenciacin
intil por innecesaria; considera que no tiene sentido la
proposicin ms all de cualquier enunciado propiamente
dicho. Sobre la postura de Quine, y discusin de la misma,
cfr. Qu es una proposicin? en Bunge, Epistemologa,
op. cit. p. 62 y ss.
[6] Un desarrollo de esta problemtica en, Padilla Glvez, Jess, op. cit. p. 61.
Por proposicin entenderemos el contenido comn de oraciones declarativas
sinnimas. Segn este sentido, dos oraciones
expresarn la misma proposicin si tienen el
mismo signicado. Otra interpretacin considera como una proposicin al conjunto de
los mundos posibles en los que es verdadera,
o a una funcin de los mundos posibles en
valores de verdad.
Padilla Glvez, J., op. cit. p. 61.
[7] Leibniz
[8] Pues aade algo ms al contenido de lo que es la mera proposicin que puede ser verdadera o falsa. Aade un contenido de realidad y, por tanto, de armacin verdadera.
Vase Alfred Tarski
[9] Vase silogismo: Problemtica de la lgica aristotlica
[10] Las clases asimismo pueden considerarse como individuos de clases de un orden superior. Es decir se pueden
considerar clases de clases en una lgica de segundo orden.
[11] Solucin de Zermelo: Gustavo Bueno et alii. op. cit. p.259
[12] Es importante no confundir la clase lgica con la clase
natural o conjunto. El referente del conjunto son los
individuos, considerados en cuanto elementos pertenecientes o no pertenecientes al conjunto, y siempre y
cuando estn cuanticados en orden a su existencia o no
existencia. Una clase lgica, en cambio, es denida por

una propiedad, haya o no haya individuos, existan o no

existan. La confusin proviene de que el conjunto, en muchas ocasiones, se dene como clase por una propiedad,
siendo entonces al mismo tiempo una clase lgica,(cfr.
nota 8). La clase Pegaso entendida como propiedad de
caballos voladores es algo con un sentido lingstico y
cultural, pero no dice nada acerca de la existencia de individuos que posean dicha propiedad. La lgica considera la
propiedad pegaso como un posible, siempre y cuando no
implique en su concepto una contradiccin, como sera la
propiedad de circunferencia cuadrada. A veces se confunde errneamente el uso de un concepto como clase lgica o un Todo-lgico, distribuido o no-distribuido, como
si fuera un conjunto de individuos existentes. Tal puede
ocurrir cuando se utilizan lingsticamente pronombres
vagos o pronombres perezosos que llama Quine. Se utiliza el trmino algo, algn o algunos, cualquiera o todo
o todos (considerando tales pronombres como sustitucin
de uno, uno por uno o cualquiera de todos o algunos de los
posibles elementos de la clase como si fueran individuos
reales y existentes. Por ello un conjunto vaco es igual
a otro conjunto vaco, porque son la misma clase lgica sin denicin alguna. Pero una Clase denida no es
igual a otra. Pegaso no es igual que Unicornio aunque
ambas sean vacas. Y no conviene confundir la lgica
con la teora de conjuntos. Se confunde de este modo la
clase lgica con la clase natural como si fuera aquella un
conjunto enumerable. Una clase lgica signica toda la
extensin lgica o el dominio de discurso de un concepto
expresado como trmino lingstico que signica posibles
individuos de cuya existencia no sabemos nada. La existencia se reconoce en un sistema de referencia de lenguaje
objeto o primer nivel como lgica de primer orden. Las
propiedades lgicas sitan su referencia en una lgica de
segundo orden.
Preero limitar el trmino 'lgica' de
esta manera estricta, y tratar la teora de
conjuntos como otra rama elevada de la matemtica. Los elementos de diferenciacin
entre los dos dominios son profundos. Un
elemento de diferenciacin es que la lgica,
as construida, a diferencia de la teora
de conjuntos, no tiene objetos propios:
sus variables admiten todos los valores de
forma indiscriminada. Otro elemento de
diferenciacin es que la lgica no tiene predicados propios, y, por tanto, tampoco tiene
oraciones propias, a no ser que consideremos
como lgico el predicado de la identidad
Quine. o.c. p. 64

7 Bibliografa
Copi, Irving (1982). Lgica simblica. Mxico,
CECSA. ISBN 968-26-0134-7.
Bueno, G., Hidalgo, A. Iglesias, C. (1987). Simploke. Madrid, Jcar. ISBN 84-334-0526-8.
Diccionario de Filosofa. Ed. Panamericana.

8
Prior, Arthur (1976). The doctrine of Propositions
and Termes. Londres.
Padilla Glvez, Jess (2007). Verdad y demostracin. Madrid, Plaza y Valds. ISBN 978-84-96780-194.
Quine, Willard Van Orman (1981). Filosofa de
la lgica. Madrid, Alianza Editorial. ISBN 84-2062043-2.
Quine, Willard Van Orman (1998). Del estmulo a
la ciencia. Barcelona, Ariel Filosofa. ISBN 84-3448747-0.
Williamson, C. (1968). Propositions and Abstract
propositions. Oxford N. Rescher (Ed.).
Padilla Glvez, Jess (2007). Verdad y demostracin. Madrid, Plaza y Valds. ISBN 978-84-96780-194.
Bunge, Mario (1981). Epistemologa. Barcelona,
Ariel. ISBN 84-344-8004-2.

Enlaces externos

Wikcionario tiene deniciones y otra informacin sobre proposicin.Wikcionario

ENLACES EXTERNOS

Text and image sources, contributors, and licenses

9.1

Text

Proposicin Fuente: http://es.wikipedia.org/wiki/Proposici%C3%B3n?oldid=78811787 Colaboradores: Juan Manuel, Aromera, Richy,

LeonardoRob0t, Boticario, Petronas, Perico Baranda, Rembiapo pohyiete (bot), Yrbot, BOT-Superzerocool, Baneld, Morza, Tamorlan,
CEM-bot, Cristianrock2, Davius, Antur, Jorge Acevedo Guerra, Jorge, Jjafjjaf, Thijs!bot, Alvaro qc, Lauranrg, Tortillovsky, RoyFocker,
JAnDbot, Kved, Hardland, TXiKiBoT, Srice13, Ignacioerrico, Humberto, Netito777, MONIMINO, Fixertool, Bedwyr, Plux, Jatrobat,
Biasoli, AlnoktaBOT, Cipin, Technopat, Matdrodes, Lucien leGrey, IIM 78, Tenistica, Muro Bot, SieBot, PaintBot, Dark, Manw, BuenaGente, Tirithel, Jarisleif, Farisori, Estirabot, Eduardosalg, Neodop, Leonpolanco, Pan con queso, Aipni-Lovrij, SilvonenBot, UA31,
AVBOT, MastiBot, Angel GN, Diegusjaimes, Fmsm1962, Arjuno3, Saloca, Andreasmperu, Luckas-bot, Dangelin5, Kaspobot, Luis Felipe Schenone, ArthurBot, SuperBraulio13, Ealm03, Jkbw, Botarel, Vubo, Jerowiki, Tarawa1943, Jorge c2010, Miss Manzana, Edslov,
Rgrod 2004, EmausBot, Grillitus, Omarp18, Waka Waka, Ibrahimovic15, KLBot2, Acratta, DanielithoMoya, Limoragni, Adad-1990,
Emferr, Addbot, ConnieGB, Linapekitas, Moises2001 y Annimos: 186

9.2

Images

Archivo:Mergefrom.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/0/0f/Mergefrom.svg Licencia: Public domain Colaboradores: ? Artista original: ?

Archivo:Wiktionary-logo-es.png Fuente: http://upload.wikimedia.org/wikipedia/commons/0/06/Wiktionary-logo-es.png Licencia: CC
BY-SA 3.0 Colaboradores: originally uploaded there by author, self-made by author Artista original: es:Usuario:Pybalo

9.3

Content license

Creative Commons Attribution-Share Alike 3.0