Introduccin a la Lgica

1. Qu es la Lgica?: Principios y fundamento.

El jugador que conduce las fichas cuadradas debe ubicar su tercera pieza y razona como sigue:
Si juego C-2, entonces las redondas podrn mover de C-3 a B-3 y luego a A-3 y harn tatet. Si no juego C-2, entonces las redondas podrn
mover de B-2 a C-2 y harn tatet. Juego C-2 o no juego C-2. Por lo tanto las redondas harn tatet.
Ej de razonamiento 1:
Si juego C-2, entonces las redondas podrn mover de C-3 a B-3 y luego a A-3 (premisa).
-----------------------------------------------------------------------------------------------------Las redondas harn tatet (conclusin).
Ej de razonamiento 2:
Si no juego C-2, entonces las redondas podrn mover de B-2 a C-2 (premisa).
-----------------------------------------------------------------------------------------Las redondas harn tatet (conclusin).1
El pensamiento, es el producto de la actividad intelectual, resultado de la inteligencia y se puede estructurar de tres maneras distintas:

Como concepto.

Como juicio.

Como raciocinio o razonamiento.

Concepto. Acto intelectual por el cual nuestra inteligencia hace que representemos objetos en nuestra mente, sin que afirmemos o neguemos
nada de l. Ejemplo de conceptos: C-2, C-3, B-3, A-3, redondas y tatet.
Juicio o proposicin. Cuando tengo un concepto en mi mente, mi inteligencia lo va a tomar y lo va a comparar con otros, los va a unir, los va a
separar, los va a afirmar, los va a negar, este acto intelectual se llama juicio. Ejemplos de juicio: Si juego C-2, entonces las redondas podrn
mover de C-3 a B-3 y luego a A-3.
Raciocinio o razonamiento. Acto intelectual por el cual mi inteligencia va a comparar los juicios, y de una verdad conocida va a deducir una
verdad desconocida. Resumiendo, como dicen Martha Frassineti de Gallo y Gabriela Salatino, el razonamiento es:
Una estructura lgica formada por afirmaciones (o negaciones) que se relacionan entre s de modo tal que a partir de una (o ms) de ellas las
premisas- se deriva otra que es la conclusin (Filosofa Esa bsqueda reflexiva, p. 52).
Definimos la Lgica como la ciencia de las leyes del pensamiento que tiene por objeto estudiar las relaciones que el pensamiento tiene con la
verdad2. Es decir, cuando hablamos del objeto de esta ciencia, nos estamos refiriendo al estudio de los mtodos y principios utilizados para
distinguir el razonamiento correcto del incorrecto. La Lgica nos va a ayudar a pensar bien, a aplicar ciertas leyes para que nosotros podamos
formular de forma adecuada nuestros pensamientos.
Esta ciencia trabaja con signos, en primer lugar porque se ocupa del lenguaje, que es un sistema de signos, y en segundo lugar porque crea sus
propios signos, por esta razn, antes de entrar a estudiarla nos ocupamos de los signos, su estudio corresponde a una ciencia llamada
SEMITICA3.
Ejercicio 1: Partiendo del tablero del dibujo de arriba, graficar al lado las dos posibles jugadas que razona el jugador que conduce las fichas
cuadradas.
Ejercicio 2: Lean las siguientes afirmaciones, coloquen una cruz al lado de las verdaderas y corrijan las falsas:
a) El objeto de la Lgica es el estudio de los mtodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.
b) Definimos la Lgica como episteme, ciencia, filosofa.
c) Concepto. Acto intelectual por el cual mi inteligencia va a comparar los juicios, y de una verdad conocida va a deducir una verdad
desconocida.
d) La lgica trabaja con signos, en primer lugar porque se ocupa del lenguaje, que es un sistema de signos, y en segundo lugar porque crea sus
propios signos.
e) La disciplina que se ocupa del estudio de los signos se llama SEMITICA.
f) Un razonamiento es una estructura lgica formada por conceptos genricos o especficos.

-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

1 Cf: G. Obiols, Nuevo Curso de Lgica y Filosofa, Editorial Kapelusz, Buenos Aires, 1982, p. 29.
2 Cf: www.youtube.com/watch?v=NTxLFE9W8RI.
3

Cf: Alicia G. de Salama, Lgica Simblica y Elementos de la Metodologa de la Ciencia, Ed. El Ateneo, Buenos Aires, 1986,
pp. 1.9.

