Lgica aristotlica

Saltar a: navegacin, bsqueda Se ha sugerido que este artculo o seccin sea fusionado en silogismo (discusin).
Una vez que hayas realizado la fusin de artculos, pide la fusin de historiales aqu.

Aristteles segn un manuscrito de su Historia naturalis de 1457. La lgica aristotlica es la tradicin lgica basada en el trabajo del filsofo griego Aristteles, primer pensador en formalizar el sistema lgico de tal manera que sus propuestas han trascendido hasta nuestros das. Aristteles elabor sus ideas sobre el tema en varias obras, conocidas posteriormente con el nombre de Organon (rgano, herramienta). Buscaba, as, estudiar las leyes del razonamiento, argumentando que estas eran vitales para adentrarse en el mundo de la filosofa y de otras disciplinas. La lgica de Aristteles se basa enteramente en tres principios o axiomas: -Principio de identidad, que afirma que un trmino es igual a s mismo. A = A -Principio de no contradiccin: significa que un predicado no se puede afirmar y negar simultneamente y bajo los mismos aspectos de un sujeto. -Principio del tercero excluido: no existe un termino medio entre dos afirmaciones contradictorias.

ndice

1 Tipos de conceptos 2 Clasificacin de juicios 3 Silogismos o razonamientos 4 Vase tambin 5 Bibliografa adicional

6 Enlaces externos

Tipos de conceptos
La palabra concepto proviene del latn concipio que significa concebir o dar cabida. Se define como la representacin mental de un objeto sin afirmar ni negar nada de este objeto. La operacin mental que produce al concepto o idea se llama Abstraccin o Simple Aprehensin. La manera de expresar el concepto o idea es por medio del trmino o palabra. El concepto se caracteriza por ser una representacin mental o intelectual, por ser el resultado de la Abstraccin, por ser distinto a la imagen (la cual es captada por medio de los sentidos), por proporcionarnos la esencia del objeto y por ser una estructura mental (o forma mental) universal, inespacial, intemporal e independiente del sujeto. Ejemplos de conceptos: El hombre re, Mesa, la silla de madera de pino, Un mamfero acutico, hombre, etc. El concepto no es producido solamente por sensaciones, percepciones o imgenes que se acumulan en nuestra mente, sino que es el resultado o el fruto de un proceso organizado de todas esas representaciones sensibles a las cuales este proceso les va a dar forma para que podamos vincular nuestro mundo interno (o conciencia) con el mundo externo. Los conceptos se subdividen en universales, particulares, singulares y colectivos(de acuerdo con su extensin). En simples, compuestos, complejos, incomplejos, abstractos, concretos, unvocos y anlogos (de acuerdo con su comprensin). En claros, exactos o precisos y distintos (de acuerdo a su perfeccin subjetiva). Juicios: si se relacionan dos (2) conceptos entonces estaramos hablando de formular un juicio, si convienen los dos conceptos se habla de juicio positivo y si no pues de juicio negativo. El sujeto de la relacin entre 2 conceptos (nos referimos a ella de aqu en adelante a juicio) es el concepto del cual se afirma o se niega algo, el predicado es el concepto del que se afirma o se niega algo. Es importante resaltar que para Aristteles los juicios se componen de materia y forma. Materia: Conceptos en el juicio que se relacionan ntimamente Forma: Relacin entre ellos a travs del verbo SER. Para Aristteles el Sujeto se representa con la letra S y el predicado con la letra P; de esta manera separa materia y forma y poder representar todos los juicios como Hanz es hbil o Alejandra es preciosa con la forma S es P.

Clasificacin de juicios
Los juicios pueden ser segn a la extensin del sujeto: Universales, o particulares. Segn la cualidad de la relacin entre conceptos: afirmativos o negativos. Segn Aristteles, habra cuatro formas bsicas de proposiciones: Todo A es B (universal afirmativo). Ningn A es B (universal negativo). Algunos A son B (particular afirmativo). Algunos A no son B (particular negativo). Las letras sustituyen a palabras comunes como perro, animal de cuatro patas o 'cosa viviente', llamadas trminos.

Silogismos o razonamientos
A partir de las proposiciones se construyen los silogismos o razonamientos. Un silogismo bien formulado consta de dos proposiciones que fungen como premisas y de una conclusin, debiendo tener cada premisa un trmino en comn con la conclusin y un segundo trmino relacionado con la otra premisa. En lgica clsica se formulan reglas por las que todos los silogismos bien construidos se identifican como formas vlidas o no vlidas de argumentacin. Este est conformado por 3 partes y a su vez por 3 trminos. Las tres partes son: Premisa mayor (la ms universal), Premisa menor (menos universal) y la conclusin. Los tres trminos que mencionamos son el trmino mayor y el trmino menor (Sujeto y Predicado de la conclusin: S es P), finalmente el trmino medio (letra M) que aparece en ambos juicios Hay 4 formas vlidas de silogismo, todas dependiendo de la variacin del trmino medio y de su funcin en los juicios; listadas a continuacin: Figura 1 Figura 2 Figura 3 Figura 4 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

Forma A: Todo A es B. Para todo x, si x es A entonces es B. Forma E: Ningn A es B. Para todo x, si x es A entonces no es B. Forma I: Algn A es B. Existe al menos un x que es A y es B. Forma O: Algn A no es B. Existe al menos un x tal que es A y no es B.

A (universal afirmativa) contraria E (universal negativa) I (particular afirmativa) subcontraria O (particular negativa) A contradictoria O E contradictoria I A subalterna I E subalterna O

Silogismo
Saltar a: navegacin, bsqueda Se ha sugerido que Lgica aristotlica sea fusionado en este artculo o seccin (discusin).

Una vez que hayas realizado la fusin de artculos, pide la fusin de historiales aqu.

El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristteles, en su obra lgica recopilada como El Organon, de sus libros conocidos como Primeros Analticos, (en griego Proto Analytika, en latn idioma en el que se conoci la obra en Europa Occidental-, Analytica Priora). Aristteles consideraba la lgica como lgica de relacin de trminos. Los trminos se unen o separan en los juicios. Los juicios aristotlicos son considerados desde el punto de vista de unin o separacin de dos trminos, un sujeto y un predicado. Hoy se hablara de proposicin. La diferencia entre juicio y proposicin es importante. La proposicin afirma un hecho como un todo, que es o no es, como contenido lgico del conocimiento. El juicio, en cambio, atribuye un predicado a un sujeto lgico del conocimiento otorgando a los trminos al mismo tiempo una funcin lingstica de significado (semntica) y una funcin formal lgica (sintctica). Esto tiene su importancia en el concepto mismo del contenido de uno, el juicio, y la otra, la proposicin, especialmente en los casos de negacin, como se considera, ms adelante, en la problemtica de la lgica silogstica. Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional, teniendo en cuenta que este tipo de lgica, como tal, est en claro desuso, sustituida por la lgica simblica en la que esta lgica es interpretada como lgica de clases. Ver clculo lgico. La relacin entre los trminos de un juicio, al ser comparado con un tercero que hace de "trmino medio", hace posible la aparicin de las posibles conclusiones. As pues, el silogismo consta de dos juicios, premisa mayor y premisa menor, en los que se comparan tres trminos, de cuya comparacin se obtiene un nuevo juicio como conclusin. La lgica trata de establecer las leyes que garantizan que, de la verdad de los juicios comparados (premisas), se pueda obtener con garanta de verdad un nuevo juicio verdadero (conclusin).

Aristteles. Museo del Louvre.

ndice

1 Juicio de trminos 2 Los juicios aristotlicos: Definicin y elementos del silogismo 3 Figuras y modos silogsticos 4 Reglas del silogismo o 4.1 Reglas para los trminos o 4.2 Reglas de las premisas 5 Los modos vlidos 6 Resolucin de los modos mediante un algoritmo mecnico: Las cartas silogsticas 7 Representacin grfica de los modos como lgica de clases mediante diagramas de Venn 8 La problemtica de la lgica silogstica 9 El silogismo considerado en la lgica formal 10 Vase tambin 11 Notas y referencias 12 Bibliografa adicional

