La lgica es la ciencia que expone las leyes, modos y formas del conocimiento cientfico.

Se trata de una ciencia formal que no tiene contenido, sino que se dedica al estudio de las formas vlidas de inferencia. Es decir, se trata del estudio de los mtodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto.

La etimologa muestra que el concepto de lgica deriva del latn logca, que a su vez proviene del trmino griego logiks (de logos, razn o estudio). El filsofo griego Aristteles fue pionero al utilizar la nocin para referirse al estudio de los argumentos como manifestadores de la verdad en la ciencia, y al plantear al silogismo como el argumento vlido. Aristteles est considerado como el padre de lalgica formal. Por otro lado, la lgica informal es el estudio metdico de los argumentos probables desde la retrica, la oratoria y la filosofa, entre otras ciencias. Se especializa en la identificacin de falacias y paradojas, y en la construccin correcta de los discursos. La lgica natural es la disposicin natural para discurrir con acierto sin el auxilio de la ciencia. La lgica borrosa o difusa, en cambio, es la que admite una cierta incertidumbre entre la verdad o falsedad de sus proposiciones, a semejanza del raciocinio humano. Por otra parte, la lgica matemtica es aquella que opera utilizando un lenguaje simblico artificial y realizando una abstraccin de los contenidos. Existen otros tipos o clases de lgica, como la lgica binaria, que trabaja con variables que slo toman dos valores discretos.

La lgica se constituye prcticamente como disciplina autnoma, a partir de Aristteles, quien la instaur como ciencia, elevndola al grado de saber supremo. Tal grado fue alcanzado debido a la importancia que se la atribuy como mtodo, como herramienta indispensable en el manejo de los procesos mentales. De ah que se diga que el objeto sobre el cual trabaja la lgica, es el pensamiento, sus formas, es decir la manera como la mente consigna y ordena los datos provenientes de la naturaleza. Posteriormente, dichos datos sern expresados de acuerdo con las reglas o formas asignadas por la disciplina en mencin. El pensamiento:

Es el proceso mediante el cual, el hombre capta la realidad, partiendo de sus sentidos, hasta obtener una percepcin clara de los fenmenos al conformar una imagen de estos. La imagen se crea a partir del ordenamiento de la sensaciones al captar la realidad. Este proceso se puede denominar el despertar del pensamiento. De aqu en adelante se relacionarn las imagines, conformando las primeras ideas de las cosas o fenmenos. Factores del proceso de pensar: a.Un sujeto pensante que produce el pensamiento. b.Un objeto al que se refiere el pensamiento y que determina su contenido. c.La forma como es expresado el pensamiento. Lgica formal y lgica material: En el pensamiento es posible distinguir los contenidos materiales y los contenidos formales. Los primeros son constituidos por los conceptos: montaa, casa, carro, rbol. Los segundos, hacen referencia a la forma como aquellos conceptos se relacionan entre s: A es parte de B; A es idntico a B; C = (A U B ) Cuando el objeto de estudio son los contenidos materiales del pensamiento, tenemos la lgica material. Cuando se estudian los contenidos formales, tenemos la lgica formal. Haz click si deseas ms informacin acerca de los siguientes temas PRINCIPIOS LGICOS. EL CONCEPTO. EL JUICIO. EL RACIOCINIO. Qu es una Proposicin? Es una expresin con sentido completo de la cual se puede decir que es verdadera o falsa. a.Bivalente: cuando una proposicin tiene dos valores uno falso y uno verdadero. b.Plurivalente: cuando tiene ms de dos valores, verdadero, falso, probable. c.No analizada: donde la totalidad de la proposicin se considera una variable. d.Analizada: Cuando nos metemos en la proposicin para encontrar constantes y variables. Clases de Proposiciones: A.Proposicin Atmica: aquella que carece totalmente de conectivas. Es una variable. B.Proposicin molecular: aquella que por lo menos tiene una conectiva. Variable: Cualquier simple afirmacin. Ej. El da es bonito. Qu es Metalgica? Es un lenguaje que hablamos para hablar otro lenguaje, en este caso del clculo.

a.Sintaxis lgica: nos dice cules son las reglas que hay que seguir para la combinacin de los signos tengan sentido. b.Semntica lgica: nos dice qu es lo que significan los signos del clculo lgico. c.Pragmtica lgica: relacin entre los signos y aquel que lo usa. Hay ciertas expresiones que quedan por fuera del campo de la lgica. Ej. Ay!, Bah!, Oh!. Las exclamaciones, las preguntas y las expresiones sin sentido. Constantes o Conectivas Reglas de la sintaxis lgica Resolucin de racionamientos por tablas de verdad Validez de un procedimiento INFERENCIAS LGICAS Esquema de inferencia es una representacin grfica en la cual se nos da una informacin. PQ P Premisa Q Conclusin Estas inferencias lgicas obedecen a unas reglas especificas, si deseas una explicacin ms puntual haz click sobre ellas REGLA MODUS PONENDUS PONENS. REGLA DOBLE NEGACIN. REGLA TOLLENDO TOLENS ADJUNCIN SIMPLIFICACIN TOLLENDO PONENS ADICIN TRANSITIVA LEY DE DILEMA LEY DE CONMUTACION LEYES DE MORGAN BICONDICIONAL PONENDO TOLLEN

Concepto general. La denominacin de la lgica, est directamente relacionada con la palabra griegalogos, cuyo significado en griego antiguo es equivalente apensamiento o razn, pero tambin palabra o conocimiento; y logik era lo relativo al logos En definitiva, se trata del estudio de la forma en que funciona la facultad

humana de pensar y razonar. Puede definirse la lgica como el conjunto de conocimientos que tienen por objeto la enunciacin de las leyes que rigen los procesos del pensamiento humano; as como de los mtodos que han de aplicarse al razonamiento y la reflexin para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos. Debe distinguirse entre la lgica formal y la lgica material:

La lgica formal tambin llamada lgica pura - que es la lgica propiamente dicha - es precisamente la ciencia (en cuanto conocimiento) que determina cules son las formas correctas y vlidas de los raciocinios; pero lo haceconsiderndolos en s mismos y con prescindencia de los contenidos concretos de los razonamientos, es decir, considerando esos contenidos como entes lgicos abstractos, de tal manera que las leyes a aplicar tengan validez para cualquier contenido concreto. El raciocinio puede definirse como un proceso del pensamiento (por tanto, exclusivamente humano) que a partir de ciertos conocimientos establecidos (llamados premisas), conduce a adquirir un conocimiento nuevo (contenido en laconclusin) sin que para ello haya que recurrir a nuevas constataciones u observaciones sensibles distintas o adicionales a las ya contenidas en las premisas. Por lo tanto, la verdad a que conduce la lgica formal, es una verdad formal; queser verdad en tanto sea verdad el contenido de las premisas, e indicar solamente que existe una congruencia de ese raciocinio, consigo mismo. Si en un razonamiento existe falsedad en las premisas y la conclusin asimismo es falsa; de todos modos el razonamiento ser correcto o vlido como razonamiento.

La lgica material tambin llamada lgica aplicada, es aquella en que un proceso de raciocinio o de pensamiento se analiza en consideracin al contenido real de sus premisas, y por lo tanto debe conducir a una verdad material, una conclusin que sea concordante con la realidad. Mientras que las premisas (o predicados) que toma en consideracin la lgica pura constituyen entidades abstractas y absolutamente precisas, respecto de las cuales no es requerido que exista ningn objeto de la realidad que los verifique; es difcil encontrar en la realidad conceptos de origen empricosensible que presenten exactamente las caractersticas de los objetos lgicos. Aparte de ello, respecto de todo concepto de origen emprico, no solamente es posible concebir sino que tambin se encuentran en la realidad experimental,

