skip to main | skip to sidebar Filosofa y Ciudadana Lecciones de Introduccin a la Filosofa. Bachillerato.

Instituto Francisco de los Cobos (beda) domingo 24 de mayo de 2009 Leyes de proposiciones

Entendemos por A cualquier frmula proposicional, y por B cualquier frmula proposicional distinta de A. A y B son metavariables, variables de variables, que pueden ser interpretadas en funcin de variables y funciones como p & q, z, p v s, t -> p..., etc. Toda equivalencia lgica (<=>) es una bicondicional tautolgica; y cualquier implicacin formal (=>) es una condicional tautolgica, o sea, necesariamente verdadera. La equivalencia y la implicacin formal constituyen metafunciones, funciones de funciones. As, empleo la equivalencia (<=>) para referirme a un bicondicional (<->) que es necesariamente verdadero o tautolgico, y la implicacin (=>) para referir a un condicional (->) que es necesariamente verdadero o tautolgico. Las equivalencias lgicas y las implicaciones formales -que escribo "horizontalmente"- constituyen leyes lgicas que pueden usarse como reglas deductivas -escritas "verticalmente"-, tomando los antecedentes (prtasis) del condicional por premisas conjuntadas (P1 & P2... Pn), y el consecuente (apdosis) por conclusin (Q). Cada conclusin legtima -obtenida segn reglas- puede incorporarse a las premisas como paso deductivo legtimo, y as ayudar a obtener nuevas consecuencias (corolarios).

Como ya sabe, las frmulas proposicionales pueden ser necesariamente verdaderas (Tautologas, T), necesariamente falsas (Contradicciones, C), y unas veces verdaderas y otras falsas (Indeterminaciones, I). Ejemplos sencillos:

1) A & A <=> C 2) A -> A <=> T 3) Las frmulas "A", "A & B", "C -> A", verbigracia, son indeterminaciones consistentes, aunque no tautolgicas. Llamamos consistentes a las frmulas que no contienen contradiccin (sean una veces verdaderas o falsas, I, siempre verdaderas, T).

Toda ley lgica es una tautologa y cualquier frmula proposicional A implica una tautologa (T): A => T. Sin embargo, tambin de una falsedad absoluta (Contradiccin, C) se sigue cualquier frmula: C => A, segn la ley lgica Ex falso sequitur quodlibet ("De lo falso se sigue cualquier cosa"). Esta ley explica por qu un razonamiento con premisas inconsistentes (que contienen contradiccin) es sin embargo vlido. En efecto, entiendo por C una frmula, la que sea, en cuya tabla de verdad slo caen ceros (falsedades), y, por definicin, un enunciado condicional con antecedente falso (contrafctico) es formalmente vlido, aunque pueda ser semnticamente absurdo. Por consiguiente, un razonamiento con premisas cuya conjuncin es necesariamente falsa es necesariamente vlido. Dicho de otro modo, de una contradiccin C se sigue cualquier frmula A, pero tambin su contraria o contradictoria A: C => A & A Lo peor de introducir falsedades en nuestros razonamientos est precisamente en que un razonamiento con premisas contradictorias nos puede llevar a cualquier parte, incluso a una tautologa: C => T.

Ms "exclusiva" es la tautologa. Ya hemos explicado que entendemos por T cualquier frmula cuya tabla de verdad slo admite unos, o sea verdade lgicas. Si repasa usted la tabla de verdad del condicional, comprender fcilmente la siguiente ley de leyes:

A => T o sea, cualquier frmula (I o C) implica una tautologa, porque un condicional con consecuente (apdosis) necesariamente verdadero es un condicional tautolgico. Ahora bien, una tautologa slo implica tautologas:

T => T He ah la razn profunda que justifica que de nuestros principios lgicos (identidad, no contradiccin y tercio excluso) puedan deducirse todas las leyes lgicas imaginables... que son infinitas, pues cualquier tautologa es una ley lgica y puede usarse como regla deductiva. A continuacin slo me referir a algunas de las ms tiles y famosas... Recuerdo que si una frmula equivale a otra tambin la implica, pero no viceversa! Ley de la doble negacin, DN: A <=> A Leyes de simplificacin o eliminacin de la conjuncin, E&: A & B => A A & B => B

Ley aditiva o de introduccin de la disyuncin, Iv: A => A v B Inferencia de la alternativa o ley de eliminacin de la disyuncin, IA: (A v B) & A => B (A v B) & B => A Como he explicado en clase, esta es la ley que, segn los estoicos, aplican como regla deductiva incluso los perros.

