Concepto general.

La denominacin de la lgica, est directamente relacionada con la palabra griega logos, cuyo significado en griego antiguo es equivalente apensamiento o razn, pero tambin palabra o conocimiento y logik era lo relativo al logos !n definitiva, se trata del estudio de la forma en que funciona la facultad "umana de pensar y razonar. #uede definirse la lgica como el con$unto de conocimientos que tienen por ob$eto la enunciacin de las leyes que rigen los procesos del pensamiento "umano as% como de los mtodos que "an de aplicarse al razonamiento y la refle&in para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos. 'ebe distinguirse entre la lgica formal y la lgica material(

La lgica formal tambin llamada lgica pura ) que es la lgica propiamente dic"a ) es precisamente la ciencia *en cuanto conocimiento+ que determina cules son las formas correctas y vlidas de los raciocinios pero lo "ace considerndolos 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. !l raciocinio puede definirse como un proceso del pensamiento *por tanto, e&clusivamente "umano+ que a partir de ciertos conocimientos establecidos *llamados premisas+, conduce a adquirir un conocimiento nuevo *contenido en la conclusin+ sin que para ello "aya que recurrir a nuevas constataciones u observaciones sensibles distintas o adicionales a las ya contenidas en las premisas. #or lo tanto, la verdad a que conduce la lgica formal, es una verdad formal que ser verdad en tanto sea verdad el contenido de las premisas, e indicar solamente que e&iste una congruencia de ese raciocinio, consigo mismo. ,i en un razonamiento e&iste 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. -ientras 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 e&ista ning.n ob$eto de la realidad que los verifique es dif%cil encontrar en la realidad conceptos de origen emp%rico) sensible que presenten e&actamente las caracter%sticas de los ob$etos lgicos.

/parte de ello, respecto de todo concepto de origen emp%rico, no solamente es posible concebir sino que tambin se encuentran en la realidad e&perimental, ob$etos respecto de los cuales no es posible afirmar de manera absolutamente cierta que coinciden o que no coinciden con esos conceptos. #or lo tanto, respecto de proposiciones lgicas que utilicen esos conceptos, las leyes de la lgica formal solamente sern aplicables con especial precaucin. 'e tal manera, las leyes de la lgica formal solamente resultarn aplicables con alcance estricto en el campo de las ciencias puramente e&actas y abstractas, tales como las matemticas, la propia lgica, la mecnica, y aquellas disciplinas e&clusivamente normativas y abstractas tales como la interpretacin $ur%dica.
Ir al principio

0reve "istoria de la lgica. !ntre los muc"os aportes que "izo /ristteles 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 me$ores y mayores aciertos. La principal aportacin de /ristteles fue la silog%stica, 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 silog%stica aristotlica as% como llegaron a desarrollar las llamadas lgicas modales. 1ecin en el siglo 232 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 0oole y 4rege. !l filsofo y matemtico alemn 5ottfried 6il"elm Leibnitz *Leipzig, 7898 ) :annover, 7;78+ ) a quien cabe considerar el creador de la lgica matemtica ) desarroll la idea de un calculus ratiocinator, mediante el cual se aplicar%a un sistema de reglas a algunos conceptos generales precisamente definidos, lo que "abilitar%a a operar en el campo de las cuestiones filosficas con los mismos procedimientos del razonamiento matemtico. !sta idea ten%a impl%cito el concepto de crear un mtodo equivalente al de las ciencias e&actas para alcanzar la certeza en cuanto a las cuestiones filosficas pero precisamente por su estrec"a vinculacin con especulaciones filosficas sobre numerosos temas como la metaf%sica y la teodicea, el concepto qued largo tiempo olvidado. 4ue as% que la lgica matemtica ) tambin llamada lgica simblica ) se desarroll efectivamente en el siglo 232, especialmente a partir de 5eorge 0oole *3nglaterra, 7<7= ) 7<89+, 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 con$untamente con 4rege consigui construir clculos lgicos rigurosamente formalizados, que permitieron aplicar a los problemas lgicos los procedimientos matemticos. Con ello sentaron los fundamentos operativos de la tecnolog%a de la moderna computacin, que fueran ulteriormente desarrollados por las teor%as de !mil #ost y el clebre matemtico ingls /llan -at"ison >uring *3nglaterra, 7?7@)7?=9+, creador de la Automatic Digital ac!ine que por primera vez permiti realizar clculos mecanizados mediante el empleo de algoritmos. La obra culminante de la lgica simblica, la constituye "rincipia mat!ematica de ,ir 0ertand 1ussell *3nglaterra, 7<;@)7?;A+ y /lfred Bort" 6"ite"ead *3nglaterra, 7<87 ) C.,./., 7?9;+, realizada en tres tomos, entre los aDos 7?7A y 7?7E. !n 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 seDalar, 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 "umano siendo demostrativa del estrec"o v%nculo que e&iste entre sus remotos or%genes filosficos, su absoluta cone&in con los fundamentos del conocimiento de las matemticas y, por esa v%a, su clara incidencia en los fundamentos tericos y conceptuales de la computacin. Fsta, 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 a.n en una enorme variedad de elementos de uso y consumo cotidiano. >eniendo clara conciencia de la forma en que, desde el fondo de los siglos, se proyecta "acia nosotros el esfuerzo intelectual de /ristteles para "abilitarnos 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, pol%tica, econmica y $ur%dica ) en muc"os 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 "an establecido ciertas leyes fundamentales, que se consideran generales 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. !stos principios se consideran verdades a&iomticas, evidentes por s% mismas, que no tienen que, ni necesitan, demostrarse. ,on cuatro principios, los tres primeros enunciados por /ristteles y el cuarto agregado por Leibnitz(