objetos respecto de los cuales no es posible afirmar de manera absolutamente cierta que coinciden o que no coinciden con esos conceptos. Por lo tanto, respecto de proposiciones lgicas que utilicen esos conceptos, las leyes de la lgica formal solamente sern aplicables con especial precaucin. De tal manera, las leyes de la lgica formal solamente resultarn aplicables con alcance estricto en el campo de las ciencias puramente exactas y abstractas, tales como las matemticas, la propia lgica, la mecnica, y aquellas disciplinas exclusivamente normativas y abstractas tales como la interpretacin jurdica.
Ir al principio

Breve historia de la lgica. Entre los muchos aportes que hizo Aristteles al conocimiento abstracto, sin duda la lgica formal - de la que fue indiscutiblemente creador - no solamente puede considerarse el ms trascendental, sino aquel en que logr mejores y mayores aciertos. La principal aportacin de Aristteles fue la silogstica, el estudio del procedimiento de raciocinio por medio del silogismo, en que de dos premisas se deduce una conclusin; tambin llamada lgica de las proposiciones o lgica clsica. Los filsofos ulteriores, sobre todo los pertenecientes a la escuela estoica pre-cristiana y a la escolstica medieval desarrollaron a fondo la lgica de las proposiciones; sistematizando y completando la silogstica aristotlica as como llegaron a desarrollar las llamadas lgicas modales. Recin en el siglo XIX puede decirse que se desarrollaron nuevas aportaciones de importancia en el campo de la lgica, con el desenvolvimiento de la lgica matemtica que, a partir del antecedente del pensamiento de Leibnitz, realizaron Boole y Frege. El filsofo y matemtico alemn Gottfried Wilhelm Leibnitz (Leipzig, 1646 Hannover, 1716) - a quien cabe considerar el creador de la lgica matemtica desarroll la idea de un calculus ratiocinator, mediante el cual se aplicara un sistema de reglas a algunos conceptos generales precisamente definidos, lo que habilitara a operar en el campo de las cuestiones filosficas con los mismos procedimientos del razonamiento matemtico. Esta idea tena implcito el concepto de crear un mtodo equivalente al de las ciencias exactas para alcanzar la certeza en cuanto a las cuestiones filosficas; pero precisamente por su estrecha vinculacin con especulaciones filosficas sobre numerosos temas como la metafsica y la teodicea, el concepto qued largo tiempo olvidado. Fue as que la lgica matemtica - tambin llamada lgica simblica - se desarroll efectivamente en el siglo XIX, especialmente a partir de George Boole (Inglaterra,

1815 - 1864), autor de la obra Investigacin de las leyes del pensamiento en que se fundan la teoras matemticas de la lgica y la probabilidad, en que se originara la conocida como lgebra booleana; que conjuntamente con Frege consigui construir clculos lgicos rigurosamente formalizados, que permitieron aplicar a los problemas lgicos los procedimientos matemticos. Con ello sentaron los fundamentos operativos de la tecnologa de la moderna computacin, que fueran ulteriormente desarrollados por las teoras de Emil Post y el clebre matemtico ingls Allan Mathison Turing(Inglaterra, 1912-1954), creador de la Automatic Digital Machine que por primera vez permiti realizar clculos mecanizados mediante el empleo de algoritmos. La obra culminante de la lgica simblica, la constituye Principia mathematica deSir Bertand Russell (Inglaterra, 1872-1970) y Alfred North Whitehead (Inglaterra, 1861 - U.S.A., 1947), realizada en tres tomos, entre los aos 1910 y 1913. En esta obra, se sustenta el concepto de que las matemticas puras se obtienen de premisas lgicas puras, de modo que los conceptos que las definen tambin son conceptos lgicos puros. Cabe sealar, ante lo precedente, la evidencia que emerge en cuanto a la trascendental importancia que la lgica reviste en todos los rdenes de las actividades y del conocimiento humano; siendo demostrativa del estrecho vnculo que existe entre sus remotos orgenes filosficos, su absoluta conexin con los fundamentos del conocimiento de las matemticas y, por esa va, su clara incidencia en los fundamentos tericos y conceptuales de la computacin. sta, a su vez, alcanza una repercusin trascendental no solamente en la informtica en s misma, sino en todas sus aplicaciones en la vida cotidiana; ya sea a nivel de la industria, las comunicaciones, y an en una enorme variedad de elementos de uso y consumo cotidiano. Teniendo clara conciencia de la forma en que, desde el fondo de los siglos, se proyecta hacia nosotros el esfuerzo intelectual de Aristteles para habilitarnos a pensar correctamente; el empleo de las reglas de la lgica en otros campos, tales como las decisiones en el orden de la vida personal, poltica, econmica y jurdica en muchos de cuyos aspectos no suele ser frecuente aplicarla - debiera ser una importante preocupacin para todos.
Ir al principio

Los principios lgicos. Como punto de partida del estudio de las leyes que rigen el proceso del razonamiento, se han establecido ciertas leyes fundamentales, que se considerangenerales y anteriores a todos los que de ellos se deducen, que son producto de la intuicin (resultado de un conocimiento directo e inmediato), y sobre los cuales se fundamentan todas las restantes normativas lgicas.

Estos principios se consideran verdades axiomticas, evidentes por s mismas, que no tienen que, ni necesitan, demostrarse. Son cuatro principios, los tres primeros enunciados por Aristteles y el cuarto agregado por Leibnitz:

El principio de identidad Desde el punto de vista del ser, (ontolgico) se enuncia expresando que todo objeto (de conocimiento) es igual a s mismo. Sin embargo, desde el punto de vista lgico, su enunciado se relaciona con la estructura de las proposiciones, expresando que el principio de identidad se verifica cuando en una proposicin verdadera el concepto contenido en el predicado es total o parcialmente idntico al concepto contenido en el sujeto: el tringulo tiene tres lados. El principio de (no) contradiccin Tambin tiene una formulacin ontolgica conforme a la cual un objeto (de conocimiento) no puede ser y al mismo tiempo no-ser. Desde el punto de vista lgico, este principio se enuncia expresando que dos proposiciones contradictorias no pueden ser ambas verdaderas; o que toda contradiccin encierra una falsedad: Si es verdad que el tringulo tiene tres lados, no puede ser verdad que el tringulo no tiene tres lados. En relacin a la lgica aristotlica, o clsica, puede decirse que el principio de no contradiccin es el fundamental de todos; al punto de que existen quienes lo consideran el nico principio, del cual se extraen los otros.

El principio de tercero excludo Este principio est estrechamente vinculado con el de no contradiccin, al punto que a veces se lo distingue de ste expresando que mientras el de no contradiccin expresa que dos proposiciones contradictorias no pueden ser ambas verdaderas, el de tercero excludo expresa que dos proposiciones contradictorias no pueden ambas ser falsas. Sin embargo, es ms apropiado referir este principio al concepto de valor de verdad de la lgica clsica, conforme al cual una proposicin solamente puede tener valor de verdadera o de falsa; y por lo tanto, entre la verdad o la falsedad, no existe una tercera posibilidad. En consecuencia, la relacin con el principio de no contradiccin queda mejor expresada en cuanto al principio de tercero excludo, si se enuncia en el sentido de que de dos proposiciones contradictorias, necesariamente una ha ser verdadera y la otra ha de ser falsa. El principio de razn suficiente Este principio fue enunciado por Leibnitz en un sentido ontolgico expresando que todo lo que existe tiene su razn de ser. Algunos filsofos le han dado una enunciacin en sentido lgico, expresando que todo juicio es falso o verdadero, por alguna razn; y por lo tanto ha de ser posible justificar su veracidad o su falsedad por medio de la razn. De este principio, se considera derivado el: o El principio de causalidad Este principio, ms propiamente ontolgico, implica que todo lo que existe tiene una causa; por lo cual