Juicio de trminos
El juicio de trminos es la comparacin de dos conceptos, bien sea de forma lgica o extrada de la experiencia, mediante la cual creemos o afirmamos la relacin de uno con respecto al otro como verdad objetiva. As se justificaba la creencia verdadera en los juicios aristotlicos de la lgica clsica.

Por ejemplo: en la nieve es blanca, la mente se afirma en que la blancura es una propiedad que se puede predicar con verdad de la nieve.1 Tal ha sido la consideracin de los juicios aristotlicos en el silogismo de la lgica tradicional. Hoy da la lgica formal y simblica no acepta tales juicios que se interpretan como creencia pues no requiere su formulacin lingstica o conceptual, como ya consideraron los escolsticos y por otro lado la posibilidad de un categrico, como pensaba Aristteles, est seriamente cuestionada. Actualmente, en la lgica tal relacin se considera formalmente:

Como resultado de dominio de discurso de la relacin de dos clases lgicas. Como la atribucin de un predicado a una variable lgica individual cuantificada.

Los juicios aristotlicos: Definicin y elementos del silogismo

El juicio aristotlico considera la relacin entre dos trminos: un sujeto, S, y un predicado, P. Los trminos pueden ser tomados en su extensin universal: abarca a todos los posibles individuos, el dominio de discurso, a los cuales pueda referirse el concepto.2 3 O en su extensin particular: cuando slo se refiere a algunos.4 Los juicios por la extensin en la que es tomado el trmino sujeto, como criterio de cantidad, pueden ser: UNIVERSALES: Todo S es P5 PARTICULARES: Algunos S son P6 Nota: Los nombres propios tienen extensin universal; pues el uno, como nico, equivale a un individuo que siendo nico es, por eso, todos los posibles.7 La relacin entre los trminos puede ser asimismo: AFIRMATIVOS: De unin: S es P. NEGATIVOS: De separacin: S no es P.8 El predicado de una afirmacin siempre tiene extensin particular, y el predicado de una negacin est tomado en su extensin universal. Cuando un concepto, sujeto o predicado, est tomado en toda su extensin se dice que est distribuido; cuando no, se dice que est no distribuido. Segn el criterio de cantidad y cualidad, resulta la siguiente clasificacin de los juicios:

CLASE

DENOMINACIN Universal Afirmativo Universal Negativo Particular Afirmativo Particular Negativo

ESQUEMA

EXPRESIN-EJEMPLO Todos los hombres son mortales Ningn hombre es mortal

Extensin de los trminos S: Universal P: Particular

Todo S es P Todos los S no son P Algn S es P Algn S no es P

S: Universal P: Universal S: Particular P: Particular S: Particular P: Universal

I O

Algn hombre es mortal Algn hombre no es mortal

Los juicios se relacionan unos con otros en lo que constituye un argumento. El silogismo argumenta estableciendo la conclusin como una relacin entre dos trminos, establecida como resultado de la comparacin de ambos trminos con un tercero (tertium comparationis). Por eso se define:
Silogismo es la argumentacin en la que a partir de un antecedente, (dos juicios como premisas), que compara dos trminos, (sujeto y predicado de la conclusin), con un tercero, (trmino medio), se infiere o deduce un consecuente, (un juicio como conclusin), que une, (afirma), o separa, (niega), la relacin de estos trminos, (sujeto y predicado), entre s.

ANTECEDENTE = Dos premisas: Premisa mayor, en la que se encuentra el trmino mayor, que es el predicado de la conclusin, que se representa como P. Premisa menor, en la que se encuentra el trmino menor, que es el sujeto de la conclusin, que se representa como S. Entre ambas se realiza la comparacin del trmino sujeto y el trmino predicado con respecto al trmino medio, que se representa como M.

CONSECUENTE = Una conclusin: En la que se establece la relacin entre el trmino sujeto S, y el trmino predicado P. TRMINOS:

Trmino mayor: Es el predicado de la conclusin. La premisa en la que se encuentra se llama premisa mayor. Se representa como P. Trmino menor: Es el sujeto de la conclusin. La premisa en la que se encuentra se llama Premisa menor. Se representa como S. Trmino medio: Que sirve de comparacin (tertium comparationis) y no puede estar en la conclusin. Se representa como M.

Figuras y modos silogsticos

Teniendo en cuenta la disposicin de los trminos en las premisas y en la conclusin se pueden dar las siguientes FIGURAS SILOGSTICAS, que se denominan:
1 2 3 4 FIGURA FIGURA FIGURA FIGURA MP PM MP PM Premisa mayor Premisa menor Conclusin

SM SP

SM SP

MS SP

MS SP

Los modos son las distintas combinaciones que se pueden hacer con los juicios que entran a formar parte de las premisas y la conclusin. Como estos juicios tienen cuatro tipos distintos (A,E,I,O), y en cada caso se toman de tres en tres dos premisas y una conclusin hay 64 combinaciones posibles. Estas 64 combinaciones posibles quedan reducidas a 19 modos vlidos, al aplicar las reglas del silogismo.

Reglas del silogismo

Reglas para los trminos

El silogismo no puede tener ms de tres trminos.

Esta ley se limita a cumplir la estructura misma del silogismo: La comparacin de dos trminos con un tercero. Aunque la regla es clara, su aplicacin no siempre lo es. Es lo que algunos llaman silogismo de cuatro patas. Ver quaternio terminorum. Consideremos el siguiente silogismo: Los hombres son esencialmente libres.

Las mujeres no son hombres. Las mujeres no son libres. Los trminos que aparecen como evidentes son las palabras hombre, libre, mujer. Pero, a modo de un non sequitur en la supuesta premisa mayor se utiliza la palabra hombre en su acepcin de especie (Homo sapiens) mientras que en la supuesta premisa menor del quaternio terminorum se ha trocado el significado de la palabra hombre utilizando la acepcin de [sexo] (hombre como sinnimo de varn), es decir se ha incluido subrepticiamente un cuarto trmino, de all que la conclusin del quaternio terminorum es errnea, un sofisma. Si se observa bien, en el ejemplo dado de quaternio terminorum se ha expresado de un modo entimemtico.

Los trminos no deben tener mayor extensin en la conclusin que en las premisas.

Por la misma estructura del silogismo; nicamente podremos obtener conclusiones acerca de lo que hemos comparado en las premisas.

El trmino medio no puede entrar en la conclusin.

Por la misma estructura del silogismo la funcin del trmino medio es servir de intermediario, como trmino de la comparacin.

El trmino medio ha de tomarse en su extensin universal por lo menos en una de las premisas.

Para que la comparacin sea tal, es necesario que el trmino medio sea comparado en su totalidad. De otra forma, podra ser comparado un trmino con una parte y el otro con la otra, constituyndose en realidad entonces un silogismo de cuatro trminos. Todos los andaluces son espaoles. Algunos espaoles son gallegos. Por tanto, algunos gallegos son andaluces Lo que evidentemente no es un modo vlido, puesto que "espaoles" en la premisa mayor al ser predicado de una afirmativa est tomado en su extensin particular.
Reglas de las premisas

De 2 premisas negativas no puede obtenerse conclusin alguna.

Dos premisas negativas no se adaptan a la estructura del silogismo, ya que si negamos S de M, y P de M, no sabemos qu relacin puede haber entre S y P. Para establecer la relacin, por lo menos uno de los trminos tiene que identificarse con M. Por tanto una de las dos premisas tiene que ser afirmativa.

De dos premisas afirmativas no puede sacarse una conclusin negativa.

En efecto, si S se identifica con M, y P tambin se identifica con M, no tiene sentido establecer una relacin negativa con entre S y P. La conclusin ser afirmativa.

La conclusin siempre sigue la peor parte. Entendiendo por peor parte, la negativa respecto a la afirmativa y lo particular respecto a lo universal.

