¿Qué es la lógica? | Filosofía

|Estás en: Home » Filosofía » ¿Qué es la lógica? | Filosofía

Ver en PDFimage_printImprimir

La lógica es un área de la filosofía que tiene como objetivo estudiar la estructura formal de los enunciados (proposiciones) y sus reglas. En definitiva, la lógica sirve para pensar correctamente, por lo que es una herramienta para pensar correctamente.

La lógica se origina en la palabra griega logos, que significa razón, argumento o discurso. La idea de hablar y discutir presupone que lo que se dice tiene significado para el oyente.

Este sentido se basa en la estructura lógica, cuando algo «tiene lógica» significa que tiene sentido, es un argumento racional.

Lógica en Filosofía

Fue el filósofo griego Aristóteles (384 a. C.-322 a. C.) quien creó el estudio de la lógica, lo llamó analítico.

Para él, cualquier conocimiento que pretenda ser verdadero y universal debe respetar unos principios, los principios lógicos.

La lógica (o analítica) llegó a entenderse como un instrumento de pensamiento correcto y la definición de elementos lógicos que subyacen al conocimiento verdadero.

Los principios lógicos

Aristóteles desarrolló tres principios básicos que guían la lógica clásica.

1. Principio de identidad

Un ser es siempre idéntico a sí mismo: LA Es LA. Si reemplazamos LA para María, por ejemplo, es: María es María.

2. Principio de no contradicción

Es imposible ser y no ser al mismo tiempo, o que el mismo ser sea su contrario. Es imposible que LA ser LA y no A, al mismo tiempo. O, siguiendo el ejemplo anterior: es imposible que María sea María y no sea María.

3. Principio del tercero excluido o tercero excluido

En las proposiciones (sujeto y predicado), solo hay dos opciones, afirmativas o negativas: LA Es X o LA Es no-x. María es maestra o María no es maestra. No hay una tercera posibilidad.

Vea también: Lógica aristotélica.

La proposicion

En un argumento, lo que se dice y tiene la forma de sujeto, verbo y predicado se llama proposición. Las proposiciones son enunciados, afirmaciones o negaciones, y su validez o falsedad se analiza lógicamente.

A partir del análisis de proposiciones, el estudio de la lógica se convierte en una herramienta para el pensamiento correcto. Pensar correctamente necesita principios (lógicos) que garanticen su vigencia y verdad.

Todo lo que se dice en un argumento es la conclusión de un proceso mental (pensamiento) que evalúa y juzga algunas posibles relaciones existentes.

El silogismo

De estos principios tenemos un razonamiento lógico deductivo, es decir, de dos certezas (premisas) previas llegamos a una nueva conclusión, a la que no se hace referencia directa en las premisas. A esto se le llama silogismo.

Ejemplo:

Todo hombre es mortal. (premisa 1)
Sócrates es un hombre. (premisa 2)
Por tanto, Sócrates es mortal. (conclusión)

Esta es la estructura básica del silogismo y el fundamento de la lógica.

Los tres términos del silogismo se pueden clasificar según su cantidad (universal, particular o singular) y su calidad (afirmativa o negativa)

Las propuestas pueden variar en cuanto a su calidad en:

  • Afirmativo: S es P. Todo ser humano es mortal, María es trabajadora.
  • Negativos: S no es P. Sócrates no es egipcio.

También pueden variar en cantidad en:

  • Universal: Cada S es P. Todos los hombres son mortales.
  • Individuos: Alguna S es P. Algunos hombres son griegos.
  • Individual: Esta S es P. Sócrates es griego.

Ésta es la base de la lógica aristotélica y sus derivaciones.

vea también: ¿Qué es el silogismo?

Lógica formal

En la lógica formal, también llamada lógica simbólica, hay una reducción de proposiciones a conceptos bien definidos. Por tanto, lo que se dice no es lo más importante, sino su forma.

La forma lógica de los enunciados se trabaja a través de la representación (simbólica) de las proposiciones mediante letras: PAG, q y r. También investigará las relaciones entre proposiciones a través de sus operadores lógicos: conjunciones, disyunciones y acondicionamiento.

Lógica proposicional

De esta forma, las proposiciones se pueden trabajar de diferentes formas y sirven como base para la validación formal de un enunciado.

Los operadores lógicos establecen las relaciones entre proposiciones y hacen posible la vinculación lógica de sus estructuras. Algunos ejemplos:

Negación

