Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Facultad de Humanidades
Carrera: Lic. En Sociología
Materia: Teoría y Metodología de la Investigación Social
1. Lógica
La lógica es una ciencia formal que se ocupa del estudio de los razonamientos. Un
razonamiento es la relación entre un grupo de enunciados, llamados “premisas”, de
donde se extrae otro enunciado, llamado “conclusión”.
Ejemplo de Razonamiento:
Entre los múltiples aspectos que pueden evaluarse de los enunciados y de sus relaciones
mutuas, la lógica está interesada sólo en aquellos que permiten establecer la corrección
lógica de los razonamientos, su validez o invalidez y no, por ejemplo, si lo dicho en las
premisas se corresponde con la realidad, por eso decimos que es una ciencia formal.
2. Enunciados y Oraciones
1
3. Enunciados analíticos y enunciados sintéticos
4. El Razonamiento
De las múltiples acciones que realizamos con ayuda del lenguaje, la que le interesa en
primer lugar a la lógica es la de razonar. Se llama “razonamiento” a todo conjunto de
enunciados en el que se reconocen las siguientes características:
2
• Se establece una conexión entre los enunciados según la cual el enunciado que
expresa la conclusión se extrae a partir de la/s premisa/s.
• Quienes nacieron en Mar del Plata son bonaerenses. Los bonaerenses son
argentinos. Por lo tanto, los que nacieron en Mar del Plata son argentinos.
• Los nacidos en Mar del Plata son argentinos. Los argentinos son americanos.
Por lo tanto, los que nacieron en Mar del Plata son americanos.
Como se ve la conclusión del primero es la primera premisa del segundo sin que nada
haya cambiado en el enunciado mismo. Otro aspecto a tener en cuenta es que el orden
en que aparecen los enunciados no influye en la conexión lógica que los distribuye
como premisas y conclusiones. Por ejemplo el primer ejemplo de razonamiento seguirá
siendo el mismo razonamiento si se lo describiera así: “Todos los que nacieron en Mar
del Plata son argentinos, pues son bonaerenses y los bonaerenses son argentinos”.
Para comprender con mayor profundidad la naturaleza del razonamiento, es necesario
precisar qué tipo de relación es la que se establece entre las premisas y la conclusión, es
decir, en qué consiste la naturaleza lógica de ese vínculo. Determinar y evaluar esta
relación es el objetivo fundamental de la lógica.
Tradicionalmente, los lógicos distinguen dos tipos de razonamiento: deductivo e
inductivo.
3
verdaderas no puede existir un mundo lógicamente posible donde la conclusión sea
falsa. Y de existir tal posibilidad, pues entonces el razonamiento es inválido.
Los siguientes ejemplos ilustrarán lo expuesto:
Razonamiento válido
Premisas:
a) Si Mario comió pescado, estará descompuesto.
b) Mario comió pescado.
Conclusión:
Mario está descompuesto.
Razonamiento inválido
Premisas:
a) Si Mario comió pescado, estará descompuesto.
b) Mario está descompuesto.
Conclusión:
Mario Comió pescado.
4
decir, según ella, Mario está descompuesto, pero eso no nos permite estar seguros de
que comió pescado, pues la primera premisa no dice que sólo al comer pescado Mario
se descompone, sino simplemente que si come pescado, se descompone. Quizá se
descomponga también cuando come salsa de tomate y en la ocasión del ejemplo comió
eso y no pescado.
Existen diversos tipos o formas de razonamiento, cuyas diferencias obedecen a los
distintos modos en que los términos lógicos pueden relacionarse entre sí. En la primera
forma de razonamiento, conocida desde la Antigüedad griega y denominada con la
expresión latina modus ponens, que significa “modo que afirma”, se “pone” o afirma el
consecuente de un enunciado condicional a partir de afirmar su antecedente. En los
condicionales de la forma “si tal y tal cosa, entonces tal y tal otra” –donde “tal y tal” es
una expresión que utilizamos para indicar cualquier enunciado y “si” y “entonces” son
los términos lógicos-, se llama “antecedente” del condicional a las expresiones que
figuran a la izquierda de la coma, y se llama “consecuente” del condicional a las
expresiones que siguen a “entonces” Aquí, “consecuente” y “antecedente” están usados
en un sentido lógico, no temporal, ya que no es necesario que primero aparezca el
antecedente y luego el consecuente.
Otra forma igualmente conocida de razonamiento válido es el llamado modus tollens, es
decir, “modo que niega”, pues en esta forma de razonamiento se niega el antecedente de
un enunciado condicional a través de la negación de su consecuente.
Podemos ejemplificarlo combinando de modo adecuado los mismos enunciados de los
ejemplos anteriores de esta forma:
Razonamiento válido
Premisas:
a) Si Mario comió pescado, estará descompuesto.
b) Mario no está descompuesto.
Conclusión:
Mario no comió pescado.
Se trata de una forma de razonamiento muy utilizada para expresar la refutación de una
conjetura o suposición hecha a los efectos de dar una explicación o justificar un curso
de acción. En la primera premisa del ejemplo, el antecedente del condicional expresaría
la conjetura de que Mario comió pescado, y el consecuente es la consecuencia esperada
si es verdadera la conjetura. Como la segunda premisa niega ese consecuente, queda
refutada la conjetura inicial.
Como se dijo, un razonamiento es válido o inválido solamente en virtud de su forma, y
los elementos de esa forma son ciertos términos lógicos. Todos los ejemplos que vimos
hasta aquí dependían de la forma de un enunciado condicional: la expresión
“si…entonces” y su combinación con la afirmación o la negación del antecedente o del
consecuente. Esta forma ejemplifica cómo se combinan los valores de verdad para
determinar la validez y la invalidez lógicas. En este sentido, lo que importa tener en
claro es que la estimación lógica de los razonamientos vistos seguiría siendo la misma,
sean cuales fueren los enunciados que coloquemos en los puntos suspensivos. Esto es lo
mismo que decir que la estimación lógica utiliza la verdad y la falsedad sólo para
calcular la validez o la invalidez, y no por sí mismas.
Veamos otros ejemplos que ilustran las diferentes combinaciones posibles de
razonamientos válidos.
5
Caso 1
Premisas y conclusión verdaderas:
Lassie no canta.
Caso 2
Al menos una premisa falsa y conclusión falsa:
Caso 3
Al menos una premisa falsa y conclusión verdadera:
Caso 4
Todas las premisas falsas y conclusión verdadera
Caso 5
Todas las premisas falsas y conclusión falsa:
Todos estos razonamientos son válidos, como puede verse intuitivamente. Pero la
distribución de los valores de verdad entre las premisas y la conclusión varía en todos
ellos. Lo que los hace válidos es que son casos de ciertas formas lógicas que en sí
mismas son válidas y que, por lo tanto, siempre darán casos válidos.
6
Caso 6
Resumidamente podemos afirmar que la validez lógica preserva la verdad, es decir que
si el punto de partida (premisa del razonamiento) es totalmente verdadero y si se razona
correctamente, se arriba a una conclusión verdadera. Además, según se expuso en
algunos ejemplos anteriores, cuando el punto de partida contiene falsedades, podemos o
no llegar a conclusiones verdaderas, aunque se haya razonado correctamente.
6. Lógica simbólica
Los enunciados atómicos son las mínimas unidades de las que tiene sentido predicar su
verdad o falsedad. Por ejemplo “hoy es domingo” es un enunciado atómico. Cada
enunciado atómico se simboliza mediante las letras “p”, “q”, “r”, “s”, llamadas variables
de enunciado.
Los enunciados moleculares están compuestos por uno o más enunciados atómicos y su
valor de verdad, es decir, el ser verdaderos o falsos, está en función o es función de
verdad de los enunciados atómicos componentes. Ej. “hoy es domingo y hace mucho
frío” es el enunciado molecular integrado por dos enunciados atómicos: “Hoy es
domingo” y “Hoy hace mucho frío”; el enunciado molecular será verdadero o falso
según los sean los atómicos que lo componen (sólo si es verdad que es domingo y es
verdad que hace mucho frío el enunciado molecular será verdadero). La mayor parte de
los enunciados moleculares está compuesto por dos o más atómicos, pero existe un tipo
de enunciado molecular, el enunciado negativo, que esta compuesto por una único
enunciado atómico. “Hoy no es domingo” esta compuesto por el enunciado atómico
7
“Hoy es domingo”, y será verdadero sólo cuando el enunciado atómico sea falso (si
“Hoy es domingo” es falso, es verdadero que “Hoy no es domingo”).
Conjunciones: Se simbolizan con “.” (en castellano, “y”, “pero”, “aunque”, “sin
embargo”, etc.) y es verdadero si y sólo si ambos componentes son verdaderos. Por
ejemplo, “Llueve y hace frío” (p.q) es verdadero sí y sólo sí es verdadero p, y es
verdadero q.
Nota: No debemos confundirnos con la palabra “y”, ya que tiene otros usos además de
conectar enunciados. Por ejemplo, “Quiroga y Sarmiento fueron contemporáneos” no es
una conjunción, sino una proposición atómica que expresa una relación.
p q p.q
V V V
V F F
F V F
F F F
Disyunciones: Se simboliza con “v” (en castellano “o”, “a menos que”, “salvo que”,
etc.) y es falso si y sólo sí ambos componentes son falsos. En cualquier otro caso es
verdadero. Por ejemplo, el enunciado molecular “hace frío o llueve” (pvq) será falso
sólo si no hace frío ni llueve. En los demás casos será verdadero.
p q pvq
V V V
V F V
F V V
F F F
8
p q p→q
V V V
V F F
F V V
F F V
Negaciones: Invierte el valor de un enunciado. El signo es “–“ (en castellano “no”, “no
es cierto que”, “no es el caso que”, “no es verdad que”, etc.) la negación de todo
enunciado verdadero es falsa y la negación de todo enunciado falso es verdadera.
p -q
V F
F V
9. Reglas lógicas
p→ q
p
_______
q
p→ q
-q
_______
-p
9
3. Silogismo Hipotético (SH)
p → q
q → r
_______
P→ r
p v q
-p
_______
q
p v q
-q
_______
p
p → q
q
_______
p
10
2. Falacia de negación del antecedente (FNA)
p→ q
-p
_______
-q
En este caso, se infiere una conclusión general o universal de premisas que son todas
ellas enunciados particulares. Este método para distinguir entre deducción e inducción
tiene cierto mérito, pero no es universalmente aplicable. En efecto, algunos
razonamientos deductivos válidos pueden tener como conclusión tanto como premisas
proposiciones universales, como en el ejemplo:
11
Y pueden tener enunciados particulares como premisas tanto como conclusiones:
Por ejemplo:
Bibliografía de referencia
COPI, M. Irving, Introducción a la Lógica, trad. Por Néstor Alberto Míguez, Buenos
Aires, Eudeba, 1995.
12