Lógica once

1. La lógica

2. Objetivo
Comprender qué es la lógica formal y cuáles
son sus objetivos

3. Ruta de trabajo
1. Preguntas problematizadoras
2. Contextualización del tema: La lógica
3. Lógica formal: los argumentos
4. Principios lógicos
5. Tablas de verdad
6. Actividad

4. Preguntas Problematizadoras
Vídeos

5. Contextualización del
problema: La lógica
• Las ciencias naturales obtienen
conocimiento mediante la
observación y la
experimentación.
• La filosofía no puede apoyar sus
tesis en la experimentación ,
utiliza la argumentación para
demostrar la verdad.
• La argumentación se apoya en
tesis o afirmaciones tenidas
como verdaderas para obtener
conocimientos nuevos.
• Lo importante aquí no es
determinar si lo que se dice
corresponde al mundo
material; lo importante es
determinar si es aceptable o
no derivar una tesis de otra.
• La lógica es la disciplina
filosófica encargada de
establecer cuando es valido
derivar una tesis de unas
afirmaciones, en otras
palabras, decir si el
argumento es correcto o no.
Vídeo: qué es la lógica

6. Lógica formal: Los
argumentos
Es el estudio formal
de los argumentos
que permite
encontrar esquemas
de inferencia valida.
¿Qué es inferencia?
Es una sucesión de
oraciones declarativas
cuya última oración se
denomina conclusión
y las demás premisas.

7. Lógica formal: Los
argumentos

8. Lógica formal: Los
argumentos
¿Qué es una
oración
declarativa?
Son oraciones que
se usan para
afirmar o negar
las propiedades
de un sujeto.
EL conjunto de
oraciones que
agrupan premisas
y conclusiones se
llama argumento
¿La inferencia supone una
relación especial entre premisas y
conclusiones?
Repuesta: no siempre.
Premisa 1: Si
llueve, se
moja el pasto.
Premisa2:
Llovió.
Conclusión: El
pasto esta
mojado
Premisa 1:
Superman
puede volar.
Premisa 2: La
pizza es
nutritiva.
Conclusión: La
democracia es
el mejor sistema
político.

9. Lógica formal: Los
argumentos
La lógica estudia las
inferencias validas.
¿Qué es la validez?
Lo que garantiza una
determinada relación
entre la premisas y la
conclusión,. es valido
siempre que las premisas
sean verdaderas. Así la
conclusión lo será
también..
Para tener en cuenta:
Valido no es igual a verdadero

10. Lógica formal: Los
argumentos
Los esquemas validos sólo
nos permiten asegurar que
sí las premisas fueron
verdaderas, entonces la
conclusión lo será.
Un argumento puede ser
valido, aunque sus premisas
y su conclusión sean falsas
(no se trata de verificar en
la realidad)
Cuando hablamos de lógica
forma, hablamos de reglas
que nos permiten distinguir
esquemas de inferencias
validos de los que no lo son

11. Lógica formal: Los
argumentos
Existen dos
tipos de
argumentos:
Simples y
compuestos.
Los simples son
los que
consisten en
una sola
premisa y una
conclusión
Los compuestos
son los que
tienen varias
premisas y una
sola conclusión

12. Lógica formal: Los
argumentos
1 premisa, luego
conclusión
1 conclusión,
luego premisa

13. Lógica formal: Los
argumentos, Actividad

14. Lógica formal: Los
argumentos, Actividad

15. Principios lógicos
• El pensamiento lógico
cuenta con unos
principios que son
necesarios y que no
necesitan ser
demostrados porque
en sí mismo son
evidentes.
• Son puntos de
partida sin los cuales
seria imposible
pensar.
• Estos principios
lógicos son cuatro:
Principio de
identidad
Principio de
contradicción
Principio de
tercer
excluido
Principio de
razón
suficiente
Vídeo
Principios
lógicos

16. Principios lógicos
Principio de
Identidad
A es A
Decir que una cosa
es idéntica a sí
misma significa que
una cosa es una
cosa. Podemos decir
que una cosa cambia
constantemente, sin
embargo, sigue
siendo ese mismo
objeto, pues si no
fuese así, no
podríamos decir que
ese objeto ha
cambiado.
Ejemplo:
Bolívar es Bolívar
Principio de
contradicción
"Es imposible que
A sea B y no sea
B."
Este principio se
enuncia
diciendo: "es
imposible que
algo sea y no sea
al mismo tiempo
y en el mismo
sentido".
Principio de
tercer excluido
"A es B" o "A no
es B“
Este principio
declara que todo
tiene que ser o no
ser
En el principio de
tercero excluido es
preciso reconocer
que una
alternativa es falsa
y otra verdadera y
que no cabría una
tercera posibilidad.
Principio de
Razón suficiente
El principio de
razón suficiente
nos dice que
"todo objeto
debe tener una
razón suficiente
que lo explique".
Lo que es, es por
alguna razón,
"nada existe sin
una causa o
razón
determinante".

17. Tablas de verdad
• Una de las tareas de la lógica
formal es probar que un
argumento es o no valido.
• Para esto podemos utilizar
tablas de verdad.
• Una tabla de verdad es un
esquema, en donde, dada
una preposición compleja,
identificamos preposiciones
atómicas involucradas y
evaluamos todas las
posibilidades en que tales
proposiciones puede
relacionarse en términos de
sus valores de verdad.

18. Tablas de verdad
Para trabajar la
tabla de verdad se
necesitan dos
cosas:
Preposiciones
Conectores
P: Mañana tomaré
café
Q: Comeré pan
tostado

19. Tablas de verdad: Reglas
Regla de la conjunción:
Si las 2 proposiciones
son V será V y el resto F
Regla Disyunción: Si las
dos proposiciones son F
será F, el resto es V
Regla condicional: Si la
primera es V y la
segunda es F será F, el
resto será V
Reglas de Bicondicional:
Si las dos proposiciones
son V será V, cuando las
dos sean F será V, el
resto F

20. Tablas de verdad
Ejercicios explicativos
Actividades

21. Fin de la presentación