-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Introduccin a la Lgica
2. Un poco de historia.
Si pensamos en el desarrollo histrico de la Lgica, tendremos que fijar dos hitos fundamentales: el 1 lo constituye una obra
de Aristteles (siglo IV a. C.), cuyo ttulo Organon, nos revela la funcin que tena esa disciplina filosfica (la de ser el
instrumento adecuado para razonar correctamente), ella era una introduccin a la filosofa y al saber en general. La lgica
aristotlica constituye el ncleo fundamental de la llamada lgica clsica, primer perodo en el desarrollo de la lgica que se
extiende hasta el siglo XVIII. La caracterstica ms importante de esta etapa est dada por el hecho que para cumplir su
cometido, el anlisis de los razonamientos, la lgica se vali de los lenguajes naturales, y por ende, se mantuvo alejada de las
matemticas, este aspecto informal de la lgica clsica se aproxima a las ciencias del lenguaje (semitica).
El 2 perodo es la obra de Boole y Frege (siglo XIX), matemticos contemporneos que revolucionaron el campo de la Lgica
acercndolo precisamente, al de la Matemtica. Justamente fueron algunos matemticos, en el siglo XIX, quienes comenzaron
a pensar que la Lgica clsica, y en particular el silogismo, eran insuficientes para traducir el tipo de razonamientos que ellos
usaban, y as decidieron modificarla en dos direcciones: por un lado ampliarla la Lgica clsica paso a ser una parte de esta
nueva Lgica- y por el otro, precisarla an ms, usando un lenguaje estrictamente simblico que podra manejarse como un
clculo. A esta segunda etapa se la conoce como Lgica matemtica o Lgica simblica. Por su carcter formal la lgica
simblica constituye una sintaxis que a diferencia de la sintaxis de los lenguajes naturales, como la del ingls, el francs o el
castellano es ms general y precisa.
La ms importante caracterstica de esta revolucin en el campo de la lgica, es precisamente el extendido uso de smbolos
que le permite liberarse de los lenguajes naturales y aproximarla al lenguaje de la matemtica. La ventaja del simbolismo en
la lgica moderna ha sido comparada por Copi en su Introduccin a la lgica (Bs. As. Eudeba, 1974), con el reemplazo de los
nmeros romanos por los nmeros arbigos, por la facilidad del clculo en estos ltimos. Cualquier nio de escuela primaria
puede multiplicar 113 por 9. Pero multiplicar CXIII por IX es una tarea ms difcil y la dificultad aumenta si consideramos
nmeros mayores. Algo parecido pasa con esta nueva lgica al ser ms precisa en su sintaxis y ser utilizada como un clculo
puede llegar a su cometido (el anlisis de los razonamientos) con la misma precisin que en matemtica se llega a que a + b
= b + a.
La Lgica en general, tanto la clsica como la simblica, son consideradas hoy como una ciencia auxiliar, similar a las
matemticas, porque al estudiar las condiciones formales del razonamiento correcto, ayudan a todo el resto de las ciencias. El
anlisis lgico, las leyes y las reglas lgicas, sus tcnicas y mtodos juegan un importante papel en la construccin y
justificacin de teoras cientficas en cualquier campo del saber 4.
Ejercicio 1: Unan con flechas los elementos de las dos columnas referidos al tema un poco de historia (puede sobrar algn elemento a la
derecha):
Ciencia auxiliar, ayudan a todo el resto de las ciencias.
Aristteles s. IV. a. C.
Formal y matemtica.
La lgica clsica

Lenguajes naturales.
Ms precisa, utiliza un lenguaje simblico (a + b = b + a).
Organon.

La lgica simblica

Obra de Boole y Frege (siglo XIX), matemticos contemporneos.

Disciplina que se ocupa del estudio de los signos.

Ejercicio 2: Construir un esquema y volcar en l la informacin ms importante contenida en el texto (Un poco de historia).

4 Cf: G. Obiols, Nuevo Curso de Lgica y Filosofa, Editorial Kapelusz, Buenos Aires, 1982, pp. 38-39.

Lgica Clsica
13. La Proposicin o el juicio.
El lenguaje es un sistema de smbolos, estas combinaciones de smbolos constituyen expresiones lingsticas; por ejemplo las palabras, los
conceptos y las oraciones. Las oraciones son expresiones lingsticas que cumplen diversas funciones, como ya vimos en la unidad anterior
cuando hablamos de los usos del lenguaje: funcin informativa, expresiva, ceremonial, etc.
Definimos juicios o proposicin como aquellas expresiones lingsticas que poseen una funcin informativa: afirma o niega algo, y tiene sentido
decir de ella que es verdadera o falsa. Ej: Hubo dos grandes guerras mundiales. Hay ciertas cualidades o notas llamadas esenciales- que una
proposicin debe tener. Afirmar o negar algo, es decir, ser verdadera o falsa. En cambio, el tema sobre el cual informa dicha proposicin, en
nuestro ejemplo, la guerra, la cantidad de palabras que abarca la misma o desde lo gramatical si es una proposicin bimembre (tiene sujeto y
predicado) o unimembre (no se puede distinguirse sujeto y predicado), son todas estas notas accidentales, porque no son significativas para su
clasificacin dentro del concepto proposicin. No toda oracin expresa una proposicin o un juicio, las oraciones interrogativas, exclamativas,
imperativas, no expresan una proposicin o un juicio porque no afirman ni niegan y, por lo tanto, no son ni verdaderas ni falsas . Ejs: Sal de aqu!
(es una orden no una proposicin o un juicio). Vendrs hoy? (es una pregunta, no es una proposicin o un juicio). Lo mismo puede decirse de los
refranes o aforismos. En Lgica existes varios tipos distintos de proposiciones. Ejs: Categricas, llamadas tipo A, tipo I, tipo E y tipo O en
Lgica Clsica; las simples y compuestas en Lgica Proposicional, tambin llamadas atmicas o moleculares 5.

Ejercicio 1: Sealar cules de las siguientes expresiones corresponden a juicios o proposiciones y cules no:
a.

