1. Introduccin a unas nociones bsicas de lgica.

1.1. La lgica como una ciencia formal.

Las ciencias formales son aquellas ciencias que se encargan de estudiar la forma de los
razonamientos y trabaja con ideas creadas por la mente (por ejemplo los nmeros, los smbolos
matemticos como , + o =...). Se consideran ejemplos de ciencias formales a la lgica y a las
matemticas en tanto que su objeto de estudio no es emprico, es decir, no versa sobre entidades
fsicas que se pueden captar por la experiencia.
La lgica es una ciencia formal que estudia el uso de argumentos y su validez o invalidez. Un
argumento o razonamiento es una serie de frases en la cual de la afirmacin de los enunciados que
aparecen al principio se sigue necesariamente la afirmacin de la que va al final. Por ejemplo:

Todos los espaoles son europeos remisa)

(enunciado denominado p
Todos los extremeos son espaoles (enunciado denominado p remisa)
Por tanto, todos los extremeos son europeos (enunciado denominado c onclusin).

Los argumentos o razonamientos constan de enunciados o proposiciones, es decir, de frases con

sentido completo y de las que se puede decir si son verdaderas o falsas. As, sera un enunciado la
lluvia moja o Mosc es la capital de Espaa pero no sera un enunciado ha venido alguien? o
Cllate ahora mismo!. Los enunciados iniciales de un razonamiento se denominan premisas y el
enunciado final conclusin.
Bertrand Russell uno de los mayores lgicos del siglo XX seal que en los argumentos podramos
tener en cuenta dos factores: la materia o contenido del argumento o su forma o estructura. Si nos
dedicaramos al anlisis de la materia de un argumento analizaramos si los enunciados son
verdaderos o falsos. Pero ya hemos visto que la lgica es una ciencia formal y por eso no se interesa
tanto por este aspecto como por la forma o estructura del argumento. Por eso al lgico no le preocupa
tanto la verdad o falsedad de los enunciados como la correccin o incorreccin de los argumentos o
razonamientos.
Como nos dice Manuel Garrido en su libro Lgica Simblica, de dnde parten estas notas, ...la tarea
de la lgica formal, y as es como se la plantearon los filsofos griegos desde Aristteles y los
estoicos: como un anlisis de formas abstractas que tiene cierta semejanza con el trabajo del
gemetra. Pues as como los antiguos gemetras consideraban la forma o figura de los objetos fsicos
en abstracto, prescindiendo o abstrayendo de la materia de que se componen (por ejemplo, la forma
o figura de un objeto esfrico, prescindiendo del hecho de que sea de bronce o mrmol la materia que
lo constituya), as tambin los lgicos griegos se interesaron por la figura o forma de los argumentos,

haciendo abstraccin de su materia o contenido.
Por tanto, podemos definir a la lgica formal como una ciencia abstracta que tiene por objeto el
anlisis formal de los argumentos, recordando que el trmino lgica proviene del griego logos que
significa discurso pero con la triple connotacin de razn, idea y palabra.
1.2. Silogstica.
1.2.1. Qu es un silogismo?
Para concluir este esbozo histrico recordaremos las indudables aportaciones de Aristteles a la
lgica, en concreto, el estudio del silogismo (que se encontrara dentro de la inferencia mediata o
deduccin de ms de una premisa). El silogismo es una proposicin hecha a partir de estas cuatro
posibles alternativas:
(A) Todo S es P (universal afirmativa) Todos los hombres son vertebrados
(E) Ningn S es P (universal negativa) Ningn hombre es reptil
(I) Algun S es P (particular afirmativa) Algn hombre es europeo
(O) Algn S no es P (particular negativa) Algn hombre no es europeo

Para abreviar al usar estos esquemas se emplean en el mismo orden las vocales maysculas A, E, I,
O. El silogismo es definido como un discurso en el que planteadas algunas cosas, se siguen otras
por necesidad. Sus caractersticas fundamentales son su carcter mediato y su necesidad. Todo
silogismo consta de tres trminos: el trmino menor que es el sujeto de la conclusin y figura en
una de las premisas (llamado por ello premisa menor); el trmino medio, que figura en ambas

premisas, pero no en la conclusin; y el trmino mayor, que es predicado de la conclusin y figura
en la otra premisa (llamada por eso mayor). Las figuras son las formas que reviste el silogismo segn
la posicin del trmino medio, es decir, segn sea sujeto o predicado en las premisas, donde S, M y P
representan, por este orden, los trminos menor, medio y mayor. Contamos con cuatro figuras.

Primera figura Segunda figura Tercera figura Cuarta figura

M es P P es M M es P P es M

S es M S es M M es S M es S

S es P S es P S es P S es P

1.2.2. Los modos del silogismo.

Los modos son las configuraciones de cada figura, dependiendo si las premisas sean A, E, I, O.
Segn las reglas de deduccin son lcitos diecinueve casos. Los lgicos medievales recogieron en
versos latinos los distintos modos como regla mnemotcnica.

Primera figura Segunda figura Tercera figura Cuarta figura

Barbara Cesare Darapti Bamalip

Celarent Camestres Felapton Camenes

Darii Festino Disamis Dimatis

Ferio Baroco Datisi Fesapo

Bocardo Fresison

Ferison

A estos diecinueve casos deben aadirse un grupo de cinco modos llamados subalternos, que se
caracterizan por ofrecer una conclusin particular, aunque las premisas permitiran que fuese
universal: Barbari, Celaront, (Fig. 1), Cesaro, Camestrop (Fig. 2) y Camenop (Fig. 4).
1.2.3. Los modos vlidos de las cuatro figuras.
Los modos vlidos de la primera figura presentan, como deca Kant, el mecanismo de la
subsuncin, puesto que consisten en el establecimiento de una ley o regla general, positiva o
negativa (premisa mayor), al que sigue un enunciado en el que se afirma que algo cumple una
determinada condicin (premisa menor) por virtud de lo cual queda incluido o excluido respecto de
esa ley. Ejemplo en Barbara: Todo animal es viviente y todo hombre es animal, luego todo hombre es
viviente.
Los modos vlidos de la segunda figura presentan todos una conclusin negativa, lo que le hace
particularmente aptos para la exposicin de argumentos destinados a la refutacin de hiptesis.
Ejemplo en Cesare: Ningn oficial del ejrcito es pacifista, pero los cuqueros son pacifistas, luego,
ningn cuquero es oficial del ejrcito.
Los modos vlidos de la tercera figura exhiben todos una conclusin particular, lo cual los hace
particularmente aptos para la exposicin de argumentos de instanciacin inductiva. Ejemplo en
Darapti: Todo mamfero es vertebrado y todo mamfero es animal, luego algunos animales son
vertebrados.
La lgica habla de la validez de los silogismo en general cuando cumplen algunas
condiciones:
1. Al menos una premisa debe ser afirmativa.
2. Si una premisa es negativa, la conclusin debe ser negativa.
3. Si una premisa es particular, la conclusin tambin es particular.
4. El trmino medio ha de ser universal al menos una vez.
5. Si un trmino es universal en la conclusin, tambin lo debe ser en su premisa
correspondiente.

En cuanto a la universalidad de los trminos (en lgica se dice si est distribuido el trmino) nos
referimos a cuando lo que se afirma o se niega se afirma o se niega de todos los individuos
contenidos en una determinada clase o conjunto. Es bastante fcil observar que cuando decimos
todo hombre es mortal o ningn hombre es un reptil el trmino hombre est distribuido o es
universal ya que estamos hablando de todos los hombres o de ninguno de ellos. O cuando decimos
algn hombre es blanco comprobamos que en este caso el trmino hombre no est distribuido
puesto que no nos referimos al conjunto de los hombres sino solo a alguno de ellos (por lo tanto el
trmino no est distribuido porque se usa de un modo particular).
De hecho, la distribucin del sujeto en un enunciado es fcil de saber puesto que suele venir con el
prefijo todo, ningn o alguno. Pero la distribucin del predicado no es tan evidente aunque el
anlisis lgico revela que en las proposiciones o enunciados categricos negativas (E-Ningn
hombre es reptil-, O -Algn hombre no es europeo-) el predicado est distribuido, es decir, se usa
universalmente. Mientras que en las proposiciones afirmativas (A -Todo hombre es mortal- I -Algn
hombre es blanco) el predicado no est distribuido.
As llegamos al siguiente cuadro
 MODO A B

Todos los A son B Distribuido No distribuido

Algunos A son B No distribuido No distribuido
Ningn A es B Distribuido Distribuido
Algn A no son B No distribuido Distribuido