Veamos los dos casos separadamente: a) Conclusin negativa de una premisa afirmativa y la otra negativa. Si se afirma una relacin entre dos trminos (X, M), pero se niega la de uno de ellos con otro (Y, M), siendo M el trmino medio, no puede haber ms conclusin que negar la relacin que pueda haber entre el primero (X) y el ltimo (Y) siendo uno sujeto y el otro predicado de la conclusin. b) Conclusin particular de una premisa universal y otra particular (teniendo en cuenta que dos premisas particulares no puede ser, como veremos en la regla siguiente). Pueden darse dos casos: Que una sea afirmativa y la otra negativa, o que las dos sean afirmativas. 1) Dos afirmativas. (Tenemos que recordar que el predicado de una afirmativa est tomado en su extensin particular, y el predicado de una negativa en su extensin universal). Al ser las dos afirmativas sus predicados son particulares. El trmino de la universal tiene necesariamente que ser el trmino medio, la conclusin tiene que tener un sujeto particular. 2) Una afirmativa y otra negativa: Tiene que haber dos trminos universales. Uno de ellos tiene que ser el trmino medio, el otro tiene que ser el predicado de la conclusin, pues la conclusin tendr que ser negativa, (caso a) de esta misma regla). Por tanto el trmino que queda ser el sujeto de la conclusin con extensin particular.

De dos premisas particulares no se saca conclusin.

Tambin tiene dos casos posibles: que una sea afirmativa y la otra negativa o que las dos sean afirmativas. a) Afirmativa y negativa: Algn A es B - Algn A no es C. Slo hay un trmino universal que es el predicado de la negativa, que por tanto tiene que ser el trmino medio. La conclusin tendr que ser negativa (caso a) de la regla anterior), y por tanto el predicado tendr que ser universal, y no puede ser el trmino medio por tanto no puede haber conclusin. b) Dos afirmativas: Algn A es B - Algn A es C. Los tres trminos son particulares, y por tanto no puede haber trmino medio con extensin universal, y por tanto no hay conclusin posible.

Los modos vlidos

Modo del silogismo es la forma que toma ste de acuerdo con la cantidad y la cualidad de las premisas y la conclusin. De la aplicacin de las leyes de los silogismos a los 64 modos posibles resultan vlidos solamente 19 y son los que tradicionalmente se memorizan atendiendo a los modos vlidos de cada figura con sus premisas y conclusin.
As los modos vlidos De la primera figura De la segunda figura De la tercera figura De la cuarta figura AAA, EAE, AII, EIO Se memorizaban cantando BARBARA, CELARENT, DARII, FERIO

EAE, AEE, EIO, AOO

CESARE, CAMESTRES, FESTINO, BAROCO

AAI, IAI, AII, EAO, OAO, DARAPTI, DISAMIS, DATISI, FELAPTON, BOCARDO, EIO FERISON

AAI, AEE, IAI, EAO, EIO BAMALIP, CAMENES, DIMATIS, FESAPO, FRESISON

Nota bene: Tambin son vlidos para la primera figura los modos subalternos BARBARI, CELARONT; para la segunda: CESARO, CAMESTROP; y para la cuarta: CAMENOP.9

Resolucin de los modos mediante un algoritmo mecnico: Las cartas silogsticas

cartas silogsticas

Consiste en un juego de diecisis cartas, ocho mayores y ocho menores. En cada carta mayor figura en primera lnea una posible premisa mayor y debajo posibles conclusiones. La primera lnea de las cartas menores llevan una posible premisa menor, y en sus partes medias unas aberturas.

Colocando una carta menor sobre una mayor como si fuera una combinacin de premisas, aparece en la abertura correspondiente una conclusin si es modo vlido, o ninguna si no lo es (carta 8 menor).

Representacin grfica de los modos como lgica de clases mediante diagramas de Venn

Convencin para la representacin grfica del juicio tipo A.

Se pueden representar estos modos mediante diagramas de Venn con las siguientes convenciones:

Cada trmino del silogismo est representado por S, P, M, por un crculo incoloro que representa a todos los miembros posibles de una clase. La conclusin aparece como resultado de la relacin de los trminos S y P en su relacin con M. La inexistencia se muestra como zona rellena de color. La existencia individual se afirma mediante una X: Al menos uno, o algunos. La relacin de los trminos se constituye como pertenencia o no pertenencia a la clase. La relacin de inclusin, Todo S es P, se representa como No hay ningn S que no sea P segn muestra la imagen que se muestra al margen.

Representacin grfica de los modos vlidos en diagramas de Venn.

Teniendo en cuenta la problemtica de la lgica aristotlica, de la que se habla ms adelante, el problema del "compromiso existencial" afecta a los modos Darapti,

Felapton, Bramalip, y Fesapo que no se muestran en las grficas, al no ser admitidos como vlidos por algunos y, sobre todo, la representacin grfica no hace plausible la conclusin, debido a la falta de "compromiso existencial", como se comenta ms adelante.

La problemtica de la lgica silogstica

La exposicin anterior es la forma ms simple y esquemtica tradicionalmente presentada como lgica aristotlica.10 Sin embargo, la problemtica que trata Aristteles es bastante ms compleja. Aristteles define: Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente.
Aristteles An. Pr. I 24 b 18-23

Dos aspectos a destacar en su definicin:

La necesidad, que considera el silogismo como categrico, por considerar que los juicios que lo integran son asimismo categricos. El fundamento de dicha necesidad, por "ser las cosas lo que son".

Hablar del silogismo categrico supone hablar de lo necesario e incondicionado. Y precisamente incondicionado por estar basado en el ser de las cosas. Aristteles est pensando en un predicado aprehendido a partir de la experiencia y atribuido por el entendimiento a un sujeto. En el lenguaje apofntico11 el silogismo manifiesta la verdad, porque el entendimiento humano (entendimiento agente, segn Aristteles) es capaz de llegar a la intuicin directa de lo real12 aunque sea a travs de un proceso de abstraccin.13 Se parte del supuesto de que P es predicado verdadero de S (en el sentido de que P manifiesta la "identidad" del ser de S), lo que plantea una cuestin metalgica. Vase verdad. Aristteles piensa que el juicio manifiesta lo que es como verdadero. El problema entonces es y cmo se predica de un sujeto lo que no-es?14 (V.:aportica). La lgica aristotlica se encuentra con el problema de los juicios negativos que resuelve no del todo bien. De hecho en el cuadro de oposicin de los juicios Aristteles estudi con todo detalle problemas que posteriormente no se han tenido en cuenta; en realidad consider tres figuras y no todos los 19 modos vlidos.15 Aristteles considera modos perfectos aquellos cuya validez aparece como evidente, siendo los dems imperfectos por cuanto deben ser probados por medio de los modos perfectos, que son los correspondientes a la primera figura: BRBARA, CELARENT, DARII, FERIO.16

Incluso lleg a considerar tales modos como los axiomas de todo el sistema lgico. El juicio como atribucin de un predicado verdadero a un sujeto, (en el sentido de que P manifiesta la "identidad" como "ser del sujeto",17 en tanto que realidad conocida), plantea el problema de un predicado falso, es decir un no-predicado. Cmo conocemos un no-predicado?... Lingsticamente, el problema se disfraza negando el verbo en lugar del predicado como atributo (gramtica). De esta forma en vez de decir "Antonio es un no-caballo", (qu es un no-caballo?),18 decimos "Antonio no es un caballo". Pero esto segundo slo es inteligible bajo el punto de vista extensional de los conceptos,19 es decir bajo el punto de vista de ser un elemento de un conjunto definido por una propiedad, o lo que es lo mismo por su pertenencia o no-pertenencia a una determinada clase; lo que nos lleva a la lgica de clases. La lgica moderna simblica, meramente lgica formal, no tiene conexin con contenido de verdad alguno y supera con claridad estas dificultades; sobre todo con la ventaja de poder tratar proposiciones polidicas, llamadas as porque tienen ms de dos trminos (por ejemplo: "Jpiter es mayor que la Tierra y menor que el Sol"),20 y facilitar enormemente el clculo lgico, por lo que, de hecho, la lgica aristotlica, como tal, est en claro desuso.21 Hans Reichenbach estudia el cuadro de oposicin de los juicios considerando los juicios A, E, I, O, como relacin de clases y considera que pueden eliminarse los juicios negativos E, O, que son los problemticos, mediante la anotacin de la negacin de la clase complementaria.22 La notacin se hace estableciendo entre el sujeto S y el predicado P, la letra minscula correspondiente al tipo de juicio. As tenemos que:

