ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LÓGICA CLÁSICA Y ALGUNAS NO

CLÁSICAS

Betsy Vargas

Fundación Universitaria Konrad Lorenz

Diciembre 13 del 2003.

ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LÓGICA CLÁSICA Y ALGUNAS NO

CLÁSICAS

Betsy Vargas

Trabajo de grado para optar el título de Matemático.

Director: Pervys Rengifo. Ingeniero civil. Profesor Facultad de Matemáticas.

Fundación Universitaria Konrad Lorenz

Diciembre 13 del 2003.

I

Resumen El siguiente documento ofrece un tratamiento claro, didáctico y completo del “método de los árboles” para determinar propiedades lógicas (consistencia o equivalencia de proposiciones, validez o invalidez de razonamientos deductivos), tanto en el ámbito de la lógica proposicional o de enunciados, como en el de la lógica de predicados o cuantificacional. Presenta también un abordaje sencillo pero representativo de propiedades metateóricas tales como la adecuación semántica, la indecibilidad y la incompletitud. La originalidad del texto radica en la utilización del “método de los árboles” también denominado “árboles de forzamiento semánticos” ideado por el Matemático Manuel Sierra, que, en su ámbito de aplicación, permite desarrollar demostraciones de manera más sencilla que las realizadas a través de métodos alternativos.

Abstract The following work gives a clear, didactic, and complete treatment of “method of trees” to determine logical properties (proposition of consistence or equivalence, validity or invalidity of deductive reasoning), as much in propositional logic or enunciations field as in predicates or quantitatives logic. It also gives a simple overview though it’s representative to metatheoretic such semantic fitting, indecisiveness and incompleteness. The originality of text is based on the “method of trees” usage also called “Trees of semantic forcement” by the mathematician Manuel Sierra, he lets to develop demonstrations in a simpler way than the ones that are done by alternate methods.

II

Índice General 1. Árboles de forzamiento semántico clásico 1

1.1. Construcción de enunciados 1

1.2. Árboles de construcción de enunciados 1

2. Construcción de árboles de Forzamiento Semántico

para lógica clásica 3

2.1. Reglas de inferencia para el forzamiento semántico. 3

2.1.1. FR (Falsedad de la Raíz). 4

2.1.2. Reglas para el condicional 4

2.1.3. Reglas para la conjunción∧. 7

2.1.4. Reglas para la disyunción∨ 10

2.1.5. Reglas para el bicondicional↔. 13

2.1.6. Reglas para la negación clásica∼. 19

2.1.7. Reglas para la iteración de marcas. 21

2.2. Tipos de Árboles. 22

2.2.1. Doble marca. 22

2.2.2. Árboles bien marcados. 22

2.2.3. Árboles mal marcados. 22

2.3. Teorema de opciones en el forzamiento. 23

2.3.1. OADM (Opción Afirmativa con Doble Marca). 23

2.3.2. OFDM: (Opción Falsa con Doble Marca). 23

2.3.3. OAOFDM (Opción Afirmativa y Opción

Falsa con Doble Marca) 24

2.3.4. Validez del árbol de forzamiento semántico. 24

2.4. Algunos teoremas importantes. 25

2.4.1. Tercero Excluido. 25

III

2.4.2. Principio de no-contradicción. 27

2.4.3. Principio de trivialización. 29

3. Árboles de Forzamiento Semántico para la Lógica Básica

Paraconsistente y Paracompleta con negación clásica LBPco 32

3.1 Reglas de inferencia para la negación paraconsistente ¬ 34

3.2. Algunos teoremas 40

3.2.1. Tercero Excluido. 40

3.2.2. Principio de no-contradicción. 41

3.2.3. Principio de trivialización. 42

4. Árboles de Forzamiento Semántico para lógica Multivaluada 43

4.1. Lógica de Lukasiewicz. 43

4.2. Reglas de inferencia. 45

4.2.1 Reglas para el condicional 45

4.2.2. Reglas para la conjunción∧. 49

4.2.3. Reglas para la disyunción∨. 51

4.2.4. Reglas para el bicondicional↔. 53

4.2.5. Reglas para la negación clásica∼. 56

4.3. Algunas consecuencias. 57

4.3.1. Principio del Tercio Excluido. 58

2.4.2. Principio de no-contradicción. 59

4.4. Conclusiones 60

IV

Índice De Figuras

1.1. Negación y Conjunción. 1

1.2. Disyunción e Implicación. 2

1.3. Coimplicación. 2

