Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Unidad 4 Logica Formal 128998250563

Descargar como pptx, pdf o txt
Descargar como pptx, pdf o txt
Está en la página 1de 56

UNIDAD 4.

LÓGICA: RAZONAMIENTO Y ARGUMENTACIÓN


 
Lógica Proposicional: las proposiciones y el
Razonamiento. Elementos de lógica simbólica. Validez
de los razonamientos deductivos y no-deductivos.
Formalización. Métodos de validez de los
razonamientos.
 
Lógica Argumentativa: ¿De qué hablamos? Opinión,
puntos de vista. Tipo y estructura de los argumentos.
Posibles modelo de análisis de los argumentos. Solidez
de la argumentación. Falacias.
Objetivos
 Diferenciar razonamientos de los que no lo son.
 Identificar premisas y conclusión en los razonamientos.
 Saber formalizar las proposiciones y los razonamientos.
 Aplicar métodos para saber si son válidos:
 Método del Condicional Asociado (implica saber
construir y resolver Tablas de Verdad)
 Método Demostrativo (implica saber y manejar las
Reglas de Inferencia y Reemplazo).
Camino que debemos recorrer…

 Reconocer proposiciones.
 Clasificar las proposiciones:
• Simples – Compuestas
• Tautológicas – Contingentes - Contradictorias
 Identificar conectivas lógicas
 Saber la definición de las conectivas.
 Saber formalizar los razonamientos.
 Resolver Tablas de Verdad.
 Aplicar métodos para determinar la validez.
¿Qué es la Lógica?
La distinción entre el razonamiento correcto e
incorrecto es el principal problema que aborda la
lógica”. –Irving Copi

“La lógica estudia la razón


como la herramienta del
conocimiento”. –Jacques
Maritain

"La lógica es la ciencia


del pensamiento
correcto". –Raymond McCall
Lógica
• Disciplina formal que se ocupa de meras
formas o estructuras del pensamiento;
• Estudia las leyes o principios que rigen la
validez lógica del propio pensamiento
• Su objeto de estudio son los pensamientos

el CONTENIDO: la FORMA:
el tema, materia u objeto La estructura, las partes que
a que se refiere lo constituyen y la relación
existente entre las mismas
Estructuras lógicas

Concepto Juicio Razonamiento

TÉRMINOS PROPOSICIONES RAZONAMIENTOS


Estructuras lógicas
lógicos
TÉRMINOS
no lógicos

PROPOSICIONES

Simples (singulares – atómicas) Compuestas (moleculares)

cantidad calidad

 Universales • Afirmativas

 Particulares • Negativas
o Existenciales
Propiedad
Estructura Lógica Función

TÉRMINOS Nombran Se predica la propiedad de


estar correcta o
incorrectamente utilizados.

Enuncian Se predica la propiedad


PROPOSICIONES
(dicen algo de algo) de ser verdaderas o
falsas

RAZONAMIENTOS Derivan una Se predica la propiedad


información (conclusión) de ser válidos o
a partir de otra/s inválidos, correctos o
(premisas) incorrectos
Lógica proposicional
 Centra su estudio en las proposiciones

 Provee métodos para determinar:


 Verdad o falsedad de las proposiciones

 Validez o invalidez de los razonamientos

 Lenguaje propio compuesto por:


 Variables proposicionales

 Conectivas extensionales
 Signos de puntuación
Lógica proposicional

«La ropa que usé es linda, pero ajustada»

Abstracción o simbolización

pq
Interpretación o sustitución

«La Astrología y el Tarot son ciencias ocultas»


Tipos de proposiciones simples
• Todos los niños lloran.
 Algunos comerciantes son argentinos.
• Todos los niños lloran.

 Nada que sea hormiga es insecto.


• Hay perros que no son negros.
 Inés es una alumna aplicada.
• Los marcianos no hablan castellano.
Tipos de proposiciones compuestas
• Todos los niños lloran y sus madres no pueden
soportarlo.
 Si algunos comerciantes son argentinos, entonces será
posible cobrarles el impuesto
• Hay perros que no son negros o bien sus dueños los
han teñido.
 Te contaré lo que ocurrió sólo si prometes