As no slo se simplifica la notacin sino que de modos que tradicionalmente han sido considerados invlidos, se puede obtener conclusin vlida, que la notacin clsica haca imposible.23 Por todo ello la interpretacin actual de la lgica aristotlica como silogismo es su interpretacin como lgica de clases. Tal es el mrito de la obra de Lukasiewicz. Pero considerar los conceptos universales, como clases plantea el problema de la existencia del individuo como instanciacin o compromiso existencial. Pues la clase como propiedad independiente puede considerarse como abstracto universal.24 Pero los predicados, como atributos, no tienen sentido sin un sujeto gramatical del cual se prediquen porque posea dicha propiedad.25 La lgica tradicional no consideraba el problema de la existencia o no existencia del individuo respecto a los conceptos universales, pues se supone que stos han surgido de la abstraccin a partir del conocimiento de los singulares o individuos existentes.26

El silogismo considerado en la lgica formal

La lgica formal actual considera la relacin S y P como una relacin meramente sintctica sin contenido material alguno, bien sea en una relacin de clases o una funcin proposicional de predicados. Aristteles considera dicha formalidad, desde luego, bajo el punto de vista de la relacin entre dos trminos S (sujeto) y P (predicado) que al mismo tiempo tienen una funcin lingstico-gramatical, pues para Aristteles los trminos representan aspectos del ser y por tanto de la realidad. Pero la formalidad de la lgica actual convierte la deduccin en una inferencia, como consecuencia lgica, en lugar de una implicacin con transmisin de contenido en un lenguaje apofntico transmisor de la verdad como pretenda Aristteles para el lenguaje de la ciencia. En la nueva forma de relacin sintctica se pierde toda relacin de los trminos con la gramtica del lenguaje y posible "significacin". El silogismo pierde as su formalidad de ser categrico, transmisor de la verdad necesaria, "por ser las cosas como son", para adquirir una formalidad hipottica. Siendo S el sujeto, P el predicado y M el trmino medio, el silogismo es ahora interpretado como lgica de clases, y su esquema lgico sera del tipo siguiente: Si la clase S est (o no est) contenida en la clase M, y la clase M est (o no est) contenida en la clase P, entonces la clase S est o (no est) contenida en la clase P. O, en su interpretacin con respecto a los individuos, cuando haya conocimiento de instanciacin existencial:27 Si todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase S pertenecen (o no pertenecen) a la clase M, y todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase M pertenecen (o no pertenecen) a la clase P, entonces todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase S pertenecen (o no pertenecen) a la clase P. As el silogismo en Brbara se convierte formalmente en lgica de clases como:

Que expresa una frmula de relacin hipottica y al no haber afirmacin de verdad alguna en las premisas, la conclusin es condicionada y no implicada. De la misma forma el silogismo puede interpretarse como una funcin proposicional de un predicado P que se predica de uno, alguno o todos los individuos x, que a su vez pueden ser o no ser sujeto de otro predicado S como resultado de la relacin que ambos tienen o no tienen con otro predicado M, siendo S, P y M los trminos del silogismo. Mx simboliza "Ser mortal", siendo M=ser mortal que se puede predicar respecto a una variable x cuyo compromiso de existencia vendra dado por la cuantificacin existencial de la referencia de dicha funcin, bien sea un cuantificador universal, todo x: ; un

cuantificador particular, un o algn x: b, c

; o una constante individual determinada: a,

La lgica de predicados resuelve as el problema de la instanciacin existencial, pero nuevamente convierte el silogismo en un esquema formal de inferencia, donde no hay afirmacin sino una inferencia hipottica, a partir del hecho de que la proposicin puede ser verdadera o falsa y no una afirmacin categrica. As el silogismo por antonomasia en AAA, de la primera figura se interpretara de la siguiente manera siendo S, M y P sus trminos:

Es decir un silogismo hipottico de la lgica de predicados. En ambos casos, como relacin de clases o como lgica de predicados, el clsico silogismo categrico: Todos los hombres son mortales. Todos los griegos son hombres. Por tanto todos los griegos son mortales. Se convierte en un silogismo hipottico: Si todos los hombres son mortales y todos los griegos son hombres, entonces, todos los griegos son mortales. Lo que, no cabe duda, es una transformacin no menor de la lgica aristotlica.

La filosofa de Aristteles

(- 384 a - 322)

1.1. Lgica : los conceptos

La lgica aristotlica
1.

Aristteles ha pasado a la historia, entre otros cosas, como el primer sistematizador de la lgica. De hecho, sus propuestas en este campo, junto a las aportaciones de los estoicos, han constituido prcticamente toda la lgica hasta el siglo XIX. El mismo Kant, quien toma la clasificacin aristotlica de los juicios como base para realizar las deduccin trascendental de las categoras del entendimiento, aspecto fundamental de su obra, se extraa del mnimo avance de la lgica, desde Aristteles, contrastndolo con el arrollador avance de la ciencia a partir del Renacimiento, dado que ambas parecen ofrecernos una forma de conocimiento seguro.
2.

Las obras de lgica de Aristteles (Categoras, Sobre la interpretacin, Primeros analticos, Analticos posteriores y Tpicos) fueron agrupadas en un conjunto llamado Organon, que los filsofos interpretaron tradicionalmente como una propedutica, una preparacin para la filosofa. Con ello pretendan recalcar que el conocimiento de las leyes del razonamiento era fundamental, un paso previo, para cualquier ulterior estudio, y que deba estar en posesin de tal conocimiento quienes quisiesen adentrarse en el terreno de la filosofa. A diferencia de la moderna lgica formal, la lgica aristotlica parte del supuesto de que las formas de pensamiento reproducen lo que ocurre en la realidad, o sea, que las cosas extramentales existen tal como son pensadas por la mente, por lo que las categoras de la mente son categoras objetivas, categoras de la realidad. De ese modo las categoras del pensamiento adquieren un sentido ontolgico y ese carcter propedutico que ha sealado la tradicin filosfica.
3.

La lgica aristotlica se ocupa del estudio de los conceptos, dedicando especial atencin a los predicables, y de las categoras (o predicamentos), que se completa con el anlisis de los juicios y de las formas de razonamiento, prestando especial atencin a los razonamientos deductivos categricos o silogismos, como formas de demostracin especialmente adecuadas al conocimiento cientfico.

Los conceptos
1.

El concepto es entendido como la representacin intelectual de un objeto, diferencindose, pues, de lo sentido, lo percibido, lo imaginado o lo recordado. Las propiedades de los conceptos son la comprensin y la extensin: la primera denota las caractersticas esenciales que contiene un concepto, y la segunda el nmero, la cantidad de sujetos a los que puede aplicarse, de los que se puede predicar. Cuanto mayor sea el nmero de caractersticas que contiene un concepto, menor ser el nmero de sujetos a los que pueda aplicarse, y viceversa. En funcin de estas caractersticas se pueden construir los conocidos rboles lgicos, como hizo Porfirio (siglo III d.c.), en los que se

clasifican los conceptos estableciendo entre ellos una relacin de jerarqua y subordinacin, de mayor a menor extensin.
Jerarqua y subordinacin de los conceptos segn el rbol lgico de Porfirio

2.

Por supuesto, hay muchas clases de conceptos. Atendiendo a su extensin pueden ser universales, particulares y singulares; atendiendo a su comprensin: simples y compuestos, segn expresen una sla esencia, o una esencia acompaada de una cualidad; tambin pueden ser, segn su comprensin, concretos y abstractos, compatibles o incompatibles, positivos o negativos, claros u oscuros. Los que ms interesaron a Aristteles fueron los conceptos universales y sus distintos tipos de atribucin o predicables. Los predicables son conceptos universales que pueden aplicarse, pues, a muchos sujetos. En los Analticos posteriores Aristteles se refiere a cinco predicables, o modos generales de atribucin: gnero, especie, diferencia, propio y accidente. El gnero representa la parte de la esencia que es comn a varias especies; la especie representa la esencia del ser; la diferencia expresa la parte de la esencia que no es comn, sino caracterstica de la especie; propio, o propiedad, expresa una cualidad que acompaa necesariamente a la especie, y el accidente expresa una cualidad contingente, que puede estar o no en el ser.
3.

