¿Qué es la lógica?

DIFERENCIA ENTRE EL CAMPO DE ESTUDIO DE

LA LÓGICA Y EL DE OTRAS CIENCIAS
● El análisis lógico se refiere a enunciados susceptibles de verdad o
falsedad.
● La lógica es, en una primera afirmación, el estudio del conocimiento
verdadero considerado en sus formas más generales.
● PERO los conocimientos verdaderos, bajo sus formas particulares nos
remite a las demás ciencias, y el estudio de los diversos tipos de
conocimiento científico constituye el objeto de la epistemología:

Epistemología Lógica
Estudio del conocimiento en Análisis formal del
tanto relación entre el sujeto conocimiento
y el objeto
 EPISTEMOLOGÍA - LÓGICA
● La epistemología ve sin
cesar las relaciones entre el
sujeto y el objeto.
● Su problema propioen lo
conciernente a las ciencias
deductivas es comprender
cómo son posibles la lógica
y la matemática no sólo en
tanto actividades del sujeto,
sino también en su
adecuación a lo real.
● La lógica se limita únicamente
a la validez interna de los
sistemas proposicionales, es
decir, a la manera en que una
proposición implica o excluye
a otras.
● Estudia la manera en que los
datos son enunciados por
proposiciones y cómo éstas se
encadenan entre sí: se refiere
pues a un dominio que
permanece interior a la
actividad del sujeto.
...RECORDEMOS:
● El problema de la lógica es el de la validez formal de las
composiciones operatorias:
● Dado un sistema de proposiciones verdaderas o falsas,
determinar cuáles son las otras proposiciones verdaderas o
falsas que se derivan válidamente de las relaciones admitidas.
 LÓGICA - PSICOLOGÍA
Lógica Psicología
Analizar la validez será El problema de la psicología
necesariamente es establecer las leyes reales
fundamentarla, de ahí que el de las operaciones de la
fin esencial de al lógica acción o del pensamiento y
consistirá en extraer los explicarlas: la cuestión no
principios o axiomas será, pues, “fundamentar”
necesarios y suficientes que sino exclusivamente
aseguren el rigor de los comprender y reconstituir
encadenamientos genéticamente.
operatorios estudiados.
● Ejemplo. Una inferencia como ‘si A = B y B = C entonces A = C’ un
lógico puede considerarla como primitiva (un axioma); el psicólogo
tratará de determinar los factores que preparan su construcción y lo
transforman en una inferencia necesaria para el sujeto.
 LÓGICA - MATEMÁTICAS

Desde la segunda mitad del siglo XIX se dio una convergencia

gradual entre la lógica y la matemática, por un doble proceso:
● Matematización de la lógica, debido a la necesidad de un
simbolismo preciso (álgebra de la lógica)
● Logicización de la matemática, debido a las exigencias de la
axiomatización, es decir, a la eliminación progresiva de la
intuición como fundamento del conocimiento abstracto.
 LÓGICA - MATEMÁTICAS
Dos cuestiones independientes de las relaciones entre lógica y
matemática:
● Convergencia entre los métodos
● Eventual reducción de las estructuras matemáticas a estructuras
lógicas
Las modalidades de la última cuestión son:
(1) Concebir todas las matemáticas como una subclase de la lógica
(2) Las relaciones lógicas como una subclase de los entes matemáticos
(3) Estructuras lógicas y matemáticas como disyuntas de la gran clase de
estructuras formales o abstractas
(4) Estructuras lógicas y matemáticaso como parcialmente disyuntas,
pero constituyendo una parte común por asimilaciones recíprocas.
 LÓGICA - MATEMÁTICAS

● (1) Gödel -en 1931- demostró tal imposibilidad

● (2) Se trata de una convención verbal más que natural: hacer de
la lógica una parte de las matemáticas sería constructivo sólo si,
a partir de una estructura general única (tal como una “lógica
general”, un “grupo” de todos los grupos o un sistema de
conjunto que subsumiese todos los conjuntos posibles, etc.) se
pudiese engendrar el principio de distinción entre las estructuras
lógicas y las estructuras translógicas o matemáticas puras. No
existen tales estructuras.
● (3) Existen estructuras comunes entre la lógica y la matemática.
● (4) Autonomía relativa de la lógica y de las matemáticas y
reducción recíproca parcial, dejando abiertas las fronteras.
 RAZÓN POR LA CUAL SE PRECISA LA POSICIÓN
DE LA LÓGICA

Las estructuras lógicas constituyen el único instrumento común de

demostración utilizado por todas las ciencias (además de sus
instrumentos particulares).
● Ejemplo. Cuando el matemático construye un sistema de
números o una geometría, sin preguntarse por anticipado qué es
el número o qué es la vecindad espacial (sin que por eso no
pueda reflexiona luego sobre ello en una teoría de los
“fundamento”), tiene derecho a proceder así, puesto que se basa
en un cuerpo de verdades previas, que son las verdades lógicas
mismas.
 ¿QUÉ ES LA LÓGICA?

La lógica es la teoría formal de las operaciones

deductivas

La calificación de formal basta para distinguirla de la psicología;

en cuanto a las matemáticas, la lógica comprende un conjunto
de operaciones elementales de carácter prematemático y el
análisis de las inferencias matemáticas pero sin límite
asignables por anticipado: el campo permanece abierto.
DEFINICIONES
1. Llamaremos PROPOSICIONES p, q, r, etc., a los enunciados
categóricos, verdaderos o falsos, afirmativos (positivos) o negativos.
2. Se llamará OPERACIÓN INTERPROPOSICIONAL toda composición
que permita construir, mediante proposiciones cualesquiera: p, q, r…,
de las cuales sólo se conocen sus valores de verdad o falsedad, otras
proposiciones bien determinadas y caracterizadas respectivamente por
las distintas combinaciones posibles de esos únicos valores de verdad.
3. Llamaremos INTRAPROPOSICIONALES las operaciones que permiten
descomponer una proposición en sus elementos (esta descomposición
puede hacerse a distintos niveles), así como construir nuevas
proposiciones determinadas por las transformaciones de esos
elementos; los valores verdaderos o falsos de las proposiciones así
obtenidas, resultan entonces de las combinaciones entre los elementos
mismos.
 OBSERVACIÓN

● Toda descomposición en elementos primeros (“hechos”

atómicos, etc.) permanece siempre relativa, y dichos elementos
no adquieren su propiedad de ser primeros más que según el
modo de descomposición que depende él mismo del modo de
recomposición que se tenga a la vista.
 DEFINICIONES

4. El CONTENIDO de una relación operatoria está constituido por

los datos, es decir, los términos que puden ser sustituídos,
mientras que la FORMA es lo que permanece inalterable en el
curso de tales sustituciones.
5. Llamaremos ESTRUCTURA toda relación lógica susceptible de
desempeñar alternativa o simultáneamente el rol de forma y
contenido.
6. Llamaremos CONTENIDO EXTRALÓGICO los términos que no
puedan desempeñar más que el rol de contenidos.
REFERENCIA

● Jean Piaget, Ensayo de lógica operatoria, Buenos Aires:

Guadalupe, 1977.