tranquilizarte.
• En una hora estaré en tu casa o bien nos encontramos
en la Facu.
CONECTIVA: “expresión lingüística que, aplicada a uno o dos enunciados,
permite obtener un enunciado compuesto” (Gianella, 1992:24).
Conectiva Nombre

 Negación

 Disyunción inclusiva
W
Disyunción excluyente


Conjunción


ᴐ Condicional o implicación

≡ Bicondicional o equivalencia
¿Cómo determinamos el valor de verdad de una proposición compuesta?

Ej.: Juan es ingeniero y mi hermano estudió Economía.


p: Juan es ingeniero.
q: mi hermano estudió Economía.
Forma proposicional: p q
p p . q q
Verdadera Verdadera Verdadera
Falsa Falsa Verdadera
Verdadera Falsa Falsa
Falsa Falsa Falsa
Disyunción (inclusiva)
p pq q

Verdadera Verdadera Verdadera

Falsa Verdadera Verdadera

Verdadera Verdadera Falsa

Falsa Falsa Falsa


Disyunción (excluyente)
p pWq q

Verdadera Falsa Verdadera

Falsa Verdadera Verdadera

Verdadera Verdadera Falsa

Falsa Falsa Falsa


Condicional o implicación
p p→q q

Verdadera Verdadera Verdadera

Falsa Verdadera Verdadera

Verdadera Falsa Falsa

Falsa Verdadera Falsa


Bicondicional
p p↔q q

Verdadera Verdadera Verdadera

Falsa Falsa Verdadera

Verdadera Falsa Falsa

Falsa Verdadera Falsa


Negación
p p

Verdadera Falsa
Falsa Verdadera
Negación
Forma proposicional:
pq

Conectiva principal

p   q

Verdadera Falsa Falsa Verdadera


Falsa Falsa Falsa Verdadera
Verdadera Verdadera Verdadera Falsa
Falsa Falsa Verdadera Falsa
Negación
Forma proposicional:
 (p  q)

Conectiva principal

 (p  q)

Falsa Verdadera Verdadera Verdadera


Verdadera Falsa Falsa Verdadera
Verdadera Verdadera Falsa Falsa
Verdadera Falsa Falsa Falsa
Uso de definición de conectivas
• Supongamos que existe una norma de la DGI que
dispone la aplicación de la multa al contribuyente que
se le verifique la falta de presentación de la DJ y de
pago del impuesto resultante.
Un sujeto inscripto en la DGI presentó en su vencimiento
la DJ aunque no pagó el impuesto que arrojaba.
La DGI le envía al contribuyente una nota donde le
comunica haberle aplicado la multa.
¿Es correcto el accionar de la DGI? SI – NO –Por qué
Uso de definición de conectivas
• Supongamos que el gobierno provincial dispone un
beneficio de reducción del 30% anual del Impuesto
Inmobiliario para todos los propietarios que
demuestren no adeudar impuestos o ingresen en la
nueva moratoria implementada por el gobierno.
• Una empresa no posee abonado todos sus impuestos
anteriores a la disposición pero decide adherirse a la
nueva moratoria.
¿le corresponderá a esa empresa la rebaja del 30%? SI –
NO –Por qué
Según las tablas de verdad…

Tautológicas
Leyes lógicas
Formas proposicionales
Contradictorias

Contingentes
Consistentes

Inconsistentes
Consigna
Analiza las siguientes proposiciones, determina su
forma lógica y la clasificación según el resultado
de sus tablas de verdad.
“Si el suelo tiene humedad escasa y la carga de
humedad no es grande, esto enciende una luz
amarilla para el productor”. (p   q) → r
“Adrián Paenza fue cercano al público e incitó a pensar a
las personas que colmaron el lugar, buscó romper con el
mito de que la matemática es aburrida o que la ciencia
lo es”. (p  q)  (r v s)
Consigna
A continuación se transcriben una serie de proposiciones, deberás analizarlas y:
- Determinar si son atómicas o moleculares.
- Luego encerrar con un círculo los términos lógicos que encuentres en cada
una de ellas.
- Formalizarlas.

Extraídas de Durán, Cecilia (2012)

1) No hemos pedido ayuda.


