LOGICA

- UNIDAD I 1- Mesa Redonda Para que sirve la lgica? 2- Utilidad, Sentido y Trascendencia del estudio de la lgica (video) 3- Ejercicio en el aula que demuestra el valor y la ventaja de la deduccin correcta y acertada. - UNIDAD II 1- IDEA: Es una frase sin verbo; no es falsa ni verdadera. Es la primera operacin del pensamiento. 2- JUICIO: Es una afirmacin o negacin. Pero mental, en el orden del pensamiento; no expresado aun (es una proposicin mental). Solamente el que lo piensa puede juzgar si es falso o verdadero. Esto es la segunda operacin del pensamiento. 3-PROPOSICION: Un enunciado que tiene sujeto, verbo y predicado; puede ser falso o verdadera; universal o particular; afirmativa o negativa; categrica o hipottica. Es la expresin oral o escrita del juicio. TIPOS DE PROPOSICIONES a) UNIVERSAL: Es aquella en la cual se afirma o se niega, se hace de todos los elementos del conjunto, considerado universo. b) PARTICULAR: Aquella en la cual lo que se afirma o se niega se hace solo de una parte del conjunto, considerado universo. c) AFIRMATIVA: Es aquella en la cual se afirma un atributo de un sujeto. d) NEGATIVA: Es aquella en la cual se niega un atributo de un sujeto. e) VERDADERA: Aquella en la cual lo que se afirma o se niega del sujeto, que le corresponde. f) FALSA: Aquella en la cual lo que se afirma o se niega del sujeto, no le corresponde. g) CATEGORICA: Aquella que tiene un solo sujeto y un solo predicado. h) HIPOTETICA: Aquella que tiene mas de un sujeto y/o mas de un predicado. Se puede descomponer en otras simples o categricas.

4- PREMISA: Es una preposicin que forma parte del argumento. 5- RACIOCINIO = RAZONAMIENTO = RAZONAR = RACIOCINAR: Es la accin de relacionar dos JUICIOS y derivar una CONCLUSION, en el orden del pensamiento mental; en tanto que no se exprese, oralmente o por escrito. 6- SILOGISMO: Sinnimo de argumento. 7- ARGUMENTO: Es un raciocinio expresado oralmente o por escrito. *SOFISMA Argumento falso aparentemente verdadero. Ejemplo: 1) Todo perro es vertebrado. 2) Algn gato es perro. 3) Algn gato es un vertebrado. 8- CORRECTO: Distinto de verdadero, se dice de un argumento que cumple con todas las reglas de la silogstica. 9- VALIDO: Sinnimo de correcto. 10- INVALIDO: Argumento que viola por lo menos una regla. 11- FALSO: Argumento que en algunas de sus partes es falso; puede ser en alguna premisa o en la conclusin es decir, para que sea verdadero tanto las premisas como la conclusin deben ser verdaderas; para que sea falso, basta con que una parte de el sea falso. 12- INCORRECTO: Sinnimo de invlido. 13- LOGICA: Es la ciencia del pensamiento y la razn Gtz Senz, tambin decimos que Lgica es la teora del pensamiento correcto. Proviene directamente del vocablo griego LOGOS que quiere decir IDEA, JUICIO, RAZON, ESPIRITU. En este caso particular, no significa TRATADO. Para el griego antiguo el LOGOS lo explicaba todo, era la razn de ser de todo, por eso la RAZON O ESPIRITU DE TODO. 14- ESPISTEMOLOGIA: Teora del pensamiento verdadero.