Sali apresuradamente sin preguntar nada___________________________________________________________________

_________

b.

Todos los hombres son mortales___________________________________________________________________________

_________

c.

Retrate inmediatamente_________________________________________________________________________________

_________

d.

No todo lo que reluce es oro______________________________________________________________________________

_________

e.

No dejes para maana lo que puedes hacer hoy______________________________________________________________

f.

_________

Si el desarrollo del comercio no hubiera hecho resurgir las ciudades italianas, el Renacimiento no hubiera comenzado a
producirse en la zona mediterrnea__________________________________________________________________________

_________

g. Galileo afianz con sus observaciones e investigaciones la teora heliocntrica de Coprnico___________________________

_________

h. Haz lo que te digo______________________________________________________________________________________

_________

i. Duerme mi nio________________________________________________________________________________________

_________

j. Hoy hace mucho calor___________________________________________________________________________________

_________

Ejercicio 2: Indicar que funcin cumplen las siguientes expresiones lingsticas y sealar las que son proposiciones.
Expresin lingstica
a) Quisiera que me ayudaras a mover este mueble por favor.

Funcin
Directivo

Es proposicin?
No

b) Debes cumplir con lo prometido.

c) 5+5=10.
d) 5+5=9.
e) Los rboles nos miraban con miles de ojos.
f) no hay habitantes en Venus.
g) Te felicito!
h) Entremos en el comedor.
Ejercicio 3: Enunciar tres oraciones que expresen juicios y otras tres que no lo expresen.
Juicios:
a. --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------b. --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------c. ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------Oraciones que no corresponden a juicios:
a. ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

5 Cf: Alicia G. de Salama, Lgica Simblica y Elementos de la Metodologa de la Ciencia, Ed. El Ateneo, Buenos Aires, 1986, pp.
9-10.

b. --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------c.---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------Ejercicio 4: Tomar el concepto proposicin y propongan para este:

Una caracterstica esencial:

Una caracterstica accidental:

...................................................

Lgica Clsica
15. La extensin de los conceptos en las proposiciones categricas.
Los conceptos que en carcter de sujeto o de predicado integran una proposicin, pueden estar tomados en
toda su extensin (distribuidos) o no estarlo. As por ejemplo, si afirmamos que todos los hombres son mortales,
estamos atribuyendo el predicado mortal a la totalidad del sujeto. Si en cambio afirmamos que Algunos
americanos son argentinos, estamos atribuyendo al predicado argentinos solo a una parte del sujeto.
Las proposiciones categricas universales (sean afirmativos o negativos) toman el concepto sujeto en toda
su extensin; y las proposiciones categricas negativas (sean universales o particulares) toman el concepto
predicado en toda su extensin.
En el siguiente cuadro se destacan en letra negrita los conceptos que estn tomados en toda su extensin
(distribuidos) en las distintas proposiciones 6.
C
U
A

(toman el sujeto en toda su extensin)

Afirmativos

CANTIDAD
PARTICULARES

UNIVERSALES
Todo S es P.

Algn S es P.

I
D

Negativos

(toman el predicado en toda su

extensin)

Algn S no es P

Ningn S es P.

Ejercicio 1: Colocar una cruz en los juicios donde el concepto mueble est tomado en toda su extensin:
a. Todos los muebles son tiles.

--------------------------

b. Algunas cosas tiles son muebles.

c. Algunas cosas tiles no son muebles.
d. Ningn mueble es de cristal.
e. Ninguna de las cosas destruidas por el incendio fue un mueble.
f. Todos los objetos que compr en el remate eran muebles.

------------------------------------------------------------------------------------------------------------------------------

Ejercicio 2: Formular un juicio donde el concepto flor est tomado en toda su extensin y otro donde no lo est:
a.

-----------------------------------------------------------------------------------------------------------------------------------------------

b.

----------------------------------------------------------------------------------------------------------------------------------------------Ejercicio 3: En las siguientes proposiciones determinar si el concepto sujeto o el sujeto predicado o ambos estn tomados en
toda su extensin en caso contrario, tambin indicarlo:
a) Algunos candidatos presidenciales son hombres tristes.
b)Todos los simpatizantes del Real Madrid son personas acostumbradas al xito.
c) Algunos polticos no son escrupulosos.
d)Ninguna decisin de la Corte Suprema de Justicia es una decisin injusta.
e) Algunos partidarios de las reformas estructurales del Estado son personas que dirigen importantes empresas.

a)

Todos los automviles son agentes contaminantes.

b)

Todos los escritores ganadores del premio Nobel de Literatura son hombres comprometidos polticamente.

c)

Ningn cientfico es trabajador independiente.

6 Cf: Ibid, p. 31.

d)

Algunos filsofos no son reflexivos.

e)

Algunos ejecutivos exitosos son hombres inteligentes.

f)

Ningn dirigente de ftbol es buen deportista.

Lgica Clsica
18. Estructuras lgicas o tipos de pensamiento.
Por medio de ellos se manifiesta la actividad del pensar:

Concepto: acto intelectual por el cual nuestra inteligencia hace que representemos objetos en nuestra mente, sin que afirmemos o neguemos
nada de l. Ej. de conceptos: argentinos, sudamericanos, salteos; etc.

