APUNTES HISTORIA Y FILOSOFA DE LA LGICA: El objeto de estudio de la lgica son los argumentos. Lgicas hay muchas.

El argumento tiene que tener una conclusin. El argumento exige que la conclusin se siga de las premisas (seguirse puede seguirse de muchas maneras). Argumento: a. Anlisis de conceptos. b. Abstracto. c. Proposiciones a. O ms premisas b. Conclusin. Argumentos deductivos: argumento en el que la conclusin se siga necesariamente de las premisas. Si los argumentos deductivos son vlidos entonces ya no se pretende sino que la conclusin se sigue necesariamente de las premisas. Hay tres formas de indicar que un argumento sea vlido: I. II. III. Que la conclusin se siga necesariamente de las premisas. Hay relaciones de implicacin entre premisas y conclusin. Que en un argumento deductivo no es posible que siendo verdaderas las premisas la conclusin sea falsa; la conclusin no puede ser falsa siendo verdaderas las premisas en el argumento deductivo. En el caso de la validez es imposible que tengamos premisas verdaderas y que la conclusin sea falsa. No significa que la validez no depende de los valores de verdad de premisas y conclusin. No hay que confundir la manera de calificar: I. II. Enunciados y proposiciones susceptibles de verdad o falsedad. Las premisas no son vlidas sino que son verdaderas o falsas. Argumentos vlidos o no vlidos.

Estructura vlida (se atiende a cmo es la estructura, me da igual el significado): Si soy madrileo entonces soy espaol. Soy madrileo Entonces soy espaol 1

Ante la verdad no puedo concluir falsedad (si el argumento es vlido): esto es lo que asegura la lgica. Puede ser que la estructura est mal, esto es, que no sea vlida, a pesar de que las premisas sean verdaderas y la conclusin no pueda no ser falsa. Por qu la validez de un argumento no depende del valor de verdad de premisas y conclusin? Argumentaciones: a. Son entidades lingsticas de carcter concreto. b. Enunciados a. Premisas b. Conclusiones. La lgica que vamos a tratar es la lgica deductiva: Argumento deductivo: que la conclusin se siga necesariamente de las premisas. Lgica deductiva: el objeto de estudio son los argumentos deductivos. Argumento inductivo: que la conclusin se siga probablemente de las premisas. Lgica inductiva: su objeto de estudio son los argumentos inductivos. Plano lingsitico: Argumentacin Plano conceptual: Argumentos

Plano psicolgico: Razonamiento La validez la establece la estructura argumentativa, no el valor de verdad de las premisas. AB INVLIDOS: A B AB B A

A B VLIDOS: A B

A B B A

CUADRO DE LA IRRELEVANCIA: PREMISAS V V F F CONCLUSIN V F V F VLIDAS 1 Es imposible INVLIDAS 2 4