!l principio de identidad G 'esde el punto de vista del ser, *ontolgico+ se enuncia e&presando que todo ob$eto *de conocimiento+ es igual a s% mismo. ,in embargo, desde el punto de vista lgico, su enunciado se relaciona con la estructura de las proposiciones, e&presando 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 su$eto( el tringulo tiene tres lados. !l principio de *no+ contradiccin G >ambin tiene una formulacin ontolgica conforme a la cual un ob$eto *de conocimiento+ no puede ser y al mismo tiempo no)ser. 'esde el punto de vista lgico, este principio se enuncia e&presando que dos proposiciones contradictorias no pueden ser ambas verdaderas o que toda contradiccin encierra una falsedad( ,i es verdad que el tringulo tiene tres lados, no puede ser verdad que el tringulo no tiene tres lados. !n relacin a la lgica aristotlica, o clsica, puede decirse que el principio de no contradiccin es el fundamental de todos al punto de que e&isten quienes lo consideran el .nico principio, del cual se e&traen los otros.

!l principio de tercero e&clu%do G !ste principio est estrec"amente vinculado con el de no contradiccin, al punto que a veces se lo distingue de ste e&presando que mientras el de no contradiccin e&presa que dos proposiciones contradictorias no pueden ser ambas verdaderas, el de tercero e&clu%do e&presa que dos proposiciones contradictorias no pueden ambas ser falsas. ,in 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 e&iste una tercera posibilidad. !n consecuencia, la relacin con el principio de no contradiccin queda me$or e&presada en cuanto al principio de tercero e&clu%do, si se enuncia en el sentido de que de dos proposiciones contradictorias, necesariamente una "a ser verdadera y la otra "a de ser falsa. !l principio de razn suficiente G !ste principio fue enunciado por Leibnitz en un sentido ontolgico e&presando que todo lo que e&iste tiene su razn de ser. /lgunos filsofos le "an dado una enunciacin en sentido lgico, e&presando que todo $uicio es falso o verdadero, por alguna razn y por lo tanto "a de ser posible $ustificar su veracidad o su falsedad por medio de la razn. 'e este principio, se considera derivado el( !l principio de causalidad G !ste principio, ms propiamente ontolgico, implica que todo lo que e&iste tiene una causa por lo cual todo lo que es efecto de una causa puede convertirse a su vez en causa de otro efecto.
o
Ir al principio

Lgica y verdad. Como se "a e&presado 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. #or 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. 'e 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 ob$etos de que trate, como de las propiedades de esos ob$etos que puedan tomarse en consideracin.

Como tambin se "a seDalado antes, en el estudio del proceso de un razonamiento determinado, "ec"o 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 ob$eto de que tratan las premisas "an sido previamente constatados para l, deben darse por verificables en cualquier otro ob$eto de la misma categor%a. 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 sustitu%da por otra. si el razonamiento correcto tiene una determinada validez en un determinado momento de cualquiera de ellos, debe mantener la misma validez en cualquier otro momento tanto respecto del ob$eto 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 o falso por ello, se trata de una lgica binaria. Bo resulta admisible la e&istencia de un valor de verdad intermedio entre lo falso y lo verdadero, como podr%a ser lo dudoso ni ms dbil que lo falso, como podr%a ser lo imposible. #or lo tanto(
o

estos valores de verdad se e&cluyen rec%procamente en forma absoluta, o toda proposicin encierra necesariamente uno de ellos.

!n 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. #ara 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. Cn razonamiento puede ser vlido si su conclusin es falsa, con tal que por lo

menos una de sus premisas sea tambin falsa. !n 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, permitir%a evidenciar la falsedad de la premisa de que se "a partido.
Ir al principio

Lgica y filosof%a ) ,istemas 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. #ara 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 lgica misma, 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 filosof%a en que se fundamenta. !n los casos en que la nocin de verdad se fundamenta en a&iomas( proposiciones que en una determinada disciplina se dan por evidentes en s% mismas o por irrefutablemente demostradas ) la lgica de$a 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. !sto es lo que determina que sea posible "ablar 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 in"erente a cada sistema sustancial o material de razonamiento al que las leyes de la lgica sean aplicadas. !n 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. !n 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 /ristteles y de "ec"o "asta el siglo 232 ) pretende fundamentarse sobre certezas de %ndole filosfica particularmente respecto de cuestiones concernientes a la naturaleza de los actos del intelecto "umano respecto del conocimiento contenido en las premisas y consiguientemente en las conclusiones.

