Este documento resume la historia y conceptos clave de la lógica. Comienza con una breve historia de la lógica desde la antigüedad hasta el siglo XX, luego define la lógica y distingue entre metalógica, falacias, paradojas y diferentes sistemas lógicos como la lógica clásica y no clásica. Finalmente, contrasta la lógica deductiva, inductiva y abductiva.

1. •Manrriquez Nava SilviaManrriquez Nava Silvia
•Ramírez Casillas MaríaRamírez Casillas María
•Sandoval Castorena SivelSandoval Castorena Sivel
•Villa Vergara JohannaVilla Vergara Johanna
***ADMINISTRACIÓN DEL CONOCIMIENTO***
INTEGRANTES:INTEGRANTES:

3. Historia
La palabra logica ha ido evolucionando con el
tiempo por filosofos y griegos.
Edad antigua
• Originalmente se desarrollo en tres civilizaciones
de la historia antigua: en china, la india y grecia.
Entre el siglo V y el siglo I a. C.
• Se dice que Aristóteles fue el fundador de la
logica, el decía que era un herramienta básica
para todas las ciencias.

4. Edad media
La logica fue una de las 7 artes liberales y el estudio
de ella era requisito para entrar a cualquier
universidad .
En el siglo XIII la logica incluye 3 cuerpos separados
de texto:
• Logica vetus y nova. Son escritos y comentarios por
filosofos.
• La parva logicalia .Son materias independientes y
nuevas respecto a la logica.
• Pensadores lógicos : Pedro Abelardo ,Guillermo de
Ockham y Juan Buridán.

5. Siglo XIX
• A partir de este siglo se ha revolucionado la logica,
Boole fue una persona construye la lógica como un
cálculo en el que los valores se representan mediante
el 0 (falsedad) y el 1 (verdad).
• Unos de los lógicos mas importantes de la logica es
Frege junto de la mano con Aristóteles.
• En 1893 y 1903, Frege publica las leyes de la
aritmética en donde intenta deducir la matemática a
partir de la logica.

6. Siglo XX
• Se da uno de los más grandes desarrollos de la
logica.
• En 1910, Bertrand Russell y Alfred North
Whitehead, Principia mathematica en el que
lograron gran parte de la matemática en la logica.
• Se desarrollaron otros sistemas lógicos; entre los
que destacan las muchas lógicas.

8. Lógica
Es una ciencia formal y una rama de la
filosofía que estudia los principios de la demostración
e inferencia valida.
La lógica examina la validez de los argumentos en
términos de su estructura, independientemente del
contenido específico de los estados reales a los que
aquéllos se puedan referir.

9. Diferentes acepciones del
término "lógica"
Incluso hoy en día en las diferentes disciplinas
como la lógica de la literatura , etc. distribuidos, la
"lógica" no es una teoría del razonamiento que se
entiende, sino una doctrina general de "leyes" o
las prácticas que se aplican en un campo
determinado.

10. • Un argumento es una "lógica" coloquialmente sabe si
este válida, convincente, convincente, razonable y
clara.
• En un argumento lógico es la habilidad de pensar
para expresarlo.

12. Metalógica
Mientras la lógica se encarga, entre otras cosas,
de construir sistemas lógicos, la metalógica se
ocupa de estudiar las propiedades de dichos
sistemas.
• Propiedades más importantes que se pueden
demostrar de los sistemas lógicos son:

13. Consistencia
Un sistema tiene la propiedad de ser consistente cuando no
es posible deducir una contradicción dentro del sistema.
Decidibilidad
Se dice de un sistema que es decidible cuando, para cualquier
fórmula dada en el lenguaje del sistema, existe un método
efectivo para determinar si esa fórmula pertenece o no al
conjunto de las verdades del sistema.
Completitud
Se habla de completitud en varios sentidos, pero quizás los
dos más importantes sean los de completitud semántica y
completitud sintáctica. Un sistema S en un lenguaje L es
semánticamente completo cuando todas las tautologías de L
son teoremas de S.

15. Falacias
Una falacia es un argumento que si bien puede
ser convincente o persuasivo, no es lógicamente
válido. Esto no quiere decir que la conclusión de
los argumentos falaces sea falsa, sino que el
argumento mismo es malo, no es válido.
Clasificación de Falacias:
 Falacias formales
 Falacias informales

16. Falacias formales
Algunos ejemplos conocidos de falacias formales son:
Afirmación del consecuente: Un ejemplo de esta falacia podría ser:
– Si María estudia, entonces aprobará el examen.
– María aprobó el examen.
– Por lo tanto, María estudió.
Generalización apresurada: se intenta concluir una proposición general a
partir de un número relativamente pequeño de casos particulares.
ejemplo:
– Todas las personas altas que conozco son rápidas.
– Por lo tanto, todas las personas altas son rápidas.

17. Falacias informales
• Falacia ad hominem: se llama falacia ad hominem a todo
argumento que, en vez de atacar la posición y las
afirmaciones del interlocutor, ataca al interlocutor mismo.
• Falacia ad verecundiam: se llama falacia ad verecundiam a
aquel argumento que apela a la autoridad o al prestigio de
alguien o de algo a fin de defender una conclusión, pero sin
aportar razones que la justifiquen.
• Falacia ad ignorantiam: se llama falacia ad ignorantiam al
argumento que defiende la verdad o falsedad de una
proposición porque no se ha podido demostrar lo contrario.

