Bolilla N3: Presupuesto Lgico de la Ciencia

Inferencia: nocin Inferencia, por su origen etimolgico significa sacar o ir hacia una conclusin. La inferencia es tanto el proceso que nos permite sacra una conclusin como la estructura que nos permite relacionar proposiciones para sacar de ellas consecuencias. Divisin y Clasificacin de la Inferencia: Inferencia de oposicin Inmediatas sin uso de medios! Inferencia de equivalencia Inferencia "ediatas con uso de medios ya sean t#rminos o premisas! deductivos $a%onamiento &o'deductivos Inferencia Inmediata: (e llama inferencia inmediata a la conclusin que se puede e)traer directamente, sin uso de t#rminos medios o de premisas. *ara poder reali%ar el proceso de las inferencias inmediatas, ser+n necesarios considerar las estructuras y propiedades de las proposiciones que se utili%an como punto de partida de la inferencia. Inferencia de oposicin : Cuadro de ,posicin -ste tipo de inferencias se logran por las operaciones lgicas reali%adas al relacionar las proposiciones categricas que forman el cuadrado de ,posicin. -ste cuadrado se estructura utili%ando las formas t.picas de las proposiciones categricas que aparecen al reunir cantidad y cualidad, siempre en proposiciones de In esse. (us esquemas: Todo S es P : simple o categrica, universal, de In esse, afirmativa. Ningn S es P: simple o categrica, universal, de In esse, negativa Algn S es P: simple o categrica, particular, In esse, afirmativa. Algn S no es P: simple o categrica, particular, de In esse, negativa. A representa a las universalidades afirmativas/ I a las particularidades afirmativas. E representa a las universalidades negativas y O a las particulares negativas. Disponi#ndolas paralelamente formaron el siguiente cuadro: A E universal 0 1 2 universal '

*articular 0 I , particular ' I O Contradictorias: (i o3servamos los e)tremos del cuadrado nos daremos cuenta de que se dan distintos tipo de oposicin entre estas proposiciones Categricas.