Los gneros supremos en los que se pueden clasificar los seres son las categoras, o predicamentos. En sus obras "Categoras" y "Tpicos" Aristteles fija en diez su nmero, estableciendo una distincin fundamental entre la sustancia y los accidentes. La sustancia es la categora fundamental, lo que existe en s mismo; los accidentes son categoras que existen en otro ser, en la sustancia. Aristteles clasifica los accidentes en 9 grupos: cualidad, cantidad, relacin, accin, pasin, lugar, tiempo, situacin, hbito externo. (En los "Analticos posteriores" nos habla slo de ocho categoras accidentales, suprimiendo las dos ltimas, que son englobadas como aspectos de las restantes). En la medida en que las categoras remiten a las formas de ser extramentales adquieren un marcado contenido ontolgico, dando por supuesto que las cosas son captadas por la mente tal como son en realidad.

4.

Los conceptos son actos mentales que expresamos mediante el lenguaje. A esa expresin lingstica del concepto le llamamos "trmino", y es objeto de la misma clasificacin atribuida a los conceptos. Los trminos pueden ser, adems, si atendemos al objeto expresado, unvocos, equvocos y anlogos. Son unvocos los trminos que remiten a un slo concepto, y se aplican siempre con el mismo sentido o significado. Equvocos son los trminos con los que podemos expresar distintos conceptos, aplicndose en cada caso con un sentido distinto (Len tiene una catedral, el len es el rey de la selva). El trmino que expresa conceptos diferentes pero que tienen un fondo comn se llama anlogo (Juan est sano, este clima es sano). El anlisis de los distintos tipos de analoga interes mucho a los filsofos medievales y algunos problemas de la relacin entre lo divino y lo humano fueron tratados con el desarrollo del anlisis de los distintos tipos de analoga.

La filosofa de Aristteles

(- 384 a - 322)

1.2. Lgica : los juicios La lgica aristotlica. Los juicios

1.

La relacin de dos conceptos da lugar a la formulacin de un juicio. Si se da entre ambos una relacin de conveniencia decimos que el juicio es afirmativo, y en caso contrario, negativo. El sujeto del juicio es el concepto del que se afirma o niega algo; el predicado es el concepto que se afirma o niega del sujeto. Aristteles distingue en los juicios la materia y la forma. La materia o contenido del juicio son los conceptos que se relacionan; la forma es la relacin que se establece entre ellos a travs del verbo ser. Aristteles representa el sujeto del juicio con un signo (S) y el predicado con otro (P) para intentar separar la materia de la forma: as, la forma del juicio "Juan es alto" se representara como "S es P", y la forma del juicio "Juan no es alto" como "S no es P".

2.

Los juicios se clasifican en varios grupos, atendiendo a la cantidad (segn la extensin del sujeto: universales, particulares, singulares), la cualidad (segn la cualidad de la cpula: afirmativos y negativos), la relacin (segn la relacin entre el sujeto y el predicado: categricos, hipotticos y disyuntivos) y la modalidad (segn el modo en que expresan la relacin entre el sujeto y el predicado: apodcticos, asertricos y problemticos). De ah se sigue una clasificacin ordenada de todas las formas de juicio; en el caso de los juicios categricos, por ejemplo, se dara la siguiente clasificacin, combinando la cantidad (universal y particular) y la cualidad (afirmativo y negativo):
Clases de juicios y letras que los representan Clase de juicio Representacin

Universal afirmativo Se suele representar con la letra A Universal negativo Se suele representar con la letra E Particular afirmativoSe suele representar con la letra I Particular negativo Se suele representar con la letra O

3.

La asignacin de estas letras para representar las formas del juicio categrico es posterior a Aristteles y procede de las palabras latinas "AfIrmo" y "nEgO", y es la que se ha utilizado tradicionalmente entre nosotros para referirnos a la clasificacin aristotlica de los juicios. Tambin Aristteles estudia las formas de oposicin entre los juicios, (es decir, la diversidad entre los juicios que tienen el mismo sujeto y predicado), deduciendo una serie de reglas sobre la verdad de los mismos que se han de cumplir independientemente de los conceptos que elijamos para formar los juicios.
4.

En funcin de tales reglas se pueden establecer relaciones de oposicin entre los distintos tipos de juicios, segn sean contrarios, contradictorios, subcontrarios o subalternos, determinando su valor de verdad en funcin del tipo de oposicin con otro juicio conocido. Se pueden representar con el cuadro siguiente:

Al igual que ocurra con los conceptos, que son actos mentales que se expresan mediante trminos lingsticos, los juicios son actos mentales que se expresan mediante proposiciones, es decir, mediante un conjunto de palabras u oracin gramatical. El mismo juicio se puede expresar con distintas proposiciones (por ejemplo, usando distintos idiomas), y a veces la misma proposicin puede referirse a juicios distintos, ("sta es mi casa" dicha por dos personas distintas).

La filosofa de Aristteles

(- 384 a - 322)

1.3. Lgica: los razonamientos La lgica aristotlica. Los razonamientos

1.

El razonamiento es un encadenamiento de juicios en el que partiendo de una proposicin conocida se descubre otra u otras desconocidas. Aristteles, en los Analticos, se ocupa tanto del razonamiento deductivo como del inductivo, pero considera que el conocimiento cientfico se alcanza deduciendo lo particular de lo general, es decir, con el conocimiento de las causas. Aristteles privilegiar, por tanto,

el anlisis del razonamiento deductivo, y en especial del razonamiento deductivo categrico o silogismo.
2.

Del mismo modo que distinguimos en el juicio una materia y una forma hemos de hacer lo propio con el razonamiento; la materia prxima del razonamiento son los juicios, y la materia remota los conceptos (que son la materia de los juicios). La forma consiste el nexo o conexin legtima entre los juicios antecedentes y los consecuentes y se expresa mediante conjunciones como "luego", "por lo tanto", "por consiguiente", a travs de las cuales se realiza el proceso de inferencia, la consecuencia de unos juicios a otros. Aristteles afirma que este proceso est sometido a reglas que permiten determinar su correccin o incorreccin, de tal modo que, si los juicios de los que se parte son verdaderos, y la inferencia se realiza de acuerdo con las reglas definidas (si la inferencia es vlida, pues) la conclusin ser necesariamente verdadera. El proceso de inferencia no depender, pues, de la materia del razonamiento, sino de su forma.
3.

El razonamiento deductivo es una forma de razonamiento que va del todo a las partes es decir, intenta extraer de una verdad universal otra particular. Puede ser de tres clases: categrico, hipottico y disyuntivo, atendiendo al tipo de juicio (por la relacin) que le sirva de punto de partida.
Clases de razonamiento y ejemplos correspondientes Clase de razonamiento Ejemplo correspondiente a dicha clase Todos los humanos son mortales Razonamiento categrico Los madrileos son humanos Luego los madrileos son mortales Si apruebas irs de vacaciones Razonamiento hipottico Es as que has aprobado Luego irs de vacaciones Por este camino se va al norte o al sur Razonamiento disyuntivo Es as que se va al norte Luego no se va al sur

4.

El silogismo es un razonamiento deductivo categrico mediante el cual, partiendo de dos juicios dados inferimos uno nuevo. Consta, pues, de tres proposiciones (que expresan tres juicios) y de tres trminos (que expresan tres conceptos), que constituyen la materia prxima y remota del razonamiento, respectivamente. La premisa que sirve de punto de partida se llama "premisa mayor" y es la ms general; la premisa que sirve de intermediario se llama "premisa menor", y es menos general que la anterior; la

proposicin que se deduce de la "mayor" por mediacin de la "menor" es la conclusin del razonamiento.
5.

En cuanto a los trminos del razonamiento, se llama "trmino mayor" al predicado de la conclusin, que debe aparecer en la premisa mayor, y se le representa con la letra P. Se llama "trmino menor" al sujeto de la conclusin, que aparece tambin en la premisa menor, y se le representa con la letra S. El "trmino medio" es el que aparece en las dos premisas (mayor y menor) y no en la conclusin, y se le representa con la letra M. Por lo tanto, tomando el ejemplo anterior de razonamiento categrico, podramos representarlo como sigue:
Clase de razonamiento, ejemplo correspondiente y representacin formal Clase de razonamiento Ejemplo correspondiente Representacin formal