todo lo que es efecto de una causa puede convertirse a su vez en causa de otro efecto.
Ir al principio

Lgica y verdad. Como se ha expresado antes, la lgica formal o lgica pura, estudia las formas en que procede el raciocinio, en forma abstracta; es decir, prescindiendo de sus contenidos concretos. Por ese camino, procura encontrar las leyes formales universales del pensamiento correcto; de tal manera que produzcan ese resultado cualquiera sean los contenidos a que se apliquen. De tal manera, la lgica formal se atiene no al contenido sino a la validez de los razonamientos, no a su materia sino a su forma; por lo cual la forma de un razonamiento correcto debe ser independiente:

tanto de los objetos de que trate, como de las propiedades de esos objetos que puedan tomarse en consideracin.

Como tambin se ha sealado antes, en el estudio del proceso de un razonamiento determinado, hecho a partir de ciertas premisas, no es permitido acudir a elementos que no estn ya contenidos en esas premisas; de modo tal que para la validez de la conclusin a que conduzca el razonamiento: si los datos del objeto de que tratan las premisas han sido previamente constatados para l, deben darse por verificables en cualquier otro objeto de la misma categora. si en las premisas se considera determinadas propiedades, el razonamiento vlido para ella debe continuar sindolo tanto en las premisas como en la conclusin, si alguna de esas propiedades es sustituda por otra. si el razonamiento correcto tiene una determinada validez en un determinadomomento de cualquiera de ellos, debe mantener la misma validez en cualquier otro momento; tanto respecto del objeto de la premisa como de sus propiedades. La lgica clsica de las proposiciones, no admite ms que dos posibilidades de validez del razonamiento, o valores de verdad: verdadero ofalso; por ello, se trata de una lgica binaria. No resulta admisible la existencia de un valor de verdad intermedio entre lo falso y lo verdadero, como podra ser lo dudoso; ni ms dbil que lo falso, como podra ser

loimposible. Por lo tanto:

o

estos valores de verdad se excluyen recprocamente en forma absoluta, o toda proposicin encierra necesariamente uno de ellos.

En tales condiciones, la validez de un razonamiento no depende ni es consecuencia del valor de su conclusin; un razonamiento puede ser no vlido, aunque su conclusin sea verdadera. Para que un razonamiento sea correcto, es necesario que en todos los raciocinios de la misma forma, partiendo de premisas verdaderas, la conclusin sea igualmente verdadera. Un razonamiento puede ser vlido si su conclusin es falsa, con tal que por lo menos una de sus premisas sea tambin falsa. En este caso, se estar frente a lo que se denomina refutacin por el absurdo. Cuando se razona en base a dos premisas, una de las cuales es dudosa, al efectuar un razonamiento correcto que conduce a una conclusin que es conocida como falsa, permitira evidenciar la falsedad de la premisa de que se ha partido.
Ir al principio

Lgica y filosofa - Sistemas lgicos. La lgica formal, por lo antes visto, acude a una nocin de verdad, pero no se ocupa ella misma de establecer la verdad material. Para sus propios fines, la lgica utiliza una nocin de verdad que aplica solamente para establecer la idea de una proposicin verdadera, para legitimar la validez de un razonamiento como proceso lgico; pero esa nocin de verdad no pertenece a la lgicamisma, sino que la toma de alguna concepcin filosfica previa, o de alguna estructura de pensamiento con que ya se est familiarizado. Cuando la nocin de verdad empleada en un razonamiento lgico proviene de una posicin filosfica previamente elaborada, es evidente que la validez del razonamiento formal, a los fines de la verdad material, es solidaria aquella de la filosofa en que se fundamenta. En los casos en que la nocin de verdad se fundamenta en axiomas: proposiciones que en una determinada disciplina se dan por evidentes en s mismas o por irrefutablemente demostradas - la lgica deja a cargo de esas disciplinas la decisin sobre el valor definitivo del razonamiento, en cuanto por ms que en s mismo sea correcto, su validez como verdad material depender necesariamente del valor propio de esos principios.

Esto es lo que determina que sea posible hablar de sistemas lgicos, sin que, en cuanto a ellos, se vea afectada la validez del proceso del razonamiento a consecuencia de la invalidez del valor de verdad inherente a cada sistema sustancial o material de razonamiento al que las leyes de la lgica sean aplicadas. En tales casos, la ausencia de verdad de las conclusiones no ser imputable a la invalidez del razonamiento, sino a la invalidez de la funcin de verdad previamente aplicada a las premisas. En este sentido, es posible considerar la lgica, en cuanto ciencia de los razonamientos, tanto como un conocimiento filosfico cuanto como un conocimiento no filosfico (o, ms propiamente, a-filosfico). La lgica filosfica - que era el punto de vista de los pensadores antiguos a partir de Aristteles y de hecho hasta el siglo XIX - pretende fundamentarse sobre certezas de ndole filosfica; particularmente respecto de cuestiones concernientes a la naturaleza de los actos del intelecto humano respecto del conocimiento contenido en las premisas y consiguientemente en las conclusiones. En cambio, la lgica simblica o matemtica - o formalizada - de la poca contempornea, pretende liberarse de toda concepcin filosfica, y elaborar sus teoras a partir de una nocin propia de verdad postulada en algunas pocas propiedades simples; a partir de las cuales trata de elaborar el concepto deraciocinio vlido.

De cualquier manera, lo que no puede perderse de vista es que, a la larga, esa lgica asptica de toda filosofa, con toda su indiscutible validez desde el punto de vista de las ciencias abstractas como las matemticas o la mecnica y sus tiles aplicaciones;no resulta aplicable a numerosos campos de la actividad humana, en los cuales es ineludible partir de premisas cuyo valor de verdad podr parecer no objetivamente demostrable, pero que necesariamente implican presupuestos dotados de esa funcin de verdad en otros planos, particularmente aquellos ticos. Tampoco puede perderse de vista que, en ltimo anlisis la lgica misma es un fenmeno de la realidad en la medida en que lo es el pensamiento humano; y que por lo tanto los principios lgicos aparecen como generalizaciones de observaciones realizadas sobre lo real. Las operaciones lgicas son, en definitiva, modos de ordenar las realidades efectivas o posibles, a los fines de alcanzar su adecuado conocimiento. La realidad misma, en este enfoque, son modos de comportamiento de lo que percibimos, respecto de lo que es nuestro conocimiento; y que exhiben si l es falso o verdadero. De tal manera, si bien el buen funcionamiento de los procesos lgicos depende de su validez resultante de la verdad formal a que conduzcan, el objetivo instrumental final de la lgica es habilitar el verdadero conocimiento de la realidad; y para ello

tanto es indispensable recoger esa realidad en las premisas como aplicar las leyes lgicas correctamente al extraer las conclusiones. De tal manera, en lo que se refiere a las actividades y conocimientos no abstractos (abstractos pueden serlo los matemticos o los sistemas normativos de creacin humana, como la legislacin), el nico sistema lgico admisible es el que parte del reconocimiento y la aceptacin de la realidad en sus premisas. Especialmente en las cuestiones polticas, jurdicas y econmicas , los razonamientos lgicos siempre estarn doblemente condicionados, a los efectos de su factor material de verdad: por una parte en cuanto a la validez resultante de la propia correccin dela forma aplicada para el razonamiento; pero asimismo - y ser seguramente lo ms importante - al factor de verdad que afecte su sistema lgico en funcin de los valores de verdad que se asigne a sus premisas de partida, desde el punto de vista tanto filosfico, como de su correcto ajustamiento a su propia estructura normativa o, en su caso, a la realidad material.
Ir al principio