2) No hemos pedido ayuda pero la necesitamos.
3) No hemos pedido ayuda ni la necesitamos.
4) No es cierto que hemos pedido ayuda y la necesitamos.
5) Platón era griego, pero Freud no.
6) Pedro y Camila no se conocen, aunque ambos estudian
bioquímica.
7) Pitágoras era filósofo o no lo era.
8) O bien el asesino abandonó el país o bien alguien lo está encubriendo.
9) Argentina limita con Brasil o con Colombia.
10) No es verdad que Argentina limita con Brasil o con Colombia.
11) Argentina no limita con Brasil o no limita con Colombia.
12) Argentina limita con México y con Brasil.
13) No es cierto que Argentina limita con México y con Brasil.
14) Argentina no limita ni con México ni con Brasil.
15) Argentina limita con Ecuador o con Brasil pero no con ambos.
16) No voy a llegar a tiempo a menos que tome un taxi.
17) Si eres cobarde entonces tienes conciencia del peligro.
18) Elena conseguirá el puesto si tiene un amigo influyente.
19) Ganarás dinero si tienes trabajo, aunque no lo harás si te despiden.
20) Si las aves trinan y el sol resplandece, entonces si vamos de picnic,
pasaremos una tarde apacible junto al estanque.
21) Si no voy a la playa entonces iré al casino, si voy a Mar del Plata.
22) Si es cierto que Pedro es pintor o albañil, entonces si no es albañil, es pintor.
23) n es divisible por 2 si lo es por 4.
24) n es divisible por 4 sólo si lo es por 2.
25) No es cierto que sólo si tiene un promedio mayor de 8, puede inscribirse en la
beca.
26) Que tengas dos billetes de $10 es condición suficiente para que tengas $20;
además, es condición necesaria tener 20$ para poder entrar al cine.
27) Mariano no está casado si y sólo si es soltero.
28) Si es menor de edad entonces puede casarse siempre y cuando tenga permiso
de sus padres.
29) Es cierto que quieres irte al exterior o no lo quieres, pero también es cierto
que lo quieres y no lo quieres.
30) La suma de dos números enteros es par si y sólo si o bien ambos números son
pares o bien ambos números son impares.
RAZONAMIENTOS
“El razonamiento es una estructura lógica de
distintos grados de complejidad integrada por
proposiciones (atómicas o moleculares) tal que, de
una o más de ellas llamadas premisas se obtiene
otra llamada conclusión” (Colacilli de Muro, 1980:85).

“Es la estructura lógica más compleja, está integrada por


dos o más proposiciones, donde la verdad de una de ellas,
que es la conclusión, se afirma sobre la base de la verdad
de la/s otra/s, que son las premisas” (Campagna, M. y Lazzeretti,
A., 1998).
Componentes de los razonamientos
 premisas
 conclusión

 Expresiones derivativas

Si vienes a casa, iremos a pasear.


Viniste a casa.
Por lo tanto, vamos a pasear.

Todos los hombres son mortales.


De esto se desprende que algunos mortales son hombres.
Ejemplos
Si tengo promedio mayor o igual a 7 entre los dos parciales,
promociono la materia.
Obtuve como calificaciones 8 y 9.
Por lo tanto, promocioné la materia.

Las estadísticas muestran que la mayoría de los alumnos que no


faltan a las clases teóricas regularizan la materia.
Los alumnos X, Y y Z tienen asistencia perfecta a los teóricos.
Por lo tanto, X, Y y Z regularizan la materia.

Si voy a la peña el jueves, voy a tener sueño en la clases del


viernes.
Además estoy cansado.
Por lo tanto, mejor voy al cine o a tomar un café temprano.
Tipos de razonamientos

Deductivos No Deductivos

 se pretende que la conclusión se  se pretende que la conclusión


infiera en forma necesaria de las se infiera con cierto grado de
premisas probabilidad de las premisas.
 la conclusión queda unívocamente
determinada y depende  las premisas sirven como
exclusivamente de las premisas de las punto de partida para la
cuales parte (Colacilli de Muro). conclusión pero no pueden
justificarla lógicamente.
La verdad de la conclusión está  la verdad de las premisas no es
garantizada por la verdad de las garantía suficiente para la verdad
premisas de la conclusión.
Razonamientos deductivos Razonamientos no deductivos
Todo lo que está dicho en la Todo o parte de lo que dice en la conclusión
conclusión está dicho de algún modo es algo que no se ha dicho en las premisas.
en las premisas.
La verdad de las premisas es garantía La verdad de las premisas nunca es garantía
suficiente de la verdad de la para la verdad de la conclusión.
conclusión.
Si las premisas son verdaderas, la Aunque las premisas sean verdaderas, la
conclusión no puede ser falsa. conclusión puede ser falsa.
Su validez puede decidirse por Su validez no puede decidirse por métodos
métodos puramente lógicos, y de lógicos; se necesitan métodos extra-lógicos
manera definitiva. para establecerla, y sólo provisionalmente.