Juicio: cuando tengo un concepto en mi mente, mi inteligencia lo va a tomar y lo va a comparar con otros, los va a unir, los va a separar, los va
a afirmar, los va a negar, este acto intelectual se llama juicio. Ej. de juicio: Todos los salteos son argentinos.

Razonamiento o raciocinio: Acto intelectual por el cual mi inteligencia va a comparar los juicios, y de una verdad conocida va a deducir una
verdad desconocida. Resumiendo, como dicen Martha Frassineti de Gallo y Gabriela Salatino, en su libro Filosofa Esa bsqueda reflexiva, el
razonamiento es:
Una estructura lgica formada por afirmaciones (o negaciones) que se relacionan entre s de modo tal que a partir de una (o ms) de ellas las
premisas- se deriva otra que es la conclusin.
Ej. de razonamiento: Todos los argentinos son sudamericanos.
Todos los salteos son argentinos.
-----------------------------------------------------------------------Por lo tanto, todos los salteos son sudamericanos 7.
Tanto la conclusin como las premisas pueden hallarse en cualquier parte de un discurso o razonamiento: al principio, en el medio o al final.
Una de las maneras de hallar y distinguir las conclusiones de las premisas es mediante los nexos lgicos o indicadores de conclusin e
indicadores de premisas.
Los indicadores de conclusin ms comunes son luego, por lo tanto, por ende, as, por consiguiente, se sigue que, podemos
inferir o se puede concluir y son los que indican que despus de ellos viene la conclusin.
Los indicadores de premisas ms comunes son ya que, puesto que, porque, pues, dado que, por la razn de que, entre otros,
se colocan antes de alguna premisa y son los que indican que delante de ellos se encuentra la conclusin. No todo razonamiento tiene nexos
lgicos expresos8.

Ejercicio 1: Hallar en el siguiente razonamiento sus componentes: conceptos, premisa/s, y la conclusin.

----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------Ejercicio 2: Sealen cuales son la/s premisa/s y cual la conclusin en cada uno de los siguientes razonamientos usando para identificarlas las
letras P y C y parntesis.
a) Si algunos abogados son corruptos y Rodrigo es corrupto, entonces Rodrigo es abogado.
b) Si no estudio lo suficiente, entonces reprobar. Por lo tanto, no reprobar puesto que he estudiado lo suficiente.
c) Vendr Teresa esta noche, puesto que me haban informado que vendran Teresa o Jos, pero Jos no puede venir.
d) Si no me escuchas atentamente, entonces no entenders lo que digo. Pero veo que me escuchas atentamente; por lo tanto, estars en
condiciones de entender lo que te estoy diciendo.

7 Cf: www.youtube.com/watch?v=NTxLFE9W8RI.
8 Cf: Ricardo Tauber, Mariana Brain, Adrian Melo, Filosofa y Formacin tica y Ciudadana II,

Ed. A-Z, Buenos Aires, 2001, p. 65.

e) Si Lpez gana como candidato a gobernador, entonces habr aumento salarial para los empleados pblicos. De modo que no habr aumento
alguno, puesto que no creo que Lpez gane.
f) Ser mejor que ella deje su brazo flojo cuando le extraigan sangre, puesto que, si se lo deja tenso, duele ms y ella no quiere que le duela.
g) Si gana Joaqun el partido, entonces se entregarn U$S 1000 de premio, pero si gana Claudio se entregarn U$S 1500, por lo tanto, se entregarn
U$S 1000 o 1500, ya que ganar Joaqun o Claudio.

Lgica Clsica
21. Distintas combinaciones en los razonamientos vlidos e invlidos.
El siguiente cuadro esquematiza las posibles combinaciones en los razonamientos vlidos e invlidos:
Razonamiento vlidos
V
premisas verdaderas
verdadera.
V

conclusin

F premisas falsas y conclusin verdadera.

V
F premisas y conclusin falsas
F

Razonamiento invlidos
V premisas verdaderas y conclusin verdadera.
V
V premisa verdaderas y conclusin falsa.
F
F premisas falsas y conclusin verdadera.
V
F premisas y conclusin falsas.
F

Los razonamientos vlidos pueden tener premisas verdaderas y conclusin verdadera, premisas falsas y
conclusin verdadera, y premisas y conclusin falsas. Lo que no podr ocurrir es que un razonamiento vlido
tenga premisas verdaderas y conclusin falsa.
Los razonamientos invlidos pueden tener premisas verdaderas y conclusin verdadera, premisas verdaderas y
conclusin falsa, premisas falsas y conclusin verdadera y premisas y conclusin falsas.
Cuando hablamos de premisas verdaderas nos referimos al caso en que todas ellas lo sean, pues una sola
premisa falsa hace falso a todo el conjunto de premisas 9.
Ejercicio 1: Sealen si las siguientes afirmaciones son verdaderas o falsas. En caso de ser falsas corrjalas.
a) Si la forma de un razonamiento es vlida y las premisas son falsas, la conclusin es falsa.
V
F
-----------------------------------------------------------------------------------------------------------------------------b) Si las premisas de un razonamiento son verdaderas y la conclusin tambin lo es, la forma es vlida.
V
F
----------------------------------------------------------------------------------------------------------------------------------------------------c) Si las premisas de un razonamiento son verdaderas y la conclusin es falsa, entonces su forma es invlida.
V
F
-----------------------------------------------------------------------------------------------------------------------------d) Si la forma de un razonamiento es invlida y las premisas son falsas, la conclusin es falsa.
V
F
-----------------------------------------------------------------------------------------------------------------------------e) Si las premisas de un razonamiento son falsas y la conclusin tambin lo es, la forma es invlida.
V
F
------------------------------------------------------------------------------------------------------------------------------