Lgica, lenguaje y smbolos. En la prctica, no es posible razonar directamente mediante conocimientos en un estado mental, sino por medio de representaciones simblicas, que se expresan en objetos materiales perceptibles por medio de los sentidos, tales como palabras, signos, grficos, frmulas, etc. El uso del lenguaje corriente lleva implcito un enfoque de sintaxis, que consiste en lasrelaciones formales entre los trminos empleados; y un enfoque semntico, que consiste en el sentido de referencia que se atribuye a las palabras empleadas, su relacin con los objetos y los conceptos de la realidad a que con su empleo se trata de aludir, y que es cierto modo es socialmente cambiante dentro de un mismo idioma, considerando distintos tiempos y lugares. El lenguaje de uso corriente - tanto el coloquial como el culto, literario o el de ciertas disciplinas especializadas - resulta totalmente imperfecto en cuanto al rigor, claridad, abstraccin y precisin requerido para la expresin de los conceptos y objetos en los estudios lgicos; especialmente considerando lo expuesto en cuanto a la prescindencia de los componentes de contenidos materiales de los procesos del razonamiento. En funcin de ello, la lgica formal procura liberarse de la incidencia que, en cuanto al examen de las cuestiones formales del razonamiento, pueda tener el uso de trminos de los lenguajes idiomticos, creando para ser aplicado en el estudio y

exposicin de las leyes lgicas, un lenguaje simblico propio, un lenguaje formal. Este lenguaje simblico propio de la lgica, tiene por otra parte la ventaja de suuniversalidad; en cuanto al prescindir del empleo de expresiones de un idioma real, permite su comprensin directa independientemente del idioma concreto de la persona que se aplique a su estudio. Ese lenguaje simblico es adems lo que se denomina un metalenguaje, en el sentido de que se lo concibe como una forma de expresin que est ms all del uso mismo del lenguaje. En este sentido, se dice que el lenguaje-objeto es el que se utiliza, en tanto que el metalenguaje es aquel con el que se habla del otro; como cuando se aprende un idioma extranjero utilizando para ello el idioma propio. Una expresin sencilla del lenguaje simblico aplicable al anlisis lgico puede ser similar al aplicado en matemticas para representar una variable. De esta forma, un silogismo simple como: Todos los hombres son mortales Scrates es hombre, entonces Scrates es mortal puede expresarse bajo la forma: Si A es B y C es A entonces C es B

De esta manera, la sustitucin de una proposicin por un simbolo permite construir una teora de las formas del razonamiento en las cuales intervengan componentes similares; de modo que sea posible reconocer facilmente en un proceso de razonamiento la presencia de una misma proposicin, de un mismo concepto, o de una misma propiedad o atributo. El smbolo que se emplea para representar una proposicin se designa como variable proposicional; pero debe distinguirse muy cuidadosamente de lo que constituye un smbolo de variables en otras disciplinas, como el lgebra o los lenguajes informticos de programacin: Una variable algebraica de las que se emplean en las frmulas matemticas, fsicas o de otras ciencias, es un smbolo de valor cuantitativo implcito; ya sea que se trate de despejarlo cuando constituye una incgnita o que se trate de examinar diversas situaciones en funcin de los distintos valores que puede asumir. De la misma forma, en programacin informtica, es un smbolo susceptible de tomar diversos valores (no necesariamente aritmticos o cuantitativos) con lo cuales el programa opera; y que pueden modificarse en el transcurso de su ejecucin. o Una variable proposicional, en cambio, representa una entidad lgica que se puede elegir o asignar con cierta libertad, dentro de un cierto mbito conceptual - llamado dominio de variacin de la variable - que se caracteriza por poseer ciertas propiedades comunes
o

a todos sus miembros, pero sin que eso permita establecer qu otras propiedades podrn distinguir esa entidad, de otras pertenecientes al mismo dominio.
Ir al principio

Las proposiciones predicativas. A pesar de lo que se ha expuesto antes en cuanto a los rasgos distintivos de la lgica simblica o propiamente matemtica, lo cierto es que histricamente la lgica naci como como lgica de los enunciados idiomticos o proposiciones; estudiando la forma en que se relacionan esos enunciados ubicados en la posicin de premisas o de conclusiones, para determinar si los procesos del razonamiento que conducen de unas a las otras resultan ser vlidos. La lgica originaria de Aristteles, y ulteriormente complementada por las aportaciones de la escuela estoica y la escolstica se basa en el anlisis deproposiciones predicativas, de las que se distinguen las proposiciones que cumplenfuncin de premisas y de conclusin. Posteriormente, debido a advertirse dificultades surgidas para explicar cierto tipo de inferencias a nivel de proposiciones, surge la necesidad de analizar las proposiciones segn su composicin interna, descomponindolas en sus trminos, lo que da lugar a la llamada lgica de trminos o de clases.

Las proposiciones predicativas no son otra cosa que expresiones de una estructura gramatical elemental, compuesta de sujeto, cpula y predicado: La puerta estabierta. Es oportuno precisar que, a pesar de la similitud, en la proposicin lgica la cpula, an cuando se presenta gramaticalmente como una expresin verbal (que normalmente estar configurada por es o no es), no tiene la funcionalidad del verbo; sino que solamente determina la circunstancia de que el predicado se cumple o no se cumple en el sujeto. Ha de tenerse en cuenta que cierto tipo de oraciones gramaticalmente consideradas, como las exclamativas, interrogativas, mandatos o expresivas de deseos, no revisten inters ninguno desde el punto de vista lgico; no son proposiciones enunciativas ni contienen conceptos o trminos. En una proposicin predicativa se establece una relacin entre un concepto que reviste la calidad de sujeto y otro que reviste la condicin de predicado . La funcin de relacionamiento y de enunciar es cumplida por un verbo que opera

como cpulaafirmativa o negativa: es. El anlisis de las proposiciones realizado por la lgica antigua de las proposiciones predicativas, se detiene en la distincin del sujeto, el predicado, la cpula y algunas pocas relaciones formales entre ellos en cuanto a la naturaleza del sujeto, la extensin o comprensin del predicado.

El anlisis de la proposicin La puerta est abierta hace posible reconocer: Un sujeto, que piensa esa proposicin. El acto de pensarla, que tiene lugar en la mente del sujeto pensante. El pensamiento mismo, independiente de que alguien lo piense, que puede ser pensado por muchos sujetos en diversos momentos, y que es siempre idntico a s mismo. Las percepciones o imgenes que eventualmente pueden acompaar la existencia de ese pensamiento en un sujeto y en circunstancias determinadas; como que est actualmente viendo la puerta abierta, que sea la de la casa o la de una habitacin, etc., o que no la vea sino que al leer esa frase en un libro recuerde alguna puerta que ha visto abierta, etc., o que simplemente se imagine una situacin como la que enuncia la proposicin. La expresin del pensamiento mediante las palabras que lo enuncian con su sentido o significado conceptual. El objeto a que el pensamiento se refiere, como concepto general; y que en este caso corresponde al concepto de lo que es una puerta y a la propiedad de estar abierta.
Ir al principio

o o

o o

Desde el punto de vista de la lgica formal, se denomina objeto todo lo que es capaz de admitir un predicado cualquiera; todo lo que puede ser sujeto de un juicio. En cuanto al objeto de las proposiciones lgicas, ellos pueden ser:

Los objetos reales o sensibles - son los objetos que se presentan en la experiencia sensible, en la percepcin externa o en la interior. o Los que son aprehendidos mediante la percepcin externa, son objetos fsicos; que existen en el tiempo y en el espacio. o Los objetos psquicos, que existen en el tiempo pero no en el espacio, que son hechos exclusivamente en la conciencia de quien los experimenta, tales como un deseo, una decisin de la voluntad.