!n cambio, la lgica simblica o matemtica ) o formalizada ) de la poca contempornea, pretende liberarse de toda concepcin filosfica, y elaborar sus teor%as a partir de una nocin propia de verdad postulada en algunas pocas propiedades simples a partir de las cuales trata de elaborar el concepto de raciocinio vlido.

'e cualquier manera, lo que no puede perderse de vista es que, a la larga, esa lgica asptica de toda filosof%a, 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 "umana, en los cuales es ineludible partir de premisas cuyo valor de verdad podr parecer no ob$etivamente demostrable, pero que necesariamente implican presupuestos dotados de esa funcin de verdad en otros planos, particularmente aquellos ticos. >ampoco 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 "umano 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 e&"iben si l es falso o verdadero. 'e tal manera, si bien el buen funcionamiento de los procesos lgicos depende de su validez resultante de la verdad formal a que conduzcan, el ob$etivo instrumental final de la lgica es "abilitar 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 e&traer las conclusiones. 'e 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 "umana, como la legislacin+, el .nico sistema lgico admisible es el que parte del reconocimiento y la aceptacin de la realidad en sus premisas. !specialmente en las cuestiones pol%ticas, $ur%dicas y econmicas , los razonamientos lgicos siempre estarn doblemente condicionados, a los efectos de su factor material de verdad(
o

por una parte en cuanto a la validez resultante de la propia correccin de la 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 a$ustamiento a su propia estructura normativa o, en su caso, a la realidad material.
Ir al principio

!n la prctica, no es posible razonar directamente mediante conocimientos en un estado mental, sino por medio de representaciones simblicas, que se e&presan en ob$etos materiales perceptibles por medio de los sentidos, tales como palabras, signos, grficos, frmulas, etc. !l uso del lengua$e corriente lleva impl%cito un enfoque de sinta&is, que consiste en las relaciones 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 ob$etos 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. !l lengua$e 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 e&presin de los conceptos y ob$etos en los estudios lgicos especialmente considerando lo e&puesto en cuanto a la prescindencia de los componentes de contenidos materiales de los procesos del razonamiento. !n funcin de ello, la lgica formal procura liberarse de la incidencia que, en cuanto al e&amen de las cuestiones formales del razonamiento, pueda tener el uso de trminos de los lengua$es idiomticos, creando para ser aplicado en el estudio y e&posicin de las leyes lgicas, un lengua$e simblico propio, un lengua$e formal. !ste lengua$e simblico propio de la lgica, tiene por otra parte la venta$a de su universalidad en cuanto al prescindir del empleo de e&presiones de un idioma real, permite su comprensin directa independientemente del idioma concreto de la persona que se aplique a su estudio. !se lengua$e simblico es adems lo que se denomina un metalengua$e, en el sentido de que se lo concibe como una forma de e&presin que est ms all del uso mismo del lengua$e. !n este sentido, se dice que el lengua$e)ob$eto es el que se utiliza, en tanto que el metalengua$e es aquel con el que se "abla del otro como cuando se aprende un idioma e&tran$ero utilizando para ello el idioma propio. Cna e&presin sencilla del lengua$e simblico aplicable al anlisis lgico puede ser similar al aplicado en matemticas para representar una variable. 'e esta forma, un silogismo simple como( >odos los "ombres son mortales ,crates es "ombre, entonces ,crates es mortal puede e&presarse ba$o la forma( ,i / es 0 y C es / entonces C es 0

'e esta manera, la sustitucin de una proposicin por un s%imbolo permite construir una teor%a 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. !l s%mbolo que se emplea para representar una proposicin se designa como variable proposicional pero debe distinguirse muy cuidadosamente de lo que constituye un s%mbolo de variables en otras disciplinas, como el lgebra o los lengua$es informticos de programacin( Cna variable algebraica de las que se emplean en las frmulas matemticas, f%sicas o de otras ciencias, es un s%mbolo de valor cuantitativo impl%cito ya sea que se trate de despe$arlo cuando constituye una incgnita o que se trate de e&aminar diversas situaciones en funcin de los distintos valores que puede asumir. 'e la misma forma, en programacin informtica, es un s%mbolo 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 e$ecucin.
o o

