INDICE

Introduccin
Primera parte: lgica simblica
Capitulo 1. Nociones de semitica
1. los signos. El proceso semitico
2. dimensiones del proceso semitico
3. tipos de signos
4. designado y denotado de un signo lingstico
5. los niveles del lenguaje. Uso y mencin
6. lgica y semitica
Bibliografa
Capitulo 2. El objeto de la lgica
7. La lgica
8. Las proposiciones
9. los razonamientos
10. los razonamientos deductivos
11. componentes de los razonamientos
12. los razonamientos validos
13. el mtodo de analoga lgica
Bibliografa
Capitulo 3. Lgica proposicional
Seccin A. las proposiciones
14. proposiciones simples y compuestas
15. proposiciones extensionales y no extensionales
16. las conectivas
17. conjunciones
18. negaciones
19. disyunciones
20. tablas de verdad
21. proposiciones condicionales
22. proposiciones biocondicionales
23. negaciones conjuntas
24. negaciones alternativas
25. signos de puntuacin. Agrupacin de las proposiciones
26. tautologa, contradicciones y contingencias. Leyes lgicas
27. los principios lgicos
28. relaciones lgicas
28.1. implicacin
28.2. deducibilidad
28.3. equivalencia
28.4. contradictoriedad
28.5. contrariedad
28.6. subcontrariedad
Seccin B. Los razonamientos
29. el mtodo condicional asociado
30. el mtodo demostrativo
30.1. reglas de inferencia
31. el mtodo de las formas normales booleanas

XIII
1
2
4
5
6
7
8
9
11
12
13
16
20
21
22
23
24
27
29
32
35
39
40
41
43
45
46
47

48
50
53
54
59

Bibliografa
Capitulo 4. Lgica cuantificacional
Seccin A. Las proposiciones como predicados mondicos
32. las proposiciones singulares
33. funciones proposicionales
34. las proposiciones generales simples. Los cuantificadores
35. las proposiciones generales complejas categricas
36. alcance de un cuantificador. Variables libres y ligadas
37. el cuadro de oposicin
38. las proposiciones generales complejas no categricas
39. leyes lgicas
Seccin B. los razonamientos con predicados mondicos
40. el mtodo demostrativo
40.1. Intercambio de cuantificadores
40.2. distributividad de cuantificadores
40.3. reglas de ejemplificacin y generalizacin
Seccin C. Las proposiciones con predicados polidicos
41. predicados mondicos y polidicos. Grado de un predicado
42. funciones proposicionales y proposiciones generales con predicados
polidicos
43. Leyes lgicas
Seccin D. los razonamientos con predicados polidicos
44. el mtodo demostrativo
44.1. intercambio y communtacion de cuantificadores
44.2. reglas de ejemplificacin y generalizacin
Bibliografa
Capitulo 5. Lgica de clases
Seccin A. clases y proposiciones
45. el concepto de clase
46. distintos modos de caracterizar clases
47. pertenencia de los individuos a una clase
48. relaciones entre clases
48.1. inclusin de clases
48.2. igualdad de clases
49. las clases segn el numero de sus miembros
49.1. clases finitas e infinitas
49.2. clases unitarias
49.3. la clase vaca
49.4. la clase universal
50. operaciones entre clases
50.1. interaccin de clases
50.2. clases disyuntivas
50.3. unin de clases
50.4. diferencia relativa de clases
50.5. diferencia absoluta o complemento de una clase
51. representacin de operaciones entre clases mediante crculos
52. representacin de operaciones entre clases mediante elipses
53. leyes lgicas
54. clases que pertenecan a otras

65
66
69
70
72
75
76
80
81
83
85
88
94
96
99
100
101
102
104

105
106
107
110
114

115
116
117
18
119
120
122
128
132
139

Seccin B. Razonamientos
55. el silogismo categrico de la lgica tradicional
56. mtodos del os diagramas de Venn aplicado a razonamiento
silogsticos
57. mtodos del os diagramas de Venn aplicado a razonamiento no
silogsticos
Bibliografa
Capitulo 6. Lgica de relaciones
58. el concepto de relacin y de par ordenado
59. referente. Relato, alcance, rango y universo de discurso de una
relacin
60. dominio, codominio y campo de una relacin
61. relaciones entre relaciones
61.1. Inclusin
6.1.2. igualdad de relaciones
62. relacin vaca y relacin universal
63. operadores entre relaciones
63.1. interseccin
63.2. relaciones disyuntivas
63.3. unin de relaciones
63.4. diferencia relativa entre relaciones
63.5. complemento de una relacin
63.7. Producto relativo de relaciones
64. leyes lgicas
65. propiedades de las relaciones
65.1. respecto a la flexibilidad
65.2. respecto de la simetra
65.3. respecto de la transitividad
65.4. respecto de la conexidad
66. relacin de equivalencia y clases de equivalencia
67. relaciones de orden
67.1. orden parcial no estricto
67.2. orden parcial estricto
67.3. orden parcial no estricto
67.4. orden parcial estricto, o serie
68. Tipos de relaciones
68.1. relaciones unimultvocas
68.2. relaciones multiunvocas
68.3. relaciones uniunvocas o biunvocas
68.4. relaciones multimultvocas
Bibliografa
Segunda parte: elementos de metodologa de la ciencia
Capitulo 7. Elementos de metodologa de la ciencia
69. caracteres del conocimiento cientfico
69.1. la objetividad
69.2. la verificabilidad
69.3. la sistematicidad
69.4. la ciencia es metdica
69.5. la ciencia es comunicable

140
141
147
160
168
169
171
172
176
176
177
178

179
180
182
183
184
185
186
189
190
191
192
195
196
197
198
200

201

202

70. Clasificacin de las ciencias

71. el mtodo de las ciencias formales
71.1. propiedades de los sistemas axiomticos
72. el mtodo de las ciencias fcticas
72.1. concepto de hiptesis cientfica
72.2. vocabulario de una teora cientfica
72.3. estructura de una teora
72.4. valoracin de una teora
72.5. explicacin y prediccin
73. importancia social de la investigacin cientfica
Bibliografa

203
208
210
211
212
214
215
216
218