15- FILOSOFIA DE LA CIENCIA: La filosofa de la ciencia se compone de una teora del pensamiento correcto (lgica) una teora del pensamiento verdadero (epistemologa) y la reflexin sobre una ciencia particular (derecho, ingeniera, biologa, administracin etc.) 16- LEY CIENTIFICA LEY UNIVERSAL LEY GENERAL: Es un principio verdadero del cual se derivan otros principios o verdades secundarias; se llega el depuse de serios y prolongados procesos de observacin y reflexin; es la meta de todas las ciencias. Son leyes que se expresan de manera universal, para todo un conjunto, susceptible de ser verificado por la experiencia. Ejemplos: *Todos los mentales son conductores de electricidad. *todo cuerpo que se sumerge en un liquido experimenta un empuje, de trabajo hacia arriba, proporcional al volumen del liquido desalojado (principio de Arqumedes) *Todo crculo es una lnea curva equidistante de un punto. *Todo triangulo tiene 3 lados.

- UNIDAD III TIPOS DE ARGUMENTOS A) ARGUMENTO CATEGORICO Se le llama as porque lo componen proposiciones categricas. 1.- MATERIA DE SILOGISMO (Son las partes que lo componen). a) MATERIA PROXIMA Se compone de las premisas y la conclusin, a la premisa nmero uno se le llama premisa mayor (PM), a la nmero dos se le llama premisa menor (pm) y a la nmero tres se le llama conclusin (C).

TODO = NINGUNO = ALGUNO = ALGUNO NO=

A E I 0

Ejemplo: a) Premisa mayor b) Premisa menor c) Conclusin 1) Todo 2) Algn 3) Algn caballo alazn alazn es es es vertebrado caballo vertebrado Aab Ica Icb

b) MATERIA REMOTA Son los trminos del argumento. a) Termino medio (T ), es la (s) palabra (s) que se repite (n) en las premisas y que no aparecen en la conclusin. b) Termino mayor (TM), es la palabra que no es T y est en la Premisa Mayor. c) Termino menor (tm), es la palabra que no es T y est en la premisa menor. 2- LA OPOSICION a) Concepto: Es la incompatibilidad de proposiciones que teniendo igual sujeto e igual predicado difieren en cantidad, en cualidad o en ambas. Diferir en cantidad significa que mientras una proposicin es universal, la otra es particular. Diferir en cualidad significa que mientras una proporcin es afirmativa, la otra negativa. b) CUADRO DE OPOSICION Negativas Universales

Particulares

I
Afirmativas

NOTA: En toda relacin de proposiciones opuestas 2 son siempre verdaderas y 2 son siempre falsas. c) NOMENCLATURA A) REPRESENTA UNA PROPOSICION UNIVERSAL AFIRMATIVA E) REPRESENTA UNA PROPOSICION UNIVERSAL NEGATIVA I) REPRESENTA UNA PROPOSICION PARTICULAR AFIRMATIVA O) REPRESENTA UNA PROPOSICION PARTICULAR NEGATIVA a) REGLAS DE OPOSICION R1- contrarias A-E No es verdaderas al mismo tiempo, pero si falsas. R2- CONTRADICTORIAS - A, -O- E, I, No verdaderas, ni falsas al mismo tiempo. R3- SUBCONTRARIAS I, -O. No falsas al mismo tiempo, pero si verdaderas. R4- SUBALTERNAS A, -I, -O, -E. De la verdad de la universal se deduce la verdad de ka particular, de la falsedad de la particular se deduce la falsedad universal. 3.- PRINCIPOS LOGICOS La fuerza del silogismo la recibe o se justifica en funcin de estos principios que lo hacen valer. a) PRINCIPIO LOGICO DE IDENTIDAD Dos cosas, iguales a una tercera, son iguales entre si. Ejemplo: Si B = A

yC=A

Entonces B=C o B=C=A

b) PRINCIO LOGICO DE DISCREPANCIA Dos cosas desiguales a una tercera son desiguales entre si. Ejemplo: B no es A C no es A Entonces C no es B C no es B ni es A

