Fundamentos de la Lógica: Conceptos Esenciales y Principios Básicos

Introducción a la Lógica y sus Fundamentos

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».

La lógica examina la validez de los argumentos en términos de su estructura (estructura lógica), independientemente del contenido específico del discurso, de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.

Conceptos Clave en Lógica

Lógica Formal

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que, al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

Símbolo

Un símbolo es la representación perceptible de una idea, con rasgos asociados por una convención socialmente aceptada. Es un signo sin semejanza ni contigüidad, que solamente posee un vínculo convencional entre su significante y su denotado, además de una clase intencional para su designado.

Reglas de Formación y Elementos de un Cálculo

Junto con los signos primitivos y las reglas de transformación, las reglas de formación son uno de los componentes esenciales de un cálculo. Son las reglas sintácticas que, aplicadas a los signos primitivos, permiten construir fórmulas bien formadas.

Componentes Fundamentales de la Lógica

Axioma

En matemática, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente, los axiomas se eligen de las consideradas «afirmaciones evidentes», porque permiten deducir las demás fórmulas.

Regla de Inferencia

En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.

Proposición

En lógica y filosofía, el término proposición es un tanto ambiguo y se usa para referirse a:¹

• Las entidades portadoras de los valores de verdad.¹
• Los objetos de las creencias y de otras actitudes proposicionales.¹
• Los referentes de las cláusulas-'que', como «Juan cree que el Sol es una estrella».¹
• El significado de las oraciones declarativas, como «el Sol es una estrella».¹

Tabla de Verdad

Una tabla de verdad, o tablas de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.¹