1.4. Árbol del Argumento ).~())~(~)](]([ BADEDCBA →→∧∧∨→∧ 2

2.1. Falsedad de la Raíz. 4

2.2. Afirmación Izquierda, Afirmación Del Condicional 4

2.3. Falsedad Derecha, Afirmación Del Condicional. 5

2.4. Falsedad Del Condicional. 5

2.5. Falsedad Izquierda de un Condicional. 6

2.6. Afirmación Derecha de un Condicional. 6

2.7. Afirmación Izquierda, Falsedad Derecha de un Condicional. 7

2.8. Afirmación de la Conjunción. 7

2.9. Afirmación Izquierda, Afirmación Derecha de la Conjunción. 8

2.10. Afirmación Izquierda Falsedad de la Conjunción. 8

2.11. Afirmación Derecha, Falsedad de la Conjunción. 9

2.12. Falsedad Izquierda de la Conjunción. 9

2.13. Falsedad Izquierda de la Conjunción. 10

2.14. Falsedad de la Disyunción. 10

2.15. Falsedad Derecha, Falsedad Izquierda de la Disyunción. 11

2.16. Afirmación Derecha de la Disyunción. 11

2.17. Afirmación Izquierda de la Disyunción. 12

2.18. Falsedad Izquierda, Afirmación de la Disyunción 12

2.19. Falsedad Derecha, Afirmación de la Disyunción. 13

2.20. Afirmación Derecha, Afirmación Izquierda del Bicondicional. 13

2.21. Falsedad Derecha, Falsedad Izquierda del Bicondicional. 14

V

2.22. Afirmación Izquierda, Falsedad Derecha del Bicondicional. 14

2.23. Falsedad Izquierda, Afirmación Derecha del Bicondicional. 15

2.24. Afirmación Izquierda, Afirmación del Bicondicional. 15

2.25. Falsedad Izquierda, Falsedad Del Bicondicional. 16

2.26. FalsedadIzquierda, Afirmación del Bicondicional. 16

2.27. Afirmación Izquierda, Falsedad del Bicondicional. 17

2.28. Afirmación Derecha, Afirmación del Bicondicional. 17

2.29. Falsedad Derecha, Falsedad del Bicondicional. 18

2.30. Falsedad Derecha, Afirmación del Bicondicional. 18

2.31. Afirmación Derecha, Falsedad del Bicondicional. 19

2.32. Afirmación de la Negación. 19

2.33. Falsedad del Alcance de la Negación. 20

2.34. Falsedad de la Negación. 20

2.35. Afirmación del Alcance de la Negación. 21

2.36. Iteración de la Afirmación. 21

2.37. Iteración de la Falsedad. 22

2.38. Opción Afirmativa con Doble Marca. 23

2.39. Opción Falsa con Doble Marca. 23

2.40. Opción Afirmativa y Falsa con Doble Marca. 24

2.41. Principio del Tercero Excluido. 25

2.42. Principio del Tercero Excluido (FR). 26

2.43. Principio del Tercero Excluido. (FV) 26

2.44. Principio del Tercero Excluido. (F ~) 26

2.45. Principio De No-Contradicción 27

2.46. Principio De No-Contradicción (FR) 27

2.47. Principio De No-Contradicción (F~) 28

2.48. Principio De No-Contradicción (A ∧) 28

2.49. Principio De No-Contradicción (A~) 29

2.50. Principio De Trivialización. 29

2.51. Principio De Trivialización (FR) 30

VI

2.52. Principio De Trivialización (F→) 30

2.53. Principio De Trivialización (A~) 31

2.54. Principio De Trivialización (F→) 31

3.1. A es incompatible con su negación 33

3.2. A es completa con su negación 33

3.3. Afirmación de la negación y

Afirmación de la Incompatibilidad. 34

3.4. Falsedad del Alcance de la Negación

y Afirmación De La Completez 34

3.5. Falsedad de la Negación y

Afirmación de la Completez 35

3.6. Afirmación del Alcance de la Negación y

Afirmación de la Incompatibilidad 35

3.7. Afirmación de la Negación y Afirmación del

Alcance de la Negación en la Incompatibilidad 36

3.8. Falsedad de la Incompatibilidad 36

3.9. Falsedad de la Negación de la Incompatibilidad 37

3.10. Falsedad del Alcance de la Negación

de la Incompatibilidad 37

3.11. Afirmación de la negación en la Completez 38

3.12. Afirmación del Alcance de la negación en la Completez 38

3.13. Falsedad de la Completez 39

3.14. Falsedad de la negación, Falsedad del Alcance

de la Negación en La Completez 39

3.15. Principio del Tercero Excluido 40

3.16. Principio De No Contradicción 41

3.17. Principio De Trivialización 42

4.1. Afirmación Izquierda Indeterminación Derecha 46

4.2. Indeterminación Izquierda,

Indeterminación de la Implicación. 46

VII

4.3. Falsedad Izquierda, Indeterminación de la Implicación 47

4.4. Indeterminación Izquierda, Indeterminación Derecha 47

4.5. Indeterminación Izquierda Falsedad Derecha 48

4.6. Afirmación Izquierda, Indeterminación de la Implicación 48

4.7. No Falsedad Izquierda, Indeterminación

Derecha de la Conjunción 49

4.8. Indeterminación Izquierda, No Falsedad

Derecha de la Conjunción 49

4.9. Indeterminación Izquierda, Indeterminación de la Conjunción 50

4.10. Indeterminación Derecha, Indeterminación de la Conjunción 50

4.11. Indeterminación de la Conjunción 51

4.12. No Aceptación Izquierda, Indeterminación Derecha

de la Disyunción 51

4.13. Indeterminación Izquierda, No Aceptación Derecha

de la Disyunción 52

4.14. Indeterminación Izquierda, Indeterminación de la Disyunción 52

4.15. Indeterminación Derecha, Indeterminación de la Disyunción 52

4.16. Indeterminación de la Disyunción 53

4.17. Indeterminación Izquierda, Indeterminación

Derechadel Bicondicional. 53

4.18. Afirmación del Bicondicional 54

4.19. Afirmación Izquierda, Indeterminación del Bicondicional 54

4.20. Afirmación Derecha, Indeterminación del Bicondicional 55

4.21. Falsedad Izquierda, Indeterminación del Bicondicional 55

4.22. Falsedad Derecha, Indeterminación del Bicondicional. 56

4.23. Indeterminación de la negación 56

4.24. Indeterminación del Alcance de la negación 57

4.25. Principio del Tercero Excluido 58

4.26. Principio De No Contradicción 59

VIII

Introducción. La aceptación de que cada fórmula bien formada debe tener uno de los dos valores de verdad, verdadero (V o 1) o falso (F o 0), llamado principio de bivalencia, constituye los fundamentos de la Lógica Clásica o Binaria, que ha sido la base de la asignatura “Lógica de Primer Orden”. Sin embargo, sucesivos planteamientos han demostrado la necesidad de otros tipos de lógicas, a veces presentadas como rivales y otras como complementarias de la lógica clásica, para resolver distintos problemas en campos como la Inteligencia Artificial o la Verificación de Programas, por poner algunos ejemplos de áreas cercanas a nuestro ámbito de estudio. Un primer paso para ir más allá de la Lógica Bivalente es la introducción de más valores lógicos. Aunque las raíces más antiguas de la Lógica Multivaluada las podemos encontrar en Aristóteles, esta fue definitivamente establecida en 1920 por Lukasiewicz. Lukasiewicz añade a los valores lógicos clásicos un valor intermedio asentando los principios de la Lógica Trivalente. Una de las bases fundamentales de estos desarrollos eran los principios lógicos tradicionales, ahora adoptados a la formalización moderna; especialmente el principio de no contradicción sin el cual se asumía que no era posible hacer ningún razonamiento correcto, ni decir algo con sentido la realidad. Pero la aplicación de estos argumentos se puede ver en:

a) Filosofía: El tratamiento de teorías inconsistentes como ciertas formas de dialéctica, y la teoría de objetos de Meinong, en donde no se podría aplicar la lógica clásica, en vista de la presencia de contradicciones.

b) Matemática: La formulación de teorías paraconsistentes de conjuntos en los cuales

el esquema de separación se encuentra sometido a restricciones. Entre estas teorías se encuentra el conjunto de Russell, compuesto por todos los conjuntos que no pertenecen a si mismos.

c) Lógica: Una mejor comprensión de los principios de la lógica estándar, se puede

observar claramente el sentido y las limitaciones de los principios de contradicción, identidad y del tercero excluido.

d) Física: Aplicaciones en mecánica cuántica, y unificación formal de teorías.

e) Tecnología: Aplicaciones en Inteligencia Artificial (Manipulación de datos

contradictorios), y en informática en general.

1

Capítulo 1 Árboles de forzamiento Semántico Clásico 1.1. Construcción de enunciados Enunciados atómicos; A, B, C. Enunciados compuestos: generados a partir de los atómicos utilizando los conectivos binarios ٨ ,٧, →, ↔ y el conectivo unario ~. 1.2. Árboles de construcción de enunciados El árbol de construcción del enunciado A se representa como A* y se construye utilizando α y β enunciados arbitrarios;