9 Cf: Ibid, pp. 17-18.

f) Si las premisas de un razonamiento son falsas y la conclusin es verdadera, entonces su forma es invlida.
V
F
------------------------------------------------------------------------------------------------------------------------------

Lgica Clsica
27. El silogismo categrico de la lgica tradicional.
Un silogismo es un razonamiento compuesto por tres proposiciones: dos premisas y una conclusin. Estas proposiciones
tienen lo que la lgica tradicional llama trminos (conceptos). Tomemos como ejemplo este razonamiento con su
correspondiente forma lgica:
Razonamiento
Todos los cuyanos son argentinos.
Todos los mendocinos son cuyanos.
-----------------------------------------------Todos los mendocinos son argentinos.

Forma lgica
Todo M es P
Todo S es M
----------------Todo S es P

Los trminos de este silogismo son cuyanos, argentino y mendocinos. Cada trmino figura dos veces: cuyanos en las
dos premisas; argentinos, en la primera premisa y en la conclusin y mendocinos en la segunda y en la conclusin. Al
trmino que figura en las dos premisas se lo denomina trmino medio y se lo simboliza M. Al trmino que figura como
predicado de la conclusin se lo llama trmino mayor y se lo simboliza P. La premisa donde figura el trmino mayor se llama
premisa mayor. El trmino que es sujeto de la conclusin es el trmino menor y se lo simboliza S, y la premisa donde figura
es la premisa menor.
Si bien el orden de las premisas no altera la forma del razonamiento, conviene ordenarlas colocando en primer trmino la
premisa mayor y en segundo la premisa menor.
Las tres proposiciones del silogismo pueden ser de cualquiera de las cuatro formas categricas:

Tipo
Tipo
Tipo
Tipo

A; o universales afirmativas (Todo S es P)

E, o universales negativas (Ningn S es P)
I, o particulares afirmativas (Algn S es P)
O, o particulares negativas (Algn S no es P) 10.

Ejercicio 1: Completen los siguientes silogismos y coloquen en las premisas y en la conclusin las letras S, P y M:
a)

Todo---------------------------------------------------------------------es inmaterial.
Ningn -----------------------------------------------------------------es inmaterial.
------------------------------------------------------------------------------------------------------------Ningn ser humano es ngel.

b)

Todos los buitres son aves.

Ningn mamfero es ave.
------------------------------------------------------------------------------------------------------------Ningn-----------------------------------------es-----------------------------------------------------Ejercicio 2: Dado los siguientes silogismos, determinar cul es su trmino medio (M), su trmino mayor (P) y su trmino menor (S); su premisa
mayor, su premisa menor y su conclusin:
Premisa
Premisa
Conclusin
Mayor
menor
a) Algunos hombres son trabajadores.
Todos los trabajadores son fuertes.
----------------------------------------------

a) --------------------------

-------------------------------

----------------------------------

10 Cf: Alicia G. de Salama, Lgica Simblica y Elementos de la Metodologa de la Ciencia, Ed. El Ateneo, Buenos Aires, 1986,
p. 141.

Algunos seres fuertes son hombres.

b) Toda ave es ovpara.
Algn ovparo es insecto.
-----------------------------Algn insecto es ave
M.

b) -------------------------

P.

----------------------------------

----------------------------------

S.

a) -------------------------------------------------------

-------------------------------------------

-------------------------------------------------------------

b) -------------------------------------------------------

-------------------------------------------

-------------------------------------------------------------

Lgica Clsica
28. Esquema de un silogismo (categrico).
Esquema de un silogismo categrico11
P es M (o M es P)
M es S (o S es M)
---------------------S es P
Ejercicio 1: En el siguiente silogismo se ha alterado el orden de las premisas y/o de la conclusin. El ejercicio
consiste en ordenarlas en forma correcta. Para realizar este ejercicio tener en cuenta los nexos indicadores de
conclusin o indicadores de premisas y el esquema de un silogismo con sus letras correspondientes.
a) Si algn hombre no es intolerante, entonces algn hombre no es nazi, puesto que todo nazi es intolerante.
b) Si algn argentino es analfabeto, entonces algn argentino no es escritor, puesto que ningn escritor es
analfabeto.
c) Si ninguna persona obesa es futbolista, entonces ninguna persona obesa es deportista, ya que todo
futbolista es deportista.
a)-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------b)-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------c)------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

11 Cf: Telma Barreiro de Nudler, Lgica Dinmica, Ed. Kapelusz, Buenos Aires, 1994, p. 75.