c) PRINCIPIO DE DICTUM DE OMNI, DICTUM DE NULLO Todo lo que se afirme de un universal deber afirmarse, asimismo, de un particular; todo lo que se niegue de un universal, deber negarse, asimismo, de un particular. Ejemplo: Todo caballero es cuadrpedo, por lo tanto el alazn es cuadrpedo: ningn perro vuela; por lo tanto, el galgo no vuela. 4.- FORMA DEL SILOGISMO a) CONCEPTO Es la estructura que toma este de acuerdo a la correcta ubicacin de los elementos que lo forman. b) REGLAS 1R= Todo silogismo consta de 3 trminos. 2R= Ningn termino de la conclusin debe ser mas extenso que esos mismos terminos en las premisas.

EXTENSION
SUJETO
A UNIVERSAL E I PARTICULAR O O I E UNIVERSAL A PARTICULAR

PREDICADO

-Extensin del sujeto: El sujeto se determina por las palabras TODO (A), NINGUNO (E), ALGUNO (I) y ALGUNO NO (O).

- La extensin del predicado se determina siendo los dos principios siguientes: Premisas afirmativas, tienen predicado particular. Premisas negativas, tienen predicado universal. 3R= El T debe ser universal por lo menos una ves en las premisas. 4R= El T no debe aparecer en la conclusin. 5R= De dos premisas negativas, no se concluye nada 6R= De dos premisas particulares nos e concluye nada 7R= De dos premisas afirmativas, no se concluye negativamente 8R= La conclusin sigue la parte mas dbil. Si una premisa es particular, la conclusin, tambin. Si una premisa es negativa, la conclusin, tambin. Si una premisa particular y otra es negativa, la conclusin, ser particular y negativa.

5- FIGURAS DEL SILOGISMO a) CONCEPTO Es la forma que toma este de acuerdo a la ubicacin de T. b) FIGURAS 1.- Aab Ica Icb 2.- Eba Aca Ecb 3.- Aab Aac Icb 4.- Aba Aac Icb

1- Figura: El T Es sujeto en la PM y el predicado en la pm. 2- Figura: El T Es el predicado en las dos premisas. 3- Figura: El T Es sujeto en las dos premisas. 4- Figura: El T Es predicado en la PM y sujeto en la pm. c) REGLAS PARTICULARES 1- Figura PM Universal, pm- afirmativa. 2- Figura PM Universal, una de las negativas. 3- Figura pm Afirmativa, la pm debe ser universal. 4- Figura Si la PM es afirmativa, la pm debe ser universal. - Si la pm es afirmativa, la conclusin debe ser particular. 6.- MODOS DEL SILOGISMO a) CONCEPTO: Es la forma que toma este, de acuerdo a la cantidad y cualidad de las premisas.

Los modos validos son: I.- BARBARA, CELARENT, DARII, FERIO II.- CESARE, CAMESTRES, FESTINO, BAROCO. III.- DARAPTI, FELAPTON, DATISI, DISAMIS, BOCARDO, FARISON. IV.- BAMALIPTON, CAMENTES, DIMATIS, FESAPO, FRESISO. Las vocales de los nombres de los modos indican la cantidad y cualidad de las premisas, en cualquier caso siempre son A, E, I, O y en numero romano indica la figura en la que se encuentra el modo. Ejemplo: El modo BARBARA, es de primer figura y tanto sus premisas como su conclusin son universales y afirmativas, el modo CAMESTRES es de segunda figura y la PM es universal negativa y la conclusin es universal negativa. NOTA Lo mismo sucede con los otros modos de las otras figuras. 7.- REDUCCION DEL SILOGISMO a) CONCEPTO Es el proceso mediante el cual se pasa un silogismo hecho en 2 , 3, o 4, figura a uno de la 1, FIGURA. b) PROCEDIMIENTO (dado el caso) 1.- Identificar la figura y el modo. 2.- Ver la inicial del nombre del modo y ver si aparecen las siguientes S, P, y M. S: significa conversin simple y consiste en cambiar el sujeto en lugar del predicado en la premisa indicada por la vocal anterior a la S.

2 FIGURA.CESARE----------CELARENT Eba-----------S------------Eab Aca Aca Ecb Ecb P: Significa conversacin accidental y consiste en S ( cambio de sujeto por predicado en la premisa indicada por la vocal anterior a la S), y aumentar o disminuir la cantidad. 3 FIGURA.DARAPTI-------------DARRI Eab Aab