FIGURA 1.1. - Negación y conjunción.

2

FIGURA 1.2. - Disyunción e Implicación.

FIGURA 1.3. – Coimplicación. El árbol de construcción de argumentos nαααα ,...,,, 321 ⊦ β esta definido como, el árbol del condicional asociado al argumento ))...(( 321 βαααα →∧∧∧∧ n . El nodo principal del árbol se llama raíz, y corresponde al conectivo principal del argumento, las hojas del árbol corresponden a los enunciados atómicos. Para el argumento: ).~(|~~)()( BADEyBCBA →−∧∧→∧ El condicional asociado es: ).~())~(~)](]([ BADEDCBA →→∧∧∨→∧ Su árbol es:

FIGURA 1.4. - Árbol del argumento ).~())~(~)](]([ BADEDCBA →→∧∧∨→∧

3

Capítulo 2 Construcción de árboles de Forzamiento Semántico para Lógica Clásica Los árboles de Forzamiento Semánticos son construidos a partir de los arboles de construcción de enunciados. Para su realización se deben tener en cuenta las siguientes reglas de inferencia para el Forzamiento Semántico, donde un nodo marcado con un círculo indica la aceptación del enunciado asociado al nodo, y un nodo marcado con un cuadro indica que el enunciado asociado al nodo es rechazado. 2.1. Reglas de inferencia para el forzamiento semántico Las tautologías, tienen gran utilidad en el cálculo proposicional, así como también las contradicciones que son proposiciones que son falsas para cualquier combinación de valores de verdad de las componentes. El objetivo de la realización de estos árboles, es lograr una demostración por contradicción, es decir para poder demostrar que un argumento es un teorema o no, se asume que es falso por tal razón la primera regla es:

4

2.1.1. FR (Falsedad de la Raíz) El nodo raíz siempre debe estar marcado con cuadro. Con esta regla se esta suponiendo que el enunciado asociado al árbol no es válido.

FIGURA 2.1 - Falsedad de la raíz.

2.1.2. Reglas para el condicional → El condicional, también llamado implicación, es falso sólo en el caso en que el antecedente sea verdadero y el consecuente falso, y es verdadera en todos los demás casos. De hay se derivan las siguientes reglas: 2.1.2.1. AIA → (Afirmación Izquierda, Afirmación del Condicional) Cuando se tiene un condicional aceptado y el antecedente es aceptado, se deduce que el consecuente es aceptado.

FIGURA 2.2 - Afirmación Izquierda, Afirmación del condicional.

5

2.1.2.2. FDA → (Falsedad Derecha, Afirmación de Condicional) Cuando se tiene un condicional aceptado y el consecuente es rechazado, se deduce que el antecedente es rechazado.

FIGURA 2.3 - Falsedad Derecha, Afirmación del condicional.

2.1.2.3. F→ (Falsedad del Condicional) Al tener un condicional rechazado, se deduce que el consecuente es aceptado y el antecedente es rechazado.

FIGURA 2.4 - Falsedad del condicional.

6

2.1.2.4. FI→ (Falsedad Izquierda en un Condicional) Un condicional es aceptado cuando su antecedente es rechazado.

FIGURA 2.5 – Falsedad Izquierda en un Condicional.

2.1.2.5. AD→ (Afirmación Derecha en un Condicional) Un condicional es aceptado cuando su consecuente es aceptado.

FIGURA 2.6 - Afirmación Derecha en un Condicional.

7

2.1.2.6. FDAI → (Falsedad Derecha, Afirmación Izquierda en un Condicional)

Un condicional es rechazado cuando el antecedente es aceptado y el consecuente es rechazado.

FIGURA 2.7 - Afirmación Izquierda. Falsedad Derecha en un Condicional.

2.1.3. Reglas para la conjunción Λ Una conjunción es verdadera sólo en el caso en que las proposiciones atómicas componentes sean verdaderas y es falsa en todos los demás casos- De allí se derivan las siguientes reglas. 2.1.3.1. A Λ (Afirmación de la Conjunción) Ambos componentes de una conjunción son aceptados cuando la conjunción es aceptada.

FIGURA 2.8 – Afirmación de la conjunción

8

2.1.3.2. AIAD Λ (Afirmación Izquierda, Afirmación Derecha en la Conjunción)

Si ambos componentes de una conjunción son aceptados, se deduce que la conjunción es aceptada.

FIGURA 2.9 - Afirmación Izquierda, Afirmación Derecha de la conjunción

2.1.3.3. AIF Λ (Afirmación Izquierda, Falsedad de la Conjunción) De una conjunción rechazada con uno de sus componentes aceptado, se deduce que el otro componente es rechazado.

FIGURA 2.10 - Afirmación Izquierda Falsedad de la conjunción.

9

2.1.3.4. ADF Λ (Afirmación Derecha, Falsedad de la Conjunción) De una conjunción rechazada con uno de sus componentes aceptado, se deduce que el otro componente es rechazado.

FIGURA 2.11 - Afirmación Derecha, Falsedad de la Conjunción.

2.1.3.5. FI Λ (Falsedad Izquierda en la Conjunción) Una conjunción es rechazada cuando uno de sus componentes lo es.

FIGURA 2.12 - Falsedad Izquierda de la Conjunción.

10

2.1.3.6. FD Λ (Falsedad Derecha en la Conjunción) Una conjunción es rechazada cuando uno de sus componentes lo es.

FIGURA 2.13 - Falsedad Derecha de la Conjunción.

2.1.4. Reglas para la disyunción V La disyunción es verdadera, cuando al menos una de las proposiciones atómicas componentes, es verdadera, y es falsa sólo en el caso en que ambas sean falsas. 2.1.4.1. F V (Falsedad de la Disyunción) Se deduce que ambos componentes de una disyunción son rechazados cuando la disyunción es rechazada.

FIGURA 2.14 - Falsedad de la Disyunción.

11

2.1.4.2. FDFI V (Falsedad Derecha, Falsedad Izquierda de una Disyunción)

Una disyunción es rechazada cuando sus componentes son rechazados.

FIGURA 2.15 - Falsedad Derecha, Falsedad Izquierda de la Disyunción.

2.1.4.3. AD V (Afirmación Derecha de una Disyunción) Una disyunción es aceptada cuando uno de sus componentes lo es.

FIGURA 2.16 - Afirmación Derecha de la Disyunción.

12

2.1.4.4. AI V (Afirmación Izquierda de una Disyunción) Una disyunción es aceptada cuando uno de sus componentes lo es.

FIGURA 2.17 - Afirmación Izquierda de la Disyunción.

2.1.4.4. FIA V (Falsedad Izquierda. Afirmación de la Disyunción) Cuando una disyunción es aceptada y uno de sus componentes es rechazarlo, se deduce que el otro componente es aceptado.

FIGURA 2.18 - Falsedad Izquierda, Afirmación de la Disyunción.

13

2.1.4.5. FDA V (Falsedad Derecha, Afirmación de la Disyunción) Cuando una disyunción es aceptada y uno de sus componentes es rechazado, se deduce que el otro componente es aceptado.

FIGURA 2.19 - Falsedad Derecha, Afirmación de la Disyunción.

2.1.5. Reglas para el bicondicional ↔ El bicondicional, también llamado coimplicación, es verdadero cuando ambas proposiciones atómicas son verdaderas o falsas, y es falsa en todos los demás casos. 2.1.5.1 ADAI ↔ (Afirmación Derecha, Afirmación Izquierda en un

Bicondicional) Un Bicondicional es aceptado cuando sus dos componentes son aceptados

FIGURA 2.20 - Afirmación Derecha, Afirmación Izquierda del bicondicional.

14

2.1.5.2. FDFI ↔ (Falsedad Derecha, Falsedad Izquierda en un Bicondicional)

Un bicondicional es aceptado cuando sus dos componentes son rechazados.

FIGURA 2.21 - Falsedad Derecha, Falsedad Izquierda del bicondicional.

2.1.5.3. AIFD ↔ (Afirmación Izquierda, Falsedad Derecha en un

Bicondicional) Un bicondicional es rechazado cuando uno de sus componentes es rechazado y el otro es aceptado.

FIGURA 2.22. Afirmación Izquierda, Falsedad Derecha del bicondicional.

15

2.1.5.4. FIAD ↔ (Falsedad Izquierda, Afirmación Derecha en un Bicondicional)

Un bicondicional es rechazado cuando uno de sus componentes es rechazado y el otro es aceptado.

FIGURA 2.23. Falsedad Izquierda, Afirmación Derecha del bicondicional.

2.1.5.5. AIA ↔ (Afirmación Izquierda, Afirmación del Bicondicional) Un componente de un bicondicional es aceptado cuando el Incondicional y el otro componente son aceptados.

FIGURA 2.24 - Afirmación Izquierda, Afirmación del bicondicional.

16

2.1.5.6. FIF ↔ (Falsedad Izquierda, Falsedad del Bicondicional) Un componente de un bicondicional es aceptado cuando el bicondicional y el otro componente son rechazados.

FIGURA2.25 - Falsedad Izquierda, Falsedad del bicondicional.

2.1.5.7. FIA ↔ (Falsedad Izquierda, Afirmación del Bicondicional) Un componente de un Incondicional es rechazado cuando el bicondicional es aceptado y el otro componente es rechazado.

FIGURA 2.26 - Falsedad Izquierda, Afirmación del Bicondicional.

17

2.1.5.8. AIF ↔ (Afirmación Izquierda, Falsedad del Bicondicional) Un componente de un bicondicional es rechazado cuando el bicondicional es rechazado y el otro componente es aceptado.

FIGURA 2.27. Afirmación Izquierda, Falsedad del bicondicional.

2.1.5.9. ADA ↔ (Afirmación Derecha, Afirmación del Bicondicional) Un componente de un bicondicional es aceptado cuando el bicondicional y el otro componente son aceptados.

FIGURA 2.28. Afirmación Derecha, Afirmación del bicondicional.

18

2.1.5.10. FDF ↔ (Falsedad Derecha, Falsedad del Bicondicional) Un componente de un bicondicional es aceptado cuando el bicondicional y el otro componente son rechazados.

FIGURA 2.29 - Falsedad Derecha, Falsedad del bicondicional.

2.1.5.11. FDA ↔ (Falsedad Derecha, Afirmación del Bicondicional) Un componente de un bicondicional es rechazado cuando el bicondicional es aceptado y el otro componente es rechazado.

FIGURA 2.30 - Falsedad Derecha, Afirmación del bicondicional.

19

2.1.5.12. ADF ↔ (Afirmación Derecha, Falsedad del Bicondicional) Un componente de un bicondicional es rechazado cuando el bicondicional es rechazado y el otro componente es aceptado.

FIGURA 2.31 - Afirmación Derecha Falsedad del bicondicional. 2.1.6 Reglas para la negación clásica ~ 2.1.6.1. A ~ (Afirmación de la Negación) El alcance de una negación es rechazado cuando la negación es aceptada.

FIGURA 2.32 - Afirmación de la negación.

20

2.1.6.2. FA ~ (Falsedad del Alcance de la Negación) Una negación es aceptada cuando su alcance es rechazado.

FIGURA 2.33 - Falsedad del alcance de la negación. 2.1.6.3. F ~ (Falsedad de la Negación) El alcance de una negación es aceptado cuando la negación es rechazada.

FIGURA 2.34 - Falsedad de la negación.

21

2.6.4. AA ~ (Afirmación del Alcance de la Negación) Una negación es rechazada cuando su alcance es aceptado.

FIGURA 2.35 - Afirmación del alcance de la negación.

2.1.7. Reglas para la iteración de marcas 2.1.7.1. IA (Iteración de la Afirmación) Cuando un enunciado es aceptado, lo será siempre.

FIGURA 2.36 - Iteración de la Afirmación.

22

2.1.7.2. IF (Iteración de la Falsedad) Cuando un enunciado es rechazado, lo será siempre.

FIGURA 2.37 - Iteración de la Falsedad.

2.2. Tipos de Árboles 2.2.1. Doble marca

DM (Doble Marca): Si dos nodos asociados a un mismo enunciado tienen marcas distintas entonces el árbol está mal marcado. 2.2.2. Árboles bien marcados Un árbol de forzamiento semántico se dice que está bien marcado (ABM) si todos sus nodos están marcados y no existe doble marca. 2.2.3. Árboles mal marcados Un árbol de forzamiento semántico se dice que está mal marcado (AMM) si no está bien marcado, es decir, si existe un nodo con doble marca

23

2.3. Teorema de opciones en el forzamiento 2.3.1. OADM (Opción Afirmativa con Doble Marca) Si se toma la opción de marcar un nodo con círculo y se obtiene un árbol mal marcado entonces dicho nodo está marcado con cuadro. Si se supone que un enunciado es verdadero y se obtiene una contradicción entonces dicho enunciado es falso.

FIGURA 2.38 - Opción afirmativa con doble marca.

2.3.2. OFDM: (Opción Falsa con Doble Marca) Si se toma la opción de marcar un nodo con cuadro y se obtiene un árbol mal marcado entonces dicho nodo está marcado con círculo. Si se supone que un enunciado es falso y se obtiene una contradicción entonces dicho enunciado es verdadero.

FIGURA 2.39. Opción falsa con doble marca.

24

2.3.3. OAOFDM (Opción Afirmativa y Opción Falsa con Doble marca) Si se toma la opción de marcar un nodo con cuadro y se obtiene un árbol mal marcado, y además, si se toma la opción de marcar un nodo con círculo y se obtiene un árbol mal marcado entonces el árbol esta mal marcado. Si suponemos que un enunciado es falso y se obtiene una contradicción y además, si se supone que el enunciado es verdadero y se obtiene una contradicción entonces la contradicción no depende de dicho enunciado. Si marcando A con círculo no se obtiene árbol mal marcado entonces A está marcado con círculo. Si marcando A con cuadro no se obtiene árbol mal marcado entonces A está marcado con cuadro. 2.3.4. Validez del árbol de forzamiento semántico. Un enunciado es válido si y solamente si el árbol de forzamiento semántico asociado al enunciado está mal marcado.

FIGURA 2.40 - Opción afirmativa y falsa con doble marca. Es decir, un enunciado es inválido (existe una asignación de valores cíe verdad que lo refuta) si y solamente si el árbol de forzamiento semántico asociado al enunciado está bien marcado. Si un árbol de forzamiento semántico asociado a un enunciado está bien marcado, la interpretación de las marcas de sus hojas nos proporciona una asignación de valores de verdad que refuta el enunciado, Podemos concluir que los árboles de forzamiento semántico nos proporciona un método de decisión para el cálculo proposicional clásico.

25

2.3.4. Algunos teoremas Importantes

2.3.4.1. Tercero Excluido Dada una proposición A, entonces A y ~ A no pueden ser simultáneamente verdaderas. De esta manera, una proposición (en esta lógica bivalente) o bien es verdadera o bien es falsa y no caben mas alternativas. Por lo tanto, en caso de presentarse una proposición que es verdadera y falsa a la vez se la elimina por ser contradictoria. A ∨ ~ A Su árbol es:

FIGURA 2.41 – Árbol del argumento A ∨ ~A

26

FIGURA 2.42 – Principio del tercero excluido (FR)

FIGURA 2.43 – Principio del tercero excluido (F ∨ )

FIGURA 2.44 – Principio de tercero excluido (F~)

27

Tenemos un argumento con doble marca (A es falso y verdadero a, la vez), por lo tanto el árbol es un árbol mal marcado (AMM) y se puede concluir que el principio del tercero excluido es un teorema. 2.4.2. Principio de no contradicción Un enunciado no puede ser a la vez verdadero y falso. De esta manera, una proposición (en esta lógica bivalente) no será al mismo tiempo verdadero y falsa.

)~(~ AA ∧ Su árbol es:

FIGURA 2.45 – Principio de no contradicción

FIGURA 2.46 – Principio de no contradicción (FR).

28

FIGURA 2.47 – Principio de no contradicción (F~).

FIGURA 2.48 – Principio de no contradicción (A∧)

29

FIGURA 2.49 – Principio de no contradicción (A~)

Tenemos un argumento con doble marca (a es falso y verdadero a, la vez) por lo tanto el árbol, es un árbol mal marcado (AMM) y se puede concluir que el principio de no contradicción es un teorema.

2.4.3. Principio de trivialización El principio de trivialización indica que la lógica clásica no soporta contradicciones, es decir: de un enunciado y su negación se puede deducir cualquier otro enunciado.

)(~ BAA →→ Su árbol es:

FIGURA 2.50. -–Principio de trivialización

30

FIGURA 2.51 – Principio de Trivialización (FR)

FIGURA 2.52 – Principio de trivialización (F→)

31

FIGURA 2.53 – Principio de trivialización (A~)

FIGURA 2.54 – Principio de trivialización (F→)

Tenemos un argumento con doble marca (A es falso y verdadero a la vez), por lo tanto el árbol, es un árbol mal marcado (AMM) y se puede concluir que el principio de trivialización es un teorema.

32

Capítulo 3.

Árboles de forzamiento Semántico para la Lógica Básica Paraconsistente y Paracompleta con negación clásica – LBPco Los árboles de forzamiento semántico para el sistema de Lógica Básica Paraconsistente y Paracompleta con Negación Clásica LBPco, se obtienen a partir de los árboles de forzamiento semántico clásico agregando un nuevo operador de negación llamado negación débil (¬ )junto con reglas de inferencia similares a las del operador Negación Clásica (~) pero debilitadas. La negación clásica (~) está caracterizada por ser completa, es decir, si el enunciado A es falso entonces el enunciado ~A es verdadero, o de forma equivalente, si el enunciado ~A es falso entonces el enunciado A es verdadero, lo cual significa que no puede ocurrir que los enunciados A y ~A sean simultáneamente falsos. Además también es consistente, es decir, Si el enunciado A es verdadero entonces el enunciado ~A es falso, o de forma equivalente, si el enunciado ~A es verdadero entonces el enunciado A es falso, lo cual significa que no puede ocurrir que los enunciados A y ~A sean simultáneamente verdaderos. Cuando una lógica tiene un operador negación (¬) que no es completo, es decir que para algún enunciado A, tanto A como ¬ A son falsos, se dice que dicha lógica es paracompleta. Cuando una lógica tiene un operador negación (¬) que no es consistente, es decir, para algún enunciado A, tanto A como ¬A son verdaderos), se dice que dicha lógica es paraconsistente. Las reglas de inferencia para esta negación se obtienen debilitando las reglas de inferencia

33

para el operador negación clásica y agregando reglas que indiquen en que casos particulares valen las reglas eliminadas. El sistema resultante soporta contradicciones débiles sin trivializar las teorías que las incluyen. La fórmula ¬ A puede leerse: A es cuestionable, A es cuestionado. La fórmula AI se lee: A es incompatible con su negación. La fórmula AC se lee: A es completa con su negación. El árbol de una incompatibilidad tiene la siguiente forma:

FIGURA 3.1. - A es incompatible con su negación El árbol de una completez tiene la siguiente forma:

FIGURA 3.2. - A es completa con su negación.

34

3.1 Reglas de inferencia para la negación paraconsistente ¬ 3.1.1 A¬AI(Afirmación de la Negación y Afirmación de la

Incompatibilidad) Los enunciados cuestionados que son incompatibles con su negación, son rechazados es decir, el alcance de una negación es falso cuando la negación es verdadera y es incompatible con su alcance.

FIGURA 3. 3 -. Afirmación de la negación y Afirmación de la incompatibilidad

3.1.2. FΑ¬ AC (Falsedad del Alcance de la Negación y Afirmación de la

Completez) Los enunciados determinables que son rechazados, son cuestionados, es decir, una negación es aceptada cuando su alcance es rechazado y completo.

FIGURA 3.4. Falsedad del alcance de la negación y Afirmación de la completez.

35

3.1.3. F¬ AC (Falsedad de la Negación y Afirmación de la Completez) Los enunciados determinables que son cuestionados, son aceptados. El alcance de una negación es aceptado cuando la negación es rechazada y el alcance completo.

FIGURA 3.5.- Falsedad de la Negación y Afirmación de la Completez

3.1.4. AA¬ AI (Afirmación del Alcance de la Negación y Afirmación de

la Incompatibilidad) No son cuestionados los enunciados que se aceptan y además sean incompatibles con su negación es decir, una negación es rechazada cuando su alcance es aceptado y es incompatible con su negación.

FIGURA 3.6.- Afirmación del Alcance de la Negación y Afirmación de la Incompatibilidad

36

3.1.5. A¬ AA¬ I (Afirmación de la Negación y Afirmación del Alcance de la Negación en la Incompatibilidad)

Los enunciados que son aceptados y cuestionados son compatibles con su negación, es decir, la incompatibilidad de un enunciado y su negación es rechazada cuando el enunciado y su negación son aceptados.

FIGURA 3.7. Afirmación de la Negación y Afirmación del Alcance de la Negación en la Incompatibilidad 3.1.6. FI (Falsedad de la Incompatibilidad) Los enunciados compatibles con su negación se aceptan y se cuestiona, es decir un enunciado y su negación son aceptados cuando la incompatibilidad es rechazada.

FIGURA 3.8. - Falsedad de la Incompatibilidad

37

3.1.7. F¬I (Falsedad de la Negación en la Incompatibilidad) Si un enunciado no es cuestionado entonces es incompatible con su negación es decir, una incompatibilidad es aceptada cuando es rechazada la negación en su alcance.

FIGURA 3.9. - Falsedad de la Negación de la Incompatibilidad 3.1.8. FA¬ I (Falsedad del Alcance de la Negación en la

incompatibilidad) Si un enunciado es rechazado entonces es incompatible con su negación es decir, Una incompatibilidad es aceptada cuando es rechazado el alcance de la negación en su alcance.

FIGURA 3.10. - Falsedad del alcance de la Negación en la Incompatibilidad

38

3.19. A ¬ C (Afirmación de la Negación en la Completez)

Un enunciado es determinable cuando es cuestionado, es decir, una completez es aceptada cuando es aceptada la negación en su alcance.

FIGURA 3.11. Afirmación de la Negación en la Completez

3.1.10 AA¬ C(Afirmación del Alcance de la Negación en la Completez) Un enunciado es determinable cuando es aceptado, es decir, una completez es aceptada cuando es aceptado el alcance de la negación en su alcance.

FIGURA 3.12. Afirmación del Alcance de la Negación en la Completez.

39

3.1.11. FC (Falsedad de la Completez) Cuando un enunciado es determinable, ni se acepta ni se rechaza, es decir, un enunciado y su negación son rechazados cuando la completez es rechazada.

FIGURA 3.13. Falsedad de la Completez. 3.1.12. F¬ FΑ¬ C (Falsedad de la Negación Falsedad del Alcance de la

Negación en la Completez) Cuando un enunciado es rechazado y no es cuestionado, es indeterminable. Cuando un enunciado y su negación son rechazados, la completez es rechazada.

FIGURA 3.14. Falsedad de la Negación Falsedad del Alcance de la Negación en la Completez

40

3.2. Algunos teoremas 3.2.1. Tercero Excluido Este principio es valido solo cuando un enunciado es completo. AC (A ∨ ¬ A) Su árbol es:

FIGURA 3.15. Tercero Excluido AC (A ∨ ¬ A)

Justificaciones

1. FR. 6. IF en 5. 2, 3. F . 7. IF en 4. 4, 5. F V. 8. F¬ AC.en 2 y 6 9. DM en 8 y 7. AMM.

41

3.2.2. Principio de No Contradicción: Este principio solo tiene validez restringida, es decir, cuando el enunciado es incompatible con su negación.

(A∧ ¬ A)C∧ AI ¬ (A ∧ ¬ A) Su árbol es:

FIGURA 3.16. Principio de No Contradicción

Justificaciones

1. FR. 7. F¬ AC en 4 y 6. 12. A¬ AI en 5 y 11. 2, 3. F en 1. 8, 9. A∧ en 7. 13. IA en 7. 4, 5. A∧ en 2 10. IA en 8 14, 15. A∧ en 13. 6. IF en 3 11. IA en 9. 16. IA en 14.

17. DM en 12 y 16. AMM.

42

3.2.3. Principio de trivialización: Este principio indica que el sistema soporta las contradicciones, es decir, pueden tenerse como teoremas los enunciados A y ¬ A y a pesar de ello el sistema no se trivializa.

FIGURA 3.17. Principio de trivialización Justificaciones

1. FR. 6, 7. F en 5 10. A¬ AI en 2 y 9. 2, 3. F en 1. 8. IA en 6. 11. DM en 10 y 8. 4, 5. F en 3. 9. IA en 4

43

Capítulo 4. Árboles De Forzamiento Semántico Para Lógica Multivaluada 4.1 Lógica de Lukasiewicz La lógica trivalente nació de la necesidad de incorporar dentro de la lógica cierto tipo de proposiciones imposibles de tratar por los medios de la lógica bivalente. Para ello se necesito ampliar el cálculo anterior y hacer en él ciertas correcciones. La ampliación consistió en añadir un nuevo valor a los dos anteriores con los que trabajaba la lógica bivalente. Un valor intermedio entre el “1” y el “0”, el “½”, interpretado como posiblemente “1” o posiblemente “0”. Para construir las tablas de verdad para fórmulas moleculares, se debe seguir los mismos criterios que en la lógica bivalente, es decir, se construyen a partir de los valores de las fórmulas atómicas y de las definiciones de las conectivas lógicas. Lukasiewicz toma como base la extensión de la interpretación clásica de las conectivas de implicación (→ ) y negación (¬). Y define la disyunción (∨ ), la conjunción (∧ ) y la equivalencia (↔ ) de la siguiente manera: A ∨ B = (A → B) → B A ∧ B = ¬(¬A ∨ ¬B) A ↔ B = (A → B) ∧ (B → A)

44

Las tablas de verdad en este sistema son construidas tomando en cuenta las siguientes formulas: La conjunción elige el valor mas bajo de las sub-fórmulas que conecta. v(A∧ B) = min. {v(A), v(B)}

∧ 1 1/2 0 1 1 1/2 0

1/2 1/2 1/2 0

0 0 0 0 La disyunción elige el mejor valor de las fórmulas que conecta. v (A∨ B) = máx. {v(A), v(B)}

∨ 1 1/2 0 1 1 1 1

1/2 1 1/2 1/2

0 1 1/2 0 La implicación toma el valor del consecuente cuando dicho consecuente tiene un valor más bajo que el antecedente; en caso contrario se evalúa como verdadero, es decir como 1. v(A B)=min{1,1-v(A)+v(B)}

→ 1 1/2 0 1 1 1/2 0

1/2 1 1 1/2

0 1 1 1

45

Del anterior se deduce los valores de la doble implicación.

↔ 1 1/2 0 1 1 1/2 0

1/2 1/2 1 1/2

0 0 1/2 1 El valor de la negación esta determinada por uno menos el valor del argumento. v(¬ A)=1-v(A)

¬

1 0

1/2 1/2

0 1 4.2. Reglas de inferencia: A partir de las tablas establecidas para el conector se pueden realizar las mismas operaciones que en lógica bivalente, aunque tales operaciones son mucho mas largas y enojosas en el nuevo calculo, puesto que para tres argumentos las combinaciones posibles son 27, para cuatro 81… etc., de acuerdo con 3n en que el exponente “n” designa el numero de argumentos que tenga la formula. Los resultados que se obtengan, pueden ser triples: Tautológicos, si como resultado se obtiene “1” en todos los casos, es decir todos son verdaderos; Posibles, si no aparecen números inferiores a ½, es decir no aparecen valores falsos; y Falsos, si resultan números “0” en cualquier caso. En este sistema el nodo raíz no siempre necesita estar marcado con cuadro, como en el caso de la lógica clásica, sino que puede tomar el valor de ½, marcado con un círculo discontinuo. 4.2.1. Reglas para la el condicional → Como se puede observar en la tabla de verdad, la implicación es falsa, solo cuando el antecedente es verdadero y el consecuente es falso, y de hay se derivan las siguientes reglas.

46

4.2.1.1. AIID → (Afirmación Izquierda, indeterminación Derecha) Un condicional es indeterminado cuando el antecedente es aceptado, y el consecuente es indeterminado.

FIGURA 4.1. Afirmación Izquierda, indeterminación Derecha

4.2.1.2. III→ (Indeterminación Izquierda, Indeterminación de la

Implicación)

Cuando se tiene el antecedente y el condicional indeterminado, el consecuente es rechazado.

FIGURA 4.2. Indeterminación Izquierda, Indeterminación de la Implicación

47

4.2.1.3. FII→ (Falsedad Izquierda, Indeterminación de la Implicación) Cuando se tiene un consecuente rechazado, y una implicación indeterminada, es porque el antecedente es indeterminado.

FIGURA 4.3. Falsedad Izquierda, Indeterminación de la Implicación

4.2.1.4. IIID→ (Indeterminación Izquierda, Indeterminación Derecha.) Al tener un antecedente y un consecuente indeterminado, la implicación es verdadera.

FIGURA 4.4. Indeterminación Izquierda, Indeterminación Derecha.

48

4.2.1.5. IIFD→ (Indeterminación Izquierda, Falsedad Derecha) Cuando el antecedente es indeterminado y el consecuente es falso, se deduce que la implicación es indeterminada.

FIGURA 4.5. Indeterminación Izquierda, Falsedad Derecha

4.2.1.6. AII→ (Afirmación Izquierda, Indeterminación de la Implicación) Cuando el antecedente es aceptado, y la implicación es indeterminada, se deduce que el consecuente es indeterminado.

FIGURA 4.6. Afirmación Izquierda, Indeterminación de la Implicación

49

4.2.2. Reglas para la conjunción ∧1 4.2.2.1.NFIID ∧(No Falsedad Izquierda, Indeterminación Derecha De la Conjunción)

IINFD ∧(Indeterminación Izquierda, No Falsedad Derecha de la Conjunción)

Cuando uno de los componentes de la conjunción es indeterminado y el otro no es rechazado, es decir no es falso2, la conjunción es indeterminada.

FIGURA 4.7. No Falsedad Izquierda, Indeterminación Derecha De la Conjunción.

FIGURA 4.8. Indeterminación Izquierda, No Falsedad Derecha De la Conjunción

1 Se aplican las mismas reglas de la lógica clásica para la conjunción. 2 Para determinar que un valor no es rechazado, se dibujaran dos cuadrados uno dentro de otro.

50

4.2.2.2. III∧ (Indeterminación Izquierda, Indeterminación de la conjunción). IDI∧ (Indeterminación Derecha, Indeterminación de la conjunción). Cuando la conjunción y uno de los componentes de la conjunción son indeterminados, el otro componente no es falso.

FIGURA 4.9. Indeterminación Izquierda, Indeterminación de la conjunción

FIGURA 4.10. Indeterminación Derecha, Indeterminación de la conjunción

51

4.2.2.3. I∧ (Indeterminación de la conjunción) Al tener una conjunción indeterminada, es porque uno de los componentes es indeterminado, y el otro no es rechazado.

FIGURA 4.11. Indeterminación de la conjunción

4.2.3. Reglas para la disyunción ∨3 4.2.3.1 NAI ID∨ (No Aceptación Izquierda, Indeterminación Derecha de Disyunción)

IINAD∨(Indeterminación Izquierda, No aceptación Derecha de la Disyunción) Cuando uno de los componentes de la Disyunción es indeterminado y el otro No es aceptado, es decir no es verdadero4, La disyunción se hace indeterminada.

FIGURA 4.12. No Aceptación Izquierda, Indeterminación Derecha de Disyunción

3 Se aplican las mismas reglas de la lógica clásica para la disyunción. 4 Para determinar que un valor no es aceptado, se dibuja un círculo dentro de un cuadro.

52

FIGURA 4.13. Indeterminación Izquierda, No Aceptación Derecha de Disyunción 4.2.3.2. III∨(Indeterminación Izquierda, Indeterminación de la Disyunción).

IDI∨(Indeterminación Derecha, Indeterminación de la Disyunción). Cuando la Disyunción y uno de los componentes de la conjunción son indeterminados, el otro componente no es aceptado.

FIGURA 4.14. Indeterminación Izquierda, Indeterminación de la Disyunción.

FIGURA 4.15. Indeterminación Derecha, Indeterminación de la Disyunción.

53

4.2.3.3. I∨ (Indeterminación de la Disyunción) Al tener una Disyunción indeterminada, es porque uno de los componentes es indeterminado, y el otro no es aceptado.

FIGURA 4.16. Indeterminación de la Disyunción. 4.2.4. Reglas para el bicondicional ↔ 5 4.2.4.1. IIID ↔ (Indeterminación Izquierda, Indeterminación Derecha

del Bicondicional) Un bicondicional es aceptado, cuando sus dos componentes son indeterminados.

FIGURA 4.17. Indeterminación Izquierda, Indeterminación Derecha del Bicondicional.

5 Se aplican las mismas reglas de la lógica clásica para el bicondicional.

54

4.2.4.2. A↔ (Afirmación del bicondicional) Si un bicondicional es aceptado; sus dos componentes tienen el mismo valor de verdad.

FIGURA 4.18. Afirmación del bicondicional

4.2.4.3. AII↔(Afirmación Izquierda, Indeterminación del bicondicional)

ADI↔ (Afirmación Derecha, Indeterminación del bicondicional)

Al tener un bicondicional indeterminado y uno de sus componentes aceptados, el otro componente es indeterminado.

FIGURA 4.19. Afirmación Izquierda, indeterminación del bicondicional

55

FIGURA 4.20. Afirmación Derecha, indeterminación del bicondicional

4.2.4.4. FII↔ (Falsedad Izquierda, Indeterminación del bicondicional)

FDI↔ (Falsedad Derecha, Indeterminación del bicondicional) Al tener un bicondicional indeterminado, y uno de sus componentes rechazado, el otro componente es indeterminado.

FIGURA 4.21.Falsedad Izquierda, Indeterminación del bicondicional

56

FIGURA 4.22.Falsedad Derecha, Indeterminación del bicondicional

4.2.5. Reglas para la negación ¬ 6 4.2.5.1. I ¬ (Indeterminación de la de la Negación) El alcance de la negación es indeterminado cuando la negación es indeterminada.

FIGURA 4.23. Indeterminación de la negación.

6 Se aplican las mismas reglas de la lógica clásica para la negación.

57

4.2.5.2. IA ¬ (Indeterminación del alcance de la Negación) Una negación es indeterminada, cuando su alcance es indeterminado.

FIGURA 4.24. Indeterminación del alcance de la negación.

4.3. Algunas consecuencias. Lukasiewicz concluye que en cuanto a la lógica, no es cierto que el principio de no contradicción sea el mas alto de todos los principios, en el sentido en el que sea presupuesto por todos los otros principios, en el contexto de la lógica simbólica, se había demostrado que una serie de principios podrían seguir siendo validos incluso si el de no contradicción no lo fuera. A partir de esto, el autor concluyendo la parte histórico – crítica del artículo, afirma que:

“¡Debemos abandonar la falsa, aunque ampliamente extendida, perspectiva de que el principio de no contradicción es el más alto principio de todas las demostraciones! Esto sólo se sostiene para las pruebas indirectas; para las directas no es cierto.7

7 Tomado del libro Inconsistencias ¿Por qué no? Pagina 17.

58

4.3.1. Principio del Tercio Excluido A ∨¬ A Su árbol es:

FIGURA 4.25. Principio del tercero excluido. Justificaciones

1. IR. 4. I ¬ en 3. 2, 3. I∨ 5. DM en 2 y 4.

El valor de A marcado con cuadro y círculo dentro significa, que no puede ser verdadero, por lo cual puede tomar los valores de indeterminado o falso; entonces el árbol, al marcar a A como indeterminado, queda bien marcado, lo cual demuestra que el principio del tercio excluido no es un teorema en la lógica de Lukasiewicz.

59

4.3.2. Principio de No Contradicción ¬(A ∧¬ A) Su árbol es:

FIGURA 4.26. Principio de no contradicción. Justificaciones

1. IR. 2. I ¬ en 1. 3, 5. I∧ en 2 5. I ¬ en 4. 6. DM en 3 y 5.

El valor de A marcado con cuadro y otro cuadro dentro significa, que no puede ser falso, por lo cual puede tomar los valores de indeterminado o verdadero; entonces el árbol, al marcar a A como indeterminado, queda bien marcado, lo cual demuestra que el principio de no contradicción no es un teorema en la lógica de Lukasiewicz.

60

CONCLUSIONES Los árboles de forzamiento semántico son diagramas utilizados para la llamada investigación formativa, es decir, son utilizados para presentar de manera bastante simple tópicos relacionados con algunas lógicas no clásicas, como la lógica Paraconsistente, Paracompleta y la lógica de Lukasiewiez, mostrando las diferencias y semejanzas con la clásica. También son utilizados de manera muy eficiente en el estudio de la "negación", además de ser utilizados como una solución en tiempo finito en la realización de teoremas, o poder saber en tiempo real si un argumento es un teorema o no, los Árboles de Forzamiento Semántico, proporcionan una herramienta de inferencia visual muy útil en el estudio de teorías inconsistentes. Por otra parte se puede observar que las conclusiones a las cuales llega Lukasiewiez, son totalmente demostrables por este método. Por ejemplo tenemos el principio de no contradicción el cual no puede ser probado proclamándolo directamente evidente porque:

1) La evidencia no parece ser un criterio aceptable de verdad; de hecho ha sucedido que proposiciones falsas se han mostrado como evidentes