Razonamiento categrico

M es P Todos los humanos son mortales S es M Los madrileos son humanos ---------Luego los madrileos son mortales S es P

Donde el trmino mayor es "mortales" (P), el trmino menor es "madrileos" (S), y el trmino medio es "humanos" (M).

6.

Aristteles distingue cuatro formas vlidas de silogismo, conocidas tradicionalmente como figuras del silogismo, y que resultan del distinto lugar que ocupa el trmino medio, y por lo tanto de la funcin que le corresponde, en las premisas. La conclusin de todas las figuras es siempre S es P. Las formas vlidas o figuras del silogismo son las siguientes (aunque la ltima fue considerada por Aristteles como una mera variante de la primera):
Las formas vlidas del silogismo, o figuras del silogismo Primera figura M es P S es M ---------S es P Segunda figura P es M S es M ---------S es P Tercera figura M es P M es S ---------S es P cuarta figura P es M M es S ---------S es P

El trmino medio es El trmino medio es El trmino medio El trmino medio es Predicado en la premisa Predicado en ambas es Sujeto en Sujeto en la premisa mayor y Sujeto en la ambas premisas mayor y Predicado en la premisas menor menor

7.

Estas cuatro figuras pueden, a su vez, teniendo en cuenta la cualidad y la cantidad de las proposiciones que las componen, dar lugar a un total de 64 modos diferentes de silogismo, de los que slo 19 son modos vlidos de razonamiento. Su validez la establece Aristteles a partir de la determinacin de las leyes o reglas de legitimidad del silogismo. Entre ellas, que el silogismo ha de constar de tres trminos, que no pueden ser tomados con mayor extensin en la conclusin que en las premisas, que el trmino medio ha de tomarse universalmente al menos en una premisa (o en ambas), que de dos premisas negativas no se puede seguir ninguna conclusin, etc.
8.

El fundamento del silogismo suscit tambin la curiosidad investigadora de Aristteles, ya que al basarse la inferencia en la validez de las premisas anteriores se planteaba el problema del recurso al infinito para justificar el razonamiento. Si cada premisa tiene que estar justificada por otra, en efecto, cmo detener la necesidad de justificar el principio del principio? Esto nos llevara a un proceso infinito de justificacin, por lo que Aristteles afirm que existan ciertos principios que eran conocidos intuitivamente y que no necesitaban demostracin. El ms fundamental de todos era el principio de contradiccin (no es posible que algo sea y no sea, al mismo tiempo, y bajo la misma consideracin); de l se sigue el de identidad (algo es igual a s mismo) y el de igualdad (dos cosas iguales a una tercera son iguales entre s), y otros que se siguen de los anteriores.

Proposiciones Aristotelicas
Enviado por gabyfer93, nov. 2011 | 2 Pginas (251 Palabras) | 5 Visitas |

1 2 3 4 5

| Denunciar

| Si eres valiente, haz clickabajo...

PROPOSICIONES ARISTOTLICAS Las proposiciones en la lgica aristotlica pueden ser afirmativas y negativas. En lgica bivalente o lgica binaria, la negacin de una proposicin negativa equivale a una afirmativa. El predicado de una proposicin negativa est tomado en su extensin universal, se refiere a todos. El predicado de una proposicin afirmativa est tomado en su extensin particular, algunos. Por su extensin, las proposiciones pueden clasificarse en universales, cuando el sujeto est tomado en su extensin universal ( "Todo S es P" ), particulares, cuando el sujeto est tomado en su extensin particular ( "Algn S es P" ). Son Categricas -Utilizan Exclusivamente el RELACIONADOR SER -Tienen Cuantificadores La combinacin de ambos criterios da lugar a los siguientes tipos de proposiciones: Tipos de Proposiciones. Aristotlicas Universal - Afirmativa Todo S es P Universal - Negativa Ningn S es P Particular - Afirmativa Algn S es P Particular - Negativa Algn S no es P Universal afirmativa ( "Todos los humanos son mortales" ). Universal negativa ( "Ningn humano es mortal" ). Particular afirmativa ( "Algunos planetas giran alrededor del Sol" ). Particular negativa ( "Algunos planetas no giran alrededor del Sol" ). Existencial afirmativa ( "Scrates existe" ). Existencial negativa ( "Scrates no existe" ). 1.- Algunos Estudiantes son estudiantes aplicados 2.- Todo Reptil es Animal que se arrastra 3.- Algunos Mamferos son Animales Voladores Las proposiciones son los elementos a partir de los cuales se construyen los razonamientos. PROPOSICIONES MODALES -Tienen que ser inferidas, interpretadas, en su esencia. -Utilizan cualquier RELACIONADOR en infinitivo -El ncleo Modal es Sujeto, Relacin y Predicado -Tienen Cromatizadores o Especificadores -Existen las simtricas y las asimtricas.
Proposicin (lgica)

De Wikipedia, la enciclopedia libre http://es.wikipedia.org/wiki/Proposici%C3%B3n_(l%C3%B3gica), consultado el 28 de septiembre de 2010 En lgica y filosofa, el trmino proposicin es un tanto ambiguo y se usa para referirse a: Las entidades portadoras de los valores de verdad.

Los objetos de las creencias y de otras actitudes proposicionales. Los referentes de las clusulas-'que', como Juan cree que el Sol es una estrella. El significado de las oraciones declarativas, como el Sol es una estrella.

Es un producto lgico del pensamiento que se expresa mediante el lenguaje, sea ste un lenguaje comn, cuando adopta la forma de oracin gramatical, o simblico, cuando se expresa por medio de signos o smbolos. En Lgica tradicional se distinguen la proposicin y el juicio, por cuanto la primera es el producto lgico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio. Para Aristteles, proposicin es un discurso enunciativo perfecto, que expresa un juicio y significa lo verdadero y lo falso

Contenido
1 La lgica y otras ciencias 1.1 Proposicin, enunciado y creencia 1.2 Proposicin atmica y molecular 1.3 Proposicin lgica y valores de verdad 1.3.1 Verdad de hecho o contingente, contradiccin y tautologa 2 Anlisis lgico de las proposiciones 3 Proposicin en la lgica aristotlica 4 Crticas a la nocin de proposicin 5 Vase tambin 6 Referencias 7 Bibliografa
o o o

La lgica y otras ciencias

Un enunciado lingstico (generalmente en la forma gramatical de una oracin enunciativa) puede ser considerado como proposicin lgica cuando es susceptible de poder ser verdadero o falso. Por ejemplo Es de noche puede ser Verdadero o Falso. Aunque existen lgicas polivalentes, en orden a la claridad del concepto, aqu consideramos nicamente el valor de Verdad o Falsedad.

Se llama proposicin atmica, o simple, cuando hace referencia a un nico contenido de verdad o falsedad; vendra a ser equivalente a la oracin enunciativa simple en la lengua. Proposicin molecular cuando est constituida por varias proposiciones atmicas unidas por ciertas partculas llamadas "nexos o conectivas", que establecen relaciones sintcticas como funcin de coordinacin y subordinacin determinadas entre las proposiciones que la integran; tal ocurre en la funcin de las conjunciones en las oraciones compuestas de la lengua.

Proposicin, enunciado y creencia