No es posible que en un argumento vlido (una estructura argumentativa vlida), siendo las premisas verdaderas la conclusin no lo sea. Las proposiciones son susceptibles de ser verdaderas o falsas (no vlidas o invlidas). Los argumentos son susceptibles de ser vlidos o invlidos. La validez o no validez de un argumento viene dada por su estructura (lo que determina la validez o invalidez. pq ARG. INVLIDOS: q pq p q p q ARG. VLIDO: p q Premisas falsas: basta con que slo una premisa sea falsa para que sean falsas. En cambio premisa verdadera: todas y cada una de las premisas ha de ser verdadera CUADRO DE LA IRRELEVANCIA: Lo llamamos as porque el valor de las premisas y conclusin es irrelevante para la validez o invalidez del argumento en cuestin. Hay un solo caso en que esto es as. PREMISAS V V F F Definicin de deduccin: Una estructura en la que la conclusin se sigue de las premisas. CONCLUSIN V F V F VLIDO 1 Es imposible 5 7 INVLIDO 2 4 6 8 pq q p

Estructura formal. Una deduccin es un mecanismo para demostrar la validez de un argumento deductivo (contiene una serie de premisas + conclusin + proposicin intermedia). Contiene una serie de premisas, por otro una conclusin, por otro un argumento y una serie de pasos para demostrar que de las premisas se sigue la conclusin (doy pasos de acuerdo a una serie de reglas). El paso de uno a otro no es arbitrario cuando ests demostrando algo. Esta serie de pasos se da de acuerdo a determinadas reglas lgicas. Prueba: algo mediante lo cual se demuestra la solidez de un argumento deductivo. Solidez: (argumento deductivo vlido + premisas verdaderas) Por lo que habr de hacer una deduccin y demostrar que las premisas sean verdaderas. Los slidos estn en 1. Contraargumento: mecanismo que nos permite demostrar la validez de un argumento. Si salto por la ventana me rompo una pierna. No salto por la ventana, luego no me rompo una pierna [Pero me puedo romper una pierna de otra forma]. El contraargumento es una estructura idntica que uno dado, pero en el que claramente las premisas son verdaderas y la conclusin es falsa. La lgica se ocupa de los principios de la validez formal de los argumentos. Analizando el lenguaje es cmo extraemos la forma. Las proposiciones (en el lenguaje normal las llamamos enunciados) si que son susceptibles de ser verdaderas o falsas. La deduccin: mecanismo genrico que nos permite dilucidar si un argumento es vlido o no. pq qr pr Lo que nicamente no se admite en la lgica deductiva es que las premisas sean verdaderas y en cambio la conclusin sea falsa. La lgica de lo que se encarga es de la estructura. FORMA LGICA: La forma lgica nace de distinguir entre trminos lgicos y el resto de (contenidos) trminos del lenguaje.

Lgica de enunciados: Si entonces Las conectivas las introducen los estoicos La lgica aristotlica es una lgica de predicados (lgica de primer orden). Cuantificadores: a. Cuantificador universal para todo. b. Cuantificador existencial particular existe un. La lgica se encarga slo de analizar estructuras y a travs de ello obtener modos genricos de anlisis. Verdad lgica: la entidad de la verdad lgica (lo que es susceptible de ser verdad lgica) son los enunciados. Enunciado que es verdadero es virtud de su forma lgica, independientemente del significado de los trminos no lgicos. Hay que distinguir entre: a. Argumentacin: Entidad compleja con una estructuracin (cada una de las partes estructuradas son enunciados. b. Enunciados. Distincin plano lingstico entre: a. Argumento: formado por proposiciones. b. Proposiciones. Tautologa (siempre es verdadera): (pp) ( p p) Esto por ejemplo nunca puede ser una verdad lgica: p q Todas las tautologas son verdades lgicas pero no todas las verdades lgicas son tautologas. Las tautologas son especficas de la lgica de enunciados. La tautologa es una verdad lgica que su verdad queda determinada por sus conectivas, esto es, su verdad queda determinada por la forma lgica de sus conectivas. Una verdad lgica que no fuera tautologa vendra dada por ejemplo por el juego entre cuantificadores existenciales. Si hay una causa de todo. Entonces el todo es resultado de una causa.

Falsedades lgicas: enunciado que es falso en virtud de su forma lgica independientemente del significado de sus elementos no-lgicos. Verdad lgica: si hay un producto bueno y barato, entonces hay un producto bueno y barato. Todas las leyes lgicas se pueden demostrar a partir de un conjunto vaco de premisas. Contingencia: enunciado que es verdadero o falso, dependiente de cmo sea el mundo. Argumento deductivo vlido: el argumento que se sigue necesariamente de las premisas. Implicacin lgica: cuando B se sigue segn las reglas lgicas de A. Consecuencia lgica: Un enunciado B es consecuencia lgica de un conjunto de enunciados A sii (si y slo si) la conjuncin de los enunciados A implica lgicamente B. Un enunciado A es lgicamente equivalente a B si A implica a B y B a A. [No confundir la implicacin con el condicional material]. Condicional: El condicional es una conectiva y por lo tanto una funcin. Soy madrileo entonces soy espaol. Cuando tengo implicacin p q soy espaol luego soy madrileo. De la verdad y falsedad del enunciado no depende la validez o invalidez del argumento. TEOREMA DE LA CONDICIONALIZACIN: Si (P, A) B entonces P (A B) TEOREMA DE LA DEDUCCIN: Si P (AB) entonces (P, A) B Si pq Vlido: p q No vlido: pq p q

No vlido:

pq p q

No vlido (parece vlido pero no lo es: falacia. No se est argumentando de manera necesaria): pq p q FALACIAS FORMALES: 1. Falacia de enunciados o de proposiciones. (dentro de la lgica de enunciados) ab b a a. Falacia de negacin de antecedente: ab a b b. Falacia de negacin de la conjuncin: (AB) A c. Falacia de la negacin de la disyuncin: A (AB) 2. Falacias de predicados: a. Generalizacin del consecuente. x (Px Qx) x Px x Qx b. Inversin de los cuantificadores: x [y Pxy] y [x Pxy] c. Mal descenso cuantificacional:

x (Px Qx) x (PxQx) d. Mala instanciacin: x (Pxy Qxy Pay Qya 3. Falacias silogsticas: a. Mayor ilcita: Todo A es B Ningn C es A Por tanto, ningn C es B Todo nmero par es divisible por 2 Ningn par es impar Por tanto ningn impar es divisible por 2 b. Menor ilcita: Todo A es B Todo A es C Por tanto todo C es B c. Termino medio no distribuido: Todo A es B Algn C es B Algn C es A Los pares son divisibles por 2 Algn primo es divisible por 2 Por tanto algn primo es par. Los perros son mamferos Algunos peces son mamferos. Por tanto algunos peces son perros d. Falacia de los cuatro trminos: Todo A es B Todo C es D Por tanto todo A es D (no hay conexin) e. Conclusin afirmativa de premisa negativa: Todo A es B

Algn B no es C Por tanto algn A es C. Todo par es divisible por 2 Algn divisible por 2 no es primo Por tanto algn par es primo. Los caballos son cuadrpedos. Algunos cuadrpedos no son perros Por tanto algunos cuadrpedos son perros 4. Falacias Inductivas: En las inductivas no hay implicacin, la conclusin se sigue probablemente de las premisas. I. Inductivas propias: a. Falacia de muestra insuficiente: Este A es B Por tanto todo A es B b. Extrapolacin injustificada: En esta clase todos saben leer. Por tanto en toda la UCM saben leer. II. Inductivas causales: a. Mala direccin Siempre que se da A se da B Por tanto A es la causa de B Siempre que voy al cine apagan la luz. Por tanto si voy al cine apagan la luz. b. Efectos conjuntos: Siempre que ocurra A ocurre B Por tanto A es la causa de B A y B son los efectos de la misma causa C Siempre que huele a gas en mi cocina se desprende gas Por tanto siempre que huele a gas se desprende gas. c. Falacia de correlacin causal: Siempre que ocurre A ocurre B Por tanto A es la causa de B (A y B coinciden por casualidad) 9

d. Causa insuficiente: Siempre que ocurre A ocurre B Por tanto A es la causa de B (A es solo una parte de la causa de B) 5. Falacias estadsticas: a. Falacia de accidente: El 90% de los A son B. Este A tiene el 90% de posibilidades de ser un B. b. Accidente inverso: Se dice que la mayora de los A son B Pero este A no es un B Por tanto, la mayora de los A no son B c. Confusin entre frecuencia y proporcin El 75% de los A son B Aqu hay 4 A de los que 3 s que son B Por tanto s que el otro no es B. Falacia de irrelevancia: a. Apelatio a. Falacia ad Hominen: Si un ser humano se cultiva intelectualmente se siente gratificado. Si se estudia filosofa es gratificante. Pero como lo dice el profesor de filosofa estudiar no es gratificante. b. Ad Baculum (apelacin a la fuerza) c. Ad misericordia. d. Ad populum (demagogia). Los polticos son unos corruptos y unos mentirosos, todo el mundo lo dice. e. Ad ignoratian (apelacin a la ignorancia): Se infiere que algo es verdadero de que nadie sabe que es falso.d

10

Qu es un clculo? (como estructura) Un clculo es lo que podemos llamar tambin sistema formal. Un sistema formal esta constituido por lo general por un lenguaje formal y un mecanismo deductivo (para deducir unas cosas dentro de otras). Sistema formal constituido por: a. Lenguaje formal. b. Mecanismo deductivo. Qu significa que algo sea formal? Formal es vaco de contenido, esto es, cuando puede ser presentado sin aludir a cuestiones de ndole semntica (cuando no es necesario recurrir a cuestiones de contenido). a. El lenguaje formal est constituido por un vocabulario primitivo y por unas reglas de formacin. Me permite establecer qu secuencias de smbolos son correctas dentro del sistema y cuales no son correctas. b. El mecanismo deductivo est formado por unas reglas de transformacin y unos axiomas. Reglas de transformacin: formas de argumentacin vlidas. Vocabulario primitivo: a. Constantes lgicas b. Otros smbolos. Sistema formal: a. Lenguaje formal (sin referencia a la semntica). b. Mecanismo deductivo: a. Axiomas b. Reglas de transformacin Clculos /sistemas de deduccin natural de enunciados. La lgica de predicados incluye la lgica de enunciados. Sistema lgico formal de deduccin natural de enunciados Reglas de formacin: Rf1: Una variable proposicional es una frmula bien formada del sistema de deduccin natural. 11

Rf2: (aqu entra un metalenguaje) Si A (variable metalingstica) es una FBF A es una FBF del sistema de deduccin natural. Rf3: Si A y B son FBF AB, AB, AB son FBF del SDNE. Rf4: Regla de clausura: Ninguna otra combinacin del sistema es una FBF. Reglas de transformacin: De introduccin: I A B B A I A B AB I I A/AB B/AB A B AB De eliminacin: E E E E AB A B A/ A A/AB B/AB

12