Lógica: Introducción y fundamentos Summary & Study Notes

🧠 Concepto de lógica

Lógica es el arte de pensar correctamente y de analizar las estructuras de los argumentos. Sus orígenes se remontan a la Grecia clásica, especialmente a Aristóteles de Estagira (384–322 a. C.), considerado el padre de la lógica. Sus escritos sobre lógica se organizaron en el Organon, un conjunto de obras que articulan el método para la investigación y el razonamiento.

Aristóteles define la lógica como la herramienta para iluminar el camino hacia el conocimiento verdadero, con el silogismo como su herramienta central. La lógica es una rama de la filosofía dedicada a estudiar principios y reglas del razonamiento válido, para distinguir entre razonamientos válidos e inválidos y detectar falacias.

En resumen, la lógica clarifica ideas, estructura el pensamiento y mejora la comunicación. Se divide en ramas principales: lógica formal y lógica informal.

🧭 Lógica informal

La lógica informal analiza el razonamiento en el lenguaje cotidiano y contextos prácticos. Se enfoca en el contenido y el contexto del argumento, no solo en su forma.

Su objetivo es evaluar la veracidad y relevancia de las premisas, y detectar falacias que pueden pasar desapercibidas en la lógica formal. También está ligada a la persuasión y la retórica, ya que busca comprender por qué se convince a otros.

🧮 Lógica formal

La lógica formal utiliza símbolos y reglas para representar y analizar razonamientos, proporcionando un marco riguroso para evaluar la validez. Se fundamenta en axiomas y reglas de inferencia y se puede aplicar a cualquier contenido siempre que respete la forma lógica.

Principales componentes: lenguaje formal, proposiciones y conectores lógicos. Los conectores más usados son:

• Conjunción: $∧$ (y)
• Disyunción: $∨$ (o)
• Negación: $¬$ (no)
• Condicional: $→$ (si... entonces...)
• Bicondicional: $↔$ (si y sólo si)

🔧 Componentes de la lógica formal

• Lenguaje formal: utiliza símbolos para representar proposiciones y conectores, eliminando ambigüedades.
• Proposiciones: unidades básicas que pueden ser verdaderas o falsas.
• Conectores lógicos: permiten formar proposiciones complejas. Principales son:
  • Conjunción $∧$ (verdadera solo si ambas son verdaderas)
  • Disyunción $∨$ (verdadera si al menos una es verdadera)
  • Negación $¬$ (invierte la verdad)
  • Condicional $→$ (verdadera salvo cuando la primera es verdadera y la segunda falsa)
  • Bicondicional $↔$ (verdadera si ambas proposiciones tienen el mismo valor de verdad)

🧯 Reglas de inferencia

La lógica formal define reglas para derivar conclusiones a partir de premisas. Dos ejemplos clave son:

• Modus ponens: si $A \to B$ y $A$, entonces $B$.
• Modus tollens: si $A \to B$ y $¬B$, entonces $¬A$.

Estas reglas permiten construir argumentos válidos a partir de premisas dadas.

🔎 Carácter formal

La lógica formal se ocupa de las formas del pensamiento, no del contenido específico de las premisas. Su objetivo es garantizar la validez de la conclusión a partir de la premisa, estudiando estructuras y reglas en lugar de los temas debatidos.

Conceptos clave para estudiar argumentos:

• Estructura: descomponer argumentos en premisas y conclusión para evaluar su relación.
• Sistemas de símbolos: representan proposiciones y relaciones de forma precisa.
• Leyes de inferencia: reglas que permiten derivar conclusiones.
• Validez y verdad: la validez depende de la forma; la verdad depende de la correspondencia con la realidad.
• Cuantificadores: manejan afirmaciones universales y particulares.
• Lógica proposicional y Lógica de predicados son campos centrales para analizar proposiciones y predicados.

📚 Conceptos para estudiar argumentos

• Estructura: descomponer en premisas y conclusión; la validez implica que, si las premisas son verdaderas, la conclusión también lo es.
• Sistemas de símbolos: eliminan ambigüedades y clarifican relaciones.
• Leyes de inferencia: permiten derivar conclusiones de premisas dadas.
• Validez y verdad: la validez se refiere a la forma lógica; la verdad se refiere a la adecuación con la realidad.
• Cuantificadores: permiten trabajar con enunciados generales y particulares.
• Falacias: errores de razonamiento que pueden aparecer aunque la forma parezca válida.
• Conectores lógicos: su uso facilita la construcción de proposiciones compuestas.

Lógica proposicional

Se ocupa de proposiciones simples y sus conectivos. A través de estas conexiones se construyen proposiciones compuestas y se evalúa la validez de las formas.

Lógica de predicados

Ampliación de la lógica proposicional que introduce variables y relaciones entre objetos. Permite mayor complejidad en argumentos y su evaluación, e incluye cuantificadores como $\forall$ y $\exists$ en su formulación.

⚖ Falacias

La lógica informal identifica falacias: errores en el razonamiento que pueden parecer convincentes pero no son lógicamente válidos. Reconocer falacias ayuda a fortalecer el análisis crítico y la argumentación.

🧠 Tipos de juicios

• A posteriori: conocimientos que requieren experiencia empírica.
• A priori: conocimientos obtenidos sin experiencia, como en matemáticas o lógica.
• Sintéticos: la verdad depende de la realidad y no solo del significado de los términos.
• Analíticos: la verdad se determina por el significado de los términos.

Juicio: verdad y falsedad