Ejercicio 2: Teniendo en cuenta el esquema de un silogismo. Lean la lista de proposiciones que siguen y armen
con ella dos silogismos (tal vez sobren algunas proposiciones):
Ningn bondadoso es traidor. Algn ser humano no es ngel. Todo ngel es bondadoso. Mi marido es un
ngel. Ningn amigo es traidor. Algunos compaeros son traidores. Algn ser humano no es bondadoso. Yo
tengo buenos amigos. Algunos compaeros no son amigos. Mis compaeros son unos ngeles.
---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Lgica Clsica
29. Figura del silogismo.
El trmino medio podr ocupar distintas posiciones en las premisas; podr ser sujeto de la premisa mayor y predicado de la
menor, o predicado en ambas, o sujeto en ambas, o predicado de la premisa mayor y sujeto de la menor. Estas cuatro posibles
combinaciones, en cuanto a la ubicacin del trmino medio, determinan las cuatro figuras del silogismo categrico, que se
esquematizan de la siguiente manera:
Primera
figura:

MP
SM
----SP

(el trmino medio es sujeto de la premisa mayor y predicado de la premisa menor).

Segunda
figura:

PM
SM
----SP

(el trmino medio es predicado de la premisa mayor y menor).

Tercera
figura:

MP
MS
----SP

(el trmino medio es sujeto en las premisas mayor y menor).

Cuarta
figura:

PM
MS
----SP

(el trmino medio es predicado de la premisa mayor y sujeto de la premisa menor) 12.

Ejercicio 1: Dados los siguientes silogismos determinar a que figura pertenecen:

a. Todo mamfero es vertebrado.

Todo perro es vertebrado
----------------------------------Todo perro es mamfero.

Esquema de ubicacin de M

N de figura

------------------------------------------------------

b. Algn ciprs es muy viejo.

Algn rbol es ciprs.
---------------------------------------Algn rbol es muy viejo

-------------------------------------------------------

12 Cf: Alicia G. de Salama, Lgica Simblica y Elementos de la Metodologa de la Ciencia, Ed. El Ateneo, Buenos Aires, 1986,
pp. 141-142.

c. Todo hombre es inteligente.

Todo hombre es mortal.
-------------------------------------Todo mortal es inteligente.

-------------------------------------------------------

d. Algunos jvenes son alegres.

Algunos ancianos son alegres.
--------------------------------------Algunos ancianos son jvenes.

--------------------------------------------------------

e. Toda recta es infinita.

Algunas lneas son rectas.
--------------------------------------Algunas lneas son infinitas

--------------------------------------------------------

f. Toda ave es ovpara.

Algn ovparo es insecto.
-----------------------------------Algn insecto es ave.

-------------------------------------------------------

Lgica Clsica
30. Modo del silogismo.
Adems de las figuras, estn los modos de los silogismos. El modo de un silogismo es la combinacin de los
cuatro juicios categricos (A, E, I, O) en las premisas y en la conclusin. Por ejemplo, pueden ser que un
silogismo tenga el siguiente modo:
A
A
-A
Si las dos premisas y la conclusin corresponden al juicio categrico tipo A. Tambin puede ser que un
silogismo tenga el siguiente modo:
A
I
-I
Si la premisa mayor es tipo A, y la premisa menor y la conclusin son tipo I y se esquematiza as.
Son cuatro tipos de juicios categricos (A, E, I, O), en tres proposiciones (dos premisas y la conclusin), todas
las posibles combinaciones o cantidad de modos de los silogismos estarn dadas por la frmula combinatoria 4
elevado a la 3 = 64.
Estas sesenta y cuatro combinaciones se dan para cada una de las figuras, de modo que en total hay 64 x 4
=256 formas posibles de silogismos, de las cuales no todas son vlidas 13.
Ejercicio 1: Abstraer la forma o estructura lgica de los silogismos dados en el ejercicio 3, luego determinar sus
modos y figuras:
Forma lgica
Modo
Figura
a. Todo mamfero es vertebrado
Todo perro es mamfero
--------------------------------------Todo perro es vertebrado
b.

Ningn cuerpo es una figura

Todo prisma es un cuerpo

13 Cf: Ibid, pp. 142-143.

--------------------------------------Ningn prisma es una figura

Ejercicio 2: Armen silogismos que respondan a las siguientes estructuras:

a)
b)
c)
d)

AII de la 4ta figura.

EAE de la 2da figura.
EIO de la 1ra figura.
AAA de la 3ra figura.
a)---------------------------------------------------------------------b)-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------c) ---------------------------------------------------------------------d)------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Lgica Clsica
31. Reglas del silogismo y formas vlidas.
Para determinar la validez de un silogismo, la lgica tradicional enuncia una lista de reglas que no deben violarse:
Regla 1: Todo silogismo consta de tres trminos.
Regla 2: El trmino medio no debe figurar en la conclusin.
Regla 3: El trmino medio debe estar distribuido o tomado en toda su extensin por lo menos una vez. Debe ser sujeto de una proposicin
universal, o ser predicado de una proposicin negativa. (Ver en esta unidad la extensin de los conceptos en las proposiciones
categricas pg. 23).
Ej: Todos los ros son caudalosos.
Algunas vertientes son caudalosas.

Algunas vertientes son ros.

