lOGICA

Definición:

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración en la inferencia valida.

La palabra se 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.

Objeto de estudio:

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 y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.

Educación:

El término lógica, se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado. De este modo la forma argumentativa responde al principio de conocimiento que supone que representa adecuadamente la realidad. Por ello, sin perder su condición de formalidad, no son formalistas y no acaban de desprenderse de las estructuras propias del lenguaje

Con el nombre de dialéctica, en la edad media la Lógica mantiene la condición de ciencia propedéutica. Así se estudia en la estructura de las enseñanzas del trivium como una de las artes liberales.

En la edad moderna la lógica tradicional aristotélica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lógica como ciencia.

En su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbolica ha mostrado su íntima relación con las matemáticas, de tal forma que algunos la consideran como lógica matemática.

Un sistema lógico está compuesto por:

1.  Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).

2.  Un conjunto de reglas de formación (la gramática) que nos dice cómo construir formulas bien formadas a partir de lo símbolos primitivos.

3.  Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula

bien formada.

4.  Un conjunto de reglas de inferencialidad.  Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo, una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.

Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede definirse sin tener que hacerlo.

Esto corresponde al campo llamado semántica formal que se ocupa de introducir un quinto elemento:

Una interpretación formal En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé. Por ejemplo, en el idioma español, la palabra banco puede significar un edificio o un asiento, mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto.

Lema:

¿Que fue primero el huevo o la gallina?