Llueve es un enunciado, lo mismo que It rains. Ambos enunciados expresan la misma proposicin lgica por cuanto ambos representan siempre el mismo valor de verdad, verdadero o falso en cualquier situacin, bien sea de verdad o de falsedad.3 Tambin se distingue la proposicin de la creencia. Apreciar, percibir que llueve como acto interno del individuo fundamenta la creencia, con independencia de su expresin lingstica. Podramos de alguna forma considerarlo como pensamiento. Mirar por la ventana y constatar que llueve suscita una creencia de que est lloviendo, con independencia de que se exprese afirmndolo en un enunciado. Como proposicin, (independiente de las creencias y los pensamientos de cualquiera; con independencia del lenguaje o forma de expresin lingstica en el que se exprese el pensamiento, incluso de la realidad de que llueva o no llueva), a la lgica lo que le interesa es nicamente la funcin: poder ser verdadero o falso. Algunos filsofos, por eso, llegaron a pensar que la lgica habla de lo posible, lo que puede ser o no ser, o de mundos composibles, pero no de lo real. (Mundo = conjunto determinado de posibles compatibles en una unidad posible). La lgica se preocupa de las proposiciones; y estudia las formas vlidas segn las cuales a partir de la verdad o falsedad de una o varias proposiciones se pueda argumentar o inferir la verdad o falsedad de otras. Por eso la verdad lgica es una verdad formal, que no tiene contenido. Eso explica por qu puede establecer sus leyes y reglas de modo simblico, construyendo diversos clculos que puedan modelizar algunos contextos lingsticos o teoras cientficas, de forma semejante a las matemticas. Su elemento fundamental es la proposicin lgica y la definicin de las reglas. Tengamos en cuenta que el clculo lgico basado en valor V y F, traducido como sistema binario a 1 y 0, es la base sobre la que se han construido las mquinas de clculo y los ordenadores o computadoras. Los enunciados y los juicios subjetivos son estudiados por otras ciencias.

Proposicin atmica y molecular

En los casos anteriores hemos considerado nicamente la posibilidad de un enunciado atmico o simple, simbolizada con una sola variable. Estas proposiciones se llaman atmicas. Si establecemos conexiones lgicas entre varias proposiciones segn unas reglas perfectamente establecidas en sus elementos simblicos y son definidas como funciones de verdad, construiremos proposiciones moleculares o compuestas. As la proposicin Si llueve entonces el suelo est mojado, enlaza la proposicin llueve con la proposicin el suelo est mojado, bajo el aspecto de funcin de verdad si entonces...

Proposicin lgica y valores de verdad

El valor de verdad de una proposicin lgica atmica es, por definicin, verdadero o falso (podemos representarlo como V o F). As el enunciado llueve es verdadero si y slo si est lloviendo en ese momento. Pero si dicho enunciado se considera como proposicin lgica atmica, p, entonces puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente, porque tiene los dos posibles valores de verdad, por la propia definicin de proposicin lgica. El contenido de la relacin de un enunciado con lo real no es objeto de la lgica sino de otras ciencias. Verdad de hecho o contingente, contradiccin y tautologa El valor de verdad de una proposicin molecular puede ofrecer los siguientes casos:

Que su valor dependa del valor de verdad de las proposiciones que la integran, segn las conexiones lgicas que las unen. En ese caso dicha proposicin tiene un valor de Verdad de hecho o contingente. Puede ser unas veces verdadera y otras veces falsa segn la verdad o falsedad de cada una de las proposiciones atmicas que la integran. El valor lgico V (verdad) de la proposicin llueve y hace calor, slo se dar en el caso de que las dos proposiciones llueve (p) y hace calor (q) sean tomadas en su valor de V; en los dems casos ser falsa. Sin embargo en la proposicin llueve o hace calor basta que una de las dos sea considerada en su valor de verdad V para que la proposicin molecular sea verdadera. La funcin y conjuntiva y la funcin o disyuntiva se definen en tablas de verdad, como funciones de verdad o conectivas. Las dos proposiciones moleculares enunciadas ms arriba pueden ser verdaderas o falsas segn sean los valores que tomemos en consideracin en cada una de las proposiciones que la integran. Por eso ambas son contingentes.

Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, como relaciones lgicas, siempre y necesariamente es falsa. Entonces esa proposicin es una contradiccin.

El valor de verdad de la proposicin llueve y no llueve es una contradiccin y siempre ser falsa, con independencia del valor que consideremos V o F de llueve (p) y de no llueve (p). La funcin de verdad no se define mediante una tabla de verdad.

Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, siempre y necesariamente es verdadera. Entonces esa proposicin es una tautologa. El valor de verdad de la proposicin llueve o no llueve, es una tautologa y siempre ser verdadera con independencia de los valores que consideremos de llueve (p) o de no llueve (p). El anlisis del valor de verdad de una proposicin se realiza mediante las tablas de verdad.

Las tautologas se constituyen como leyes lgicas o verdades formales y son la base sobre la que se construyen las reglas de inferencia en el razonamiento o clculo lgico

Anlisis lgico de las proposiciones

Hemos considerado hasta aqu la proposicin como un todo. Pero tambin puede analizarse la proposicin de varias maneras:

1. Como la atribucin que se hace de una propiedad como predicado de un sujeto

gramatical. As ha sido considerada la proposicin lgica, como juicio de trminos, en la lgica tradicional. Segn este modo de entender la proposicin lgica, los trminos designan:

sustancias existentes mediante un nombre propio, o conceptos que representan adecuadamente la realidad como esencias abstradas por el entendimiento segn las categoras lgicas.

Suele simbolizarse como S es P. Maximiliano corre es interpretada segn este punto de vista como Maximiliano es un ser que est corriendo ahora, es decir, a Maximiliano, Sujeto, se le atribuye un Predicado: la accin de correr ahora como una propiedad (correr) que se est realizando, (ahora), en Maximiliano. Tradicionalmente la lgica aristotlica consideraba de esta forma la proposicin lgica. Este tipo de anlisis est claramente en desuso, pues introduce el verbo ser como referencia a la realidad que, por definicin, es un elemento extralgico.6 Por eso Aristteles consideraba la validez formal de sus argumentos como silogismo categrico. Hoy da no se acepta dicha argumentacin como categrica, lo que no quita nada a la validez formal del silogismo. Hoy da la lgica aristotlica se interpreta como lgica de clases.7

2. Como la unin o separacin de clases que tienen o no tienen una propiedad comn.
Un conjunto de individuos definidos por una propiedad, es decir como clasificados, pertenecen o no pertenecen a una clase definida como relacin entre clases.8 La proposicin los perros son mamferos, se interpreta como Todos los individuos que pertenecen a la clase de los perros pertenecen a la clase de los mamferos, dicho de otra forma: la clase de los mamferos incluye a la clase de los perros. Por clase se entiende un conjunto de individuos que tienen una propiedad comn.9 Cualquier individuo del universo se define por pertenecer o no pertenecer a una clase. En el caso de Maximiliano, Maximiliano es una clase entera, universal, porque nicamente est formada por un nico individuo: Maximiliano. El enunciado anterior ha de leerse ahora como: "La clase Maximiliano=Maximiliano, pertenece a la clase de los seres que corren". El valor V o F de las proposiciones atmicas parte de los individuos x, y, z, etc. considerados nicamente como pertenecientes o no pertenecientes a una clase. Los valores de verdad de las proposiciones moleculares y sus relaciones con otras proposiciones surgen a partir de las relaciones y operaciones entre las clases. La lgica de clases estudia dichas operaciones y sus conectivas lgicas. En matemticas las clases se consideran como conjuntos y los individuos son considerados como elementos.

3. Como esquema cuantificacional de un predicado que se afirma de un argumento.

Maximiliano corre es ahora analizado como Fx en que el argumento x es reemplazado por Maximiliano y F como predicado reemplaza a correr. Por lo mismo F(x, y) cuando x es Maximiliano e y es Fernando. Para proposiciones generales y particulares hay que utilizar cuantificadores /\x / Fx Para todo x se cumple Fx. Todos los hombres son mortales. Donde x es un hombre y F es ser mortal. \/x / Fx Existe algn x en el que se cumple Fx. Algunos hombres son mortales.

4. Como esquema relacional

Pepe ama a Mara es ahora analizada como Rab, donde R es la relacin que simboliza "amar a"; a es Pepe y b es Mara. Ntese que no es lo mismo que Rba, pues sera Mara ama a Pepe. Lo que da lugar a una lgica de relaciones. Los clculos pueden ser eternamente infinitos segn consideremos las proposiciones y definamos las reglas. Pero a la lgica le interesan aquellos que resultan tiles para ser aplicados a un mbito especfico, capaces de generar modelos de interpretacin, bien sean

lingisticos o de otra clase. El llamado clculo de deduccin natural, es el ms fcilmente ligado a la expresin lingstica habitual.