Los objetos ideales - son entes que no existen en el tiempo ni en el espacio, son totalmente ajenos a la espacialidad como a la temporalidad; que no tienen la consistencia material ni efectiva o concreta de los objetos reales y que no obran activamente. Los objetos metafsicos - que se conocen exclusivamente a travs del razonamiento segn algunos filsofos; o mediante actos inmediatos de conocimiento a travs de la intuicin sea intelectual o no racional. Entre stos, cabe destacar los valores, como cualidades de un orden especial, que no ataen al ser mismo de los objetos sino a su apreciacin tica.
Ir al principio

Una proposicin enuncia una propiedad respecto de un objeto; pero en realidad las proposiciones son formuladas por lo comn en relacin a objetos del conocimiento queno constituyen la totalidad de lo real. De tal modo, es preciso que la proposicin precise a qu objetos reales trata de referirse, lo que se denomina el supuesto de la proposicin predicativa. Sin embargo, resulta obvio que no es posible introducir en la proposicin el objeto mismo respecto del cual se enuncia un juicio, por lo cual ese objeto debe ser expresado mediante un smbolo (al que se denomina sujeto de la proposicin) constitudo por untrmino que representa el objeto. El trmino es la expresin lgica de un concepto. Si bien vara segn los idiomas, el concepto que expresa es el mismo: silla, chair, cadeira, chaise, etc. Dentro de un mismo idioma pueden existir distintos trminos para expresar el mismo concepto, como se da en el caso de los sinnimos. Los trminos se clasifican en: Unvocos Cuando terminantemente son susceptibles de un nico significado:banco, planta, trapecio. Equvocos Cuando son susceptibles de emplearse con significados diferentes y requieren precisarse para concretarlos: ley (fsica, jurdica). Anlogos Cuando teniendo significados claramente diferentes, no obstante esos significados son semejantes en cuanto a alguna propiedad: banco, silla, sof.

Ir al principio

El predicado es lo que expresa la propiedad que la proposicin enuncia respecto del sujeto. El predicado debe expresar una cierta idea respecto del sujeto, y un cierto conocimiento que existe en la mente, un pensamiento que resulta inteligible en

cuanto es entendido. Los filsofos antiguos perciban que ningn conocimiento de la mente puede hacer comprensible a la misma vez la totalidad de las propiedades que pueden predicarse de un objeto; por lo cual el predicado debe limitarse a expresar una propiedad por vez, an cuando pueda ser muy compleja.
Ir al principio

El predicado se distingue del sujeto, porque en lugar de referirse a un sujeto real con todas sus propiedades, destaca una de las cualidades posibles de un objeto. De un mismo objeto puede afirmarse en dos proposiciones por separado, que es unamesa y que est sucia; pero tambin es posible afirmar en una proposicin que rene las dos anteriores, que la mesa est sucia. Pero las cosas cambian si se trata de aplicar una negacin; porque entonces hay que prestar atencin a si lo que se va a negar es que sea una mesa, o se va a negar que est sucia. All es posible advertir que, en realidad en la primera proposicin en que se afirm que el objeto era una mesa, la mesa no era sujeto sino predicado; y que en la segunda proposicin que afirmaba que el objeto estaba sucio, en realidad la cualidad mesa era un atributo del objeto. Un atributo es un anterior predicado del objeto, que se realiza en l efectivamente. El atributo, como tal, no puede ser puesto en duda; a lo sumo podr ponerse en duda que se realice en el sujeto. Por lo tanto, aunque el sujeto sea concreto, el atributo que lo determina es una abstraccin; por lo que un atributo aislado no constituye jams un sujeto, sino una cualidad del objeto que constituye el sujeto.
Ir al principio

Cuando el sujeto se refiere, uno por uno, a todos los objetos que poseen el atributo y que lo poseen cada uno por s e independientemente de los otros, se trata de un universal; y si no se refiere a cada uno de los objetos que verifican el atributo, se trata de un sujeto particular. Pero los trminos universal y particular no se toman, en este tema, en un sentido equivalente al que tienen en el lenguaje corriente. El sujeto universal no queda referido a todos los objetos, sino solamente a aquellos que poseen el atributo; ni tampoco se refiere a todos los objetos que integran una colectividad o conjunto, sino a sus componentes individuales considerados uno por uno. Cuando se afirma que todos los hombres son mortales, no se hace referencia a todos los que son mortales, ni a que el conjunto de hombres lo sea, sino a que lo son cada

uno, uno por uno. El sujeto particular, no se refiere a un objeto considerado en sentido individual, sino que expresa que no todos los objetos poseen el atributo. No hace referencia a partes de objetos sino a objetos enteros. En cierto casos, el objeto que es nico est formado por la reunin de varios objetos individuales; pero el sujeto no es cada uno de los individuos sino su conjunto: el Ejrcito es un sujeto en este sentido, no la reunin de los militares individuales. Pero a veces se menciona el conjunto para aplicar el predicado a cada uno de sus integrantes: El ejrcito es voluntario indica que cada uno de sus integrantes lo integra voluntariamente; por lo que en realidad se trata de un sujeto general pero no universal sino particular.

El mismo concepto puede ser aplicado no ya respecto de sujeto sino delpredicado. En ese sentido, en cuanto el predicado expresa una propiedad enunciada respecto del sujeto, el atributo que sea posedo por todos y cada uno de los componentes del sujeto, uno por uno, habr de ser universal: los seres humanos tienen cabellos. Sin embargo, cuando el atributo sea una cualidad de un predicado anterior, aunque ste sea universal en cuanto se encuentre uno por uno en todos los objetos que componen el sujeto, puede que ya no sea universal sino particular, porque aunque todos posean el predicado anterior, (poseancabellos) no todos cumplan el nuevo atributo, como ocurrrira con la condicin de rubios de los cabellos. Pero resulta visible que la universalidad o particularidad del predicado est en gran medida dependiendo de aquella del sujeto; como ocurrira si para los cabellos rubios el sujeto no fueran los seres humanos, sino losescandinavos.
Retorno a inferencias Ir al principio

De tal manera - segn los antiguos - la distincin, entre sujetos universales y sujetos particulares responda a la cantidad del atributo del sujeto; que se comunica a la proposicin misma. El cambio de la cantidad del sujeto (y por lo tanto, de la proposicin) puede transformar una proposicin universal en particular, an mantenindose la forma de la cpula, el mismo atributo y el mismo predicado; o a la inversa, transformar la particular en universal.

El tema se examina nuevamente al tratar de la extensin del concepto; y de las proposiciones categricas.
Ir al principio

En cuanto a la cpula predicativa que une el sujeto con el predicado, debe ser necesariamente una expresin de afirmacin o negacin, en la medida en que el predicado expresa una cualidad que el sujeto posee, o en todo caso no posee. Lo cual es concordante con la admisin de dos nicos valores de verdad: verdadero y falso. Por ello, los filsofos antiguos solamente admitan que la cpula predicativa fuera es, ono es.
Ir al principio

Las estructuras del pensamiento. En la lgica clsica aristotlica y sus desarrollos medievales, se estudiaban las estructuras del pensamiento, distinguiendo tres componentes:
o

Los conceptos que actualmente se denominan clases y se expresan mediante los trminos; o Los juicios que actualmente se denominan enunciados o proposiciones, y que expresan relaciones entre los conceptos; o Los razonamientos que tambin se denominan inferencias y que a su vez expresan relaciones entre los enunciados.

Ir al principio

Los conceptos. El concepto es una idea general y abstracta, o la representacin mental, intelectual de un objeto. Son conceptos las ideas expresadas con las expresiones rbol, automvil, rojo, 7, etc. El concepto es la estructura lgica primaria, la ms simple. Es una abstraccin, como deca Aristteles, un universal, una simple aprehensin. En la percepcin, el objeto est presente en los sentidos. La imagen, al igual que en el concepto, es una representacin mental, es una representacin sensible, individual (singular) y concreta de un objeto.

