Lógica
tipos de lógica
Informal
Se ocupa de razonamiento en el lenguaje cotidiano
Se centra más en el contenido y contexto de los segmentos que en su forma estructural
Características
• con textualidad
• contenido
• falacias
• persuasión
Componentes
Lenguaje formal
utiliza símbolos para representar preposiciones y conectores lógicos
Preposiciones
unidades básicas del conocimiento, puede ser válidas o falsas
Conectores lógicos
• conjunción (y)
• disyunción (o)
• negación (no)
• condicional (sí….. entonces)
• Bicondicional (sí y solo sí)
Formal
Se centra en la estructura de los argumentos, sin importar el contenido de las premisas
Utiliza símbolos y reglas precisas
Su objetivo es garantizar que las conclusiones sean válidas a partir de las premisas
Características
• Precisión
• Validez
• sistema axiomático
• universalidad
carácter formal de la lógica
Estructura
estructura de los argumentos.
premisas y conclusiones
Sistema de los símbolos
se usan para representar preposiciones y relaciones
Leyes de inferencia
son reglas para derivar una conclusión de las premisas
Validez y verdad
es la forma de la que un argumento y la verdad se entrelazan
Un argumento puede ser válido aunque sus permisos sean falsas
Cuantificadores
son utilizados por la lógica formal ejemplo todos algunos
Lógica proporcional
se ocupa de las preposiciones simples y sus conectores lógicos
con esas conexiones se construyen preposiciones compuestas
Lógica de predicados
Extiende la lógica proporcional al incluir
variables y relaciones
la cual agrega mayor complejidad en los argumentos y su evaluación
Falacias
la lógica formal ayuda e identifica
Consistencia
un sistema lógico debe ser consciente
significa que no se debe prestar contracciones
Aplicaciones
la lógica formal se aplica en:
filosofía matemáticas informática y ciencia
deductiva inductivo
la lógica formal enfoca en el razonamiento deductivo
significa que las conclusiones serán ciertas si las premisas también lo son
Es el estudio de los principios y reglas que rigen el razonamiento válido
Su objetivo es analizar la estructura de los argumentos e identificar porque una conclusión deriva de las premisas
obleto de estudio
razonamiento
se trata de la forma mas completa
del razonamiento
los juicios se en lazan logicamente para llegar
a una conclusion
juicios