1 LOGICA La Lgica formal 1es el arte que nos permite proceder con orden, fcilmente y sin error en el acto

mismo de la razn. Es una propedutica instrumental de la filosofa y de las ciencias. La lgica clsica tiene por objeto ltimo la forma de los razonamientos! su estudio comprende las tres operaciones del espritu" La #imple apre$ensin, la judicacin y el razonamiento. La simple apre$ensin es el acto por el cual el espritu capta una esencia o quididad sin afirmar ni negar nada acerca de ella. El objeto de la simple apre$ensin es el concepto, y el resultado material de esta operacin es el trmino o palabra.
%Ejemplo" la inteligencia capta &apre$ende' la esencia $ombre! esa esencia &$ombre' e(iste como idea &concepto' en la inteligencia! cuando se pronuncia )$ombre* surge la palabra o el trmino. El concepto &idea' es inmaterial, la palabra o el trmino es material+

E(tensin y comprensin de los conceptos La e(tensin de un concepto es el conjunto de indi,iduos que caen bajo dic$o concepto. La comprensin de un concepto es el conjunto de notas constituti,as de dic$o concepto.

-egla" . mayor comprensin menor e(tensin y ,ice,ersa.

%Ejemplo" tomemos los conceptos )animal* y )animal racional*. El concepto )animal* tiene mayor e(tensin que el concepto )animal racional*! dic$o de otro modo" El concepto )animal* comprende ms indi,iduos que el concepto )animal racional*. /or otra parte, el concepto )animal racional* tiene ms comprensin que el concepto )animal*, o lo que es lo mismo" son ms las caractersticas esenciales de )animal racional* que las de )animal*.+

0lasificacin de los conceptos #on reales" 0uando e(isten independientemente de la inteligencia. #on ideales" 0uando e(isten solo en la inteligencia.
%Ejemplo" el concepto )$ombre* es real en tanto fuera de mi inteligencia e(iste )el $ombre*! el concepto )n mero* es ideal! los n meros slo e(isten en la inteligencia+

El juicio El juicio es el resultado inmaterial de la segunda operacin del espritu. Esta operacin se denomina judicacin, y se la define como el acto por el cual el espritu compone al afirmar y di,ide al negar. El juicio es el resultado inmaterial de la judicacin! a$ora bien el resultado material de la misma se denomina proposicin. Las proposiciones pueden ser simples o compuestas seg n enlacen un sujeto a un predicado o ms de un sujeto y un predicado.
%Ejemplo" )1uan es mortal* es una proposicin que enlaza un concepto &)juan*' con otro concepto &)mortal*'. La proposicin )los $ombres y los perros son mortales* enlaza ms de un concepto con otro+

2osotros nos ocuparemos a$ora de las proposiciones simples. Las proposiciones simples se clasifican seg n la cantidad en uni,ersales o particulares. Las proposiciones particulares son aquellas en las que el predicado se dice de algunos de los indi,iduos del sujeto y las proposiciones compuestas son aquellas en las que el predicado se dice de todos los indi,iduos del sujeto. 3esde el punto de ,ista de la cualidad las proposiciones pueden ser afirmati,as si el predicado le con,iene al sujeto o negati,as si no le con,iene al mismo.
%Ejemplo" )1uan es mortal* se4ala que la mortalidad slo se atribuye a un $ombre &juan'! en cambio )todos los $ombres son mortales* se4ala que la mortalidad se atribuye a todos los indi,iduos $ombres. La primera es una proposicin particular! la segunda es uni,ersal.

Los antiguos distinguan entre lgica menor o formal y lgica mayor o material.

<
/or otra parte" La e(presin )todos los $ombres son animales* indica que la animalidad es atribuida a los $ombres. La e(presin )ning n $ombre es animal* se4ala que la animalidad no es atribuida a ninguno de los indi,iduos $ombres. En el primer caso estamos ante una proposicin afirmati,a! en el segundo ante una negati,a.+

5ntegrando la cualidad y la cantidad se obtienen cuatro tipos posibles de proposiciones, a saber" ." uni,ersales afirmati,as E" uni,ersales negati,as 5" particulares afirmati,as 6" particulares negati,as 6posicin de proposiciones #on opuestas aquellas proposiciones poseen el mismo sujeto y predicado pero que difieren en cantidad y7o cualidad. E(isten cuatro tipos de oposiciones" 0ontradictorias" difieren en cantidad y cualidad. 0ontrarias" #on las uni,ersales que difieren en cualidad #ubcontrarias" #on las particulares que difieren en cualidad. #ubalternas" difieren en cantidad.
%.claracin" una proposicin . es contradictoria de una proposicin 6, contraria de una proposicin E y subalterna de una proposicin 5. 8na proposicin 5 es contradictoria de una proposicin E, subalterna de una proposicin . y subcontraria de una proposicin 6+