La proposicin 1 : universal, afirmativa y la ,: particular, negativa/ son opuestas tanto en cantidad como en calidad. Dir.amos que entre ellas e)iste una oposicin m+)ima. La misma situacin se repite entre -: universal, negativa e I: particular, afirmativa. 4sta oposicin m+)ima se llama contradiccin lo que se refiere en forma universal 1!, la otra lo niega en una parte ,!. 1 la inversa, lo que una niega en su totalidad -!, la otra lo afirma en parte I!. (i unimos las proposiciones contradictorias logramos una cru% que une 1 con , y - con I. A contrarias su3alternas I su3contrarias *rincipio de Contradiccin: dos proposiciones contradictorias no pueden ser am3as verdaderas. dos proposiciones contradictorias no pueden ser am3as falsas/ una es verdadera y la otra es falsa, no hay tercera posi3ilidad. 1plicando esto al cuadrado de oposicin se logra: (i 1 es verdadera, , es falsa/ si , es falsa, 1 es verdadera. (i 1 es falsa/ , es verdadera/ si , es verdadera, 1 es falsa. (i - es verdadera, I es falsa/ si I es falsa, - es verdadera. (i - es falsa, I es verdadera/ si I es verdadera, - es falsa. Contrarias: Las proposiciones 1 y - difieren en la cualidad, pero coinciden en la cantidad, ya que las dos son universales. *or lo tanto entre ellas la oposicin o es m+)ima, sino m+s limitada. -llos permite que puedan am3as ser falsas a la ve%, peor nunca verdaderas a la ve%. -5emplo: todo tri+ngulo es equil+tero y lo negamos diciendo ning6n tri+ngulo es equil+tero. 1m3as proposiciones son falsas, dado que algunos tri+ngulo pueden ser o no equil+teros. *or lo tanto, si 1 es falsa, no es l.cito inferir que - es verdadero, necesariamente. *or el contrario, si 1 es falsa y el predicado no es necesario al su5eto, - resulta igualmente falsa. Distinto ser.a si el predicado se da necesariamente. -5emplo: todo n6mero es divisi3le por dos, *roposicin 1, verdadera. (u contraria es necesariamente falsa, la proposicin - dir.a: ning6n n6mero par es divisi3le por dos. De modo que la regla nos se7alar+ de que la verdad de una contraria infiere necesariamente la falsedad de la otra, peor la inversa no se da necesariamente, ya que tendremos que conocer si el predicado es necesario al su5eto o no. (i 1 es 8 - es 9 si 1 es 9 - es 8 o 9 : O E su3alternas

(i - es 8 1 es 9 si - es 9 1 es 8 o 9: (u3'contrarias: -s la relacin de oposicin que se plantea entre dos particulares, es decir entre I e ,, las que difieren en cualidad peor coinciden en cantidad, ya que am3as son particulares. -ntre estas dos proposiciones se da el caso inverso a las universales/ am3as pueden ser verdaderas a la ve% peor no falsa a la ve%. -5emplo: ;algunos tri+ngulos son equil+teros y algunos tri+ngulos no son equil+teros,am3as son verdaderas a la ve%, lo que significa que la verdad de una no permite inferir necesariamente la falsedad de la otra. La inversa, s. nos permite inferir

necesariamente. -s decir que si I es falsa, , ser+ necesariamente verdadera/ y si , es falsa, I ser+ verdadera necesariamente. -5emplo: alg6n hom3re no es mortal falsa/ alg6n hom3re es mortal, verdadera. (u3'alternas: -sta relacin no es propiamente de oposicin sino de dependencia, si consideramos las universalidades en cone)in con la particular de su misa cualidad. -5emplo: de 1 respecto de I y viceversa/ de - y respecto de , y viceversa. Los pares coinciden en cualidad, siendo am3as afirmativas 1 < I! o am3as negativas - <,!, pero difieren en cantidad, ya que 1 es universal e I es particular,. 1simismo entre - y , . en estos casos la verdad de la universalidad permite inferir necesariamente la verdad de la particular, la falsedad de la universal no implica necesariamente la falsedad de la particular -5emplo: si decimos todo tri+ngulo es figura geom#trica proposicin 1 verdadera, su su3'alterna I tam3i#n lo ser+ necesariamente. -s decir que algunos tri+ngulos son figura geom#trica se refiere como verdadera de la universal. *ero decir todo tri+ngulo es equil+tero=, es una proposicin 1 falsa, mientras que la proposicin I correspondiente ser+ verdadera, podemos afirmar vera%mente que algunos tri+ngulos son equil+teros. Lo mismo suceder+ con el otro e)tremo del cuadrado: - ser+ falsa y , verdadera. *or e5emplo: ning6n tri+ngulo es equil+tero > falsa/ alg6n tri+ngulo no es equil+tero > verdadera. Reglas de Inferencias para el Cuadro de Oposicin: ?. $egla de las contradictorias: dos proposiciones contradictorias no pueden ser a la ve%, ni verdaderas ni falsas. (i una es verdadera, la otra tiene que ser falsa, si una es falsa la otra es verdadera, necesariamente@ . (i 1 es 8, , es 9/ si 1 es 9, , es 8. (i , es 8, 1 es 9/ si , es 9, 1 es 8. (i - es 8, I es 9/ si - es 9, I es 8/ si I es 8, - es 9/ (i I es 9, - es 8. ;. regla de las contrarias: dos proposiciones contrarias no pueden ser verdaderas a la ve%, peor pueden ser falsa a la ve%. (i 1 es 8, - es 9/ si 1 es 9, - puede ser 8 o 9. (i - es 8, a es 9/ si - es 9, 1 puede ser 8 o 9. A. $egla de las su3contrarias: dos proposiciones su3contrarias no pueden ser falsas a la ve%, peor pueden ser verdaderas a la ve% (i I es 8, , puede ser 8 o 9/ si I es 9, , es 8. (i , es 8, I puede ser 8 o 9/ si , es 9, I es 8. B. $egla de las su3alternas: la verdad de una proposicin universal permite inferir la verdad de la particular de su misma cualidad. La falsedad de la universal permite que la particular sea falsa o verdadera .la falsedad de una proposicin particular permite inferir necesariamente la falsedad de la universal de su misma cualidad, peor la verdad de una particular no implica la verdad de la universal de su misma cualidad, ya que podr+ ser verdadera o falsa. (i 1 es 8, I es 8/ si 1 es 9, I puede ser 8 o 9. (i - es 8, , es 8/ si - es 9, , puede ser 8 o 9. (i I es 9, 1 es 9/ si I es 8, 1 puede ser 8 o 9. (i , es 9, - es 9/ si , es 8, - puede ser 8 o 9.

Razonamiento

forma de razonamiento:

1l ra%onamiento tam3i#n se lo conoces como Inferencias "ediatas o $a%onamiento. -s una estructura lgica comple5a que se desarrolla a partir de un proceso. La estructura lgica est+ formada por premisas y por otras llamadas conclusin.' -sta3lecen relaciones especiales entre proposiciones y esa relacin permite o3tener la conclusin. La pala3ra ra%onamiento designa tanto el proceso como la estructura por medio de las cuales se pueden inferir necesariamente, en el ra%onamiento deductivo o pro3a3lemente en el ra%onamiento inductivo, una conclusin verdadera.' Las proposiciones que sirven de punto de partida se llaman premisas son las proposiciones que se env.an antes que las conclusiones, son su fundamento y antecedente.' Cuando la relacin de las premisas permite inferir necesariamente una conclusin se est+ frente a una forma de ra%onamiento deductivo que se llama silogismo categrico.'Cuando la relacin de las premisas por si misma permite inferir necesariamente en una conclusin, tenemos una forma de ra%onamiento deductivo que se llama silogismo !ipot"tico#$ Cuando el contenido de las premisas permite inferir, pro3a3lemente, una conclusin entonces se ha3la de ra%onamiento no deductivo. Las proposiciones pueden ser de ; tipos: simples o categricas: unen t#rminos su5eto y predicado a partir del ver3o u cpula. $elaciones entre t#rminos.' Compuestas o hipot#ticas: relaciones entre preposiciones simples a trav#s de conectivas.' Silogismo Categrico: Llamado tam3i#n silogismo de t#rminos: su funcin es reunir el t#rmino mayor y menor en la proposicin que se llama conclusin, por medio de un tercer t#rmino que los enla%a y que se llama t"rmino medio. 1 su ve% este silogismo est+ formado por tres proposiciones categricas o simples.' La forma de un ra%onamiento silog.stico es, desde el punto de vista de la lgica, su aspecto m+s importante. La valide% o invalide% de un silogismo depende e)clusivamente de su forma y es completamente independiente de su contenido espec.fico o del tema al que se refiere.' La estructura del silogismo categrico: ?C *remisa, o premisa mayor, porque figura en ella el t#rmino mayor : una proposicin categrica. ;D *remisa, o premisa menor, porque en ella figura el t#rmino menor: otra proposicin categrica. AC conclusin > proposicin tam3i#n categrica donde el su5eto es el t#rmino menor y el predicado es el t#rmino mayor. E#rmino medio: 9igura en las dos premisas, ya que de3e ser el ne)o que conecte, afirmativa o negativamente el t#rmino mayor con el menor. Fracias al t#rmino medio, se unen el t#rmino menor y el mayor en la conclusin. -l t#rmino mayor se representa con la letra T/ el t#rmino medio con la letra %/ y el t#rmino menor con t#

Eodo silogismo categrico est+ estructurado en 3ase a tres t#rminos que figuran en tres proposiciones categricas. -l t#rmino "edio esta3lece la relacin entre E y t y va mediar para o3tener la conclusin y &G&C1 aparece en ella. -l t! aparece (iempre en el (GH-E, de la Conclusin -l E! aparece (iempre en el *$-DIC1D, de la Conclusin. *roposiciones de forma t.pica: 1parece en el cuadro de oposicin: 1 universal afirmativa!/ - universal negativa!/ I particular afirmativa!/ , *articular negativa! -5emplo: E! "! 1 Eodo elefante es animal 1 Eodo mosquito es animal & E! & 't( La estructura es inv+lida

'S( Su)eto* 'P( Predicado Reglas del silogismo categrico: $egla ?: todo silogismo categrico consta de tres t#rminos: T+ t+ %# -5emplo: Eodo lo que tiene valor es econmico Eodo h#roe tiene valor '''''''''''''''''''''''''''''''''''''''''''''''' Eodo h#roe es econmico conclusin falsa $egla ;: los t#rminos T y t, en la conclusin no de3en tener mayor e)tensin que aquella que tengan en las premisas. -5emplo: Eodo tri+ngulo es figura geom#trica 1lg6n tri+ngulo es irregular '''''''''''''''''''''''''''''''''''''''''''' Eodo lo irregular es figura geom#trica

conclusin falsa

$egla A: el t#rmino medio no de3e figurar en la conclusin. -5emplo: Eodo animal racional es viviente Eoda planta es viviente '''''''''''''''''''''''''''''''''''''''''' Eoda planta es animal racional y viviente

conclusin falsa.

$egla B: al menos en una premisa el % de3e estar tomado en toda su e)tensin, es decir universalmente. -5emplo: Eodo racional es viviente 1lg6n viviente es vegetal '''''''''''''''''''''''''''''''' 1lg6n vegetal es racional

conclusin falsa

Reglas de las Premisas: $egla I: de dos premisas negativas no se concluye nada. -5emplo: &ing6n viviente es mineral &ing6n mineral es sensi3le '''''''''''''''''''''''''''''''''''' &ing6n ser sensi3le es viviente

conclusin falsa

$egla J: de dos premisas particulares no se saca conclusin. -5emplo: 1lgunos animales son insectos 1lgunos animales son mam.feros '''''''''''''''''''''''''''''''''''''''''' 1lgunos mam.feros son insectos

conclusin falsa

$egla K: de dos premisas afirmativa no se saca conclusin negativa. -5emplo: Eodo lo mortal es temporal Eodo lo viviente es mortal '''''''''''''''''''''''''''''''''' Eodo lo viviente es temporal

conclusin falsa

$egla L: la conclusin siempre sigue la parte m+s d#3il/ lo que significa que si una premisa es particular y la otra universal, la conclusin ser+ particular. (i una premisa es negativa y la otra afirmativa, la conclusin ser+ negativa. (i una premisa es particular y otra negativa, o una es particular y negativa, la conclusin ser+ particular y negativa en am3os casos. si una de las premisas de un silogismo categrico de forma t.pica v+lido es negativa, la conclusin de3e ser negativa.' *or consiguiente, si una de las premisas es negativa, la conclusin no puede ser afirmativa, sino que de3e ser tam3i#n negativa.' (e dice de un silogismo que viola la regla I, que incurre en la falacia de e)traer una conclusin afirmativa de una premisa negativa.' si la conclusin de un silogismo categrico es una proporcin particular, sus premisas no pueden ser am3as universales.' e5emplo: &ing6n animal es viviente 1lgunas sales son minerales ''''''''''''''''''''''''''''''''''''' 1lgunas sales son vivientes ,iguras del Silogismo Categrico: -n ellas, lo determinante es el lugar que ocupa el " en las premisas, ya que puede ser su5eto o predicado de cada una de ellas. *or lo tanto: ?D figura: " " ;D figura: " " AD figura: " " " BD figura: "

conclusin falsa

-n la primer figura el " es su5eto de la premisa mayor y predicado de la menor. -n la segunda figura el " es predicado de am3as. -n la tercer figura es su5eto de am3as. -n la cuarta figura es predicado de la mayor y su5eto de la menor. %odos de silogismos categrico: -l modo est+ dado por la com3inacin de las proposiciones seg6n la cualidad y cantidad, pero no todas las com3inaciones son v+lidas. Los modos del silogismo van a resultar de la relacin que se esta3le%ca entre las proposiciones de forma t.pica seg6n la cantidad y la cualidad. 1 1 1 1 1 - I , ' - I ' - - - 1 - I , - ' , ' I I I I 1 - I , I , ' ' , , , , 1 - I , , ' ' '

Las formas que comien%an con 1 ?D premisa! dan mayor n6mero de com3inaciones. &o dan una conclusin necesariamente verdadera, ya que la estructura no es v+lida. -5emplos: La com3inacin - < - no da una conclusin pues las dos son negativas. Mdem - <,/ , < -, , < ,. Las otras com3inaciones no dan conclusin por ser dos particulares. -5emplo: I < I/ I < ,/ , < I/ , ' ,. -5emplos: Eu "p &ing6n ladrn es honesto Ep "u 1lgunos contadores son honestos Ep Eu 1lgunos contadores son honestos Otras formas silog-sticas: -ntimema: La pala3ra entimema significa: lo que se tiene en el esp.ritu/ ya que designa un silogismo incompleto, en el cual una de las premisas, o la conclusin no est+ e)presada, y por lo tanto, la tenemos en el esp.ritu, o sea hacemos uso de ella pero no la enunciamos. La ra%n por la cual podemos callar una de las premisas o la conclusin es que ellas no resultan conocidas, y no necesarias para que se comprenda la relacin de los t#rminos del silogismo.

(i lo que no se enuncia es la premisa mayor, se dice que es un entimema de prime orden. (i lo que se calla es la premisa menor, se lo llama entimema de segundo orden. N si lo t+cito es la conclusin se ha3la de un entimema de tercer orden. -5emplo: Las 3allenas no son pocas, dado que son mam.feros. (u forma completa ser.a: &ing6n pe% es mam.fero Eodas las 3allenas son mam.feros ''''''''''''''''''''''''''''''''''''''''' &inguna 3allena es pe%. Como se ve falta la primer premisa en el entimema, ning6n pe% es mam.fero lo que hace de #l un entimema de primer orden -5emplo: Los empleados incumplidores no son desea3les en el comercio. *or lo tanto estos empleados no son desea3les aqu.. -l ra%onamiento completo ser.a. &ing6n empleado Eodos son empleados incumplidores '''''''''''''''''''''''''''''''''''''''''''''' &inguno de estos empleados son desea3les aqu.. Corresponde a un entimema de segundo orden pues tiene t+cita la premisa menor, que sin em3argo figura en el modelo tradicional. -5emplo: &ing6n li3ro de estudio es in6til, y todo tratado de lgica es el li3ro de estudio. La forma completa del ra%onamiento ser.a: &ing6n li3ro de estudio Eodo tratado de lgica es li3ro de estudio. ''''''''''''''''''''''''''''''''''''''''''''''''''''' &ing6n tratado de lgica es in6til. -l entimema es de tercer orden, pues ha de5ado t+cita a conclusin. -piquerema: -n este tipo de ra%onamiento una o am3as premisas est+n acompa7adas de un argumento, que fundamenta o da ra%n de ella. (i una sola premisa lleva argumentacin el epiquerema se llama simple, mientras que si am3as premisas llevan argumentacin se llama do3le. -5emplo: La li3ertad es un derecho natural del hom3re, porque deriva de su esencia. Los derechos naturales son inaliena3les.

La li3ertad es inaliena3le. -ste es un epiquerema simple ya que la primer premisa lleva su fundamentacin. *olisilogismo: -n este ra%onamiento se encadenan dos o mas silogismos de tal modo que la conclusin de uno se convierta en al premisa del siguiente. -5emplo: 1 < todos los e5ecutivos son personas tra3a5adoras ?D premisa! I ' algunos contadores son e5ecutivos ;D premisa! I ' algunos contadores son personas tra3a5adoras conclusin y ?C premisa! 1 ' toda persona tra3a5adora triunfa en la vida ;D premisa! I ' algunos que triunfan en la vida son contadores conclusin! Silogismo .ipot"tico: -s aquel que relaciona proposiciones y en el que la premisa mayor es siempre una proposicin compuesta, ya sean disyuntiva, con5untiva o condicional. $a%onamiento Oipot#tico Deductivo Condicional Disyuntiva (ilogismo Categrico Oipot#tico

-)clusiva Inclusiva

Silogismo /is unti0o: Las proposiciones disyuntivas se distinguen en: disyuncin inclusiva > yPo/ disyuncin e)clusiva > o. *ara que un silogismo disyuntivo sea v+lido necesariamente, de3e utili%arse la disyuncin e)clusiva, ya que la inclusiva propone alternativas que pueden ser verdaderas a la ve%, lo que no lleva a una necesidad en la conclusin, lograda por la aceptacin de una parte de la disyuncin y el recha%o de la otra parte. -5emplo: decir estudio o tra3a5o, no es esta3lecer una verdadera disyuncin sino dos formas de alternativas de actividad, las que no tiene en s. mismas una relacin que nos o3ligue, necesariamente a elegir una u otra. Oay muchas personas que tra3a5an y estudian. *or eso la disyuncin inclusiva permite que am3as alternativas puedan ser verdaderas a la ve%, distinto es el caso si decimos: o duermo, o estudio, pues evidentemente una accin impide la otra, lo que nos muestra una posi3ilidad de disyuncin efectiva y real. La disyuncin e)clusiva da silogismos v+lidos siempre en cualquiera de sus modos. La disyuncin inclusiva no logra formas v+lidas en el modo *oniendo Eollens. -l silogismo disyuntivo se estructura: ?C premisa mayor!> una proposicin disyuntiva. ;D premisa menor!> se afirma o se niega una parte de la disyuncin. Conclusiones se niega o se afirma, respectivamente, la otra parte de la disyuncin. -5emplo:

, se pagan las deudas o no se compra mas mercader.a. ?C premisa! (e pagan las deudas ;D premisa! Luego, se compra mas mercader.a conclusin! (e dice que la conclusin destruye la cualidad inicial de esa proposicin y lo que esta3a negando en la primera premisa, aparece afirmando en la conclusin. 1dem+s la primera parte de la disyuncin, que es afirmativa, conserva su cualidad en la segunda premisa. -l conservar la cualidad originaria de la proposicin se e)presa con el ver3o latino *onere, del cual se usan dos formas: el participio presente *onenes, y el gerundio *onendo. *ara se7alar que se destruye se utili%a el ver3o latino Eollere, en su participio presente Eollens y en su gerundio Eollendo. (e pueden dar las siguientes com3inaciones: *rimera parte delas disyuncin: 1firmativa > 0 &egativa > ' 1firmativa > 0 &egativa > ' segunda parte de la disyuncin: 1firmativa > 0 1firmativa > 0 &egativa > ' &egativa > '

*osi3les esquemas de silogismos disyuntivos: ?D premisa: 0 o 0/ ' o 0/ 0 o '/ ' o <o. ;D premisa: 0 / ' /0 /' es decir que conserva la cualidad de la primera parte de la disyuncin! conclusin: ' /' /0 /0 es decir que cam3ia o destruye la cualidad de la segunda parte de la disyuncin! este modo en el cual la segunda premisa conserva y la conclusin destruye la cualidad se llama %odus Ponendo Tollens, lo que traducido significa: el modo en el cual se conserva en la segunda premisa! y se destruye en la conclusin!. -5emplos: 0! 0! I! , pagamos las deudas o vamos a la quie3ra 0! *agamos las deudas '! Luego, No vamos a la quie3ra '! II! , no compramos m+s mercader.as o iremos a la quie3ra '! &o compramos m+s mercader.as '! Luego, no iremos a la quie3ra, 0! '! III! , se pagan las deudas o no se podr+ comprar m+s mercader.as

0! (e pagan las deudas 0! Luego, se podr+ comprar m+s mercader.as.' '! '! I8! , no compramos m+s mercader.as, o no se podr+n pagar las deudas '! &o compramos m+s mercader.as 0! Luego, se podr+n pagar las deudas.' (e comprue3a que la ;da. *remisa conserva la cualidad de la primera parte de la disyuncin y la conclusin destruye la de la segunda parte. *uede ponerse como ;da. *remisa la segunda parte de la disyuncin y en ese caso se de3er+ tener en cuenta la cualidad de esa parte para afirmarla, y poder destruir la de la ?ra.' *ero a6n as. se estar+ dentro del %odus Ponendo Tollens# -l otro modo es aquel en el que destruye en la ;da. *remisa, y conserva en la conclusin.' -l esquema del %odus tollendo ponens, es el siguiente: ?C *remisa: 0 o 0/ ' o 0/ 0 o '/ ' o '/ ;C *remisa: ' / 0 / ' / 0 / Conclusin: 0 / 0 / ' / ' / -5emplos de este esquema: I! 0! 0! , pagamos las deudas o nos har+n 5uicio. '! &o paga las deudas 0! Luego, nos har+n 5uicio.' '! 0! , no administramos mal el dinero o tendremos dificultades 0! 1dministramos mal el dinero 0! Luego, tendremos dificultades.' II! 0! '! , se pagan las deudas o no se podr+ comprar m+s mercader.as '! &o se pagan las deudas

III!

'! Luego, no se podr+ comprar m+s mercader.as.' '! '! , no compramos m+s mercader.as o no se podr+n pagar las deudas 0! Compramos m+s mercader.as '! Luego, no se podr+n pagar las deudas.' -n los e5emplos del %odus Tollendo ponens se ha destruido la cualidad de la primera parte de la disyuncin y se ha conservado la cualidad de la segunda. *odemos utili%ar en la ;da. *remisa, la segunda parte de la disyuncin y tomar como conclusin la primera/ pero de3en tenerse en cuenta las cualidades, afirmativas o negativas de cada una de ellas.' Silogismo condicional: -sta forma del silogismo hipot#tico tiene como primera premisa una proposicin condicional/ la segunda se formar+ con la conservacin del antecedente, o la destruccin del consecuente.' *or lo tanto la conclusin ser+, en el primer caso, la afirmacin del consecuente, y en el segundo la negacin del antecedente. Los modos se llaman: %odus ponendo ponens en el que se conserva el antecedente en la ;C *remisa, y se conserva el consecuente en la conclusin/ y el %odus tollendo Tollens en el cual destruyendo el consecuente en la ;C *remisa, se destruye el antecedente en la conclusin.' La ?C *remisa, si 3ien es una proposicin condicional puede tener la misma com3inacin de cualidad, afirmativa y negativa que vimos en el silogismo disyuntivo. *or lo tanto nos dar.an las siguientes com3inaciones: (i.................. 0!, entonces................ 0! (i................... '!, entonces................. 0! (i................... 0!/ entonces................ '! (i................... '!, entonces.................. '! -n este "odus al conservar el antecedente, se lo conservar+ con su cualidad. N lo mismo con el consecuente. -5emplos: I! 0! 0! (i pagamos las deudas, entonces tendremos nuevo cr#dito 0! *agamos las deudas 0! Luego, tendremos nuevo cr#dito.' '! 0! (i no pagamos las deudas, entonces nos declararan morosos

I8!

II!

'! &o pagamos las deudas 0! Luego, nos declararan morosos.' La ;C *remisa, conserva el antecedente en su cualidad, y la conclusin afirma el consecuente tal como est+ en la ?C *remisa.' -l %odus tollendo Tollens, se estructura poniendo en la ;C *remisa la negacin del consecuente, y concluyendo con la negacin del antecedente.' -5emplos: I! 0! 0! (i continuamos con deudas, tendremos pro3lemas de compra '! &o tendremos pro3lemas de compras '! Luego, no continuamos con deudas.' '! 0! (i no tenemos deudas, podremos hacer nuevos compromisos '! &o podremos hacer nuevos compromisos '! Luego, tenemos deudas.'

II!

(e destruye la cualidad del consecuente y se concluye destruyendo el antecedente.' Las formas de los silogismos que hemos dado como e5emplo con necesariamente 01lidas+ pero el contenido es de car+cter pro2a2le, ya que pese a las relaciones esta3lecidas en la ?C *remisa, pueden darse otras posi3ilidades de relacin.' -5emplo: *odemos hacer m+s compras, a6n teniendo deudas, si nos ampl.an el cr#dito, por confian%a en nuestra firma comercial.' Las reglas del silogismo condicional: ?C! *oniendo el antecedente, tal cual, pongo el consecuente tal como se da: "odus *onendo *onens! ;C! *oniendo el consecuente, tal cual no es l.cito poner el antecedente. AC! Destruyendo el consecuente, se destruye el antecedente "odus Eollendo Eollens! BC! Destruyendo el antecedente, no es l.cito destruir el consecuente.' Las reglas ? y A nos dan las formas v+lidas. Las ; y B las formas inv+lidas.' 3gica: *roposicional La lgica proposicional puede reci3ir tam3i#n la denominacin de lgica de enunciados a lgica sentencial.' La lgica *roposicional tiene como o35eto la teor.a y

el sistema de formali%acin, como as. de los ra%onamientos en los que ellas se usan, si 3ien la sim3oli%acin permitir+ ra%onamientos m+s e)tensos que los tradicionales.' -n el desarrollo de esta lgica es necesario esta3lecer los s.m3olos elementales, su uso y las reglas con las cuales se logran estructuras proposicionales compuestas.' (e ver+ como punto de partida para esta transformacin, aquellas estructuras proposicionales de los enunciados compuestos que utili%amos en la Gnidad II.' -5emplos: -l hierro es un metal slido y el mercurio es un metal l.quido.' La "atem+tica es una ciencia formal y la 2iolog.a es una ciencia natural.' -l fuego quema y el agua refrigera.' 1 cada lado de la con5uncin y va una proposicin pero en todos los casos la cone)in final de toda la estructura se apoya en el uso de la como con5untiva.' N esta y con5untiva estructura una forma de proposicin compuesta, la que puede tener como componentes a su ve%, proposiciones simples o compuestas, pero cuyo contenido variar+ seg6n los casos.' *or lo tanto, la estructura de la proposicin con5untiva tiene un elemento cuyo uso se7ala permanentemente el mismo tipo de relacin u operacin pero a la ve% necesita de otros dos elementos que son las varia3il.simas proposiciones que la componente.' Conecti0as 0aria2les -l s.m3olo que denota la relacin u operacin lgica que corresponde a cada tipo de estructura propocisional se llama constante lgica.' 1 su ve% y en ra%n de que ese mismo s.m3olo denota un elemento que conecta o une las proposiciones que la constituyen reci3e el nom3re de conecti0a. *or lo tanto y, o, si....entonces...,etc. son a la ve% constantes lgicas y conecti0as#$ La con5uncin y permite estructurar proposiciones con5untivas cuando une o enla%a dos proposiciones. (u representacin sim3lica es la de un punto .!.' La disyuncin inclusiva, cuyo valor significativo es de yPo y que representa alternativas que pueden ser simult+neamente verdaderas o no, se representa sim3licamente con una v o cu7a 8ol. Latino! La disyuncin e)clusiva, cuyo valor significativo es o...,o...se representa con una Q aut. Latino!.' La relacin (i...entonces... se sim3oli%a de la siguiente manera.......... pag.RS!, s.m3olo llamado tam3i#n herradura, que se origina en el sequitur latino.' -stos s.m3olos sirven de enlace de las proposiciones. -stas 6ltimas pueden ser simples o comple5as y referirse a cualquier clase de contenidos/ es decir que su significacin puede 0ariar ra%n por la cual los s.m3olos que las representar+n se llamar+n 0aria2les4#$ Como s.m3olos de las varia3les se utili%an las letras min6sculas del a3ecedario desde p en adelante.' *ara se7alar el alcance de una conectiva y evitar am3igTedades se encierran los enunciados entre par#ntesis, llaves o corchetes que cumplen la funcin de signos de puntuacin.' -5emplos: -l fuego quema y el agua refrigera. *roposicin con5untiva -structura: .........y............ (im3oli%acin: n . q!

*agan las deudas o se le cancela el cr#dito. *rop. De disyuncin inclusiva se puede ampliar el cr#dito!.' -structura: ........yPo........ (im3oli%acin: p v q! , es de d.a o es de noche. *roposicin de disyuncin e)clusiva.' -structura: ,.......o........ (im3oli%acin: p Q q! (i llueve demasiado, entonces se producen inundaciones. *roposicin condicional o de implicacin material.' -structura: (i......entonces...... (im3oli%acin: p q! Eoda proposicin, en s. misma puede ser verdadera o falsa.' *or lo tanto p puede ser 8 o 9, pero en tanto est# unido a otra proposicin q! las alternativas de com3inacin duplican estos valores.' p 8 9 8 9 q 8 8 9 9

Reglas sint1cticas La sinta)is es la ciencia que estudia las relaciones de las pala3ras y los signos entre s..' Los elementos fundamentales de que consta el lengua5e sim3lico de la lgica *roposicional son: ?.' Las varia3les proposicionales, que si sim3oli%an por las letras min6sculas p, q, r, s... ;.' Las conectivas funcionales veritativas, ya sean mon+dicas o singulares '! o di+dicas o 3inarias ./ v/ Q/ / U /etc.! os signos de puntuacin, los que se utili%an para determinar el alcance de las conectivas, y que son: par#ntesis !/ llaves VW/ y corchetes X Y etc.

Reglas sint1ticas: Cada enunciado simple o atmico del lengua5e #tnico se sim3oli%a con una varia3le proposicional.' -5. -sta m+quina es 6til: p -sta m+quina es 6til y Huan es h+3il con ella.' p . q! (i quisi#ramos negar la proposicin anterior diciendo: &o es cierto que esta m+quina es 6til y que Huan es h+3il con ella.' Lo representar.amos en la sig. 9orma: ' p . q!

supongamos que p significa: llueve mucho y q: hay sequ.a. *or lo tanto, el enunciado compuesto p .....q! se interpreta como : (i llueve mucho entonces no hay sequ.a, porque en el enunciado tenemos una negacin delante de la varia3le proposicional q. Ta2las de 0erdad: Ta2la de la Negacin: Dado que toda proposicin puede ser verdadera o falsa, la negacin de una proposicin verdadera la convierte en falsa, y la negacin de una proposicin falsa la convierte en verdarera.' -sta mesa es de madera: p, 8erdadera.' -sta mesa no es de madera: 'p, 9also.' -l tri+ngulo es cuerpo geom#trico: q, 9also.' -l tri+ngulo no es cuerpo geom#trico: 'q, 8erdadero.' Eanto un enunciado afirmativo como uno negativo pueden ser verdaderos, pero que negar una proposicin afirmativa verdadera es lograr una falsedad y negar una proposicin afirmativa falsa es lograr una verdadera.' Ta2la de 0erdad de la con)uncin#$ La con5uncin se llama a veces producto lgico y esta3lece la siguiente ta3la de verdad: p # q 8 8 9 9 8 9 9 9 8 8 9 9

Gna proposicin con5untiva es verdadera cuando las dos proposiciones que la componen son verdaderas.' -n los tres casos restantes es falsa.' Ta2la de 0erdad de la dis uncin inclusi0a: La o inclusiva significa yPo, lo cual es su sentido m+s completo se traduce por: Gno u otro o am3os, lo que aplicado a la ta3la de verdad nos dice que si am3as partes de la proposicin disyuntiva inclusiva son verdaderas, la disyuncin es verdadera, pero tam3i#n lo ser+ cuando se plantee la alternativa de que una sea verdadera y la otra falsa.' -l 6nico caso falso es cuando am3as partes lo son: p v 8 8 9 8 8 8 9 9 q 8 8 9 9

Ta2la de la dis uncin e5clusi0a: -sta forma disyuntiva significa: Gna u otra pero no am3as, lo que aplicado a la ta3la verdad nos muestra que la disyuncin e)clusiva es verdadera cuando una de sus partes es verdadera y la otra falsa.' Como dos verdadera no e)cluyen y dos falsedades tampoco, la primera y cuanta l.nea de la ta3la son falsas.' Q 8 9 8 9 9 8 8 9 q 8 8 9 9

Ta2la de 0erdad de la implicacin material: La implicacin material se traduce por la e)presin (i.....entonces.... y se sim3oli%a por la herradura.......... Gna proposicin condicional es siempre verdadera, salvo cuando el antecedentes es verdadero y el consecuente es falso.' p q

8 8 8 9 8 8 8 9 9 9 8 9

Ta2la de 0erdad de la e6ui0alencia o 2icondicionalidad: (e llama equivalencia a la proposicin que usa una cone)in la siguiente e)presin: (i y solo s.... y tam3i#n p equivalente a q. (u sim3oli%acin es la siguiente: p U q (i p entonces ; y rec.procamente si q, entonces p:' p U q

8 8 8 9 9 8 8 9 9 9 8 9

Razonamiento en lgica proposicional Silogismos dis unti0os#$ Los modos del silogismo disyuntivo son: "odus *onendo Eollens "*E!: se conserva una parte en la segunda premisa y se destruye la otra en la conclusin.' "odus Eollendo ponens "E*!: se destruye una parte en la segunda premisa y conserva la otra en la conclusin.' Eenemos en cuenta tam3i#n la com3inacin de las dos partes de la disyuncin, que nos da cuatro formas: 0! ?ra. 1firmativa ;da. &egativa 0 Ara. 1firmativa Bta. &egativa 0 1firmativa 0 1firmativa ' &egativa ' &egativa

La forma se esta3lece por la cualidad de cada una de las partes de la primer premisa: 1firmativa ' 1firmativa, etc. Los casos del *onendo Eollens y del Eollendo *onenes se estructura seg6n se utilice en la segunda premisa la ?ra. *arte de la disyuncin o la ;da. parte de la misma.' -5emplo de ra%onamiento en la ?er forma 0 0! y ?C caso del "*E: , pagamos las deudas o vamos a la quie3ra. "*E, p Q q! *agamos las deudas p &o vamos a la quie3ra. 'q

-n forma lineal y aplicando ta3las de verdad, tendremos: p Q / 8 9 8 9 8 8 8 8 9 9 9 9 8 9 8 9 9 9 8 8 ?p: ?C premisa ;p: ;D premisa c: conclusin q/ p 'q

?p

;p

La conclusin tiene sus dos primeros casos falsos y los otros dos verdaderos. -s importante tener en cuenta los valores veritativos de la conclusin porque a partir de ellos se podr+ pro3ar la valide% o invalide% del ra%onamiento. Gna regla general del ra%onamiento deductivo esta3lece que de premisas 8 solo se puede sacar conclusin verdadera si el ra%onamiento es valido.' -l caso contrario, o sea cuando de premisas 8 se saca conclusin falsa, se7ala que el ra%onamiento es necesariamente inv+lido.' %odus Ponendo Tollens '%PT( ?D premisa p Q q/ q $p $p Q q/ q p p $p Q 'q / $q Q 'q/ 'p $q 'p q p p q 'p 'q ;D premisa p conclusin 'q

Silogismo condicional (u sim3oli%acin en la lgica "atem+tica. -l silogismo condicional lleva como primera premisa una proposicin condicional o de implicacin material, su ;da. premisa menor enuncia el antecedente o el consecuente de la ?ra., quedando como conclusin el consecuente o el antecedente respectivamente. La proposicin condiconal puede tener am3as partes afirmativas o la ?ra. &egativa y la ;da. afirmativa, la ?ra. 1firmativa y la ;da. negativa o am3as negativas.' -n cuanto a los modus, tenemos el *onendo *onens ":*:*! y el Eollendo Eollens ":E:E:!!, los que siguiendo las reglas del silogismo condicional, indican que, poniendo el antecedente en la ;da. premisa, se pone el consecuente en la conclusin. *oner en am3os casos, significa enunciarlos conservando su cualidad.' -l momento Eollendo Eollens hace referencia a que enunciando la ;da. premisa el consecuente con su cualidad cam3iada se enuncia en la conclusin el antecedente tam3i#n con distinta cualidad.' (im3licamente las cuatro alternativas de silogismo en *onendo ponens y en Eollendo Eollens.'

?D premisa 0 p 0 q!/

;D premisa p 'q 'p

conclusin q 'p q p 'q 'p 'q p "** "EE "** "EE "** "EE "** "EE

' 'p

0 q! / 'q

0 p ' 'p

' 'q! / ' 'q! /

'q 'p 'p q

*ara entender el porqu# de las formas v+lidas y de las formas inv+lidas recordemos las cuatro reglas del silogismo condicional: ?' ;' A' B' *oniendo el antecedente se pone el consecuente. "odus *onendo ponens *oniendo el consecuente no se pone el antecedente > 9alacia del consecuente Zuitando el consecuente se quita el antecedente. "odus Eollendo Eollens Zuitando el antecedente no se quita el consecuente > 9alacia del antecedente.'

La pala3ra 9alacia designa el argumento o ra%onamiento no v+lido.' -n este caso los argumentos no son v+lidos por la estructura del mismo , #stas se llaman ,alacias formales#$ Las formas de silogismo e)puestas reci3en el nom3re de silogismo hipot#tico mi)to dado que tanto en el silogismo disyuntivo como en el condicional la primer premisa es una proposicin hipot#tica o compuesta mientras que la segunda premisa es una proposicin categrica y la conclusin tam3i#n.' 1l com3inarse proposiciones hipot#ticas o compuestas y proposiciones categricas o simples estos silogismos reci3en el nom3re de hipot#ticos mi)tos.' Gn silogismo hipot#tico puro es aquel en el cual tanto sus premisas como su conclusin est+n formadas por proposiciones hipot#ticas.'