LÓGICA

CONCEPTO DE LOGÍCA
DEFINICIÓN ETIMOLÓGICA

λογική logikḗ RAZÓN, PENSAMIENTO, PALABRA.

Λόγος TRATADO, CIENCIA

Etimológicamente enteriamos por LÓGICA:

¨tratado o estudio de la ciencia de la razon¨
La lógica estudia la inferencia
LAS LAS LAS
DEDUCCIONES INDUCCIONES ABDUCCIONES

Ejemplo:
 Esta lloviendo y es de día
 Por lo tanto, esta lloviendo
 Esta nevando y hace frio
 Por lo tanto, esta nevando
 Esta nevando o hace frio
 Por lo tanto esta nevando
Acepciones

 CIENCIA ARGUMENTATIVA Y PROPEDEUTICA

El termino lógica se encuentra en los antiguos peripatéticos y estoicos como teoría de
la argumentación o argumento cerrado.
 CIENCIA DEL PENSAR
 Al situarse el origen de la reflexión filosófica en la conciencia , aportaron, a través del
desarrollo del análisis como método científico del pensar.
 Leibniz, con su característica universal

 Kant, lógica como lógica trascendental, en el sentido

de investigación los conceptos puros a priori del
entendimiento.

LA
LA
LA LOGICA EPISTEMOLOGI FILOSOFIA: sistema absoluto
ONTOLOGIA
A
 CIENCIA FORMAL
 La lógica matemática tiene conecciones con las ciencias de la computación y lógica filosófica.
 Estudia sistemas formales : conjuntos , números , demostraciones y algoritmas.

SUB CAMPOS DE LA
LOGICA MATEMATICA

TEORIA DE TEORIA DE LA TEORIA DE TEORIA DE LA

MODELOS DEMOSTRACION CONJUNTOS RECURCION
 LOGICA COMO PENSAMIENTO INFORMAL
 Es el lenguaje cotidiano y afirmaciones coherentes.
 Son las creencias o evidencias transmitidas por la tradición cultural.
 Existe un concepto cultural de lógica como: la lógica de las mujeres , la lógica deportiva , etc.
Que en general podríamos considerar como lógica cotidiana.
 METALÓGICA
• Teoría que investiga los sistemas de las tesis y de los conceptos (metateoría)
de la lógica formal contemporánea.
• Se ocupa de los problemas relativos a la teoría de la demostración, a la
determinabilidad de los conceptos, a la verdad en los lenguajes formalizados,
a la interpretación, al sentido, etc.
• La metalógica es una rama de la lógica que estudia las propiedades y los
componentes de los sistemas lógicos.
 CONSISTENCIA
 La consistencia es una propiedad que pueden tener
los conjuntos de fórmulas.
 Es la propiedad que tienen los sistemas formales cuando no es posible
deducir una contradicción entre ellas.
 Intuitivamente, un conjunto de fórmulas es consistente cuando no es
posible deducir una contradicción del mismo. es decir, dado un
lenguaje formal y un aparato deductivo, no es posible demostrar una
fórmula y su negación.
 Un sistema formal es consistente si y sólo si el conjunto de
sus teoremas es consistente.

Demostración de consistencia

 Una demostración de consistencia, o prueba de consistencia, es una

demostración formal de que un sistema formal es consistente. Un
sistema formal es consistente si no contiene una contradicción, o, en
forma más precisa, no existe una proposición tal que se puede
demostrar o deducir simultáneamente la proposición y su negación.

 Referido a un argumento, la consistencia es la necesidad de que todas

las premisas tengan que ser necesariamente y a la vez, como
producto, todas verdaderas, para que el argumento, si es consistente,
pueda ser válido o no válido. Referido al discurso la consistencia tiene
que ver con que las implicaciones lógicas del mismo no sean
autocontradictorias.
Ejemplo de Consistencia
 DECIDIBILIDAD
 Según definición un sistema lógico o teoría es decidible si el
conjunto de todas las fórmulas válidas en el sistema es decidible. Es
decir, existe un algoritmo tal que para cada fórmula del sistema es
capaz de decidir en un número finito de pasos si la fórmula es
válida o no en el sistema.
 Se divide en decidibilidad sintáctica y decidibilidad semántica.
 Ejemplo: La Lógica proposicional (se define una proposición como
un enunciado declarativo que puede ser verdadero o falso, y Las
proposiciones se representan mediante variables proposicionales
simbolizadas mediante letras) es decidible, porque existe para ella
un algoritmo; la tabla de verdad tal que para cada fórmula que
combina M formulas atómicas, hay un número máximo N = 2*M de
pasos tal que tras completar estos N pasos el algoritmo siempre
decidirá si la fórmula es válida o no. Cada "paso" del algoritmo ha
sido definido como una línea de la tabla de verdad.
Decidibilidad Sintáctica:
A) Un sistema formal es decidible sintácticamente si el conjunto de todas
las fórmulas válidas en el sistema es decidible. Es decir, existe un
algoritmo tal que para cada fórmula del sistema es capaz de decidir en un
número finito de pasos si la fórmula es válida o no en el sistema.

B) La lógica de primer orden es sintácticamente decidible si se limita a