-eglas de las oposiciones -egla de las contradictorias" 2o pueden ser ,erdaderas ni falsas a la ,ez. -egla de las contrarias" 2o pueden ser ,erdaderas a la ,ez, pero si falsas a la ,ez -egla de las sub contrarias" 2o pueden ser falsas a la ,ez, pero si ,erdaderas a la ,ez
%nota" en algunos casos es confuso reconocer el ,alor de ,erdad de una proposicin a partir de sus opuestas y esto se debe a que es necesario recurrir a la materialidad de la proposicin obser,ando si refiere a materia necesaria o contingente+

-azonamiento Es el acto por el cual el espritu pasa de una ,erdad conocida a otra no conocida, contenida en la anterior. E(isten dos tipos de razonamientos" El deducti,o y el inducti,o. #ilogismo categrico" Es un razonamiento deducti,o en el que de dos termino unidos a un tercero se concluye la unin de esos dos trminos entre s. Las primeras dos premisas de un silogismo constituyen el antecedente, y la ultima el consecuente. 9iguras del silogismo Es la disposicin del termino medio en las premisas. E(isten cuatro figuras" /rimera" s:p #egunda" p:p ;ercera" s:s 0uarta" p:s
%nota" s:p indica que el trmino medio se encuentra en la premisa mayor en el sujeto y en la menor en el predicado! por otro lado, p:p indica que el trmino medio se encuentra en ambas premisas en el predicado y as sucesi,amente.+

-eglas del silogismo 1:El silogismo debe tener solo tres trminos &medio, mayor y menor' <:El termino medio no debe figurar en la conclusin. =:El termino medio debe estar tomado al menos una ,ez uni,ersalmente. >:Los trminos &mayor y menor' no deben tener mayor e(tensin en la conclusin que en las premisas. ?:3e dos proposiciones particulares no se sigue nada. @:3e dos proposiciones negati,as no se sigue nada. A:3e dos proposiciones afirmati,as no se sigue negati,a.

= B:La conclusin sigue siempre la parte ms dbil &lo particular es mas dbil que lo uni,ersal y lo negati,o que lo afirmati,o'. E(tensin de los trminos en el silogismo . modo de ejemplo obsr,ese el siguiente silogismo, ;odo a es b ;odo a es c ;odo b es c Las tres proposiciones son . &uni,ersales y afirmati,as'. El trmino medio es a &es el trmino que se repite en las dos proposiciones que conforman el antecedente'. El trmino mayor es b &el trmino que queda libre en la premisa mayor y que $ace las ,eces de predicado de a'. El trmino menor es c &el trmino que queda libre en la premisa menor y que $ace las ,eces de predicado de a'. En la conclusin los trminos b y c siguen siendo mayor y7o menor tal cual lo son en las premisas correspondientes. La e(tensin de los trminos que $acen las ,eces de sujeto es la misma que posee toda la proposicin! as si la proposicin es uni,ersal, el sujeto tambin lo es y, si la proposicin es particular el sujeto tambin. 0on respecto a los trminos que $acen las ,eces de predicados, stos responden a una peque4a regla" #i la proposicin es afirmati,a, el trmino que se predica tiene una e(tensin particular y, si la proposicin es negati,a, el trmino que se predica tiene una e(tensin uni,ersal. Ceamos otro ejemplo" &.' ;odo a es b &E' 2ing n b es c &6' .lg n a no es c El trmino medio es b &se repite en las dos premisas' En la premisa mayor el trmino mayor &a' tiene una e(tensin uni,ersal. En la premisa menor el trmino menor &c' tiene una e(tensin uni,ersal. El trmino medio &b' tiene una e(tensin particular en la premisa mayor y una e(tensin uni,ersal en la premisa menor. En la conclusin el trmino mayor &a' tiene una e(tensin particular y el trmino menor &c' tiene una e(tensin uni,ersal.

>

Lgica proposicional

En la lgica proposicional las proposiciones se di,iden en dos grandes grupos" atmicas y moleculares. Las proposiciones atmicas son las mnimas unidades de las que tiene sentido predicar su ,erdad o falsedad. 0ada proposicin atmica se simboliza mediante las letras )p*, )q*, )r*, )s*, llamadas ,ariables proposicionales. Las proposiciones moleculares estn compuestas por dos o ms atmicas &a e(cepcin de la negacin que es una molecular de una sola atmica' y su ,alor de ,erdad, es decir, el ser ,erdaderas o falsas, est en funcin del ,alor de ,erdad de las atmicas que la componen. El ,alor de ,erdad de las proposiciones atmicas no puede ser determinado lgicamente sino a tra,s de la e(periencia. /roposiciones moleculares 2egaciones. La negacin in,ierte el ,alor de una proposicin atmica.
%Ejemplo" la atmica )juan corre* se simboliza )p*! la negacin de )p* se simboliza ):p*+

0onjunciones. 8na proposicin conjunti,a es aquella en la que se unen dos proposiciones atmicas.
%Ejemplo" la atmica )juan corre* se simboliza )p*! la conjuncin )juan corre y pedro camina* se simboliza )p.q* donde ).* e(presa la conjuncin entre p y q.+

3isyunciones. Day dos tipos de disyunciones" incluyentes y e(cluyentes.

%.claracin" para las inclusi,as la simbolizacin es ),* y para las e(clusi,as es )E*+

0ondicionales. En estas proposiciones distinguimos un antecedente y un consecuente. El antecedente es condicin suficiente para el consecuente.
%Ejemplo" si la atmica )juan corre* se simboliza )p*, la molecular )si juan corre, entonces se cansar* se simboliza )p q*+

Ficondicionales. #on moleculares que e(presan la equi,alencia o mutua implicacin entre las atmicas que la componen.
%Ejemplo" una bicondicionalidad entre )p* y )q* se simboliza )pq*+

#imbolizacin de proposiciones y tablas de ,erdad Las tablas de ,erdad se construyen a partir de la consideracin de las conecti,as e(istentes y la cantidad de proposiciones atmicas que se enlazan. 0uando una proposicin atmica aparece repetidamente en una forma lgica, adopta siempre la misma ,ariable. ;omemos como ejemplo la proposicin ) si la mayora ,ota a /rez, /rez ser senador*. La forma lgica de esta proposicin molecular sera )pq* y la tabla de ,erdad para esta forma lgica es"
p C 9 C 9 V V F V q C C 9 9

El n mero de filas de una tabla de ,erdad depende del n mero de proposiciones atmicas que enlace! si una forma lgica, como la del ejemplo anterior, enlaza dos atmicas entonces la cantidad de filas ser

? igual a cuatro! esto es as porque el numero de filas siempre es igual al resultado de una potencia cuya base es < y cuyo e(ponente es el n mero de proposiciones atmicas %en el caso anterior la base es < y el e(ponente
es <+.

;omemos como ejemplo la proposicin )juan corre y pedro camina*. La forma lgica y la tabla de ,erdad se construye como sigue"
p C 9 C 9 . V F F F q C C 9 9

El ,alor de ,erdad de una conecti,a depende de los ,alores de ,erdad de las atmicas que enlaza! en el caso de la condicional, el ,alor de la conecti,a es falso cuando el antecedente es ,erdadero y el consecuente es falso. /ara el caso de la conjuncin la conecti,a es ,erdadera cuando los dos componentes que enlaza son ,erdaderos %obser,ar la tabla anterior+. ;omemos el caso de la bicondicional. Estas proposiciones son ,erdaderas si y slo si ambos componentes tienen el mismo ,alor de ,erdad.
Ejemplo p C 9 C 9 C 9 9 C q C C 9 9

En el caso de la disyuncin e(cluyente, es falsa slo si ambos componentes tienen el mismo ,alor de ,erdad.
p C 9 C 9 E 9 C C 9 q C C 9 9

/ara una disyuncin incluyente, la regla dice que el ,alor de ,erdad es falso cuando ambos componentes que enlaza son falsos.
p C 9 C 9 C C C C 9 q C C 9 9

En el caso de la negacin, la regla es muy simple. #i la atmica en cuestin es ,erdadera, la negacin de la misma es falsa.
p C 9 :p 9 C

Ceamos a$ora una forma lgica que incluye ms de una conecti,a. ;omemos como ejemplo la afirmacin )...#i $ay elecciones, /rez ser candidato y ganar por mayora* #i $ay elecciones G p /rez ser candidatoG q Hanar por mayoraG r La forma lgica y la tabla de ,erdad sera como sigue" p
C 9 C 9 C 9 C 9

V V F V F V F V

&q
C C 9 9 C C 9 9

.
C C 9 9 9 9 9 9

r'
C C C C 9 9 9 9

En una forma lgica que tiene ms de una conecti,a, el alcance de la conecti,a est limitado por parntesis y7o corc$etes. #e resuel,e la conecti,a que est dentro del parntesis y luego el resultado obtenido se coteja con la ,ariable que permanece fuera del parntesis! de este cotejo sale el resultado final de la tabla de ,erdad. 0uando los ,alores de ,erdad de la ltima proposicin son todos ,erdaderos, estamos ante una proposicin tautolgica! si en cambio los ,alores de ,erdad son todos falsos, estamos ante una contradiccin y, cuando los ,alores de ,erdad alternan entre ,erdaderos y falsos, estamos en presencia de una proposicin contingente. Ceamos otro ejemplo" &:p
9 C 9 C 9 C 9 C

C C C 9 C C C 9

q'
C C 9 9 C C 9 9

.
V V V F F F F F

r
C C C C 9 9 9 9

En el ejemplo anterior puede obser,arse que el ,alor de ):p* es la in,ersin simple de )p* y que se $a resuelto primero lo que alcanza el parntesis &la condicionalidad' y luego la conjuncin.

Ejercicios" 6btener la forma lgica de las siguientes proposiciones" /edro corre s y slo si $ay sol. #i llue,e, deber lle,ar paraguas. #i continuamos siendo democrticos, $abr elecciones libres. 2o caminaremos. #i Laura ,iene entonces festejaremos su cumplea4os y saldremos a bailar. #oy alto o no soy alto. /edro corre. #i /edro corre entonces no lo alcanzaremos.

5nterpretar las siguientes formas lgicas" p p.q &p. Iq' r p , Ip

-esol,er la tabla de ,erdad de las siguientes proposiciones" p , Ip p &q . r' pEq &:p . Iq' r