Aac------------P---------Ica Icb Icb M: Significa mutacin, consiste en cambiar la PM al lugar de la pm. Este paso deber hacerse despus de la conversin siempre y/o accidental (S,P) 4.- FIGURA.BAMALIPTON--------------BARBARA Aba Aba--------------M---------Aac Aac Aca--------------M---------Aba Icb---------------P-------------Abc.

TIPOS DE ARGUMENTOS (Continuacin) B) ARGUMENTO HIPOTETICO 1.- Nocin de proposicin a) P Categrica b) P Hipottica Cuenta con ms de un sujeto y/o mas de un predicado, puede descomponerse en otras simples o categricas: (en tantos cuentos sujetos o predicados contenga). Ejemplo: Pedro y Juan son pescadores y apstoles Pedro es pescador Pedro es apstol Juan es pescador Juan es apstol 2.- Variables preposicionales Son letras que representan preposiciones categricas, tales son: p, q, r, s, t, u, w, x, y, z (siempre en minscula) 3.- Conectivas lgicas Son smbolos lgicos.

(~) Negacin, =se lee, NO (^) Conjuncin, = se lee, y (v) Disyuncin, = se lee, o

() Condicional, = se lee, sientonces () Bicondicional, = se lee, (si y solo si) (/.:) Indicadores de conclusin
Se lee, por lo tanto Luego Entonces Es que, as es Ejemplo: 1) Si estoy cansado, entonces me aburro. 2) Si me aburro, entonces no aprendo. 3) Estoy cansado, por lo tanto no aprendo. 4) Sea: P: Estoy cansado Q: Me aburro R: Aprendo 1) p q 2) q r 3) r/ ~ r

4.- Signos de agrupacin

{ [ ( ) ] }, Sirven para indicar que lo que esta contenido en ellos debe tomarse como
un todo, de lo cual debe averiguarse primero, el valor de verdad, antes de ponerlo en relacin con lo que queda fuera. 5.- Alcance de la conectividad de negacin.

( ~ ) La negacin afecta lo que queda inmediatamente a la derecha puede ser una

variable, un parntesis, un corchete, etc. 6.- Orden en que se resulten los signos de agrupacin.

{[(
1

) ^ (
1

)] [(

) ^ (
1 1

)](
1

)}(

7.- Nocin de funcin Es una preposicin o argumento lgico, expresado horizontalmente; diferente de argumento. Argumento: 1) (p q) ^ p 2) r ~ q 3) ~ r s /:. S

Funcin: { [ ( p q ) ^ p] ^ ( r ~ q ) } ^ ~ r s 8.- Nocin de conectividad principal.

} S

1. Es aquella que se encuentra fuera del parntesis, corchete o llave. 2. Separa la funcin en 2 partes: en un antecedente y en un consecuente. 3. Le da el nombre a la funcin. 9.- Definicin de conectivas lgicas. ( ~ ) Negacin, se lee: No, interviene el valor de verdad de una funcin.

~
F T

P T F

( ^ ) Conjuncin se lee y, una funcin que tenga como conectiva principal (cp) una ^, ser T, si ambos componentes lo son; y; F, en cualquier otro caso.

P T T F F

^
T F F F

q T F T F

(v) Disyuncin, se lee, o Una funcin que tenga como conectiva principal (cp) una V, ser F, si ambos componentes lo son; y, T en cualquier otro caso.

p T T F F

V
T T T F

q T F T F

( ) Condicional, = se lee, si entonces, Una funcin que tengo como conectiva principal (cp) una ser F, si el antecedente es T y el consecuente es F; y T en cualquier otro caso.

p T T F T

T F T T

q T F T F

( ) Bicondicional,= se lee, si y solo si, Una funcin que tenga como conectividad principal (cp) una , ser T si ambos son T o F; y F en cualquier otro caso. p T T F F

