P. 1
LOGICA SIMBOLICA

LOGICA SIMBOLICA

4.0

|Views: 134.153|Likes:
Publicado porgalaz2010

More info:

Categories:Types, Resumes & CVs
Published by: galaz2010 on Apr 21, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/03/2015

pdf

text

original

Al simbolizar un lenguaje lo que se persigue es, básicamente, sencillez, claridad y
exactitud. Es más sencillo y también resulta más claro y exacto representar las
cosas por medio de símbolos. Por ello, la simbolización del lenguaje lógico nos
permite examinar más fácilmente las formas del pensamiento y sus leyes, las
cuales es preciso seguir si queremos que nuestro pensamiento sea correcto.

En la lógica proposicional se examinan las posibles relaciones entre
proposiciones, sin atender a su contenido. En esto es particularmente útil
simbolizar las proposiciones con simples literales y las expresiones mediante las
cuales son relacionadas (como "Y", "O", "si. . . entonces"), por medio de signos
cuyo significado sea constante. De esta manera es más fácil, como se verá más
adelante, decidir si, por ejemplo, un razonamiento es correcto o no, lo cual no
siempre resulta sencillo como en el siguiente caso:

"Si en la Luna hay vida, entonces en la Luna hay agua."

"No ocurre que en la Luna hay vida."

"Luego, no es cierto que en la Luna hay agua."

Lógica simbólica

4

2. De la lógica clásica a la lógica simbólica

La lógica no siempre ha recibido el mismo nombre. Platón hablaba de la
“dialéctica” como la técnica de conocer las relaciones entre las ideas. Platón
pensaba que cualquier contenido de la mente existía tal cual en la realidad, en el
mundo de las Ideas separadas, el cosmos noetós. Contra estas ideas separadas
reaccionó Aristóteles, quien en su Oganon o colección de obras lógicas, emplea la

palabra “analítica” para referirse a la lógica. Para Aristóteles las ideas existen sólo

en la mente humana, pero se corresponden a la realidad; esto trajo consigo el
nacimiento de la lógica. Aristóteles distingue, así, entre la metafísica(ciencia de la
realidad o del ser y sus principios más profundos) y la lógica (ciencia de las ideas
y procesos de la mente), que Platón identificaba.

Por lógica clásica puede entenderse a veces la lógica simbólica moderna
estándar, esto es, cálculos como los de Principia Mathematica y sistemas afines,
que incluirían la lógica de enunciados, la lógica de predicados de primer orden
(incluida la lógica de relaciones) y la lógica de predicados de orden superior. Esto
se opondría a las lógicas no clásicas, esto es, aquellas que, o bien no comparten
algún presupuesto fundamental de la lógica clásica, o bien constituyen desarrollos
complementarios de la lógica clásica (como la lógica modal), o bien constituyen de
algún modo concepciones alternativas a la lógica clásica (como la lógica

intuicionista). Pero puede entenderse también y más frecuentemente por “lógica

clásica) la lógica aristotélica con sus complementos medievales que permaneció
con apenas alguna variación hasta Frege.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->