ARGUMENTACION DEDUCTIVA.

LOGICA FORMAL
PARTE 1: PROPOSICIONES

Lgica formal Arg deductivos: su correccin no depende de la info q brindan las oraciones q los conforman sino de sus asp formales o sintcticos. La lgica formal estudia los raz deductivos y los mtodos p/ det si son correctos o incorrectos. Forma lgica Un raz es un conj de enunciados o proposiciones tales q algunas de ellas, llamadas premisas, se pretende q aporten pruebas de la verdad de la proposicin restante, llamada conclusin. -Lenguaje natural: los encontramos ya dados en las comunidades donde se utilizan. -Lenguaje artificial: creados ad hoc, p/ una finalidad especifica. Pertenece a la lgica proposicional. -Trminos descriptivos: refieren a objetos. -Trminos lgicos: parecen no tener referencia. No tienen significado x s mismos sino cdo se combinan con otras expresiones. El uso de uno u otro de estos trminos determina la correccin de dicho raz. Trminos constantes: tienen una referencia fija. T variables: denotan ambigua// a un ind cualquiera dentro del universo de discurso correspondiente. La forma lgica de una oracin es la expresin donde se han reemplazado los trminos descriptivos por variables, esto es, por smbolos q no tienen un significado det sino que sealan un lugar en la oracin q puede ser ocupado por cualquier expresin de la misma categora lgica. Los trminos lgicos, en cambio, son reemplazados x otra clase de smbolos con un significado constante q el lgico se encarga de precisar explcita//. El lenguaje de la lgica proposicional La lgica proposicional se caracteriza x tomar como unidad de anlisis la proposicin y se interesa por el modo en q se vinculan las proposiciones e/ s sin tener en cuenta la estructura interna de c/u de ellas. Proposicin: toda expresin lingstica q posee valor de verdad (es V o F). Se entiende x enunciados slo los asp lingsticos de una oracin informativa; en cambio, la proposicin sera el sentido de esa oracin. Signos del lenguaje de la lgica proposicional: -Variables proposicionales (p, q, r, s): representan cualquier proposicin. Dada una proposicin cualquiera, podemos hacer abstraccin de su contenido particular y formalizarla o simbolizarla. -Constantes lgicas (conectivas/ , v, w): relacionan variables proposicionales; permiten obtener proposiciones moleculares (contiene dentro de s otra proposicin) a partir de proposiciones atmicas (no contienen dentro de s otra proposicin, no tiene conectivas). *Conjuncin: afirma la simultaneidad de dos hechos (no la rel e/ dos ind). Ser verdadera si ocurren los dos hechos, y falsa si no lo hacen o si solo ocurre alguno. (pero, mas, aunque, sin embargo, y) *Negacin: conectiva mondica (= didica), es decir, afecta una sola proposicin. *Disyuncin inclusiva: es indiferente q sean uno u otro y podran tmb ser ambos. *Disyuncin exclusiva: slo puede darse una de las dos opciones. *Condicional: enuncian posibilidades conectadas a ciertos hechos. (solo si, es condicin necesaria). *Bicondicional: expresa la equivalencia entre dos proposiciones, (si y solo s, es condicin suficiente y necesaria, es equivalente).

-Signos auxiliares: se utilizan p/precisar el alcance de las conectivas y evitar ambigedades. Tablas de verdad Las conectivas son extensionales, es decir, que al formar una proposicin molecular, su valor de verdad ser el resultado de combinar los valores de verdad de las proposiciones q la componen de acuerdo con el significado de c/ conectiva. La tabla de verdad s un esquema en el cual primero se registran todas las posibles combinaciones de los valores de verdad de las formas proposicionales componentes para luego indicar, en c/ caso, el resultado de esa combinacin. Cant de combinaciones: 2 elevado a la n (cant variables no repetidas). *Conjuncin: verdadera nica// en el caso en que ambos componentes sean verdaderos. *Negacin: valor de verdad opuesto a la proposicin. *Disyuncin inclusiva: falsa cuando ambos componentes son falsos. *Disyuncin exclusiva: verdadera cuando sus componentes tengan valores diferentes, y falsa cuando tengan el mismo valor. *Condicional: falso cuando el antecedente es verdadero y el consecuente falso. *Bicondicional: verdadero cuando sus componentes tengan el mismo valor de verdad y falso cuando tengan distinto valor. Cuando el resultado de una tabla de verdad contiene sola// V, a esa forma proposicional se la llama tautologa. Si da como resultado todas F, se la llama contradiccin y si da como resultado al menos una V y al menos una F se la llama contingencia. Relaciones lgicas *Implicacin lgica: una formula A implica lgica// otra formula B si y solo si, en sus tablas de verdad, cuando A es verdadera, B no es falsa. *Deducibilidad: una formula B se deduce de otra frmula A si y slo si, en sus tablas de verdad, cuando A es verdadera, B no es falsa. Es la inversa de la implicacin lgica. *Equivalencia lgica: dos frmulas son equivalentes si y solo si se implican mutuamente, es decir, si sus tablas tienen el mismo resultado. *Contrariedad: dos frmulas son contrarias si y slo si en sus tablas de verdad no resultan ambas formulas verdaderas en el mismo rengln. *Subcontrariedad: dos frmulas son subcontrarias si y slo si en sus tablas de verdad no resultan ambas frmulas falsan en el mismo rengln. *Contradictoriedad: dos frmulas son contradictorias si y slo si en sus tablas de verdad no resultan ambas frmulas verdaderas y tampoco ambas falsas en el mismo rengln.

PARTE 2: RAZONAMIENTOS

Razonamientos Expresiones derivativas: indican cul de nuestras proposiciones es la conclusin y cules, las premisas. Una forma lgica de razonamiento es una secuencia de formas lgicas de proposiciones tal que una de ellas se sigue de las otras.

Validez El contenido de un razonamiento es la info expresada por las proposiciones. Pero el valor de verdad de esa info es independiente de la calidad de la inferencia q hacemos al pasar de las premisas a la conclusin. Dicho de otro modo, un razonamiento puede contener info verdadera y, an as, las premisas no dar fundamento suficiente para extraer la conclusin. Entonces, la calidad de inferencia (si es valida o invalida) no depende del contenido informativo de sus proposiciones, sino de la estructura sintctica del razonamiento; es decir, de su forma lgica. Ms precisa//, un razonamiento es vlido si y slo si corresponde a alguna forma lgica vlida; y una forma lgica es vlida si y slo si las premisas implican lgica// la conclusin; es decir, no presenta ningn caso de sustitucin que tenga premisas verdaderas y conclusin falsa. Mtodo del condicional asociado (mtodo semntico) Si el resultado de una tabla de verdad da tautologa, el razonamiento asociado es valido. Si la tabla da contingencia o da contradiccin, el razonamiento asociado es invlido. Mtodos sintcticos de justificacin de la validez Son mtodos sintcticos por slo se aplican a transformaciones e/ frmulas, sin apelar en ningn momento a su contenido semntico, es decir, sin realizar tablas de verdad. Las reglas lgicas son formas de razonamiento vlidas. Ej: Modus ponens, Modus tollens, silogismo disyuntivo, silogismo hipottico.