El trmino medio [caudalosos] no est tomado en toda su extensin en ninguna de las dos premisas.
Regla 4: Todo trmino que est tomado en toda su extensin en la conclusin debe estarlo en la premisa respectiva.
Ej: Todo hombre es inteligente.
Todo hombre es mortal.
----------------------------------------Todo mortal es inteligente.
El trmino menor S [mortal] est tomado en toda su extensin en la conclusin, por ser una prop. universal afirmativa y no lo est en la premisa
respectiva [la premisa menor], donde figura como predicado de un juicio afirmativo.
Regla
Regla
Regla
Regla
Regla

5:
6:
7:
8:
9:

Las premisas no deben ser ambas negativas14.

Las premisas no deben ser ambas particulares.
Si una de las premisas es negativa, la conclusin debe ser negativa.
Si una de las premisas es particular, la conclusin debe ser particular.
Si ambas premisas son afirmativas, la conclusin debe ser afirmativa.

De todas las formas de silogismo, son vlidas aquellas que no violan ninguna de las reglas enunciadas, (solo 19 para la lgica clsica), son
reconocidas por una lista de nombres, que representan cada uno de ellos una forma de silogismo vlida. Las vocales que figuran corresponden a
cada uno de los cuatro tipos de juicios A, E, I, O. Por ejemplo en la primera figura el nombre CELARENT representa la forma cuya premisa mayor
es de tipo E, la menor de tipo A y la conclusin es de tipo E.
La lista de nombres que representan formas vlidas es la siguiente:15

14 Cf: Telma Barreiro de Nudler, Lgica Dinmica, Ed. Kapelusz, Buenos Aires, 1994, p. 85.
15 Cf: Alicia G. de Salama, Lgica Simblica y Elementos de la Metodologa de la Ciencia, Ed. El Ateneo, Buenos Aires, 1986,
pp. 144-145.

1 Figura
AAA Barbara
EAE Celarent
AII Darii
EIO Ferio

2 Figura
EAE Cesare
AEE Camestres
EIO Festino
AOO Baroco

3 Figura
AAI Derapti
IAI Disamis
AII Datisi
EAO Felapton
OAO Bocardo
EIA Ferison

4 Figura
AAI Bamalip
AEE Camenes
IAI Dimatis
EAO Fesapo
EIO Fresison

Ejercicio 1: Determinar si los siguientes silogismos son vlidos o invlidos. Si son invlidos, especificar que regla o reglas violan y por qu; si son
vlidos determinar que nombre reciben.
Modo
Fig.
Valido
Nombre
Invlido
Viola Regla
a. Ningn tringulo es crculo.
--------------------- ---------------------------------------Todo issceles es tringulo.
--------------------- -----------------------------------------------------------------------------------Ningn issceles es circulo.
b. Todo nmero par es divisible por dos.
Todo nmero par es nmero.
-------------------------------------------------Todo nmero es divisible por dos.

-------------------

c. Algunas aves son golondrinas.

Todos los cisnes son aves.
------------------------------------------Algunos cisnes son golondrinas.

-------------

---------

-------------- ------------------------ -----------

-------------------------------------------------------

-----------

------------------ --------------------------------------------------- --------------------------------------

d. Algunos jvenes son neurticos.

Todos los neurticos son agresivos.
-------------------------------------------------Algunas personas agresivas son jvenes.

-------------------

---------

------------- ------------------------ ------------

-----------------------------------------------------

e. Toda manzana es sabrosa.

Alguna ciruela es sabrosa.
------------------------------------------Alguna ciruela es manzana.

-------------------

---------

------------- ------------------------ ------------

-----------------------------------------------------

Lgica Proposicional
63. Leyes Lgicas.
Se denomina ley lgica a toda forma proposicional tal que al sustituir las letras proposicionales
por proposiciones, el resultado es siempre una proposicin verdadera. Por ejemplo - - p p,
es una ley lgica, porque cualquiera sea la proposicin que reemplace a p, el resultado ser
una proposicin verdadera. Si p se reemplaza por Graciela fue a la manifestacin entonces
la proposicin que se obtiene es No es cierto que Graciela no fue a la manifestacin si y slo si
fue a la manifestacin. En lgica proposicional todas las tautologas son leyes lgicas y no hay
ms leyes lgicas que las tautologas. Las leyes lgicas son infinitas, por su utilizacin
mencionaremos solo las ms frecuentes16:
Ley
Identidad

Tabla de Leyes lgicas

Forma proposicional
p
q

Abreviatura
Id.

No contradiccin
Tercero excluido
Doble negacin

-(p . -p)
p v -p
p
--p

No contr.
3ro. excl.
DN

De Morgan

-(p.q)

De M

(-p v -q)

Asociacin

-(p.q)

(p.q)

(p v q)

[(p . q) . r]

(-p . -q)
(q . p)
(q v p)
[p. (q. r)]

Distribucin

[(p v q) v r]
[p . q v r)]

[p v (q v r)]
[(p . q) v (p . r)]

Conmutacin

Definicin
del condicional

[p v (q . r)]

(p
q)

[(p v q) . (q v r)]
(-p v q)

Conm.
Asoc.
Distr.
Df. Condic.