18. • Falacia ad baculum: Se llama falacia ad baculum a todo
argumento que defiende una proposición basándose en la
fuerza o en la amenaza.
• Falacia circular: se llama falacia circular a todo argumento
que defiende una conclusión que se verifica recíprocamente
con la premisa, es decir que justifica la vericidad de la premisa
con la de la conclusión y viceversa, cometiendo circularidad.
• Falacia del hombre de paja: Sucede cuando, para rebatir los
argumentos de un interlocutor, se distorsiona su posición y
luego se refuta esa versión modificada. Así, lo que se refuta
no es la posición del interlocutor, sino una distinta que en
general es más fácil de atacar.

19. Paradojas
• Una paradoja es una razonamiento en apariencia
válido, que parte de premisas en apariencia
verdaderas, pero que conduce a una
contradicción o a una situación contraria al
sentido común.
• Los esfuerzos por resolver ciertas paradojas han
impulsado desarrollos en la lógica, la filosofía, la
matemática y las ciencias en general.

21. Sistemas Lógicos
Un sistema lógico se define como un conjunto de
cosas, que nos ayudan en la toma de decisiones
que sean lo más convenientemente posible.

22. Compuestos por:
1. Un conjunto de símbolos primitivos (el alfabeto, o
vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos
dice cómo construir fórmulas bien formadas a partir de los
símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas.
4. Un conjunto de reglas de inferencia.

23. 5. Una interpretación formal. En los lenguajes
naturales, una misma palabra puede significar
diversas cosas dependiendo de la interpretación
que se le dé.

24. Lógicas clásicas
Se caracterizan por incorporar ciertos
principios tradicionales que otras lógicas
rechazan.
Se dividen en:
• Lógica proposicional. sólo puede representar
hechos acerca del mundo.

25. • Lógica de primer orden. describe un mundo que
consta de objetos y propiedades (o predicados)
de esos objetos.
"esta esmeralda es verde"
• Lógica de segundo orden. es una extensión de
una lógica de primer orden en la que se añaden
variables para propiedades y cuantificadores que
operan sobre esas variables.
"el verde es un color",

26. Lógicas no clásicas
• Los sistemas lógicos no clásicos son aquellos
que rechazan uno o varios de los principios de
la lógica clásica.

27. • Lógica difusa o borrosa: se basa en lo relativo de lo
observado
• Lógica relevante: Es una lógica paraconsistente que
evita el principio de explosión al exigir que para que
una implicación sea válida, el antecedente y el
consecuente deben compartir al menos una variable.
• Lógica cuántica: Desarrollada para lidiar con
razonamientos en el campo de la mecánica cuántica;
su característica más notable es el rechazo de la
propiedad distributiva.

28. • Lógica no monotónica: Una lógica no montónica
es una lógica donde, al agregar una fórmula a
una teoría cualquiera, es posible que el conjunto
de consecuencias de esa teoría se reduzca.
• Lógica intuicionista rechaza el principio del
tercero excluido, pero conserva principio de
explosión.

29. • Las lógicas modales están diseñadas para tratar
con expresiones que califican la verdad de los
juicios.
• Por ejemplo, la expresión "siempre" califica a un
juicio verdadero.
Lógicas modales
No es lo mismo decir "está lloviendo"
que decir "siempre está lloviendo".

30. • Lógica modal: Trata con las nociones de
necesidad, posibilidad, imposibilidad y
contingencia.
• Lógica deóntica: Se ocupa de las nociones morales
de obligación y permisibilidad.
• Lógica temporal: Abarca operadores temporales
como "siempre", "nunca", "antes", "después", etc.
"¡te ordeno que te calles, grosero!",
"prohibido el paso; perro agresivo puede atacar",
"todo ser humano es libre de expresar su pensamiento”
"Tengo hambre"
"es necesario que 2+2=4"

31. • Lógica epistémica: Es la lógica que formaliza los
razonamientos relacionados con el conocimiento.
• Lógica doxástica: Es la lógica que trata con los
razonamientos acerca de las creencias.

32. • La lógica deductiva es cuando a partir de un universo
sacas conclusiones de un elemento del universo.
Por ejemplo:
Todos los perros ladran.
Por lo tanto, mi perro ladra
• La lógica inductiva es cuando a partir de un elemento
o unos pocos elementos obtienes conclusiones a
acerca del universo.
Por ejemplo:
Mi perro ladra y el perro del vecino ladra.
Por lo tanto seguramente todos los perros
ladran.

33. • Lógica abductiva: razonamiento que opera con
una especie de silogismo en donde la premisa
mayor es considerada cierta mientras que la
premisa menor es solo probable, por este motivo
la Conclusión a la que se puede llegar tiene el
mismo grado de probabilidad que la premisa
menor.
Regla: "Todos las bolillas de la bolsa x son blancas".
Caso: "Estas bolillas son blancas“
Abducción: "Estas bolillas proceden de la bolsa x".