T F F T

q T F T F

10.- Tautolgica Es una funcin que siempre es T. Es la clave para ver si un argumento resulta correcto.

P T F

P
T T T F

11.- Contingencia Es una funcin que a veces es T y a veces es F.

p T T F F

V
T T T F

q T F T F

12.- Antologa Es una funcin que siempre resulta F.

(p T F

^ ~
F F F T

p) T F

13.- Sistemas de verificacin funcional (S,V,F) A) Tabla de la verdad. a) Concepto: Es un procedimiento grafico que sirve para saber si una funcion es: Tautolgica T/T Contingencia T/F Antologa F/F Tautolgica Es la funcin que independientemente del valor o las variables simples componentes, SIEMPRE RESULTA VERDADERO. Contingencia Es una funcin, que independientemente del valor o las variables simples componentes, EN ALGUNAS OCASIONES RESULTA VERDADERA Y EN OTRAS, FALSA. Antologa Es una funcin que independientemente del valor o las variables simples componentes, SIEMPRE RESULTA FALSA. b) Procedimiento. Dado el caso: (p 1.- Hacer una matriz, para ello. 1.- Escribir a la izquierda de la funcin las variables en orden alfabtico.

^ q) ~ p.

(p ^ q) ~ p

2.- Trazar tantas columnas como variables aparezcan.

(p ^ q) ~ p

3.- Establecer el # de renglones, de acuerdo a la formula 2, donde dos es una constante y n es igual al # de variables.

(p ^ q) ~ p

4.- Asignar los valores empezando por la columna de la derecha 1 T y luego F y asi sucesivamente hasta el final. En la columna que queda a la izquierda de la ya llenada, duplicar el valor asignado.

p
T T F F

q
T F T F

(p ^ q) ~ p

II. Trazar tantas columnas como variables y conectivas aparezcan en la funcin.

p T T F F

q T F T F

(p

q)

~p

III. Distribuir los valores, tomando de la columna de p los valores y ponerlos en cualquier lugar donde aparezca p; asimismo con los de q.

p T T F F

q T F T F

(p T T F F

q) T F T F

~p
F F T T

IV.- Resolver (de acuerdo a la definicin de las conectivas)

p T T F

q T F T

(p T T F

^
T F F

q) T F T

F T T

~p
F F T

B) rboles de quine As se les llama por su forma arborescente, aunque invertida. 1.- Procedimiento: Dado el caso. a) Se desprende una lnea de p hacia la izquierda y se le asigna el valor de verdadero (T). b) Se copia la funcin de tal manera que quede igual, solo que p se sustituye por el valor dado (T) c) De la funcin p fue sustituida por (T), se desprende otra lnea hacia la izquierda, pero de q y se le asigna valor (T). d) Se copia la funcin de tal manera que quede igual, solo que q se sustituye por el valor de (T) e) Se resuelve. f) Ahora partiendo otra ves de q se desprende otra lnea para la derecha, y se le asigna a q el valor de (F) g) Se copia la funcin de tal manera que quede igual, solo que q se sustituye por el valor dado. h) Se resuelve como el paso e. i) Partiendo otra ves de p se desprende una lnea para la derecha y se le asigna a p el valor de (F) j) Se copia la funcin de tal manera que quede igual, solo que p se sustituye porl valor dado (F) k) De la funcin copiada, donde p fue sustituido por (F), se desprende una lnea hacia la izquierda, pero ahora partiendo de q, y se le asigna el valor de (T) l) Se copia la funcin de tal manera que quede igual, solo que q se sustituye por el valor dado de (T) m) Se resuelve como en los pasos anteriores e) y h). n) Ahora, partiendo otra vez de q se desprende otra lnea para la derecha y se le asigna a q el valor de (F). o) Se copia la funcin de tal manera que quede igual, solo que q se sustituye por el valor dado de (F).

p) Se resuelve, como los pasos anteriores e), h), y m).