Lógica: Maneras correctas de razonar

La lógica es la ciencia o conocimiento que se propone definir maneras correctas de razonar.

Ninguna lógica excluye a otra. El que una sea válida no invalida a ninguna otra.

La lógica, junto con las matemáticas, se consideran ciencias formales, dado que se aplican a cualquier materia.

Las lógicas manipulan símbolos para deducir, inducir, demostrar etc. verdades, falsedades, contradicciones e incluso incertidumbres. El superconjunto (conjunto que engloba a otro) que engloba a la o las lógicas es el de los cálculos. (Un cálculo no es más que un sistema de procedimientos para manipular y transformar símbolos.)

En la lógica cada variable puede adoptar uno de dos valores de verdad: verdadero y falso. Guarda una fuerte analogía con lo digital, con lo hiperdigital para ser exactos.

Tipos de lógica

Proposicional. Una proposición es algo susceptible de ser verdadero o falso, por ejemplo Llevas tres días sin ducharte. Las proposiciones se suelen representar mediante letras minúsculas (p, q etc.) a modo de variables. Un ejemplo sencillo sería Si llueve no vienen, representable mediante si p entonces q, donde p significa si llueve y q significa no vienen.
De predicados.. Maneja objetos y relaciones o predicados. Un ejemplo sencillo sería: conduce(Luis). Otro más complicado, por cierto falso: si coche_propio(X) entonces conduce(X). Un lenguaje de programación que modela una lógica de predicados muy simple es PROLOG (contracción del francés Programation Logique). En PROLOG escribiríamos así el último ejemplo: conduce(X) :- coche_propio(X). Por alguna razón histórica en lugar de si se utiliza :-
Deóntica.
Modal.
Difusa. (fuzzy)
Matemática. La lógica específica de las matemáticas.
Cuántica.
Causas y condiciones.

Identidad y diferencia

La diferencia entre dos entes se explica rigurosamente porque no comparten una misma identidad y por la diferencia de rasgos, tanto en especímenes como en clases de entes. Por ejemplo un sillón se diferencia de una silla en que es acolchado.

En formato JSON esto podría representarse:

class sillon {
  acolchado: 1,
  respaldo: 1
};

class silla {
  acolchado: 0,
  respaldo: 1
}

Con respecto a la identidad, ésta se predica por compartir la misma sustancia (mi brazo derecho comparte la misma sustancia que mi extremidad superior derecha) y en muchos casos por ocupar el mismo lugar o volumen de espacio, en el caso de objetos densos no interpenetrables.

No obstante la mayoría de las veces nos importa la cuestión de la identidad por lo que hace al ego. Razonamos: poseo identidad luego existo.

Términos e identificadores

Observamos en el uso del lenguaje que algunas expresiones o sintagmas constituirían términos (palabras de una terminología), otros nombres y otros títulos. ¿Se trata de una distinción caprichosa? No. En general un término alude a toda una clase de objetos, por ejemplo mamífero, definido mediante conceptos (el de que las hembras posean mamas) mientras que el nombre de una especie se considera nombre en la medida en que es un caso particular, por ejemplo el nombre de la especie de tal animal.

Los nombres permiten identificar a individuos, especímenes, objetos, sujetos, obras, accidentes geográficos etc. También funcionan como referencias. Un amigo me puede recomendar leer poesía, donde poesía funciona como un concepto, mientra que si me recomienda leer tal poema, por ejemplo La canción del pirata, me está dando una referencia a una obra.

Los términos restringen el significado mediante conceptos, mientras que los identificadores o nombres lo restringen por referencia.