Leyes conmutativas de la conjuncin, disyuncin y bicondicional, Conm.: A & B <=> B & A A v B <=> B v A A <-> B <=> B <-> A

Leyes asociativas de la conjuncin, disyuncin y bicondicional, Asoc.: A & (B & C) <=> (A & B) & C A v (B v C) <=> (A v B) v C A <-> (B <-> C) <=> (A <-> B) <-> C Ley transitiva del condicional: (A -> B) & (B -> C) => A -> C Ley de Clavius: (p -> p) -> p Leyes de Morgan: (A & B) <=> A v B (A v B) <=> A & B Leyes y falacias del condicional Modus ponendo ponens MPP: ((A -> B) & A) => B Modus tollendo tollens MTT: ((A -> B) & B => A Ojo! las siguientes tesis son proposiciones consistentes, pero no son implicaciones formales!: 1) ((A -> B) & B) -> A 2) ((A -> B) & A) -> B Por consiguiente es falaz concluir de las premisas P1: A -> B, y P2: B, la conclusin, Q: A, puesto que hay al menos un caso u ocurrencia en que P1 & P2 sera verdadera y Q (o sea B) sera falsa, lo que quiere decir que el condicional que une las premisas con la conclusin no es tautolgico. Y lo mismo sucede respecto del enunciado 2). Cuando se emplean como pseudorreglas las llamamos falacias del condicional.

Interdefiniciones de las conectivas

A & B <=> (A v B) A & B <=> (A -> B) A v B <=> (A & B) A v B <=> A -> B A -> B <=> A v B A -> B <=> (A & B) A <-> B <=> (A -> B) & (B -> A) A <-> B <=> (A & B) & (B & A)

Ejercicios 1. Escriba todas y cada una de las leyes anteriores como reglas deductivas 2. Comente el siguiente texto:

"4.461...La tautologa no tiene condiciones de verdad, pues es incondicionalmente verdadera; la contradiccin, bajo ninguna condicin es verdadera. La tautologa y la contradiccin carecen de sentido. (Como el punto del cual parten dos flechas en direcciones opuestas) (Yo no s, por ejemplo, nada sobre el tiempo, cuando s que llueve o no llueve). 4.4611 Tautologa y contradiccin no son, sin embargo, sinsentidos; pertenecen al simbolismo, del mismo modo que cero es parte del simbolismo de la aritmtica. 4.462 Tautologa y contradiccin no son figuras de la realidad. No representan ningn posible estado de cosas. En efecto, una permite todos los posibles estados de cosas; la otra, ninguno... 4.463 La tautologa deja a la realidad todo el espacio lgico infinito; la contradiccin llena todo el espacio lgico y no deja a la realidad ni un punto. Ninguna de las dos pueden, pues, determinar de ningn modo a la realidad. 4.464 La verdad de la tautologa es cierta; la de las proposiciones, posible; la de las contradicciones, imposible. (...) 5.143... La contradiccin es el lmite externo de las proposiciones. La tautologa su centro insustancial." Ludwig Wittgenstein. Tractatus logico-Philosophicus, trad. E. Tierno Galvn, Londres 1922. Publicado por Jos Biedma en 18:57 Etiquetas: contradiccin, leyes lgicas, lgica de enunciados, reglas lgicas, tautologa, Wittgenstein 0 comentarios: Publicar un comentario en la entrada Entrada ms reciente Entrada antigua Pgina principal Suscribirse a: Enviar comentarios (Atom) Clase de Filosofa

Web del Instituto

Ley Distributiva
La Ley Distributiva expresa que se obtiene la misma respuesta cuando multiplicas un conjunto de nmeros por otro nmero que cuando se hace cada multiplicacin por separado. Ejemplo: (2 + 4) 5 = 25 + 45. Como se puede ver al realizar los clculos 6 5 = 30 y 10 + 20 = 30. Entonces, el "2+4" puede ser "distribuido" entre los "por 5" en 2 por 5 y 4 por 5. La preposicin es la clase de palabra invariable que introduce el llamado sintagma preposicional. Las preposiciones generalmente tienen la funcin de introducir adjuntos, y en ocasiones tambin complementos obligatorios ligando el nombre o sintagma nominal al que preceden inmediatamente con un verbo u otro nombre que las antecede. En algunas lenguas las preposiciones pueden no encabezar un sintagma preposicional, como en ingls, donde incluso pueden aparecer al final de la frase. Considerando las distintas lenguas del mundo, la preposicin es un tipo de adposicin que se caracteriza por aparecer tpicamente al principio del constituyente sintctico al que afecta; as por ejemplo, la palabra equivalente que aparece detrs y no delante se llama postposicin. Tradicionalmente, la gramtica del espaol la ha definido como la parte invariable de la oracin que une palabras denotando la relacin que tienen entre s.