predicados con un solo argumento (monádica). Si se incluyen predicados
con dos o más argumentos, no es decidible.

C) Toda teoría completa y recursivamente enumerarle es decidible

sintácticamente. Por otro lado, toda teoría que incluya aritmética básica
no es decidible sintácticamente.
Decidibilidad Semántica

 Un sistema formal es decidible semánticamente si existe un método

lógico y finito para evidenciar que el axioma, proposición, fórmula
etc. es un teorema.
Completitud

 En metalógica, la completitud o completitud semántica es la propiedad metateórica

que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas
las verdades lógicas) del sistema son además teoremas del sistema. Es decir, cuando el
conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de
teoremas.
 Por otra parte, la completitud sintáctica es la propiedad que tienen los
sistemas formales cuando, para toda fórmula del lenguaje del sistema, o
bien es un teorema o bien su negación lo es. Esto es, existe una prueba
para cada fórmula o para su negación.
 La lógica proposicional y la lógica de primer orden son ambas
semánticamente completas, pero no sintácticamente completas. Por
ejemplo, en la lógica proposicional, la fórmula p no es un teorema, y
tampoco lo es su negación, de modo que eso basta para mostrar que no
es sintácticamente completa. No obstante, como ninguna de esas dos
fórmulas es una verdad lógica, no afectan a la completitud semántica del
sistema.
RAMAS DE LA LOGICA
La Lógica Filosófica

EL argumento

Sybil Wolfram El significado

La verdad
Identidad Existencia

Colin McGinn Predicado

Verdad
Estado de necesidad
La Lógica Matemática

Teoría de Modelos Teoría de la demostración

Lógica Matemática

Teoría de la recursión
Teoría de conjuntos
Circuitos computacionales

LOGICA COMPUTACIONAL Programación logica

Análisis y Optimización
 SISTEMA FORMAL
• Sistema lógico – deductivo constituido por un lenguaje formal.
• Se han encontrado aplicaciones dentro de la informática, estadística, etc.
SISTEMAS LÓGICOS
Se podría definir a un sistema lógico como un conjunto de cosas, que
nos ayudan en la toma de decisiones que sean lo más
convenientemente posible.

Un sistema lógico está compuesto por:

 Un conjunto de símbolos primitivos

 Un conjunto de reglas de formación

 Un conjunto de axiomas
 Un sistema deductivo
 Una interpretación formal
LÓGICA CLÁSICAS


 LÓGICA PROPOSICIONAL

 LÓGICA DE PRIMER ORDEN

LOGICA DE SEGUNDO ORDEN

LÓGICA PROPOSICIONAL
Expresión en el Símbolo en
Conectiva Ejemplo
lenguaje natural este artículo

Negación no No está lloviendo. ~

Está lloviendo y está

Conjunción y Λ
nublado.
Está lloviendo o está
Disyunción o V
soleado.
Si está
Condición material si... entonces soleado, entonces es →
de día.
Está nublado si y sólo
Bicondicional si y sólo si ↔
si hay nubes visibles.
Ni está
Disyunción opuesta ni... ni soleado ni está ↓
nublado.
O bien está
Disyunción exclusiva o bien... o bien soleado, o bien está
nublado.
LÓGICAS NO CLÁSICAS

Una lógica no clásica o lógica alternativa es un sistema formal que difiere

de manera significativa de las lógicas clásica. 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. El objetivo de estas desviaciones es para hacer posible construir
distintos modelos de consecuencia lógica y verdad lógica.
La lógica filosófica, especialmente en la ciencia computacional teorica,
se usa para abarcar y centrarse en las lógicas no clásicas, a pesar de que
el término tiene otros significados también.
LÓGICAS MODALES

Una lógica modal es un sistema formal que intenta capturar el

comportamiento deductivo de algún grupo de operadores modales. Los
operadores modales son expresiones que califican la verdad de los
juicios. Por ejemplo, en la oración «es necesario que 2 + 2 = 4», la
expresión «es necesario que» es un operador modal que califica
de necesaria a la verdad del juicio «2 + 2 = 4». De manera análoga, la
expresión «siempre» califica a un juicio verdadero como verdadero en
cualquier momento, es decir, siempre. No es lo mismo decir «está
lloviendo» que decir «siempre está lloviendo».
Historia
Edad antigua

Edad media

Edad moderna

Edad contemporánea
EDAD ANTIGUA

GRECIA CHINA
Lógica griega (Aristotélica)
EDAD MEDIA

EUROPA ASIA
 EDAD MODERNA

DESCARTES LEIBINZ PASCAL

LÓGICA CONTEMPORÁNEA

AUGUSTUS DE MORGAN
FALACIAS Y PARADOJAS
FALACIAS FORMALES

 Las falacias formales son aquellas cuyo error reside en la forma o

estructura de los argumentos.
FALACIAS INFORMALES

 Las falacias informales son aquellas cuya falta está en algo distinto a la forma
o estructura de los argumentos.
TIPOS DE FALACIAS INFORMALES

 Falacia ad hominem

 Falacia ad verecundiam

 Falacia ad ignorantiam

 Falacia ad baculum

 Falacia circular

 Falacia del hombre de paja

Paradojas

 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.