Leccin 1- Prueba de Validez

Introduccin

Aunque la lgica Aristotlica ha pasado a ser

interpretada mediante un lenguaje simblico en la lgica matemtica, particularmente en la
lgica de clases, en esencia, la Lgica matemtica, corresponde a la lgica de Aristteles,
slo que usando la notacin algebraica.
Es por esta razn que es importante apropiar el concepto de silogismo Aristotlico que ha
dado origen a la evolucin de la lgica matemtica y analizar aqu su estructura.
La lgica Aristotlica se habla de Juicios en lugar de proposiciones, los juicios aristotlicos
implican una funcin lingstica (de significado, semntica) y una funcin lgica (formal,
sintctica), en su lugar, una proposicin slo implica una funcin lgica.

Leccin 1- Prueba de Validez

Proposicin Categrica

Identificando a S como sujeto y a P como predicado, estas

formas de proposicin categrica corresponden a:
Todo S es P
Ningn S es P
Algunos S son P
Algunos S no son P
Las proposiciones categricas estudiadas, permiten formar lo que se denomina un "silogismo
categrico", el cual est compuesto precisamente de tres proposiciones categricas:
Dos premisas y una conclusin
Todo silogismo est formado entonces por tres partes: una premisa mayor, una premisa
menor y una conclusin; a su vez, estas proposiciones involucran tres conceptos distintos,
debiendo tener un trmino medio comn a los otros dos conceptos:
Premisa mayor, en ella se encuentra el trmino mayor, que es el predicado de la
conclusin, y se representa por la letra P.
Premisa menor, en ella se encuentra el trmino menor, que es el sujeto de la conclusin, y
se representa con la letra S.
Entre ambas premisas se realiza la comparacin entre los trminos S y P con respecto
al trmino Medio, que se representa como M.
La conclusin: En ella se establece la relacin entre el trmino Sujeto S, y el trmino
Predicado P.
De all que se afirme que la lgica trata de establecer las leyes que garantizan que, de la
verdad de dos premisas comparadas, se pueda obtener con garanta de verdad una
conclusin verdadera.

Leccin 1- Prueba de Validez

Validez de un argumento

Argumento deductivo
Un argumento en el cual las premisas involucradas proporcionan bases concluyentes para la
verdad de la conclusin, se llamaargumento deductivo.
Consiste en deducir su conclusin a partir de sus premisas, mediante una serie de
argumentos elementales, cada uno de los cuales se conoce y acepta como vlido
Argumento Vlido
Un argumento que sigue una regla bien establecida se dice que es vlido; los argumentos se
juzgan como aceptables o inaceptables en la medida en que sean vlidos.
Validez o invalidez de un argumento
Para probar la validez o invalidez de un argumento, se utiliza un mtodo basado en el hecho
de que stas son caractersticas puramente formales de los argumentos, es decir, que dos
argumentos que tienen exactamente la misma forma; son vlidos o invlidos,
independientemente de las diferencias del tema que traten.
Especficamente, para probar la invalidez de un argumento, basta con formular otro
argumento que tenga exactamente la misma forma y tenga premisas verdaderas y conclusin
falsa
En teora, las tablas de verdad son apropiadas para probar la validez de un argumento de
tipo general, pero en la prctica son cada vez ms difciles de manejar a medida que
aumenta el nmero de enunciados o proposiciones que conforman dicho argumento. Un
mtodo ms eficiente para probar la validez de un argumento extenso consiste en deducir su
conclusin a partir de sus premisas, mediante una serie de argumentos elementales, cada
uno de los cuales se conoce y acepta como vlido, este proceso es el que se denomina
mtodo deductivo.