Desde el punto de vista lgico, es posible distinguir como propiedades del concepto:

La comprensin que es el conjunto de caractersticas o notas especiales (connotacin) del objeto, que le son aplicables; como respecto del concepto tringulo, se refiere a una figura geomtrica con tres lados y tres ngulos que suman 180. La extensin que es el conjunto de todos los objetos que abarca el concepto (denotacin), como respecto del concepto tringulo , se refiere al tringulo percibido (extensin individual), a algunos tringulos (extensin particular), o a todos los tringulos (extensinuniversal).

Entre la comprensin y la extensin de los conceptos que guardan entre s una relacin de gnero a especie, existe una relacin inversa: cuando aumenta la comprensin disminuye la extensin; de tal modo que si al concepto hombre se aplica un predicado de que es susceptible, como hombre blanco, ocurre que existe una mayor comprensin pero se reduce la extensin, en la medida en que quedan excludos todos los que tienen otra pigmentacin de piel. Secuencia de conceptos de comprensin creciente y extensin decreciente Mxima extensin Ser Ser vivo Vegetal rbol Sauce Sauce llorn Mxima comprensin Los conceptos se clasifican atendiendo a su comprensin o a su extensin, y tambin por mutua oposicin: Por su Comprensin o Simples son los que se refieren a una sola esencia: gato, nmero, quiste. o Complejos son los que se refieren a una esencia predicada con un referente, y por lo tanto tienen mayor comprensin (pero menor extensin): gato monts, nmero primo, quiste hidtico. o Abstractos En realidad, todo concepto es una abstraccin por cuanto no tiene existencia real sino ideal, en cuanto existe en la mente bajo la forma de una idea. Pero en este sentido, se designan como abstractos aquellos conceptos que pueden significar esencias, formas o cualidades, separados de un sujeto: elegancia, blancura, inquietud, inteligibilidad, sencillez, correccin, plenitud, etc. o Concretos son los que significan cualidades o esencias abstractas perorealizadas en un sujeto, o que presuponen la existencia de un sujeto:elegante, blanco, inquieto, inteligible, sencillo, correcto,

pleno, etc. Por su Extensin o Universales Cuando el conjunto abarcado por el concepto comprende la totalidad de las individualidades: perro . o Particulares Cuando ese mismo conjunto comprende un nmero determinado de las individualidades: perro negro. o Singulares o individuales Cuando se refiere a un individuo determinado: mi perro. Por Mutua oposicin o Contrarios Cuando se trata de dos conceptos que, si bien son opuestos entre s, permiten situaciones intermedias: alto mediano bajo. o Contradictorios Cuando se trata de una oposicin en que el segundo concepto es el primero negado; por lo cual no pueden existir ambos a la vez; perro, no-perro.
Ir al principio

Las clases. Se entiende por clase un conjunto que abarca a todos los individuos que tienen en comn un carcter cualquiera. Respecto de las clases se consideran diversas relaciones: Relaciones de inclusin Se trata del caso en que todos los miembros de la clase B estn includos en la clase A, pero no hay reciprocidad: Todos loshombres son mortales. Relaciones de identidad Se trata del caso en que cada miembro de una clase est comprendidos en la otra clase, y recprocamente: Todos los trigulosequilteros, son equingulos. Relaciones de suma (lgica), siendo ella la reunin Se trata del caso en que todas las entidades de una clase estn comprendidas en una u otra de las clases que se suman, o en ambas: pjaro azul, es la suma de la clase pjaro y la clase azul. Relaciones de producto Se trata del caso en que todas las entidades de una clase estn comprendidas a la vez en las otras dos clases que se consideran: animales vivparos, es el producto de la clase animales y la clase vivparos. Relaciones de complementariedad Se trata del caso en que los miembros de una clase son todos los que no estn comprendidos en la otra clase que se considera: sanos, es el complemento de enfermos. Relaciones de exclusin Se trata del caso en que ninguno de los miembros de una clase pueden ser miembros de la otra clase que se considera:

tringulos, es el excluyente de crculos.

Ir al principio

Los juicios. Un juicio es para los clsicos una expresin que, en forma enunciativa o atributiva,relaciona dos o ms conceptos. Actualmente se le define ms precisamente como cualquier afirmacin susceptible de ser considerada verdadera o falsa. Los juicios se expresan mediante proposiciones predicativas. Los juicios se distinguen en:
o

Analticos que son aquellos en los que el predicado analiza o desarrolla un concepto que ya est implcito en el sujeto. o Sintticos que son aquellos en los que el predicado proporciona una informacin adicional, que no estaba comprendida en el concepo del sujeto.

Existe asimismo una clasificacin de los juicios, realizada por el filsofo Emmanuel Kant, que distingue cuatro grupos:

Juicios de cantidad en que la clasificacin se efecta atendiendo a la extensin con que est tomado el concepto sujeto (S) dentro de la proposicin, siguiendo la forma o Universales: Todo S es P o Particulares: Algunos S es P o Singulares: Un S es P. Juicios de calidad en que la clasificacin se efecta atendiendo a la cpula o nexo, siguiendo la forma o Afirmativos: S es P o Negativos: S no es P o Indefinidos: S es no P

Esta clasificacin es susceptible de combinarse con la anterior, dando lugar a universal afirmativo o negativo, particular afirmativo o negativo, singular afirmativo o negativo.

Juicios de relacin en que la clasificacin se efecta atendiendo al tipo de vnculo que se establece entre el sujeto y el predicado, lo que origina o Juicios Categricos simples: S es P o Juicios Hipotticos que son compuestos: Si S es P, entonces Q es R

Juicios Disyuntivos que tambin son compuestos: incluyentes: S es P o S es Q excluyentes: S es P o Q es R Juicios de modalidad en que la clasificacin se efecta atendiendo al modo o forma en que el predicado se atribuye al sujeto, lo que origina o Juicios Problemticos que expresan posibilidad: S posiblemente es P o Juicios Asertricos o asertivos que expresan una verdad: Sefectivamente es P o Juicios Apodcticos que expresan una esencialidad o necesariedad, algo que no puede ser de otra manera: El tringulo es un triltero.

Es posible hacer otra clasificacin de los juicios, a partir de los objetos a que se refieran: Juicios reales en los que el objeto que opera como sujeto es un objeto real, tanto fsico como psquico; y el predicado es producto de la experiencia: Las pelculas de cine son entretenidas. Juicios ideales en los que el objeto que opera como sujeto es un objeto ideal o ab stracto, del tipo de los juicios lgicos o matemticos: Dos cantidades iguales a una tercera, son iguales entre s . Juicios metafsicos en los que el objeto que opera como sujeto es un objeto metafsico: El alma es inmortal. Juicios de valor en los que el objeto que opera como sujeto es un concepto de valor: Pedrito es un buen amigo.

Ir al principio

El razonamiento. Para los filsofos clsicos, el hombre puede adquirir conocimiento por medio de varios mtodos: Mediante la intuicin que constituye una forma directa e inmediata de alcanzar un conocimiento, a travs de su inteligencia: 2 + 2 = 4. o Mediante la percepcin sensible o sea a travs de lo que percibe por medio de sus sentidos: el sol calienta la piedra conocimiento emprico y verificable. o Mediante los procesos del razonamiento a partir deproposiciones basadas en el conocimiento anteriormente adquirido por medio de los mtodos anteriores o anteriores
o

razonamientos, que conducen a nuevos conocimientos que surgen como conclusin de relacionar esas proposiciones, a condicin de ser correctamente realizados.

