Académique Documents
Professionnel Documents
Culture Documents
UNIDAD 3
La lgica
La Lgica
La Lgica
La Lgica
La Lgica
La Lgica
palabras, y llega incluso a dividir a stas en sus unidades mnimas significativas, los
morfemas, que tienen una forma fnica (el significante) y un sentido (el significado).
Ahora bien, estas unidades de significado no se pueden seguir dividiendo en el plano
semntico, pero si en el fnico, hasta llegar a las unidades mnimas distintivas de la
segunda articulacin, los fonemas, que constituyen una lista cerrada de sonidos
en cada lengua, a partir de los cuales se puede conseguir un nmero prcticamente
ilimitado de unidades de la primera articulacin, y consiguientemente de enunciados.
De este modo la lengua, a partir de unos medios finitos, hace un uso infinito.
Esta explicacin de la productividad o, mejor an, de la creatividad del lenguaje
humano, sugerida ya por Saussure y analizada por Hjelmslev, ha sido tambin
desarrollada por el lingista francs Andr Martinet.
la
forma
ms
eficiente
de
la
Desde que nos despertamos por la maana hasta que conciliamos el sueo
por la noche podemos encontrarnos con muchas y variadas situaciones en las que
tenemos necesidad de argumentar o razonar.
A veces de una forma consciente y otras no, de una manera obligada o
espontnea damos, y tambin exigimos, explicaciones sobre diversos temas, por
ejemplo, sobre nuestro comportamiento o el de otros, o quizs explicaciones de la
ocurrencia de ciertas cosas, prximas o lejanas a nosotros.
Imagnate un da de invierno en el que el cielo est todo cubierto de nubes oscuras y
hace un intenso fro; piensas que, como ayer, llover todo el da y te vistes de acuerdo
con el tiempo. Al salir de casa abres tu paraguas, y cuando llegas a tu destino ves a
un amigo en la calle con su paraguas cerrado, le saludas y comentas:
- Qu despistada soy! Cre que haca un da como ayer y cuando sal de casa
no mir si llova o no!
Has dado tres motivos que contribuyen a explicar por qu llevabas el paraguas abierto.
Tu amigo contesta lo siguiente
- Iras pensando en otra cosa!
Entre los dos habis dado las cuatro razones que hacen posible pensar que tu
conducta no es la de una persona demente o no tiene un fin juguetn, como sera el de
engaar a los transentes. Entre los dos habis argumentado o razonado sobre una
situacin ocurrida.
La Lgica
La Lgica
La Lgica
La Lgica
10
La Lgica
11
La Lgica
Por ltimo, hemos de recordar que las poesas, canciones y, en general, todo
el gnero expresivo pueden encerrar una moraleja o enseanza y muchas veces nos
ofrecen informacin histrica y poltico-social. As, por ejemplo, los romances cantaban
las victorias recientes de algn seor.
As pues, aunque muchas veces la forma gramatical nos sirva de seal para
determinar la funcin que tiene un determinado pasaje, no debemos confiar en ella
como el medio propio para valorarlo. Hemos visto que no hay una conexin estricta,
necesaria, entre funcin y forma.
La funcin de una expresin o de un texto depende exclusivamente de la intencin de
la persona que hable o escribe, independientemente de si tal intencin es reconocida o
no por otros. Muchas veces no sabremos a ciencia cierta cual es esa intencin, ni por
tanto, cul es la funcin de una expresin que alguien ha dicho o escrito.
Diversas personas pueden, pues, atribuir a lo dicho o escrito distintas
funciones. As, por ejemplo, la oracin declarativa Sepan que la prueba anterior no ha
sido superada por ninguno de ustedes, tiene una funcin informativa si es la intencin
del profesor comunicar el resultado de un determinado examen a sus alumnos, pero
los alumnos pueden atribuir diversas intenciones al profesor y tener as distintas
opiniones sobre la funcin de lo dicho por l: unos lo interpretan informativamente,
otros como manifestacin de su descontento por el resultado y an otros como que el
profesor les ha exigido mayor atencin y estudio.
Determinar la funcin es algo que comporta cierta dificultad en la medida en
que es, como hemos dicho, relativa a las intenciones de la persona que habla y no hay
tcnicas precisas que nos ayuden a detectarlas.
Tampoco existen tcnicas para distinguir el discurso informativo que es
el que a nosotros nos interesa de los otros tipos de discurso. Slo podemos
ayudarnos de nuestro saber y de la prctica con los distintos usos del lenguaje, que
aparecen habitualmente mezclados. Para lo que si tenemos una serie de tcnicas
es para valorar el discurso informativo en la medida en que ste se presente como
razonamiento.
12
La Lgica
13
La Lgica
palabras
insuficientemente
definidas
(trminos
vagos),
14
La Lgica
15
La Lgica
16
La Lgica
3. Los razonamientos.
3.1. Definicin.
Un razonamiento es un proceso mental (como lo son tambin la imaginacin
o el recuerdo) que se caracteriza porque en l se produce un paso de uno o
ms enunciados (las premisas) a otro posterior (la conclusin) que se deriva
necesariamente de aqullos.
En el lenguaje natural, la conclusin de los razonamientos viene introducida por
expresiones como por tanto, luego, en consecuencia, se deduce que, etc.
Por ejemplo:
Le dije que si me prestaba un libro, me distraera durante el viaje, y l me lo prest.
Puedes deducir que he tenido un viaje muy distrado.
Si X entonces Y
Premisa:
Conclusin:
17
luego Y.
La Lgica
Premisa:
Conclusin:
18
La Lgica
Premisa:
Premisa:
He odo cantar a los pjaros en las montaas por la tarde durante las
pocas templadas.
Conclusin:
Premisa:
Conclusin:
No ganar la partida.
Premisa:
Martn no es boy-scout.
Conclusin:
19
La Lgica
Al afirmar que Martn no es boy-scout, ste no puede ser alguien elegido por Julia
para salir con ella, ya que a sta slo le gustan los chicos que son boy-scouts, y,
consecuente con ello, slo sale con ese tipo de chicos.
Hemos de insistir una vez ms en que, por supuesto, en nuestra vida cotidiana
no damos de modo habitual los argumentos en la forma bien estructurada y explcita
en que se presentan en nuestros ejemplos. El ltimo argumento, por ejemplo, podra
perfectamente presentarse de la siguiente manera:
Martn no es boy-scout, as que Julia no lo tiene en cuenta.
20
La Lgica
Premisa:
Colt es un zumbo.
Conclusin:
Colt es un bumbo.
2 En los lenguajes formales (como la lgica o la matemtica) se denomina axioma toda proposicin
que se toma corno principio sea o no evidente. Los axiomas se establecen sin demostracin y una vez
establecidos, su verdad es incuestionable en el sistema al que pertenecen. La serie de nmeros naturales
y toda la aritmtica elemental, por ejemplo, se fundamenta en los cinco axiomas establecidos por Peano
en 1889:
21
La Lgica
Sin captar el significado del argumento -puesto que las palabras en cursiva no
tienen por qu pertenecer a ningn idioma conocido- podemos decir que la conclusin
debe ser verdadera en el caso de que las premisas sean verdaderas, y podemos
decirlo por la forma que ste tiene. Reconocemos que las inferencias de esta forma
han de ser todas ellas vlidas He aqu esquemticamente la forma del argumento
deductivo vlido del ejemplo anterior
Premisa:
Premisa:
x es un A.
Conclusin:
x es un B.
Premisa:
Martn es un espaol.
Conclusin:
22
La Lgica
Premisa:
Premisa:
Premisa:
Conclusin:
23
La Lgica
Premisa:
Premisa:
Conclusin:
Sin duda estars de acuerdo con que el primero tiene una base ms slida (19
de 20) que el segundo (5 de 10) para sacar idntica conclusin. El primer argumento
es vlido, porque la cantidad de ejercicios hechos ya en relacin con los que faltan
es lo suficientemente grande como para no esperar ningn cambio en el resultado
obtenido hasta el momento. No as el segundo, donde faltan ms de la mitad de los
ejercicios.
24
La Lgica
Premisa:
Conclusin:
Premisa:
Conclusin:
Falacias formales
Son razonamientos deductivos no vlidos porque su forma no es vlida,
sin embargo tiene una apariencia de validez. Hay varios. Aqu estudiaremos unos
cuantos.
Si X entonces Y
25
La Lgica
Premisa:
Conclusin:
Y
por tanto, X
Premisa:
Premisa:
Conclusin:
Es obvio que del hecho que las calles estn efectivamente mojadas no se
desprende que haya llovido. Se pueden dar otras condiciones que lo expliquen,
como por ejemplo, que alguien haya tirado un cubo del agua o por la accin de
las operaciones del servicio de limpieza de nuestro ayuntamiento.
As pues, este razonamiento no tiene una forma vlida, aunque a primera vista
pueda parecerlo. En un razonamiento deductivo vlido, la conclusin se extrae
necesariamente de las premisas, y no es el caso del ejemplo.
Si X, entonces Y
Premisa:
No X
Conclusin:
Por tanto, no X
26
Premisa:
Premisa:
No como turrn
La Lgica
Conclusin:
Premisa:
Conclusin:
Falacias no formales
Son razonamientos deductivos o inductivos no vlidos, aunque no por la forma.
No son vlidos porque la informacin que proporcionan las premisas no es pertinente
para la conclusin establecida, bien porque las premisas proporcionan un soporte nulo
o escaso a la conclusin, bien porque se comete algn error lingstico o caemos en
alguna trampa del lenguaje.
Falacia ad hominem.
Cometemos este tipo de falacia cuando, en lugar de analizar el razonamiento
y discutir las razones que presenta, atacamos a la persona que lo sostiene (ad
hominem significa, literalmente, contra la persona). Por ejemplo, podramos
afirmar:
La crtica que realiza Freud de la religin no es verdadera, porque Freud es un judo
frustrado. O bien decir: La poltica econmica del PP es nefasta, simplemente porque
es una poltica de derechas. O bien: El seor X cree que las botellas de PVC son
perjudiciales para la salud, porque el seor X es fabricante de botellas de vidrio, etc.
27
La Lgica
Falacia ad ignorantiam
Este otro tipo de falacia consiste en afirmar que una proposicin es verdadera
slo porque desconocemos si es falsa, como por ejemplo, afirmar que la
proposicin Dios existe es verdadera porque no hay nada demostrado en
contra.
Obviamente, la falacia tambin puede funcionar a la inversa: es decir, afirmar
que una proposicin es falsa porque no se ha demostrado que sea verdadera.
As, por ejemplo, afirmar que Es falso que el tabaco provoque impotencia sexual
porque hasta ahora no existe ninguna evidencia de lo contraria.
Falacia ad populum
La falacia consistira en la apelacin a los sentimientos del oyente como
recurso para obtener el asentimiento ante una proposicin. Quien comete esta
falacia a menudo espera que el oyente acte de una determinada manera,
incluso sin haber asentido a la proposicin.
El poltico o el comerciante que apela a los sentimientos del pblico con la
finalidad de que adopten el punto de vista que ellos defienden incurren en esta
falacia. Por ejemplo, si quieres la paz, prepara la guerra.
El lenguaje, por tanto, se puede emplear como instrumento de manipulacin,
como recurso para persuadir y vencer. Por ejemplo, muchos productos de
consumo emplean el calificativo de natural como recurso para aumentar el
atractivo y multiplicar las ventas. Porque lo que es natural se presenta como
sinnimo de puro, verdadero, autntico y saludable, y opues-to a contaminado,
falso y artificioso.
Que cuantos juran por las palabras del maestro sin atender a lo que se dice, sino a quin lo
dijo, sepan que las grandes sentencias son de todos pertenecen a todos. Sneca, Ventajas de
la vejez en Cartas morales a Lucilio.
28
La Lgica
Falacia ad verecundiam
Consiste en apelar indebidamente a la autoridad intelectual de alguien para
justificar alguna proposicin o creencia. Por ejemplo, Marx afirma que la religin
es el opio del pueblo. Por tanto, es seguro que la religin es el opio del pueblo.
Falacia ad misericordiam
Esta falacia consiste en apelar a los sentimientos del oponente para
persuadirlo. As, por ejemplo, si un padre se negara a comprarle un ciclomotor
a su hijo, ste podra apelar a la misericordia del padre diciendo que va a ser el
nico de su pandilla sin moto y que se va a sentir inferior, marcado, marginado
por ello. Otra forma de expresarlo, ms coloquial, sera decir que esta falacia
consiste en provocar o dar pena, en hacerse el mrtir ir de vctima o incluso
chantajear emocionalmente. Con la pena se pretende ablandar y doblegar
por va sentimental al contrincante, cuando no puede hacerse por va lgica,
Otro ejemplo: el paciente que no cumple los consejos que le da su mdico
puede utilizar tambin esta falacia: S que me he pasado con los datos del
colesterol y no he bajado los tres kilos que deba, pero es que estoy pasando por una
delicada situacin familiar.
O resulta verdadera nuestra respuesta a una tarea solo por el hecho de que hemos buscado
la respuesta en Wikipedia.
29
La Lgica
30
La Lgica
Estamos ante los casos del falso dilema o de la pregunta compleja. En el primero de ellos
el recurso consistente en plantear una cuestin desde dos nicas alternativas posibles, casi
siempre radicalmente antagnicas, y que en la mayora de los casos expresan de modo tcito
las creencias de quien las propone. En este sentido, se observa un maniquesmo exacerbado.
Ejemplo: en campaa electoral todos los partidos plantean el siguiente falso dilema: unos
votis, o con los otros llegar el caos.
En el segundo la falacia consiste en plantear cuestiones cuyo enunciado no da la oportunidad
al interrogado de poder manifestar su punto de vista, pues stas presuponen ya la solucin
que suele ser la que desea el que pregunta.
Ejemplo: Sigue siendo tu hijo tan hiperactivo? Si se responde no, resulta que ya no lo es, pero
que lo fue. Si se responde s, es que lo fue y lo sigue siendo.
8 Acurdate de que correlacin y causalidad no son trminos sinnimos.
31
La Lgica
Falacia de la ambigedad
Se trata de emplear trminos que pueden tener ms de un significado. Hay
muchas palabras que tienen ms de un significado (polismicas) y tambin
hay enunciados que se prestan a ms de una interpretacin. Cuando por
el contexto no es posible determinar el significado de una palabra o de una
oracin, decimos que aquella palabra u oracin se est empleando con
ambigedad.
Por ejemplo, en la frase No me gustan los bancos, la palabra banco se est
usando ambiguamente. En el enunciado El juez conden a Perico Baranda por
el delito de haber estafado a su hermano, la ambigedad afecta a toda la frase,
Falacia de la vaguedad
Se trata de emplear trminos con significado poco preciso o mal delimitado.
Muchas palabras se pueden usar con grandes dosis de imprecisin, lo que
produce un alto grado de indeterminacin en la comunicacin ordinaria. Por
ejemplo, decimos Haba mucha gente en el partido o Ral va a poca velocidad.
En estos enunciados las palabras mucha y poca se emplean vagamente y,
aunque ampliemos y precisemos el contexto lingstico, el significado de estas
palabras difcilmente quedar delimitado con exactitud.
32
La Lgica
33
La Lgica
Generalizacin excesiva: como me ha salido una cosa mal, todo lo que venga
despus me va a salir tambin mal. La induccin temeraria resulta aqu muy
clara,
Filtro mental: me quedo con lo negativo y dejo pasar lo bueno, con frecuencia
lo negativo es anecdtico. No es importante haber sacado las mejores notas de
mi clase, lo verdaderamente importante es que Jenny no quiere venir conmigo
al cine. Se trata de una variante clara de pista falsa.
Descalificacin de lo positivo: en lo positivo slo veo lo malo. Si me elogian,
no es que valga, es que me estn adulando, Aqu se mezclan la pista falsa con
la supresin de prueba.
Conclusiones apresuradas: del malhumor del compaero de trabajo, de
su trato abrupto hoy conmigo, deduzco que tiene algo contra m y no lo que
realmente le pasa: que tiene un terrible dolor de cabeza. Estamos ante un
evidente non sequitur
Magnificacin y minimizacin: magnifico lo malo que me pasa y minimizo
lo bueno. Es gravsimo que el director haya sido hoy agrio conmigo y no
tiene importancia alguna que lleve todo el mes elogiando mi trabajo. Aqu se
mezclan la pista falsa con la supresin de prueba.
Razonamiento emocional: la verdad est en los sentimientos, no cuenta
la razn, si me siento intil es que soy intil. No cuenta que mi sentimiento
proceda de que he tenido un mal da, de que estoy cansado, etc. Aqu
prepondera la falacia ad misericordiam auxiliada por un non sequitur
Etiquetacin: a las personas y las cosas hay que ponerles etiquetas,
normalmente negativas, para que todo est claro: el vecino es un ruidoso,
el colega de trabajo un envidioso, mi mejor amigo un traidor. En todos estos
casos suprimo prueba, me quedo con la pista falsa y mi visin de la realidad
acaba siendo una caricatura.
Falacia del reguero de plvora: todo el mundo es igual, de manera que si
hago algo mal y alguien deja de quererme, se correr rpido la voz y al final no
me querr nadie, La induccin temeraria es aqu ms que evidente.
34
La Lgica
Falacia del foco: todo lo que hago de cara al pblico ocurre como en un
escenario, de manera que si no hago cosas absolutamente extraordinarias,
no gustar y acabarn desprecindome. Mezcla de induccin temeraria, pista
falsa y supresin de prueba.
35
La Lgica
4. El lenguaje formal.
4.1. Definicin de lenguaje formal.
Se denomina Lenguaje formal al lenguaje artificial que utiliza una tabla de
smbolos formales- formas que carecen de significado fijo- y cuyas reglas sintcticas
poseen la operatividad y eficacia del clculo. La lgica y la matemtica son lenguajes
formales.
36
La Lgica
Porque mediante tales reglas siempre podemos saber si una frmula pertenece
o no a su lenguaje.
Porque mediante las reglas podemos obtener todas las frmulas vli-das
dentro de un sistema formal determinado.
Porque de su aplicacin estricta es imposible deducir, en el lenguaje que se
trate una frmula y su negacin.
37
La Lgica
4.4 Qu es la lgica?
La lgica puede definirse como la teora de las condiciones del razonamiento
formalmente vlido.
La lgica es un lenguaje formal porque dispone de una tabla de smbolos
formales -constantes y variables-, de unas reglas de formacin de frmulas que
legitiman la combinacin de smbolos y de unas reglas de transformacin de frmulas
que permiten operar con ellas con la eficacia de un clculo.
Dado que estas caractersticas tambin las posee la geometra, la aritmtica,
las formalizaciones de la fsica, etc., conviene recordar de nuevo el objeto de la lgica,
con el fin de distinguirla de otros lenguajes formales: la lgica se ocupa de la validez
de los argumentos independientemente de su contenido. En consecuencia, sern
sistemas lgicos aquellos que son aplicables al razonamiento con independencia de
su contenido.
38
La Lgica
5. La lgica proposicional.
La lgica proposicional o de enunciados es el apartado ms elemental y
bsico de la lgica. Es el ms elemental porque es el ms sencillo; es el apartado
bsico porque sirve de fundamento al resto del edificio de la lgica clsica.
La lgica proposicional trata de la validez formal de los razonamientos donde
las premisas y la conclusin son proposiciones -enunciados- tomados en bloque, esto
es, sin analizar.
Un enunciado es tomado en bloque cuando se prescinde de los elementos que
lo integran y pasa a ser considerado como un todo - una unidad lingstica-.
El enunciado Todos los hombres son mortales, desde el punto de vista de la lgica
de predicados sufrira la siguiente interpretacin simblica:
x (PxQx)
Que se leera: Para todos los casos de x, si x tiene la propiedad de ser un hombre (Px),
entonces x tiene la propiedad de ser mortal (Qx)).
39
La Lgica
Tenemos que advertir que el uso de la v genera confusiones por su parecido con el
40
La Lgica
En el clculo lgico, una frmula es toda expresin bien hecha o ebf, esto es,
formada segn reglas previamente establecidas.
Ejemplos de frmulas del lenguaje de la lgica proposicional son: p, r, r
p, (p q) (r V s).
41
La Lgica
42
La Lgica
10
afirmado en el consecuente: basta que ocurra el hecho indicado en el antecedente para que
tenga lugar lo descripto en el consecuente. As, en el ejemplo El hecho de que Argentina
exporta software implica que exporta tecnologa Informtica, que Argentina exporte software
es condicin suficiente para afirmar que exporta tecnologa informtica.
El consecuente de un condicional expresa condiciones necesarias del antecedente. Toda vez
que ocurra lo indicado en el antecedente, entonces necesariamente suceder lo descripto en el
consecuente. En el ejemplo anterior, el hecho de que Argentina exporte tecnologa informtica
es condicin necesaria para que exporte software.
De http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/Legris/apuntes/APC-LL.pdf
43
La Lgica
7. La operativa
Simbolizacin.
en
la
lgica
proposicional:
7.1. Definicin.
Simbolizar un lenguaje es una operacin consistente en sustituir -traducirlos signos de ese lenguaje por smbolos - esto es, por los smbolos del clculo
proposicional, en nuestro caso- de tal modo que a cada objeto perteneciente al
universo del discurso de las relaciones de inferencia entre enunciados, corresponda
uno y slo un smbolo lgico, y a cada smbolo lgico uno y slo un objeto del discurso
(este tipo de correspondencia se denomina biunvoca y su uso viene a garantizar la
univocidad de la interpretacin).
variables
proposicionales
simbolizadas
mediante
las
letras
Llueve sera: s
Regla de simbolizacin II
Las expresiones del lenguaje natural tales como no, no es cierto, no es el
caso que, es falso, no es posible, es imposible, etc., se sustituirn por el
smbolo .
As:
44
La Lgica
expresiones
del
lenguaje
natural
tales
Regla de simbolizacin IV
Las
expresiones
del
lenguaje
natural
tales
Regla de simbolizacin V
Las
expresiones
entonces,
del
...luego...
lenguaje
.
.,
natural
..
por
tales
como:
tanto...,
...,
si...
en
consecuencia..., cuando, con tal que, ...se infiere..., ...se deduce..., ...se
deriva..., ...se demuestra..., etc., se sustituirn por el smbolo .
As,
Regla de simbolizacin VI
45
La Lgica
Las expresiones del lenguaje natural tales como: si y slo si..., ...equivale
a ..., ...es igual a..., ...vale por..., ...es lo mismo que..., etc., se sustituirn
por el smbolo .
As,
46
La Lgica
descanso(p).
47
La Lgica
48
La Lgica
matrices o tablas de verdad. La utilizacin de matrices o tablas sirve para hallar las
combinaciones posibles, y sus resultados, de los valores de verdad de cualquier
frmula de la lgica proposicional.
Toda tabla de verdad consta de dos tipos de columnas: la(s) columna(s) de
la izquierda -llamada de referencia- en donde se consignarn todas las posibles
combinaciones
de
Columnas de
referencia
VARIABLES
OPERADORES
negacin
conjuncin
disyuncin
condicional11
bicondicional
112
11
12
49
La Lgica
El orden de construccin de la tabla sera (mirar recuadro inferior a medida que se leen los
pasos):
1. Realizar todas las combinaciones posibles de las variables: 23. Para cualquier caso la
frmula sera 2n, siendo n el nmero de variables.
2. Contemplar las negaciones de las variables simples
3. Realizar por separado cada uno de los tres bloques que constituyen el antecedente.
4. Realizar la de la conjuncin que los une y
5. Hacer la del anterior resultado con el consecuente.
6. Nos encontraremos entonces con:
7. En la ltima columna de la derecha (sombreada) sale el resultado. Slo puede haber
tres casos: tautologa (todo 1: la frmula siempre ser verdadera). Contradiccin
(todo 0: ser siempre falsa). Indeterminacin (0 y 1: a veces ser verdad y otras no,
dependiendo de la combinacin de valores).
8. Se dice que dos frmulas, X e Y, son equivalentes cuando tienen la misma tabla de
verdad. Entonces, X Y
50
La Lgica
que el
51
La Lgica
humanos,
razonamiento
en
deductivo:
nuestra
partimos
vida
de
diaria,
utilizamos
enunciados
constantemente
empricos
el
-supuestamente
52
La Lgica
Por ejemplo:
-1
-2
3
q
pq
p
q M.P.P. (1, 2)
-1
-2
-3
4
5
r V n
p(rVn)
mp
m
pM.P. P (2, 3)
r V n M.P.P (1, 4)
antes de
53
La Lgica
54
La Lgica
NOTA
Si la lnea horizontal entre la formula inicial y la derivada es un trazo grueso ser que la
operacin es irreversible, slo se da en el sentido descendente; mientras que si son dos
lneas paralelas la operacin es reversible, o sea, la operacin puede realizarse de forma
descendente o descendente segn convenga.
55
La Lgica
56
La Lgica
es
el
trmino
que
en
lgica
corresponde
al
trmino
57
La Lgica
58
La Lgica
59
La Lgica
60
La Lgica
61
La Lgica
11. Actividades
A. Autoevaluacin. (voluntaria)
62
La Lgica
no depende
63
La Lgica
64
La Lgica
65
La Lgica
_____________son
_____________con
un
_____________
lgica
_____________trata
de
la
_____________formal
de
los
_____________en
_____________,
esto
es,
_____________
_____________.
66
La Lgica
1. Qu es la comunicacin?
2. Qu diferencias existen entre comunicacin e informacin?
3. Realiza un catlogo de las operaciones y elementos que intervienen en la
comunicacin. Define cada uno de los elementos establecidos anteriormente.
4. Qu es el lenguaje? En qu consiste la creatividad del lenguaje humano?
Qu es la doble articulacin?
5. Qu caractersticas posee el lenguaje conceptual o propiamente humano?
6. En qu consiste dar una explicacin? Qu es un razonamiento? Qu
medio empleamos para ello?
7. Cules son las tres funciones del lenguaje y cules son sus caractersticas?
Cul es la propia del lenguaje cientfico?
8. Qu quiere decirse con que los enunciados u oraciones declarativas son las
nicas que pueden ser verdaderos o falsos?
9. En qu sentido se dice que informacin e intencin van unidas? De qu
depende, en definitiva, la funcin de un texto o de una expresin?
10. Realiza un esquema donde queden reflejadas las distintas funciones del
lenguaje y las formas lingsticas posibles.
11. Qu es el lenguaje natural?
12. Qu diferencias hay entre una proposicin y una oracin?
13. Qu es una imprecisin semntica? Qu son las deficiencias sintcticas?
14. Qu cuatro acciones hay que acometer para superar las insuficiencias del
lenguaje natural?
15. Qu tres elementos constituyen un lenguaje artificial? En qu consisten?
16. Cmo se define un lenguaje formal?
17. Qu es la Deduccin? Qu es la induccin?
18. Qu es la lgica?
19. Qu es un razonamiento?
20. Cundo un razonamiento es formalmente vlido?
21. Qu se entiende por verdad? Qu se entiende por validez?
22. Qu es una falacia?
23. Pon un ejemplo claro de falaca ad hominem.
24. Pon un ejemplo claro de falaca ad populum.
25. Pon un ejemplo claro de falaca ad verecudiam.
26. En qu consiste una falacia de ambigedad?
67
La Lgica
68
La Lgica
TAREAS
Texto B.
Los smbolos se refieren solo indirectamente a la realidad fsica y sin embargo apuntan
directamente a uno realidad mental, pensada, imaginada, hecha de significados y de
sentidos, en lo que habitamos los humanas exclusivamente como humanos y no como
primates mejor o peor dotados. Los mitos, las religiones, la ciencia, el arte, la poltico, la
historia, desde luego tambin la filosofa todo son sistemas simblicas basados en el
sistema simblico por excelencia que es el lenguaje. Lo vida misma, que tanto apreciamos,
o la muerte, que tanto tememos, no son solo sucesos fisiolgicos sino tambin procesos
simblicos: por ello, algunos estn dispuestos o sacrificar su vida fsica en defensa de
sus smbolos vitales y hay muertes simblicas o las que rememos an ms que al mero
fallecimiento de nuestro cuerpo, Como dijo el poeta Baudelaire, habitamos en bosques de
smbolos: las selvas humanos parlas que vagamos estn hechas de smbolos.
Savater, Fernando Las preguntas de lo vida, Ariel
TAREAS
Texto C.
69
La Lgica
Los lgicos han comparado a menudo los clculos con los juegos, sobre todo con el ajedrez.
En efecto: los smbolos primitivos corresponderan a las piezas del juego. Dado un objeto
cualquiera, podramos decidir si se trata o no de una pieza de ajedrez: ante una mquina
de vapor, por ejemplo, diramos que no. Las reglas de formacin corresponderan a las
instrucciones sobre las posiciones que pueden ocupar las piezas: una pieza situada en la
palma de una de las manos de un Buda del siglo IX no es una pieza en juego. Las reglas de
transformacin seran como las reglas sobre los movimientos que se pueden efectuar con las
piezas: asomarse a un amplio ventanal y arrojar desde l un alfil al mar Adritico no sera un
movimiento del ajedrez.
Deao, Alfredo. Introduccin a la lgica formal
TAREAS
1. Elabora un esquema o mapa conceptual del fragmento.
2. Elabora un resumen del fragmento.
3.
Qu es un clculo?
70
La Lgica
Ejercicio 2. Indica con una A cualquier enunciado atmico y con una M cada enunciado molecular. En el caso de que se trate de enunciado atmico, simbolizarlo
mediante una variable proposicional.
Ejercicio resuelto
71
La Lgica
72
La Lgica
CONJUNCIONES
Ejercicio resuelto
Estos problemas no son muy difciles para mi, aunque he tardado en resolverlos.
DISYUNCIONES
Ejercicio resuelto
Demostrar esta proposicin sea por el mtodo directo sea por el indirecto.
73
La Lgica
CONDICIONALES
Ejercicio resuelto
Hace fro, luego no es verano
74
La Lgica
BICONDICIONALES
Ejercicio resuelto
Un mineral es metal si y slo si es un buen conductor de la electricidad.
COMPLEJAS
Ejercicio resuelto
Dos rectas son paralelas si tienen la misma direccin.Otra lectura de la frase sera (Si
tienen la misma direccin, entonces dos rectas son paralelas)
75
La Lgica
76
La Lgica
77
La Lgica
78
La Lgica
o los tirantes del general Custer no le llegan a los pantalones. Pero si el rostro
plido deja en su casa el tubo de fuego o el caballo de hierro no cruza sus
territorios, los apaches nicamente bailarn la danza de la lluvia y, en caso
de que el rostro plido les visite amistosamente, compartir la pipa de la paz
con el apache. O es cierto que el rostro plido les visita amis-tosamente o
se conservan todas las cabelleras en su sitio. Si el rostro plido comparte la
pipa de la paz, el humo invadir el Can del Colorado. No es cierto que se
conserven en su sitio todas las cabelleras o que el rostro plido no deje en su
casa el tubo de fuego. As pues, si los tirantes del general Custer no le llegan
a tos pantalones, los apaches se vern obligados a desente-rrar el hacha de
guerra y el humo invadir el Can del Colorado.
22. Si existieran seres extraterrestres y tuviesen inteligencia, nos ha-bran enviado
algn mensaje de salutacin o habran venido a ha-cernos alguna visita. Si
nos hubiesen visitado, habran presentado pblicamente sus credenciales ante
los humanos. Si hubiesen pre-sentado pblicamente sus credenciales ante
los humanos, entonces todos los humanos los describiran de modo similar.
No es cierto que todos los humanos describan a los seres extraterrestres de
modo similar o que stos no tengan necesariamente figura antro-pomrfica.
Los seres extraterrestres no tienen figura antropomrfica y no nos han enviado
ningn mensaje de salutacin. Por lo tanto, si existieran seres extraterrestres,
no tendran inteligencia.
23. Si el toro tuviera sentido del humor o fuese un animal vengativo, se sentara
en medio de la plaza y dormira una plcida siesta. Si el toro se sentase en
medio de la plaza, entonces los espectadores se marcharan decepcionados o
el torero se sentira ridculo. Ni el torero se siente ridculo, ni los espectadores
se marchan decepciona-dos. As que el toro no tiene sentido del humor.
24. Slo en casa me qued y entre tinieblas apareci Drcula. Estaba slo ante
el peligro, pero los intocables de Elliot Ness llegaron en mi ayuda. Se hizo el
silencio de los corderos y aquello pareci un duelo de titanes o la guerra de los
mundos. Y despus de nueve semanas y media la batalla acab. Al final, esta
casa era una ruina pero los gremmlins se haban ido.
79
La Lgica
1. [(pq) p] p.
2. (p V p) [q p].
3.
Ejercicio
resuelto
pq
-1. pq
-1. r (pq)
-1. pq
-1.mn
-2. p
-2. r
-2. qr
-2. tm
-3. p
-3.np
-4.t
5. m MPP 2,4.
6. n
MPP 5,1
7. p
MPP 6,3
Ejercicio
resuelto
(pq)
-1. pq
-1. t
-1. n(wm)
-1. (pq)r
-2. q
-2. ns
-2. st
-3. st
-3.qr
-2- r
80
La Lgica
-4. mn
-4. pq
-5. tn
-6. ( wm)
A.
- 1.r s
- 1.t
- 1. t s
-2. s
-2. (pm) q
-2. t
-3.t s
-4. (r w) (pm)
-5. s (r w)
-1. pq
-1. r
-1. pq
-2.p
-2.qr
-2.t
-3.rt
-4.qr
pq
-1.(qs) t
-1.ps
-1.(pq) r
-1.p(m t)
-2.rs
-2.qs
-2.rt
-2.qt
-3.p r
-3.s
-3.t
-3.nq
-4.n r
81
DEL
La Lgica
-5. r
mn
-1.p(n m)
-1.m s
-1.n
-2.p q
-2.s(pq)
-2.m n
-3.q
-3.t (qp)
-3.tq
-4.rm
-4.mt
-5. rw
-5.r
-6.q (r s)
qs
mn
-1. p
-1.m p
-1.(m n) p
-2.p q
-2.r
-2.m r
-3. p r
-3. r s
MIXTOS.
Ejercicio resuelto
p
-1.rs
-2. t
-3.pq
-4.st
-5.qr
6. s MTT 2,5
7. r SD 1,6
82
La Lgica
8. q MTT 5,7
9. p MTT 2,7
t m
mn
-1.ws
-1.pq
-1.s n
-1.s
-2.w t
-2.qt
-2.(p q) (ts)
-2.q r
-3.r t
-3.tn
-3.(p q) r
-3.r s
-4.rp
-4.p
-4.q (m n)
-5.s
E
nw
mt
-1.t s
-1.n (n w)
-1.w
-1.s m
-2.qt
-2.p q
-2.q t
-2.sq
-3.s
-3.mt
-3.m n
-3.wr
-4.q p
-4.qs
-4.nw
-4.m
-5.(r s)t
-5.q m
-5.qr
-6.mn
-6.r n
-6.tn
-7.pr
-7.n r
-7.w t
83
La Lgica
84