Contenido
[ocultar]

1 Preposiciones en espaol o 1.1 Locuciones preposicionales o 1.2 Contraccin con el artculo o 1.3 Metbasis de la preposicin o 1.4 Las preposiciones en las perfrasis verbales o 1.5 Lista de preposiciones 2 Preposiciones en otras lenguas o 2.1 Preposiciones en ingls o 2.2 Preposiciones en latn o 2.3 Lenguas con postposiciones 3 Clasificacin o 3.1 Semntica 4 Referencia 5 Vase tambin

[editar] Preposiciones en espaol

La lista tradicional de preposiciones del idioma espaol es: a, ante, bajo, cabe, con, contra, de, desde, en, entre, hacia, hasta, para, por, segn, sin, so, sobre, tras. La lista oficial de la RAE para el espaol actual es: a, ante, bajo, con, contra, de, desde, durante, en, entre, hacia, hasta, mediante, para, por, pro, segn, sin, sobre, tras, va.1 De estas series, las nicas preposiciones tnicas son contra y segn; el resto son tonas. Han cado en desuso la preposicin cabe, cuyo significado ha sido sustituido por el de la locucin conjuntiva junto a, y so, proveniente de la preposicin latina sub, que se limita a frases fijas en locuciones conjuntivas como so color de, so capa de, so especie de, so pretexto de, so pena de, etc. A stas se pueden agregar tambin allende, con el significado de "al otro lado de", como en "allende el ocano"; aquende, con el significado de "a este lado de", como en "aquende los Pirineos"; va, con el significado de "a travs de", como en "fui de Pars a Roma va Milan" y pro, con el de "en favor de" como en "vino a Madrid e hizo campaa pro damnificados por el huracn Mitch". Tambin en algunos de sus usos se pueden considerar preposiciones las expresiones extra, excepto, salvo, incluso, ms y menos. Se discute si pueden considerarse preposiciones pospuestas los adverbios arriba y abajo en sintagmas como "boca arriba" o "boca abajo".

Todas las preposiciones son invariables desde el punto de vista morfolgico.

[editar] Locuciones preposicionales

Las llamadas locuciones preposicionales son dos o ms palabras que equivalen a una preposicin, precisan algunos aspectos de espacio, tiempo y modo que las preposiciones existentes matizan mal: acerca de, al lado de, alrededor de, antes de, a pesar de, cerca de, con arreglo a, con objeto de, debajo de, delante de, dentro de, despus de, detrs de, encima de, en cuanto a, enfrente de, en orden a, en pos de, en virtud de, frente a, fuera de, gracias a, a merced de, junto a, lejos de, por culpa de, respecto a, etc.

[editar] Contraccin con el artculo

Estas preposiciones preceden necesariamente a un sintagma nominal. En el caso de las preposiciones "a" y "de", ante el artculo determinado masculino singular "el" forman los artculos contractos "al" y "del", respectivamente.

[editar] Metbasis de la preposicin

Por otro lado, las preposiciones pueden sufrir metbasis, es decir, cambio de funcin, y volverse conjunciones formando locuciones conjuntivas; en espaol suele ocurrir algunas veces cuando la preposicin va seguida de un verbo en infinitivo:

Al + inf. = Cuando + verbo infinitivo: Al cantar el gallo... De + inf. = Si + verbo infinitivo: De venir Pedro... Con + inf. = Aunque + verbo infinitivo: Con ser tan guapo... Por + inf. = Porque + verbo infinitivo: Por venir tarde...

[editar] Las preposiciones en las perfrasis verbales

Por otra parte, las preposiciones actan algunas veces como nexos que unen los verbos auxiliares con los verbos en forma no personal en el caso de las perfrasis verbales: "Voy a cantar", "He de volver"...

[editar] Lista de preposiciones

Preposicin Ejemplo Notas

Visit a la ta Antonia por su cumpleaos.

ante

Dijo ante todos que era

cierto.

bajo

Escondi la carta bajo los libros.

cabe2

El banco est cabe la farmacia.

Aceptado por el DRAE, aunque se indica que est en desuso. Significa "junto a" o "cerca de".

con

El caf con leche ya estaba fro cuando llegaste.

contra

Las olas chocan contra las rocas del espign.

de

Compr un kilo de limones.