Existen varias teorías sobre qué hace que un juicio sea verdadero:

• Teoría de la correspondencia: verdadero si corresponde a la realidad.
• Teoría de la coherencia: verdadero si es coherente con un conjunto de creencias
• Teoría pragmática: verdadero si resulta útil o satisfactorio en la práctica.

Análisis del juicio: verdad y falsedad en la lógica argumentativa

• La estructura del juicio puede representarse como una proposición con sujeto, cópula y predicado.
• Una proposición simple es directa; una proposición compleja incluye condiciones que añaden complejidad.
• Los juicios se clasifican en universales, particulares y negativos, y deben evaluarse en términos de consistencia y validez.

El sujeto, el predicado y la cópula:

• Sujeto: de quién o de qué se habla.
• Predicado: lo que se atribuye al sujeto.
• Cópula: enlace entre sujeto y predicado, comúnmente el verbo “ser”.

Razonamiento: validez e invalidez

Un argumento es válido cuando, si las premisas son verdaderas, la conclusión lo es también. Es inválido si puede haber premisas verdaderas y una conclusión falsa.

Razonamiento deductivo e inductivo

• El razonamiento deductivo parte de premisas generales para llegar a conclusiones específicas y garantiza la verdad de la conclusión si las premisas son verdaderas.
• El razonamiento inductivo parte de observaciones específicas para proponer una generalización; sus conclusiones son probables, no garantizadas.

Inferencia: profundidad y conceptos fundamentales

La inferencia es el proceso de derivar una conclusión a partir de premisas. Es el mecanismo central que une ideas y expande el conocimiento a partir de información disponible.

Tipos de inferencias

• Inmediatas: se extraen de una sola premisa, útiles para afirmaciones directas.
• Mediatas: requieren más de una premisa; se clasifican en deductivas, analógicas e inductivas.

Tipos de razonamientos

• Razonamientos deductivos: la estructura es clara y la conclusión se sostiene si las premisas son ciertas.
• Razonamientos inductivos: se basan en observaciones y la conclusión es probable, no necesaria.
• Razonamientos analógicos: se apoyan en la similitud entre dos situaciones para inferir similitudes en otros aspectos.

Relación de la lógica con otras ciencias

La lógica actúa como puente entre disciplinas: matemáticas, filosofía, informática, ciencias naturales y sociales. Proporciona un marco para el razonamiento claro, la formulación de hipótesis y la validación de conclusiones.

Estructuración del pensamiento

La lógica ayuda a organizar ideas de forma sistemática, permitiendo identificar premisas, conclusiones y falacias. Es clave para construir discursos sólidos y persuasivos.

Resolución de problemas

Al descomponer un problema en partes y aplicar razonamiento lógico, se facilitan soluciones efectivas y bien fundamentadas.

Toma de decisiones

El razonamiento lógico facilita la evaluación de opciones, sopesando pros y contras para decisiones informadas.

Utilidad de la lógica

La lógica respalda el desarrollo de argumentos críticos y la comunicación clara. Proporciona una base para la verificación de resultados en ciencias y debates.

Pensamiento y conocimiento

El pensamiento involucra analizar, evaluar y crear ideas. Diferentes formas de pensamiento se combinan para comprender y avanzar el conocimiento.

Formas de pensamiento

• Crítico: analiza y evalúa información objetivamente para detectar sesgos y errores.
• Creativo: genera ideas nuevas y soluciones innovadoras.
• Analítico: descompone problemas en partes para entender procesos y estructuras.
• Reflexivo: mira hacia adentro para evaluar creencias y experiencias.

El concepto

Un concepto es una idea general que agrupa objetos, acciones o cualidades bajo una denominación. Sirve para categorizar y comunicar, facilitando el razonamiento y la comprensión.

Clasificación de los conceptos

• Según su relación: relacionales vs. independientes.
• Según su extensión: universales vs. particulares.
• Según su complejidad: simples vs. compuestos.
• Según su naturaleza: concretos vs. abstractos.

Extensión y comprensión

• Extensión: cuántos objetos o ejemplos aplica un concepto. Es amplia o restringida y varía según el contexto.
• Comprensión: las características que definen el concepto y permiten distinguirlo de otros.
• La relación entre extensión y comprensión es esencial para comunicar ideas con claridad y para el análisis crítico.

Lógica argumentativa

La lógica argumentativa utiliza conceptos para agrupar características y estructurar argumentos. Los conceptos definen la claridad, coherencia y persuasión de un razonamiento.

Importancia de los conceptos en la lógica argumentativa

1. Claridad: requiere conceptos bien definidos. 2) Coherencia: consistencia a lo largo del argumento. 3) Persuasión: conceptos adecuados fortalecen la posición. 4) Análisis crítico: permite evaluar la validez de argumentos ajenos.

Tipos de juicios (revisitado)

• A posteriori / A priori
• Sintéticos / Analíticos

Evaluación de verdad y falsedad

La verdad se evalúa desde varias teorías: correspondencia, coherencia y pragmática. Es clave distinguir entre verdad y validez en el razonamiento.

El sujeto, el predicado y la cópula (estructura del juicio)

• Sujeto: de quién se afirma una propiedad.
• Predicado: lo que se atribuye al sujeto.
• Cópula: enlace que une sujeto y predicado, comúnmente el verbo "ser".

Razonamiento: validez e invalidez (resumen)

La validez depende de la forma lógica; la verdad depende de si las premisas son verdaderas. Un argumento puede ser válido incluso si sus premisas son falsas.