La validez depende de la forma lógica La validez depende del contenido


del razonamiento y no de su informativo de sus proposiciones y de su
contenido. adecuación a los hechos u objetos a los
cuales dichas proposiciones hacen
referencia.

Colacilli de Muro, Ma. Angélica y Julio (1980:103)


Tipos de razonamientos

Deductivos No Deductivos

Inductivos Analógicos
• parten de proposiciones •parten de una o más
con cierto grado de premisas con cierto grado
generalidad y concluyen de generalidad y concluyen
con una proposición de con una proposición de la
una generalidad mayor misma generalidad que las
que las premisas. premisas.
Consigna
Determine si los siguientes textos constituyen argumentos. En caso de
que así sea, identifique las premisas y la conclusión
Extraídas de Durán, Cecilia (2012)

1. ``Aunque el amor y el conocimiento son necesarios, el amor es, en cierto


sentido, más importante ya que impulsará a los inteligentes a buscar el
conocimiento, con el fin de beneficiar a los que aman.'' (Bertrand Russell, Por
qué no soy cristiano).

2. ``Por lo tanto, no os afanéis por el día de mañana; que el día de mañana


se afanará por las cosas de sí mismo. Le basta al día el mal suyo.'' (Mateo,
6:34)

3. ``Puesto que los problemas con los que trabajan los matemáticos, y las
soluciones a las que llegan, son impuestos por las influencias culturales que
les rodean, no es sorprendente que las matemáticas resulten aplicables a
las ciencias si hay contactos suficientes entre las dos.'' (John D. Barrow, La trama
oculta del Universo )
4. ``Una de las características más sorprendentes de la ciencia moderna es
que suele avanzar con tal rapidez que un investigador puede comprobar,
con cierta aproximación si sus ideas anteriores, o las de sus
contemporáneos, eran correctas o incorrectas. En el pasado esta
posibilidad no se daba con tanta frecuencia. Ni tampoco actualmente en
los campos que avanzan con lentitud.'' (Crick, F., Qué loco propósito)

5. ``La razón nos ordena mucho más imperiosamente que un amo, ya que
desobedeciendo a uno somos desdichados, y desobedeciendo al otro
somos tontos.'‘ (B. Pascal, Pensamientos).

6. ''Si entendemos la eternidad no en el sentido de duración temporal


infinita, sino de intemporalidad, entonces la vida eterna pertenece a los
que viven en el presente.'' (L. Wittgenstein, Tractatus lógico-philosophicus)
7. Todo lo reprimido tiene que permanecer inconsciente; pero queremos
dejar sentado desde un principio que no forma por sí solo todo el
contenido de lo inconsciente. Lo reprimido es, por tanto, una parte de lo
inconsciente. (S. Freud, Lo inconsciente ).

8. “El hombre forma parte de un todo político y es conducido por un


impulso íntimo hacia tal asociación. De acuerdo con esto, el hombre, que
siendo el primero en formar una asociación de tal naturaleza, fue el mayor
beneficiado. Porque el hombre, al perfeccionarse, es el mejor de los
animales; pero sin ley y sin justicia es el peor de todos.'' (Aristóteles, Política).

9. “Sí, y si los bueyes y los caballos y leones tuvieran manos y pudieran


pintar con sus manos y elaborar obras de arte como hacen los hombres,
los caballos pintarían a sus dioses como caballos, los bueyes como bueyes,
y harían sus cuerpos a la imagen de sus diversas especies.'' (Jenófanes,
Fragmento 15).
10. ``La madera, las piedras, el fuego, el agua, la carne, el hierro y las cosas
semejantes que yo nombro y de que hablo son cosas que yo conozco. Y no
las habría conocido si no las hubiere percibido por mis sentidos; y las
cosas percibidas por los sentidos son percibidas inmediatamente, y las
cosas inmediatamente percibidas son ideas, y las ideas no pueden existir
fuera de la mente; por lo tanto, su existencia consiste en ser percibidas ...''
(G. Berkeley, Tres diálogos entre Hylas y Philonous)