El raciocinio ha sido definido antes como un modo de adquirir conocimiento a partir de conocimientos anteriores, que hace posible extraer nuevas conclusiones. Desde el punto de vista lgico, el razonamiento es la forma de pensamiento ms compleja, en cuanto consiste en establecer una relacin derivativa entre proposiciones; de modo que de una o ms proposiciones, premisas, se arribe a una conclusin consecuente. A ese proceso de derivacin, los antiguos lo llamaron inferencia; expresin derivada del latn, que significa llegar a alguna parte. Por lo tanto, no hay razonamiento sin inferencia; pero debe distinguirse entre la verdad material de las proposiciones y la validez formal, o correccin, de la inferencia. Se identifican tres formas de razonamiento:

Razonamiento inductivo en el cual el proceso racional parte de lo particular y avanza hacia lo general o universal. El punto de partida puede ser completo o incompleto, aunque lo ms probable es que sea incompleto. Es el caso general de las ciencias que proceden a partir de la observacin o la experimentacin, en que se dispone de un nmero limitado de casos, de los cuales se extrae una conclusin general. Razonamiento deductivo en el cual el proceso racional parte de lo universal y lo refiere a lo particular; por lo cual se obtiene una conclusin forzosa. Razonamiento analgico en el cual el proceso racional parte de lo particular y asimismo llega a lo particular en base a la extensin de las cualidades de algunas propiedades comunes, hacia otras similares.

La deduccin es el tipo de razonamiento en que las premisas ya conducen a la conclusin, de una manera tal que de las premisas se sigue la conclusin como laconsecuencia nica y necesaria, con independencia del contenido o materia de aquellas; de modo que la verdad formal de la conclusin depende de que ella sea efectivamente necesaria, y la verdad material depende de que sean verdaderas las premisas mismas. Ello ocurre as, debido a la existencia de una relacin entre los enunciados, conforme a la cual las premisas, de por s, implican la conclusin como su

consecuente, de tal manera que es imposible no aceptar la verdad de la conclusin como esa consecuencia necesaria. Significa eso que el concepto de necesidad lgica que se manifiesta en la deduccin deriva de la negacin de la contradiccin; el principio de no contradiccin, que se capta intuitivamente, conforme al cual no es posible afirmar y negar una cosa al mismo tiempo y respecto de las mismas condiciones.
Ir al principio

Las proposiciones categricas. Se denominan proposiciones categricas son las que afirman o nieganque una clase est includa en otra, total o parcialmente. Estas proposiciones son clasificadas en la lgica clsica conforme a su cantidad y su cualidad. Por su cantidad:

Una proposicin es universal cuando el concepto o clase que constituye su sujeto est considerado en toda su extensin; en cuyo caso se emplea el cuantificadortodos o ninguno. Una proposicin es particular cuando el concepto o clase que constituye su sujeto est considerado en parte de su extensin; en cuyo caso se emplea el cuantificador algunos. Por su cualidad se distinguen:

Una proposicin es afirmativa cuando el predicado afirma algo del sujeto; en cuyo caso se emplea la cpula es Una proposicin es negativa cuando el predicado niega algo del sujeto ; en cuyo caso se emplea la cpula no es Desde los tiempos de los antiguos lgicos, existe una convencin por la cual se emplea una notacin simblica de las proposiciones con sujetos generales, (cuya calificante se extiende a la proposicin misma) basada en las primeras vocales de las palabras AffIrmo y nEgO: A para las proposiciones universales afirmativas. E para las proposiciones universales negativas. I para las proposiciones particulares afirmativas. O para las proposiciones particulares negativas.

Retorno a silogismo Ir al principio

Inferencias inmediatas. Los antiguos llamaban inferencias inmediatas a las conclusiones lgicas que parten de una nica proposicin. Para todas las inferencias inmediatas de la lgica clsica existe un presupuesto, llamado presupuesto de existencia, que consiste en considerar que todos los conceptos (atributos del sujeto, o predicados), que intervienen en las proposiciones consideradas,se verifican en por lo menos un objeto. Algunas obras critican esta asuncin como un elemento ajeno a la lgica en s, que constituye una limitacin a la validez de algunos de los mtodos de inferencia de los aristotlicos; pero tampoco es posible dejar de advertir que a pesar de ello, especialmente a los fines del aprendizaje inicial de las reglas lgicas, el estudio de esos mtodos de inferencia tiene indiscutible utilidad prctica. A los efectos de este estudio, se denomina: Proposicin inicial a la que comienza la inferencia (algunos la denominan la dada por usar el formato Dado que...); Proposicin transformada a la que es resultante de los cambios introducidos en la cpula, en el predicado o en el sujeto de la proposicin inicial.

Estas inferencias inmediatas pueden realizarse por diversos procedimientos lgicos. A Mtodos aplicables a proposiciones con un sujeto concreto.

Por negacin mtodo en el cual no se modifican ni el sujeto (S) ni el predicado (P), sino solamente la forma de la cpula, introduciendo un negador: o S es P entonces es falso que S no es P o Es falso que S es P entonces S no es P o S no es P entonces es falso que S es P o Es falso que S no es P entonces S es P Por obversin o equivalencia, mtodo en el cual no solamente se modifican la forma de la cpula, sino tambin el predicado, introduciendo su contradictor: o S es P entonces S no es no-P; y viceversa. o Es falso que S es P entonces es falso que S no es no-P; y viceversa. o S es no-P entonces S no es P; y viceversa. o Es falso que S es no-P entonces es falso que S no es P; y viceversa.

B Mtodos aplicables a proposiciones con sujeto abstracto.

Por contradiccin mtodo en el cual no solamente se modifican la forma de la cpula, sino tambin la comprensin del sujeto. En este caso, dos proposiciones contradictorias no pueden ser ni verdaderas a la vez, ni falsas a la vez: o Todo S es P entonces es falso que algn S no es P. o Ningn S es P entonces es falso que algn S es P. o Algn S es P entonces es falso que ningn S es P. o Algn S no es P entonces es falso que todo S es P. o Es falso que todo S es P entonces algn S no es P. o Es falso que ningn S es P entonces algn S es P. o Es falso que algn S es P entonces ningn S es P. o Es falso que algn S no es P entonces todo S es P. Por obversin que funciona del mismo modo que en las proposiciones con unsujeto concreto; no solamente modificando la forma de la cpula, sino tambin elpredicado, en el cual se introduce su contradictor: o Todo S es P entonces ningn S es no-P; y viceversa. o Ningn S es P entonces todo S es no-P; y viceversa. o Algn S es P entonces algn S no es no-P; y viceversa. o Algn S no es P entonces algn S es no-P; y viceversa. o Es falso que todo S es P entonces es falso que ningn S es no-P; y viceversa. o Es falso que ningn S es P entonces es falso que algn S no es noP; y viceversa. o Es falso que algn S es P entonces es falso que algn S no es no-P; y viceversa. o Es falso que algn S no es P entonces es falso que algn S es no-P; y viceversa. C Mtodos aplicables a proposiciones con sujeto universal.

Por contrariedad mtodo en el cual no se modifican ni el sujeto universal, ni el predicado, sino solamente la forma de la cpula. En este caso, dos proposiciones contrarias no pueden ser verdaderas a la vez, pero pueden ser ambas falsas; de tal manera que es posible deducir la verdad de la falsedad de la proposicin transformada, pero de la verdad de sta no es posible deducir la falsedad de la inicial: o Todo S es P entonces es falso que ningn S es P o Ningn S es P entonces es falso que todo S es P Debe notarse que esta inferencia supone que el atributo se verifica por lo menos en un objeto existente en la realidad, y respecto del mismo.

Pero, de todos modos, la segunda inferencia igualmente sera vlida, si su afirmacin inicial se fundara en que en la realidad no existe el objeto a que se refiere.

