Professional Documents
Culture Documents
La primera es la premisa mayor, y la segunda es la premisa menor, y la tercera es la conclusin. Estas proposiciones contienen tres trminos llamados trmino mayor, que es el predicado de la conclusin y se encuentra en la premisa mayor. El trmino menor que es el sujeto de la conclusin y se encuentra en la premisa menor, y el trmino medio que es el trmino que se repite en las premisas y nunca aparece en la conclusin, dichos trminos se simbolizan con las letras P, S y M respectivamente. El orden correcto del silogismo es premisa mayor, premisa menor y conclusin. Si el silogismo no presenta dicha forma deber ser ordenado correctamente para efectuar su anlisis. El orden correcto de un silogismo se establece a partir de la conclusin. Figuras y modos del silogismo: Se denomina figura del silogismo a la forma que el silogismo tiene segn la ubicacin que tenga el trmino medio. E1 trmino medio puede ser sujeto de la mayor y predicado de la menor, tal disposicin es la primera figura de silogismo. En la segunda figura el trmino medio es predicado de la mayor y predicado de la menor. En la tercera figura es sujeto de la mayor y sujeto de la menor. En la cuarta figura el trmino medio es predicado de la mayor y sujeto de la menor. 1 MP SM SP BARBARA 2 PM SM SP CESARE 3 MP MS SP DARAPTI 4 PM MS SP BAMALIP CAMENES DIMATIS FESAPO FRERISON
CAMESTRES FELAPTON CELARENT FESTINO DARII FERIO BAROCO DATISI DISAMIS BOCARDO FERISON Las reglas del silogismo son: 1) El silogismo debe tener solo tres trminos:
2) Los trminos no pueden tener mayor extensin en la conclusin que en las premisas. (Un trmino est tomado en su mayor extensin cuando es sujeto de una proposicin universal o predicado de una negativa). 3) El trmino medio debe tomarse por lo menos una vez en toda su extensin.
4) El trmino medio no debe estar nunca en la conclusin. 5) De premisas negativas no se concluye nada. 6) De premisas particulares no se concluye nada. 7) De premisas afirmativas no se puede inferir una conclusin negativa. 8) La conclusin sigue siempre la parte ms dbil. La conclusin ser particular si una premisa es particular; y ser negativa si una premisa es negativa. De este modo, toda forma de silogismo que no viole ninguna de estas reglas es vlido. Pero, adems de las reglas, los 19 modos vlidos del silogismo, tambin se pueden reconocer por medio de una lista de nombres en los cuales las vocales representan las proposiciones categricas que conforman el silogismo y el orden como estn dispuestas en el mismo, segn cada figura. Cada nombre representa una forma vlida de silogismo. Lgica de proposiciones: La parte de la lgica simblica que se ocupa del clculo de proposiciones o enunciados es la llamada lgica de proposiciones o lgica proposicional. La lgica de proposiciones se ocupa de las operaciones entre proposiciones, sin tener en cuenta la estructura interna de las mismas. Las proposiciones lgicas son expresiones que cumplen con una funcin informativa, de la cual se puede decir, que sean verdaderas o falsas. Toda proposicin lgica cumple con una funcin o valor de verdad, ya sea ste verdadero o falso. Las proposiciones se abstraen o simbolizan mediante las letras proposicionales tales comos p, q, r, e, ...y las mismas con subndices de ser necesario. As por ejemplo: La lgica es una ciencia formal. P Las proposiciones: Las proposiciones, segn la lgica proposicional, pueden ser simples o atmicas, y compuestas o moleculares. Las proposiciones simples o atmicas son aquellas proposiciones que no admiten dentro de si, ms que una sola proposicin, as por ejemplo: La aritmtica, el lgebra y la geometra comparten las matemticas. Juan, Pedro y Mara son hermanos. En cada uno de estos casos, se trata de una sola proposicin, pues y no cumple con la funcin de unir o de conjuncin, sino que cumple con la funcin de relacionar, como se ver ms adelante en la lgica de predicados. Razn por la cual stos ejemplos se simbolizan con la letra 'p'. En cambio si decimos: (1) La aritmtica, el lgebra y la geometra son disciplinas matemticas Se trata de una proposicin compuesta por tres proposiciones tales como: La aritmtica es una disciplina matemtica. p (2) El lgebra es una disciplina matemtica. q La geometra es una disciplina matemtica r Y la simbolizacin correspondiente a las mismas ser mediante las letras proposicionales p, q, r, respectivamente en (2), con lo cual la simbolizacin correspondiente en (1) es p. q. r
En este ejemplo (1) y cumple con la funcin de unir o nexo conjuntivo de las tres proposiciones. Las proposiciones compuestas o moleculares son proposiciones que admiten dentro de s, dos o ms proposiciones; o tambin, las proposiciones moleculares son aquellas compuestas por dos o ms proposiciones atmicas, relacionadas entre s mediante expresiones lingsticas llamadas conectivas. En el ejemplo ltimo dado, la conectiva que se ha utilizado es la conjuncin. Las proposiciones moleculares pueden ser extensionales o no extensionales. Las proposiciones extensionales son aquellas proposiciones moleculares que cumplen con una funcin o valor de verdad (verdadero o falso) Funcin o valor de verdad: de una proposicin, es la condicin de una proposicin de ser verdadera o falsa. El valor de verdad o falsedad de una proposicin atmica se determina a partir de la experiencia. El valor de verdad o falsedad de las proposiciones moleculares se determina a partir de la combinacin de los valores de verdad o de falsedad de las proposiciones atmicas que componen dicha proposicin molecular. El procedimiento a travs del cual se determina el valor de verdad de las proposiciones se denomina, como veremos luego, las tablas de verdad. As por ejemplo: valor de verdad La lgica es un lenguaje formalizado. p verdadera La aritmtica y la geometra son ciencias formales. p. q. verdadera Las proposiciones no extensionales, son proposiciones que no cumplen con una funcin o valor de verdad. Es decir, son aquellas proposiciones de las cuales no podemos determinar su valor de verdad, verdadero o falso, razn por la cual la lgica no puede operar con ellas. As por ejemplo: Valor de verdad Creo, que los duendes existen p . q ? v?v? Los fantasmas existen p ? ?? En el primer ejemplo se puede establecer el. valor de verdad de la primera proposicin, pero no se puede establecer el valor de verdad de la segunda, por lo cual no se puede establecer el valor de verdad de la proposicin compuesta. En el otro ejemplo, se trata de una. proposicin atmica, de la cual tampoco se puede establecer fcticamente su valor de verdad. Las conectivas: Las conectivas son expresiones lingsticas que cumplen con la funcin de relacionar las proposiciones atmicas y construir proposiciones moleculares. Las conectivas pueden ser mondicas y didicas o binarias Las conectivas mondicas afectan a una sola proposicin, y la nica conectiva mondica es la negacin, que corresponde a la expresin lingstica no, y se simboliza de la siguiente forma: -. As por ejemplo: La lgica no es una ciencia fctica. - p (1)
Los hurfanos no tienen los padres vivos - p No es cierto que Juan y Pedro sean hermanos. -p (2) No es cierto que Juan y Pedro son buenos. -(p.q.) (3) En los ejemplos (1) y (2), la negacin afecta. a una sola proposicin, en cambio en (3) afecta al resultado de la conjuncin de las dos proposiciones, que no es 1o mismo si la estructura de la proposicin fuera la siguiente: Juan no es bueno y Pedro no es bueno -p. -q La negacin consiste en invertir el valor de verdad de una proposicin, es decir, la negacin de una proposicin verdadera es falsa, y la negacin de una proposicin falsa es verdadera. Otras. expresiones que indican negaciones son no es el caso que, no es verdad que, etc. Las conectivas didicas o binarias son las expresiones que cumplen con la funcin de relacionar dos proposiciones atmicas o moleculares. Los diversos tipos de proposiciones moleculares que se construyen toman el nombre de las diversas conectivas que las hacen posibles. Las conectivas didicas o binarias son: Conjuncin, Disyuncin Inclusiva, Disyuncin Exclusiva, Condicional, Bicondicional, Negacin Conjunta, y Negacin Alternativa. La negacin conjunta y la negacin alternativa son conectivas de uso poco frecuente, pero su inters radica en que las otras conectivas pueden reducirse a cualquiera de ellas. En el siguiente cuadro se especifica la simbolizacin, que se utilizar en este texto (ya que dichos smbolos no son los nicos disponibles a tal efecto), y las expresiones lingsticas correspondientes a cada una de las conectivas. Conectivas didicas Simbolizacin Expresin lingsticas y, pero, sin embargo, aunque y/o, a menos que 0...0, o bien...o bien Si ... entonces Cuando...entonces Condicional .. slo si Si y solo si Bicondicional Negacin conjunta Negacin Alternativa / Cuando y solo cuando N...Ni 0 no...o no
. v w
A continuacin veremos algunos ejemplos de la formas proposicionales compuestas que resultan de las operaciones proposiciones, mediante las conectivas de didicas.
Proposiciones conjuntivas: Las proposiciones conjuntivas surgen de la unin de dos proposiciones atmicas, que se denominarn componentes conjuntivos, y la alteracin de la ubicacin de los mismos no incide en la funcin de la conjuncin, que es unir. La condicin que hace una conjuncin verdadera, es que ambos componentes conjuntivos sean verdaderos, en caso contrario la conjuncin es falsa. As por ejemplo: Locke y Hume son representantes del empirismo ingls p . q Los componentes conjuntivos son: Locke es representante del empirismo ingls p Hume es representante del empirismo ingls q Descartes es racionalista, pero Hume es empirista p . q Aunque Descartes es idealista, Hume es empirista p . q Proposiciones disyuntivas: Las proposiciones disyuntivas surgen de la inclusin o no de dos alternativas. En los dos casos de disyuncin que veremos, las proposiciones que las componen, se denominarn componentes disyuntivos, y como en el caso de la conjuncin, la alteracin de la ubicacin de los mismos no incide en la funcin de la disyuncin. As por ejemplo en la disyuncin inclusiva: A menos que se tomen medidas, el Riachuelo seguir contaminado. pvq Las becas de investigacin son para Francia y/o Alemania pvq Un ejemplo de disyuncin exclusiva: La tarifa area incluye un viaje de cabotaje o a Bariloche o a cataratas pwq O bien descartes es racionalista, o bien es empirista pwq La condicin que hace una disyuncin verdadera, radica en que siempre al menos uno de los componentes sea verdadero. Solamente en la disyuncin inclusiva tambin es verdadera cuando ambos componentes sean verdaderos, en caso contrario es falsa. En este texto, salvo que se aclare expresamente, se utilizar la disyuncin inclusiva, en todos los casos de disyuncin que se encuentren en las operaciones entre proposiciones y/o razonamientos. Proposiciones condicionales: las proporciones condicionales presentan una estructura muy peculiar, en la cual los elementos (antecedentes y consecuentes), que las componen no puedan alterar su ubicacin, pues esto modificara la funcin de la misma. En las proposiciones condicionales, la ubicacin de las proposiciones que la componen (antecedentes y consecuente) se determina por la estructura misma. La nica condicin que hace un
condicional falso, radica en el caso de un antecedente verdadero y un consecuente falso, por cuanto ser verdadero en todos los otros casos. As por ejemplo: Si los pasajes se reservan con tiempo, viajaremos en primera. Antecedente p consecuente q pq Viajaremos en primera, Si los pasajes se reservan con tiempo. Consecuente p antecedente q qp Iremos al campo, Solo si hace buen tiempo. antecedente consecuente ppqq Cabe sealar, que este tipo de proposiciones condicionales se denominan tambin materiales, se caracterizan por tener los verbos en modo indicativo. Pero hay otro tipo de proposicin condicional que se denomina contra fctico y se caracterizan por tener verbos en modo subjuntivo, con lo cual no es posible determinar el valor de verdad de las proposiciones que lo componen, ya que stas refieren a situaciones que no existen. Por lo tanto los condicionales contra fcticos exceden el mbito de la lgica, y sta no se ocupa de ellos. As por ejemplo: Si San Martn no se hubiera muerto, seguira vivo. A partir de lo que hemos visto en los ejemplos de proposiciones condicionales materiales, es importante tener en cuenta que: si bien la asignacin de las letras proposicionales es arbitraria, en la simbolizacin de las proposiciones, sin embargo es conveniente seguir un orden determinado. Por lo tanto se sugiere que la adjudicacin de las letras siga la secuencia de las mismas: p, q, r, s, t y en funcin del orden en que vayan apareciendo las proposiciones, una vez simbolizadas las proposiciones, se procede a abstraer la forma proposicional segn lo indique la conectiva en cuestin. As por ejemplo: Descartes es idealista, si Locke es realista y Hume es realista. Pqr (q. r) p (1) Segn Kant, si la intuicin se constituye de materia y de forma, pq entonces la materia es la sensacin y la forma es Espacio - tiempo. rs (p . q) (r . s) (2) En la simbolizacin correspondiente a las formas proposicionales compuestas, se utilizan los signos de puntuacin tales como el parntesis, corchete y llave, en el mismo sentido con que operan en las matemticas, es decir, determinan el alcance de una operacin, en este caso la operacin, que se lleva a cabo por una conectiva.
En el ejemplo (1), el si indica el antecedente de la construccin principal que es el condicional, dicho antecedente, es a su vez una proposicin compuesta conjuntiva, por lo tanto, el parntesis nos indica el alcance de la conjuncin y a su vez, el antecedente del condicional. En el ejemplo (2), el si nos indica el antecedente - proposicin conjuntiva - y el entonces nos indica el consecuente - proposicin conjuntiva- en cada uno de ellos el parntesis indica el alcance de la conjuncin respectiva, y adems determina el antecedente por un lado, y el consecuente del condicional, por el otro. Otro aspecto que se debe tener en cuenta en la simbolizacin, es que cuando una proposicin atmica se repite, tambin debe repetirse la letra proposicional adjudicada en la simbolizacin de la misma. As por ejemplo: O Descartes es idealista, o Descartes no es idealista. p -p p w -p Proposiciones Bicondicionales: Las proposiciones bicondicionales son las proposiciones construidas por la equivalencia ( o mutua implicacin) entre las proposiciones que la componen. Los componentes del bicondicional se denominan: Componente izquierdo y componente derecho. Un bicondicional es un condicional doble, esto quiere decir, que la proposicin bicondicional p = q, es equivalente a la conjuncin de dos condicionales, donde el antecedente del primero es consecuente del segundo, y el consecuente del primero es antecedente del segundo. La condicin que hace una proposicin bicondicional, verdadera, es que ambos componentes tengan el mismo valor de verdad, ya sea ste verdadero, o falso. As por ejemplo: Ingresa a la facultad si y solo si aprueba el ciclo bsico Componente izquierdo componente derecho Pq Pq Bicondicional o doble implicacin: Si ingresa a la facultad, aprob el ciclo bsico. Y si aprueba el ciclo bsico, ingresa a la facultad Pqqp (p q) . ( q p) As como en las proposiciones condicionales vimos que hay casos de condicionales contra fcticos, en las proposiciones bicondicionales tambin se dan las bicondicionales contra fcticas como por ejemplo: Habra alcanzado el triunfo si y solo si se hubiera esforzado. La lgica solo se interesa por las proposiciones bicondicionales materiales, y no se ocupa de las bicondicionales contra fcticas pues de stas no es posible determinar su valor de verdad.
Negacin conjunta: Las proposiciones llamadas negacin conjunta relacionan dos proposiciones simples cuyo significado equivale al de -p.-q. La condicin que hace una negacin conjunta verdadera, radica en que ambas sean falsas. As por ejemplo: Ni 2+2 = 3, ni 3+3=5 2+2 no es03 y 3+3 no es = 5 Pqpq P q -p.-q Negacin alternativa: Las proposiciones llamadas negacin es equivalente a la forma -p v-q. La condicin que hace una negacin alternativa falsa, radica en que ambas sean verdaderas. As por ejemplo: 0 no estaba abierto, o no queran trabajar -p -q p/q