11. ``A ... [la] guerra de todos contra todos va inherente esto: que nada
puede ser injusto. Las nociones de derecho y no derecho, de justicia e
injusticia, no tienen aquí lugar. Donde no hay poder común, no hay ley;
donde no hay ley, no hay injusticia.'‘ (T. Hobbes, Leviathan).

12. ``Es inútil que llame -dijo el Criado- y esto por dos razones: primero,
porque los dos estamos del mismo lado de la puerta; segundo, porque allá
dentro están haciendo tal ruido, que sería imposible que la oyeran.''(L.
Carroll, Alicia en el país de las maravillas)
Consigna
Distinga si los siguientes razonamientos son deductivos o no deductivos
Extraídas de Durán, Cecilia (2012)

1. Una ecografía del útero de una mujer embarazada a partir de los siete
meses puede confirmar en forma positiva el sexo masculino de su hijo
cuando se observan sus genitales, pero sólo con una cierta probabilidad el
sexo femenino ya que si la observación de los mismos da un resultado
negativo puede deberse tanto a su ausencia como a su indetectabilidad
desde el ángulo de visión alcanzado.

2. Cada vez que Silvina cumple años me aburro en su fiesta. Mañana estoy
invitado al cumpleaños de Silvina; así que probablemente mañana me
aburriré en su fiesta.
3. El Dr. López investigó la aparición de casos de cólera en el noroeste
argentino y descubrió que la causa era la falta de agua potable que impedía
lavar adecuadamente los alimentos y tener buenas condiciones higiénicas.
El Dr. López fue contratado por el Gobierno de la provincia de Buenos Aires
para solucionar el problema de la alta incidencia del cólera en una zona de
esa provincia. Por consiguiente es probable que el Dr. López investigue la
existencia o inexistencia de cloacas y de agua potable en ese lugar.

4. Acabo de analizar toda la información publicada por el National


Geographic acerca de los cambios climatológicos ocurridos en la última
década. Teniendo en cuenta los datos disponibles concluyo que el próximo
invierno va a ser más frío y húmedo que los dos anteriores.

5. El micro de las 8.15hs habitualmente no se retrasa más de 5 minutos.


Son las 8.25hs. Infiero que he perdido el micro.
RAZONAMIENTOS
“La propiedad más importante de un razonamiento es la
validez o invalidez.

Un razonamiento es válido cuando de premisas verdaderas no


puede obtenerse una conclusión falsa. Es decir, la verdad de las
premisas es garantía de la verdad de la conclusión.

“Un razonamiento deductivo es válido cuando sus premisas ofrecen


un fundamento seguro para la conclusión, esto es, cuando las
premisas y la conclusión están relacionadas de tal manera que es
absolutamente imposible que las premisas sean verdaderas sin que
la conclusión también lo sea” (Copi, 1973:22).
Validez de los Razonamientos
Un razonamiento es válido cuando de premisas
verdaderas no puede obtenerse una conclusión falsa.

Es decir, la verdad de las premisas es garantía de la verdad


de la conclusión:

“Un razonamiento deductivo es válido cuando sus premisas


ofrecen un fundamento seguro para la conclusión, esto es,
cuando las premisas y la conclusión están relacionadas de tal
manera que es absolutamente imposible que las premisas sean
verdaderas sin que la conclusión también lo sea” (Copi, 1973:22).
Validez de los Razonamientos
Combinaciones posibles de acuerdo a la verdad de
premisas y conclusión:

Premisas Premisas Premisas Premisas


verdaderas falsas falsas verdaderas
Conclusión Conclusión Conclusión Conclusión
Verdadera falsa Verdadera falsa
CONTENIDO
Validez de los razonamientos
FORMA
Para determinar la validez de los razonamientos:

1.- Identificar el razonamiento (premisas y conclusión).

2.- Ordenarlo.
En este punto, podemos determinar la validez del razonamiento si
analizamos el lenguaje ordinario en el que fueron formulados.

3.- Formalizarlo.
Podemos determinar la validez del razonamiento si aplicamos alguno de
los métodos de la Lógica.