Proposicin en la lgica aristotlica

Las proposiciones en la lgica aristotlica pueden ser afirmativas y negativas. En lgica bivalente o lgica binaria, la negacin de una proposicin negativa equivale a una afirmacin. El predicado de una proposicin negativa est tomado en su extensin universal, se refiere a todos. El predicado de una proposicin afirmativa est tomado en su extensin particular, algunos. Por su extensin, las proposiciones pueden clasificarse en universales, cuando el sujeto est tomado en su extensin universal ( "Todo S es P" ), particulares, cuando el sujeto est tomado en su extensin particular ( "Algn S es P" ). La combinacin de ambos criterios da lugar a los siguientes tipos de proposiciones:

Universal afirmativa ( "Todos los humanos son mortales" ). Universal negativa ( "Ningn humano es mortal" ). Particular afirmativa ( "Algunos planetas giran alrededor del Sol" ). Particular negativa ( "Algunos planetas no giran alrededor del Sol" ). Existencial afirmativa ( "Scrates existe" ).

Existencial negativa ( "Scrates no existe" ).

Las proposiciones son los elementos a partir de los cuales se construyen los razonamientos. La lgica aristotlica estudia los razonamientos segn un esquema llamado silogismo.

Para Aristteles, la lgica no es ciencia, sino un instrumento (rganon) para el pensamiento correcto. El objeto de la lgica es el silogismo.

El silogismo no es ms que un argumento que consiste en proposiciones de las cuales se puede inferir (sacar) una conclusin. Por lo tanto, no es dar valor a la verdad o falsedad de las proposiciones (frases o premisas), ni la conclusin, slo para observar la forma en que se constituy. Es un razonamiento mediado que ofrece el conocimiento de una cosa a partir de otras cosas (buscando, as, una causa). En s mismas, las proposiciones o frases declarativas acerca de la realidad, como la justicia, deben seguir tres reglas bsicas.

1 Principio de identidad: A es A. 2 Principio de no contradiccin: A es A y no-A al mismo tiempo. 3 Principio del tercero excluido: A es X o no-X, no hay una tercera posibilidad.

As, el valor de la verdad o falsedad se da a las proposiciones, pues son inmediatamente evidenciadas. Sin embargo, la lgica opera con argumentos. Las propuestas se clasifican en:

Afirmativas: S es P. Negativas: S no es P. Universales: todo S es P (afirmativa) o Ningn S es P (negativa). Particulares: algunos S son P (afirmativa) o Algunos S no son P (negativa). Singulares: cuando el predicado est incluso en el sujeto. Por ejemplo, todo tringulo posee tres lados. No necesarias o imposibles: el predicado jams podr ser atributo de un sujeto. Por ejemplo, ningn tringulo posee cuatro lados. Posibles: el predicado puede o no ser atributo. Por ejemplo: todos los hombres son buenos.

El silogismo se compone de al menos dos proposiciones de las cuales se extraen una conclusin. Su forma lgica es la siguiente: A es B, luego B es C (siempre los trminos mayor y menor), por tanto, C es A. Tenga en cuenta que el trmino es el trmino A, que es sujeto y predicado en una oracin en otra. Por lo tanto, no aparece en la conclusin, que demuestra que no es la mediacin y que la conclusin es, de hecho, una deduccin o inferencia, es decir, en realidad es extrada de la relacin entre las premisas. El silogismo es, por tanto, el estudio de la correccin (validez) o incoreccin (invalidez) de los argumentos encadenados segn las premisas de las cuales es licito extraer una conclusin. Su validez depende de la Forma y no de la verdad o falsedad de las premisas. De esta manera, es posible distinguir entre argumentos slidos de los poco slidos o falsos y que no se nos induzca a engaos.

Ejemplos de la lgica aristotlica

Veamos un ejemplo: P1 Todo hombre es mortal (V) P2 Scrates es un hombre (V)

C Por lo tanto, Scrates es mortal (V). El argumento es vlido no porque la conclusin es cierta, sino porque sigue el modelo formal: A es B, luego B es C y C es A. Otro ejemplo: P1 Todos los mamferos son mortales (V) P2 Todos los perros son mortales (V) C Luego, todos los perros son mamferos (V).
Gua 1 de Lgica Clsica

Prof. Renato Huerta rhuertat@uc.cl

I.Preguntas de Seleccin Mltiple 1.Qu se entiende por extensin de un concepto? A)Que el trmino que lo expresa es muy largo B)Que es ms o menos flexible, segn su aplicacin C)La cantidad de sujetos a los que puede aplicarse

2. El silogismo es: A)Un razonamiento hipottico B)Un razonamiento categrico deductivo C)Un razonamiento particular

3. La premisa mayor de un razonamiento es: A)La ms larga, la que tiene ms palabras B)La ms general (y que se toma como punto de partida) C)La ms importante

4. Si decimos que un concepto es simple nos referimos a: A)la facilidad para captarlo (un nio lo hara) B)su comprensin C)su extensin

5. En funcin de la cualidad los juicios pueden ser: A)Afirmativos y negativos B)Particulares y singulares C)Categricos e hipotticos

6.Si decimos que un concepto es particular nos referimos a: A)Su comprensin B)Su extensin C)Su particularidad

7. Qu se entiende por comprensin de un concepto? A)Lo que significan las palabras B)La cantidad de caractersticas esenciales que contiene C)Que se puede entender con facilidad

8.Cul es la relacin entre comprensin y extensin de un concepto? A)Son directamente proporcionales B)Son inversamente proporcionales C)No tienen relaciones.

9.Una proposicin es A)Lo mismo que una preposicin B)La manifestacin verbal de un juicio C)Lo mismo que un silogismo

10.La cpula es una parte del juicio A)De la cual se niega o afirma a algo. B)Que une sujeto con predicado C)Ninguna de las anteriores

11.Las figuras del silogismo se determinan por A)La ubicacin de las proposiciones B)La posicin del trmino medio en las premisas. C)El contenido de las premisas.

12.Un silogismo es de la primera figura cuando A)El trmino medio es sujeto en la premisa mayor y predicado en la premisa menor. B)El trmino medio es predicado en la premisa mayor y sujeto en la premisa menor. C)Ninguna de las anteriores.

13.Un silogismo es de la segunda figura cuando A)El trmino medio est como sujeto en ambas premisas. B)El trmino medio est como predicado en ambas premisas. C)Ninguna de las anteriores.

14.Un silogismo es de la tercera figura cuando A)El trmino medio es sujeto en ambas premisas. B)El trmino medio es predicado en ambas premisas. C)Ninguna de las anteriores

15.Un silogismo es de la cuarta figura cuando A)El trmino medio est como predicado en la premisa mayor y como sujeto en la menor B)Eltrmino medio est como sujeto en la premisa mayor y predicado en la premisa menor. C)Ninguna de las anteriores

II.Preguntas de Anlisis de Silogismos. Responda las siguientes tres preguntas con respecto a cada silogismo. En caso de que el silogismo est mal estructurado seale a qu ley contraviene.

A)Cules son los trminos medio, mayor y menor del silogismo? B)A qu figura pertenece? Por qu? C)En qu modo est?

16.Todos los senadores son miembros del Congreso Algunos chilenos son senadores Luego, algunos chilenos son miembros del Congreso.

17.Ningn chileno es apto para ser Nobel en Fsica Algunos ciudadanos son chilenos.

Luego,algunos ciudadanos no son aptos para ser Nobel fsica

18.Todos los mediocres aman la TV. Todos los faranduleros aman la TV. Luego, todos los faranduleros son mediocres.

19.Los polticos tienen privilegios. Algunos chilenos no tienen privilegios. Luego, algunos chilenos no son polticos.

20.Todos los sabios son inteligentes Algunos sabios son profesores Luego, algunos profesores son inteligentes.

21.Todos los buenos lectores acceden a universidades de prestigio. Todas las universidades de prestigio tienen puntajes altos. Luego, algunos que tienen puntajes altos son buenos lectores.

Respuestas: 1.C 2.B 3.B 4.B 5.A 6.B

7.B 8.B 9.B 10.B 11.B 12.A 13.B 14.A 15.A