RETROALIMENTACIÓN Y RAMAS DE

LA LÓGICA
 INTEGRANTES
• SARA SERVÍN.
• GABRIEL RAMÍREZ.
• WILLIAN SÁNCHEZ.
• ALAN BENÍTEZ.
• CLARA RECALDE.
• ANDREA SAMANIEGO.
• VERÓNICA CÓRDOBA.
• NIDIA BERNAL.
• VIKTOR OJEDA.
• MICAELA CÁCERES.
• CARMEN MALLORQUÍN.
La lógica es una rama de la filosofía de carácter interdisciplinario,
entendida como la ciencia formal que estudia los principios de la
demostración y la inferencia válida, las falacias, las paradojas y
la noción de verdad.
No existe acuerdo universal sobre la definición exacta o los límites
de la lógica.

TEMAS QUE TIENE EN CUENTA LA LÓGICA

 INFERENCIA.
 VALIDEZ.
 FALACIA.
 PARADOJAS.
 VERDAD.
La lógica matemática, también llamada lógica simbólica, lógica
teorética, lógica formal o logística, es el estudio formal y simbólico
de la lógica, y su aplicación a algunas áreas de la matemática y
la ciencia. Comprende la aplicación de las técnicas de la lógica
formal a la construcción y el desarrollo de las matemáticas y el
razonamiento matemático, y conversamente la aplicación de
técnicas matemáticas a la representación y el análisis de la lógica
formal.
La lógica computacional es la misma lógica matemática
aplicada al contexto de las ciencias de la computación. Su uso
es fundamental en varios niveles: en los circuitos
computacionales, en la programación lógica y en el análisis y
optimización (de recursos temporales y espaciales) de
algoritmos.
Entendida en un sentido estricto, la lógica filosófica es el área de
la filosofía que estudia la aplicación de métodos lógicos a
problemas filosóficos, a menudo en forma de sistemas lógicos
extendidos como la lógica modal. Algunos teóricos conciben la
lógica filosófica en un sentido más amplio como el estudio del
alcance y la naturaleza de la lógica en general. En este sentido, la
lógica filosófica puede considerarse idéntica a la filosofía de la
lógica, que incluye temas adicionales como la definición de la
lógica o la discusión de los conceptos fundamentales de la lógica.
 Edad Moderna Edad
Contemporánea
Edad Antigua Edad Media “1.546 – 1642
Galileo Galilei. “1818 – 1883
“1.206 – 1.280 Él distingue Karl Marx.
“384-322 a. C. Alberto Magnus Padre teórico
entre axiomas y
Aristóteles. establece el del socialismo
postulados,
Creador de la procedimiento científico y del
desarrolla el
Lógica y el de convertir las comunismo, es
método
Órganon, este preposiciones considerado una
experimental
ya entendía la mediante un figura histórica
con el
lógica como una entimema o para entender a
tratamiento
ciencia silogismo la sociedad y la
matemático de
metodológica”. abreviado”. política”.
la hipótesis”.
Es el estudio de los argumentos a posteriori en oposición al
estudio técnico y teórico de la lógica matemática. Esta parte de
la lógica se dedica principalmente a diferenciar entre formas
correctas e incorrectas en que se desarrolla el lenguaje y el
pensamiento cotidiano, en especial al estudio de los procesos
para obtener conclusiones a partir de información dada, sin
importar su forma lógica. Parte de que el pensamiento y el
lenguaje humano es a menudo incorrecto, o tendencioso.
Las partes de la lógica silogística, también conocida con el nombre
de lógica de términos, son el análisis de los juicios en proposiciones
que consisten en dos términos que están relacionados por una de
un número fijo de relaciones, y la expresión de inferencias
mediante silogismos que consisten en dos proposiciones que
comparten un término común como premisa, y una conclusión que es
una proposición que involucra los dos términos no relacionados de
las premisas.
Es parte de la lógica que estudia la formación de proposiciones
complejas a partir de proposiciones compuestas haciendo de
ellas proposiciones simples y el valor de verdad de dichas
proposiciones.
PROPOSICIÓN:
 Proposición simple.
 Proposición compuesta.

Por lo general, se usan las letras “p” y “q”.

CONECTIVOS LÓGICOS
Son ideas expresadas en dos o más proposiciones simples
haciendo de ellas proposiciones compuestas.
 EJEMPLO

NOMBRE CONECTIVO SÍMBOLO

NEGACIÓN NO ¬
CONJUNCIÓN Y ∧
DISYUNCIÓN O ∨
CONDICIONAL ENTONCES →
BICONDICIONAL SÍ Y SOLO SÍ ↔
En el lenguaje, la modalidad se ocupa del fenómeno de que las
sub partes de una oración pueden tener su semántica modificada
por verbos especiales o partículas modales. Por ejemplo, "Vamos
a los juegos" puede modificarse para dar "Debemos ir a los
juegos", y "Podemos ir a los juegos" y quizás "Iremos a los
juegos". De forma más abstracta, podríamos decir que la
modalidad afecta a las circunstancias en las que damos por
satisfecha una afirmación. La confusión de la modalidad se
conoce como falacia modal.
La lógica de predicados es utilizada para expresar el significado
de un amplio alcance de proposiciones en matemáticas y ciencias
de cómputos de manera que nos permite razonar y explorar
relaciones entre los objetos.

LÓGICA DE PREDICADOS
Todos los hombres Algunas niñas son
son mortales rubias
H (x) = x es hombre N (x) = x es niña
M (x) = x es mortal R (x) = x es rubia
∀x = H (x) → M (x) ∃x : N (x) ∧ R (x)
Las lógicas discutidas anteriormente son todas "bivalentes" o "de
dos valores"; es decir, se entienden de forma más natural como la
división de las proposiciones en verdaderas y falsas. Los sistemas
de lógica no clásica son aquellos que rechazan varias reglas de
la lógica clásica.
Una lógica no clásica o lógica alternativa es un sistema formal
que difiere de manera significativa de las lógicas clásicas. Hay
varias formas de hacerlo, incluyendo a modo de extensiones,
desviaciones, y variaciones, por ejemplo, rechazando uno o varios
de los principios de la lógica clásica.
I. CONTESTA
1. ¿Qué estudia la Lógica computacional?
2. ¿Qué rama de la Lógica estudia los razonamientos por medio de preguntas y
búsqueda de la verdad?
3. ¿Cuál es la Lógica que busca argumentos a posteriori? ¿Por qué?

II. INDICA SI ES VERDADERO O FALSO. JUSTIFICA LAS FALSAS

1. La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica
informal o logística, es el estudio informal y simbólico de la lógica (………)
_________________________________________________________________
2. La confusión de la modalidad se conoce como falacia modal (……….)
_________________________________________________________________
3. En los conectivos lógicos, por lo general, se usan las letras “p” y “q” (………..)
_________________________________________________________________
POR SU ATENCIÓN!