Método del Condicional Asociado Método Demostrativo


Validez de los razonamientos

Método del Condicional Asociado

• Es un método mecánico, de tipo semántico

• Se basa en las tablas de verdad

• Consiste en realizar la tabla de verdad de un


condicional que tenga como antecedente la
conjunción de las premisas y como consecuente la
conclusión del razonamiento
Validez de los razonamientos
Método del Condicional Asociado
Ejemplo: Si los dirigentes de Albania se liberan de la influencia china, entonces
tanto Bulgaria como Checoslovaquia adoptarán políticas más liberales. Pero
no es verdad que Bulgaria y Checoslovaquia adoptarán una política más
liberal, por lo tanto, los dirigentes de Albania no se liberarán de la influencia
china

Si los dirigentes de Albania se liberan de la influencia china, entonces tanto


Bulgaria como Checoslovaquia adoptarán políticas más liberales.

No es verdad que Bulgaria y Checoslovaquia adoptarán una política más


liberal.

Los dirigentes de Albania no se liberarán de la influencia china


Validez de los razonamientos
Método del Condicional Asociado
p: los dirigentes de Albania se liberan de la influencia china
q: Bulgaria adoptará políticas más liberales.
r: Checoslovaquia adoptará una política más liberal.

p  (q  r)
Ø(q  r)
p

  p  (q  r)    (q  r)   p
Validez de los razonamientos
Método del Condicional Asociado

 p  (q  r)    (q  r)    P
V V V V V F F V V V V F V
F V V V V F F V V V V V F
V F F F V F V F F V V F V
F V F F V V V F F V V V F
V F V F F F V V F F V F V
F V V F F V V V F F V V F
V F F F F F V F F F V F V
F V F F F F V F F F V V F
Validez de los razonamientos
Reglas de Inferencia
Formas argumentales elementales cuya validez es fácil de establecer por
medio del método del condicional asociado

p q
p Modus Ponens (M.P.)
q

pq
Modus Tollens (M.T.)
q
p
Validez de los razonamientos

Reglas de Inferencia

p q
q r Silogismo Hipotético (S.H.)
pr

pvq Silogismo disyuntivo (S.D.)


Øq
p
Validez de los razonamientos

Reglas de Inferencia

p  q
r  s Dilema constructivo (D.C.)
pvr
qvs

p  q
r  s
qvs Dilema destructivo (D.D.)
pvr
Validez de los razonamientos

Reglas de Inferencia

pq Simplificación (Simpl.)


p
p
Conjunción o Producto Lógico (Conj.) q
pq
p Adición (Adic.)
pvq

Absorción (Abs.)
p  q
p  (q  p)
Validez de los razonamientos

Reglas de Inferencia
¿Cómo leerlas?
¿qué diferencia existe entre letras proposicionales y letras
mayúsculas?
p q
Modus Ponens (M.P.)
p
q

A B AB
p  ( q v  s)
A
A p
B
B Øq v  s
Validez de los razonamientos

Reglas de Reemplazo o equivalencia


Expresiones lógicamente equivalente que pueden reemplazarse unas por
otras, donde se encuentren

 (p • q) ≡ ( p v  q)
 (p v q) ≡ ( p •  q) Teorema de De Morgan (T.M.)

Doble negación (D.N.) p≡p

(p  q) ≡ ( q  p) Transposición (Trans.)


FALACIAS FORMALES

Falacia de afirmación del consecuente p→q


Si colón descubrió américa, descubrió un nuevo mundo. q
Colón descubrió un nuevo mundo.
Luego: Colón descubrió América.
p
Si los hombres habitan el sol, son seres vivos.
Los hombres son seres vivos.
Luego: los hombres habitan el sol.

Falacia de negación del antecedente p→q


Si tengo gripe entonces tengo fiebre p
No tengo gripe
Luego, no tengo fiebre q
Validez de los razonamientos

Reglas de Reemplazo o equivalencia


Expresiones lógicamente equivalente que pueden reemplazarse unas por
otras, donde se encuentren

 (p • q) ≡ ( p v  q)
 (p v q) ≡ ( p •  q) Teorema de De Morgan (T.M.)

Doble negación (D.N.) p≡p

(p  q) ≡ ( q  p) Transposición (Trans.)

También podría gustarte