Cna 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 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. / pesar de lo que se "a e&puesto antes en cuanto a los rasgos distintivos de la lgica simblica o propiamente matemtica, lo cierto es que "istricamente 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 /ristteles, y ulteriormente complementada por las aportaciones de la escuela estoica y la escolstica se basa en el anlisis de proposiciones predicativas, de las que se distinguen las proposiciones que cumplen funcin de premisas y de conclusin. #osteriormente, debido a advertirse dificultades surgidas para e&plicar cierto tipo de inferencias a nivel de proposiciones, surge la necesidad de analizar las proposiciones seg.n 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 e&presiones de una estructura gramatical elemental, compuesta de su$eto, cpula y predicado( La puerta est abierta.

Las estructuras del pensamiento. !n la lgica clsica aristotlica y sus desarrollos medievales, se estudiaban las estructuras del pensamiento, distinguiendo tres componentes( o Los conceptos G que actualmente se denominan clases y se e&presan mediante los trminos o Los $uicios G que actualmente se denominan enunciados o proposiciones, y que e&presan relaciones entre los conceptos
o

Los razonamientos G que tambin se denominan inferencias y que a su vez e&presan relaciones entre los enunciados.
3r al principio

Los conceptos. !l concepto es una idea general y abstracta, o la representacin mental, intelectual de un ob$eto. ,on conceptos las ideas e&presadas con las e&presiones rbol, automvil, ro$o, ;, etc. !l concepto es la estructura lgica primaria, la ms simple. !s una abstraccin, como dec%a /ristteles, un universal, una simple apre"ensin. !n la percepcin, el ob$eto 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 ob$eto. 'esde el punto de vista lgico, es posible distinguir como propiedades del concepto(

La comprensin G que es el con$unto de caracter%sticas o notas especiales *connotacin+ del ob$eto, que le son aplicables como respecto del concepto tringulo, se refiere a una figura geomtrica con tres lados y tres ngulos que suman 7<AH. La e&tensin G que es el con$unto de todos los ob$etos que abarca el concepto *denotacin+, como respecto del concepto tringulo , se refiere al tringulo percibido *e&tensin individual+, a algunos tringulos *e&tensin particular+, o a todos los tringulos *e&tensin universal+.

!ntre la comprensin y la e&tensin de los conceptos que guardan entre s% una relacin de gnero a especie, e&iste una relacin inversa( cuando aumenta la comprensin disminuye la e&tensin de tal modo que si al concepto !ombre se aplica un predicado de que es susceptible, como !ombre blanco, ocurre que e&iste una mayor comprensin pero se reduce la e&tensin, en la medida en que quedan e&clu%dos todos los que tienen otra pigmentacin de piel.

Las proposiciones categricas. ,e denominan proposiciones categricas son las que afirman o niegan que una clase est inclu%da en otra, total o parcialmente. !stas proposiciones son clasificadas en la lgica clsica conforme a su cantidad y su cualidad. #or su cantidad(

Cna proposicin es universal cuando el concepto o clase que constituye su su$eto est considerado en toda su e&tensin en cuyo caso se emplea el cuantificador todos o ninguno. Cna proposicin es particular cuando el concepto o clase que constituye su su$eto est considerado en parte de su e&tensin en cuyo caso se emplea el cuantificador algunos. #or su cualidad se distinguen(

Cna proposicin es afirmativa cuando el predicado afirma algo del su$eto en cuyo caso se emplea la cpula es Cna proposicin es negativa cuando el predicado niega algo del su$eto en cuyo caso se emplea la cpula no es 'esde los tiempos de los antiguos lgicos, e&iste una convencin por la cual se emplea una notacin simblica de las proposiciones con su$etos generales, *cuya calificante se e&tiende a la proposicin misma+ basada en las primeras vocales de las palabras /ff3rmo y n!gI( / G para las proposiciones universales afirmativas. ! G para las proposiciones universales negativas. 3 G para las proposiciones particulares afirmativas. I G para las proposiciones particulares negativas.

1etorno a silogismo Ir al principio

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. ,e conoce como silogismo modus tollens. !stas formas de silogismo son de gran utilidad en la investigacin cient%fica, al plantearse una "iptesis como e&plicacin de un fenmeno para luego verificar si en los "ec"os las "iptesis resulta confirmada o no, siendo el instrumento del razonamiento inductivo.