. 2) El principio de no contradicción no parece ser evidente para todo el mundo; para

algunos pensadores como Hegel no era evidente. Con relación a la posibilidad de dar una prueba del principio de no contradicción a partir de una investigación concreta, Lukasiewiez hace mención de objetos contradictorios como “El mas grande de los números primos”, o el “circulo cuadrado”, él asumía que el principio de no contradicción sólo estaba dirigido a lo real y a lo posible. Por otra parte, como lo había demostrado la aparición de las paradojas, tales como la de Russell, no se puede excluir la eventualidad de que construcciones que parecen consistentes, contengan una contradicción escondida que no se ha descubierto aun.

61

Referencia [BOB96] Andrés Bobenrieth.

Inconsistencias ¿Por qué no? Trazos filosóficos en la senda de la lógica paraconsistente. Bogotá: Tercer mundo, 1996.

[CAY90] Xavier Caicedo. Elementos de lógica y Calculabilidad. Bogota, Universidad de los Andes 1990.

[GOT01] Siegfried Gottwald A Treatise on many – valued logics. Institute for logic and philosophy of science University of Leipzig,

Germany 2000.

[SIE99] Manuel Sierra. Lógica Paraconsistente Memorias de la Primera reunión del Grupo LOG&CO – Lógica y computación – Universidad Nacional de Colombia, Manizales, Diciembre 13 al 17 de 1999.

[SIE01] Manuel Sierra. Árboles de Forzamiento Semántico. Revista Universidad EAFIT No 123, Medellín, 2001.

[SI201] Manuel Sierra. Lógica Básica Paraconsistente Clásica. Memorias del VIII Encuentro de la Escuela Regional de Matemáticas, Pasto, 2001.

[SIE02] Manuel Sierra. Lógica Básica Paraconsistente y Paracompleta con Negación Clásica. Revista Universidad EAFIT No 126. Medellín, 2002.