16 Cf: G. Obiols, Nuevo Curso de Lgica y Filosofa, Editorial Kapelusz, Buenos Aires, 1982., pp. 58-59.

(p
Transposicin

(p

Definicin
del bicondicional

(p
p)]

q)

-(p . q)

q)
q)

(-q

[(p

-p)

Transp.

q) . (q

Df. Bicondic.

Lgica Proposicional
64. Reglas Lgicas.
Reglas lgicas. Mientras que la leyes lgicas son formas proposicionales que al sustituir sus
letras proposicionales por constantes dan lugar a proposiciones siempre verdaderas, las reglas
lgicas son formas de razonamiento vlidas y elementales, al sustituir sus variables por
constantes dan lugar a razonamientos vlidos. Con la ayuda de estas reglas lgicas
elementales es posible demostrar la validez de razonamientos bastante ms complejos. En su
formulacin se utiliza, al igual que en las relaciones lgicas entre proposiciones estudiadas
anteriormente, las letras A, B, C, etc., denominadas variables metalgicas, para indicar
que cada una de ellas puede designar una proposicin atmica o molecular tan compleja como
se quiera. Algunas de las ms importantes reglas lgicas son las siguientes:
Regla lgica
Modus Ponendo
Ponens

Forma de razonamiento
A
B
A
--------------B

Abreviatura
MPP

Modus Tollendo
Tollens

A
B
-B
---------------A

MTT

Silogismo
Disyuntivo

AvB
-A
-----------B
A B
B C
---------------A C

SD

A.B
-------------A

Simpl.

Silogismo
Hipottico

Simplificacin

SH

Adicin

Adic.

Conjuncin

A
-------------AvB
A
B
------------A.B

Reemplazo de
equivalentes

Dos formas proposicionales lgicamente

equivalentes pueden sustituirse la una
por la otra.

RE

Conj.

La regla de reemplazo de equivalencia (RE) autoriza a usar las leyes lgicas ya vistas, que sealan
equivalencia lgica, es decir, aquellas en las cuales la conectiva principal es un bicondicional. Por
ejemplo, la ley de doble negacin.
(DN), - - p p; esta regla autoriza a reemplazar la expresin p por la expresin - - p y viceversa
all donde sea til hacerlo17.

Lgica Proposicional
65. Los razonamientos y el mtodo demostrativo.
El mtodo del condicional asociado, presenta el inconveniente de que en razonamientos que
contienen varias proposiciones distintas las tablas de verdad se hacen muy extensas, y por lo
tanto difciles de manejar. Expondremos ahora otro mtodo de prueba que resuelve esta
dificultad, denominado mtodo demostrativo y para explicarlo acudiremos a su analoga con
el juego del ajedrez:
Como en el juego del ajedrez, la posicin inicial de un jugador corresponde el conjunto de
premisas de reglas y leyes lgicas dadas. Por una sucesin de jugadas, en que cada jugada
est sancionada por una regla llegamos a la posicin de triunfo, donde solo las jugadas
correctas nos llevan a alcanzar el jaque mate buscado. De la misma manera por una
cadena de razonamientos donde intervienen leyes lgicas llegamos a la conclusin buscada.
(Cf, Introduccin a la lgica simblica. P. Suples. 1966. Mxico, CECSA, 1974).

Ejemplo:

a) Razonamiento

Si Patricia fue a la fiesta, entonces estuvo con Eusebio.

Si Patricia estuvo con Eusebio, Andrs estar molesto.
Andrs no est molesto.
-------------------------------------------------------------------Patricia no fue a la fiesta.

b) Forma Lgica
Pq
qr
-r
--------p

c) Partiendo de la forma lgica del razonamiento, estando enumeradas las premisas y haciendo a un lado
la conclusin, a partir de las reglas y leyes lgicas dadas, voy obteniendo resultados parciales, si a travs
de una cadena de demostraciones deductivas, llego a la conclusin, el razonamiento es vlido 18.

17

Cf: Ibid, p.65.

18 Cf: Ibid. P.66.

SH
1. P q
2. q r
3. r
/-p
------------------------------4. de 1 y 2 por SH p r
5. de 4 y 3 por MTT - p

4) 1. p q / A B
2. q r
/BC
-------------------/-----------pr
AC

MTT
5) 4. p r / A B
3.
-r /
-B
-------------- /-------------p
-A

Lgica Proposicional
66. Los razonamientos y el mtodo demostrativo
Ejercicio 1: Indicar que regla se ha aplicado en cada paso de las siguientes demostraciones.
a) 1. (p .

q)

2. p
3. -p v q
/rvs
---------------------------------------4. de 2 por RE (DN)
5. de 3 y 4 por SD
6. de 2 y 5 por Conj.
7. de 1 y 6 por MPP
8. de 7 por Adic.

b) 1. (p

q) r
2. r s
3. s
/- p v q
------------------------------------4. de 2 y 3 por MTT
5. de 1 y 2 por SH
6. de 5 y 3 por MTT
7. de 6 por RE (Def. Condic.)

c) 1. (p v q) (r . s)
2. p
3. r t
/t
------------------------------------------------4. p v q de 2 x Adic.
5. r. s de 1 y de 4 x MPP
6. r de 5 x Simp
7. t de 3 y 6 x MPP