Por sub-alternacin mtodo en el cual se transforma una proposicin de sujeto universal (que se llama subalternante), en una proposicin con el sujetoparticular correspondiente; manteniendo en la transformada (que se llamasubalternada) la misma forma de la cpula, el mismo atributo y el mismo predicado. En este caso, es posible deducir la verdad de la subalternada, de la falsedad de la subalternante, pero no a la inversa (lo impide el pasaje de universal a particular que se ha realizado): o Todo S es P entonces algn S es P o Ningn S es P entonces algn S es P o Es falso que algn S es P entonces es falso que todo S es P o Es falso que algn S no es P entonces es falso que ningn S es P Debe notarse que esta inferencia solamente ser vlida a condicin de que el universal corresponda a por lo menos un objeto existente en la realidad, y respecto del mismo. D Mtodos aplicables a proposiciones con sujeto particular.
Por sub-contrariedad mtodo en el cual no se modifican ni el sujetoparticular, ni el predicado, sino solamente la forma de la cpula. En este caso, dos proposiciones contrarias pueden ser verdaderas a la vez, pero no pueden ser falsas a la vez; de tal manera que de la falsedad de la proposicin inicial es posible deducir la verdad de la transformada: o Es falso que algn S es P entonces algn S no es P o El falso que algn S no es P entonces algn S es P

C Mtodos de inferencia por conversin.. Se designa como conversin la operacin de inferencia que sin modificar la cpula de la proposicin, permuta el atributo con el predicado, pasando cada uno a la ubicacin del otro. La conversin puede ser:

Perfecta cuando el resultado es una transformada que tiene la misma comprensin que la inicial; y que no cambia el valor de la proposicin inicial, de modo que de la verdad de la inicial permite concluir la verdad de la transformada; y recprocamente en cuanto a la falsedad. Esto requiere, para que as sea, que la inicial universal sea negativa o una particular afirmativa. Imperfecta cuando la transformada no tiene la misma comprensin que la inicial; que tambin es llamada accidental. La conversin imperfecta conserva el valor de verdadero de la inicial, pero no necesariamente conserva

el valor de falso; y solamente es legtima para las proposiciones universales, afirmativas o negativas. Existen varias formas de conversin; pero la nica forma de conversin que puede realizarse con resultados legtimos, dando lugar a una inferencia vlida, dentro de la lgica de las preposiciones predicativas es la:

Conversin por contraposicin Consiste en reemplazar el atributo (del objeto-sujeto) y el predicado por sus respectivos contradictores y ejecutar una conversin perfecta, (lo que presupone hacer previamente una obversin y otra posteriormente a la conversin). No puede emplearse este procedimiento para una proposicin inicial particular afirmativa, ni para una universal negativa; sino que es vlida solamente para las universales afirmativas o las particulares negativas: o Todo A es B entonces algn no-B es no-A; y viceversa. o Algn A no es B entonces algn no-B es no-A; y viceversa. o Es falso que todo A es B entonces es falso que todo no-B es no-A; y viceversa. o Es falso que algn A no es B entonces es falso que algno-B es noA; y viceversa. Debe notarse que esta inferencia solamente ser vlida a condicin de que el contradictor del predicado de la inicial se verifique por lo menos por un objeto.
Ir al principio

El silogismo. Un silogismo es un razonamiento en el cual la conclusin es deducida a partir de dos premisas. Por este motivo, en la lgica clsica se los denomina inferencias mediatas. El silogismo categrico es el que se compone de tres proposiciones categricas, que tienen tres trminos dos de los cuales aparecen en las proposiciones iniciales, y cuya conclusin es una proposicin categrica que contiene dos de los tres trminos del silogismo, uno como sujeto y el otro como predicado: Todos los hombres son mortales Scrates es hombre Scrates es mortal La conclusin se integra, en consecuencia, como uno de los trminos que es tomado de la primera premisa, y otro que es tomado de la segunda premisa, cada

uno de los cuales ocupa sea el lugar de sujeto sea el de predicado de la conclusin. El trmino que ocupa en la conclusin la posicin del predicado, es denominadotrmino mayor, el que ocupa el lugar del sujeto de la conclusin es denominadotrmino menor; y el que apareciendo en las premisas no lo hace en la conclusin es denominado trmino medio. La premisa de la cual es tomado el trmino mayor, se denomina premisa mayor; en tanto que la premisa de la que es tomado el trmino menor, se denomina premisa menor. Un silogismo se representa simbolicamente con un formato grfico similar al de una suma aritmtica: Premisa mayor: A B Premisa menor: C D Conclusin: EF Se llama modo de un silogismo, la expresin del agrupamiento de sus premisas y su conclusin, siguiendo la codificacin literal de las proposiciones categricas, (A, E, I, O). Pero como - segn se demuestra - no es suficiente con el modo para describir precisamente la estructura de un silogismo, se adiciona a ello lo que se denomina lafigura del silogismo, que se determina segn el trmino medio, el cual puede asumir cuatro figuras posibles: MP SM SP PM SM SP MP MS SP PM MS SP

La combinacin de 64 modos diferentes posibles para cada una de las cuatro figuras, determina la posibilidad de 256 formas distintas para los silogismos categricos; aunque solamente algunas conducen a conclusiones vlidas. Para que un silogismo sea vlido debe observar ciertas reglas, el incumplimiento decualquiera de las cuales determina que pierda validez. Hay dos grupos de reglas:

Reglas de los trminos Son cuatro reglas que determinan: Todo silogismo categrico debe contener necesariamente tres trminos, uno de los cuales debe ser utilizado en el mismo sentido en todo el razonamiento. El trmino medio debe ser un concepto que por lo menos en una de

las premisas ha de poseer extensin universal; es decir, est empleado con el alcance de comprender a la totalidad de los objetos integrantes de la clase a que se refiere. o En la conclusin no puede haber ningn trmino que contenga el concepto con una extensin mayor que aquella con que se encuentre empleado en las premisas. o El trmino medio debe aparecer en las dos premisas, pero no en la conclusin. Reglas de las proposiciones Tambin son cuatro reglas que determinan: o De dos premisas negativas no es posible extraer ninguna conclusin. Por lo tanto, por lo menos una de las premisas debe ser afirmativa. o De dos premisas particulares no es posible extraer ninguna conclusin. Por lo tanto, por lo menos una de las premisas debe ser general. o De dos premisas afirmativas no es posible extraer una conclusin negativa. o Si en un silogismo existe una premisa particular, o una premisa negativa, la conclusin deber ser, respectivamene, particular o negativa. Por lo tanto, frente a un silogismo determinado a los efectos de determinar si posee validez como razonamiento, en primer trmino debe analizarse su modopara establecer si cumple con las reglas de las proposiciones; y luego, en caso afirmativo, examinar su cumple con las reglas de los trminos.

El silogismo hipottico. Al contrario del silogismo categrico que ambas premisas constituyen proposiciones categricas y por lo tanto tambin lo es la conclusin, el silogismo hipottico es un razonamiento en el cual por lo menos una de sus premisas no es una proposicin categrica sino una proposicin hipottica o condicional. Se distinguen dos formas de silogismos hipotticos: El silogismo hipottico constructivo en el cual la primera premisa formula una afirmacin condicional, la segunda premisa afirma el cumplimiento de la condicin; por lo cual la conclusin da por producida la consecuencia del cumplimiento de la condicin. Se conoce como silogismo modus ponens. El silogismo hipottico destructivo es la forma n egativa del anterior, ya que en la primera premisa se formula una afirmacin condicional, pero en la segunda premisa afirma el no cumplimiento de la condicin; por lo cual la conclusin da por producida la consecuencia del no cumplimiento de la

condicin. Se conoce como silogismo modus tollens. Estas formas de silogismo son de gran utilidad en la investigacin cientfica, al plantearse una hiptesis como explicacin de un fenmeno; para luego verificar si en los hechos las hiptesis resulta confirmada o no, siendo el instrumento del razonamiento inductivo.