Es lo opuesto a un término o proposición, representado por el símbolo ~ o ¬ (negación de PAG es ~ p o ¬ PAG). En la tabla, para verdadero p, tenemos ~ p falso. (hace sol = PAG, sin sol = ~ PAG o ¬ PAG).

Conjunción

Es la unión entre proposiciones, el símbolo ∧ representa la palabra «e» (hoy, hace sol y voy a la playa, PAGq). Para que la conjunción sea verdadera, ambas deben ser verdaderas.

Disyunción

Es la separación entre proposiciones, el símbolo v representa «o» (voy a la playa o me quedo en casa , PAG v q). Para su validez, al menos uno (o otro) debe ser cierto.

Condicional

Es el establecimiento de una relación causal o de condicionalidad, el símbolo ⇒ representa «si entonces …«(Si llover, luego Me quedaré en casa, PAG q).

Bi-condicional

Es el establecimiento de una relación de condicionalidad en ambas direcciones, hay una doble implicación, el símbolo ⇔ representa «si y solo si,«. (Voy a clase si, y solo si, no estoy de vacaciones, PAGq).

Aplicando a la tabla de verdad, tenemos:

PAG q ~ p ~ q PAGq PAG v q PAG q PAG q
V V F F V V V V
V F F V F V F F
F V V F F V V F
F F V V F F V V

Las letras F y V se pueden reemplazar por cero y uno. Este formato se usa ampliamente en lógica computacional (F = 0 y V = 1).

vea también: Mesa de la verdad.

Otros tipos de lógica

Hay varios otros tipos de lógica. Estos tipos, en general, son derivaciones de la lógica formal clásica, presentan una crítica del modelo tradicional o un nuevo enfoque para la resolución de problemas. Algunos ejemplos son:

1. Lógica matemática

La lógica matemática se deriva de la lógica aristotélica formal y se desarrolla a partir de sus relaciones de valores de las proposiciones.

En el siglo XIX, los matemáticos George Boole (1825-1864) y Augustus De Morgan (1806-1871) fueron los encargados de adaptar los principios aristotélicos a las matemáticas, dando lugar a una nueva ciencia.

En él se evalúan las posibilidades de verdad y falsedad a través de su forma lógica. Las frases se transforman en elementos matemáticos y se analizan en función de su relación entre valores lógicos.

vea también: Lógica matemática.

2. Lógica computacional

La lógica computacional se deriva de la lógica matemática, pero va más allá y se aplica a la programación de computadoras. Sin ella, varios avances tecnológicos, como la inteligencia artificial, serían imposibles.

Este tipo de lógica analiza las relaciones entre los valores y los transforma en algoritmos. Para eso, también utiliza modelos lógicos que rompen con el modelo inicialmente propuesto por Aristóteles.

Estos algoritmos son responsables de una serie de posibilidades, desde la codificación y decodificación de mensajes hasta tareas como el reconocimiento facial o la posibilidad de coches autónomos.

De todos modos, toda la relación que tenemos con las computadoras, hoy, pasa por este tipo de lógica. Mezcla las bases de la lógica aristotélica tradicional con elementos de las llamadas lógicas no clásicas.

3. Lógicas no clásicas

Lógica no clásica o anticlásica significa una serie de procedimientos lógicos que abandonan uno o más principios desarrollados por la lógica tradicional (clásica).

Por ejemplo, lógica difusa (difuso), ampliamente utilizado para el desarrollo de la inteligencia artificial, no utiliza el principio del tercero excluido. En él se permite cualquier valor real entre 0 (falso) y 1 (verdadero).

Ejemplos de lógica no clásica son:

  • Lógica difuso;
  • Lógica intuicionista;
  • Lógica paraconsistente;
  • Lógica modal.

Curiosidades

Mucho antes de cualquier tipo de lógica computacional, la lógica sirvió como base para todas las ciencias existentes. Algunos traen este razonamiento expresado en su propio nombre usando el sufijo «pesado«de origen griego.

La biología, la sociología y la psicología son algunos ejemplos que dejan en claro su relación con la logos Griego, entendido desde la idea de un estudio lógico y sistemático.

La taxonomía, clasificación de los seres vivos (reino, filo, clase, orden, familia, género y especie), aún hoy, sigue un modelo lógico de clasificación en categorías propuesto por Aristóteles.

image_pdfVer en PDFimage_printImprimir

Deja un comentario

dieciseis − 2 =