Segn la RAE, es vlido tambin el uso del artculo al lado de esta preposicin, al expresar fechas, sobre todo a partir del ao dos mil: "21 de mayo del 2011".3

desde

Desde octubre no haba vuelto a ver a su padre.

durante

Durante su visita al museo, Juan se maravill de la belleza de las pinturas exhibidas.

en

Entr en la crcel por trfico de drogas.

entre

Dijo que el secreto debera quedar entre nosotros.

excepto4

Ella conoce toda Europa, excepto Rumania.

hacia

Embarc en el vuelo hacia Cochabamba.

hasta

La fiesta dur hasta las ocho.

mediante

Resolvi el enigma mediante Intercambiable con la preposicin con en la la ayuda de su mejor amigo. mayora de los casos.

para

Tengo un libro para Juan.

por

Tengo un libro firmado por el autor.

salvo

Todos sois mis amigos salvo Pedro.

segn

Cocin la carne segn las indicaciones de su abuela.

sin

Llegamos a una calle sin salida.

so5

Volvi a su pas so pena de ser arrestado.

sobre

Juan puso la manzana sobre el escritorio.

tras

Lo enterr en el rbol que se encuentra tras el edificio.

va6

Vol de Texas hasta Australia, va Londres.

[editar] Preposiciones en otras lenguas

Aunque generalmente algunas de las palabras identificadas como preposiciones en otras lenguas tienen propiedades similares a las preposiciones del espaol, algunas lenguas tienen preposiciones con funciones inexistentes en espaol.

[editar] Preposiciones en ingls

En ingls las preposiciones tienen como funcin, al igual que en espaol, introducir algunos tipos de complementos indirectos y los adjuntos circunstanciales. Michael is in the kitchen. I sent a letter to Mary = I sent Mary a letter. Tambin pueden funcionar como nexos subordinantes para oraciones con verbo no conjugado: This is useful for painting the windows. Adems de estas funciones, pueden aparecer como elementos clticos de un verbo, llamados verbos preposicionales (en ingls, phrasal verbs). En esta posicin pueden aparecer incluso al final de la frase: Please, get in! What are you waiting for?

[editar] Preposiciones en latn

Las preposiciones latinas funcionan bsicamente como en espaol. Y aunque en espaol muchos de los prefijos verbales son preposiciones (pre-, con-, de-, a-, en-,...) al igual que en latn, en esta segunda lengua existe un mayor nmero de formas y parece haber sido un proceso productivo frente al espaol, donde la mayora de formas verbales obtenidas por derivacin prefijando una preposicin estn fosilizadas y ya no son productivas para algunas preposiciones.

[editar] Lenguas con postposiciones

Artculo principal: Postposicin

Algunas lenguas no tienen preposiciones propiamente dichas, y en ellas los elementos que realizan la misma funcin en lugar de preceder a un nombre se colocan detrs de l, llamndose en ese caso postposiciones. Estas postposiciones realizan bsicamente la misma funcin que las preposiciones, con la particularidad que que siguen al nombre al que rigen en lugar de precederlo. El euskera, el turco, el hngaro, el japons o el quechua son casos de lenguas con postposiciones.

En general las postposiciones se dan en lenguas donde el ncleo de un sintagma tiene tendencia a colocarse al final de dicho sintagma.

[editar] Clasificacin
[editar] Semntica
Las preposiciones pueden clasificarse semnticamente:

espaciales o ubicacin (en, sobre, bajo, a travs de) o desplazamiento (desde, hacia) tiempo (durante, despus de haber, antes de estar) comparacin material o composicin (hecho de madera, compuesto por tubos) posesin (la casa de la seora) instrumento (por medio de una herramienta, escrito a lpiz) agente (hecho por) propsito (para conseguir, por lograr) causa (a causa de, por su culpa) referencia (acerca de, en referencia a, hablando de ti)

[editar] Referencia
10)Leyes distributivas: [; [p ( q r) ] [ (p q) (p r) ] ; [ p ( q r) ] [ (p q) (p r) ] 11)Ley de permutacin: [ p ( q r ) ] [ q ( p r ) ] 12)Ley del silogismo: ( p q ) [ ( q r ) ( p r ) ] ??? 13)Silogismo hipottico o transitividad: [(pq)(qr)](pr) ; [(pq)(qr)](pr) 14)Leyes de inferencia de la alternativa o de los silogismos disyuntivos: [ p ( p q ) ] q ; [ p (p q ) ] q 15)Ley del dilema constructivo: [ ( p q ) ( p r ) ( q r ) ] q 16)Segunda ley del dilema constructivo