|
|
6. Juicio, proposición y
sentencia
|
23
|
|
|
7. Conectivas
|
26
|
|
|
8. Tablas de verdad
|
30
|
|
|
9. Tautologías. Leyes de la lógica
sentencial
|
40
|
|
|
10. La prueba en la lógica
sentencial
|
40
|
|
|
11. Cálculo sentencial
|
51
|
|
|
12. Lógicas polivalentes
|
59
|
|
|
13. Lógicas modales
|
63
|
|
|
|
|
|
III.
|
Lógica cuantificacional
|
67
|
|
|
14. Argumento y predicado
|
67
|
|
|
15. Los cuantificadores 'todos' y
'algunos'
|
72
|
|
|
16. Leyes de la lógica
cuantificacional
|
78
|
|
|
17. La prueba en la lógica
cuantificacional
|
92
|
|
|
18. Cálculo cuantificacional
|
96
|
|
|
19. La deducción natural
|
99
|
|
|
|
|
|
IV.
|
Lógica de la identidad
|
103
|
|
|
20. El signo de identidad
|
103
|
|
|
21. Leyes de la lógica de la
identidad
|
105
|
|
|
22. Cuantificadores numéricos
|
108
|
|
|
23. Descripciones
|
111
|
|
|
|
|
|
V.
|
Lógica de las clases
|
119
|
|
|
24. La noción de clase
|
119
|
|
|
25. Nociones de álgebra de clases
|
122
|
|
|
26. Representación gráfica de las
clases
|
129
|
|
|
27. El silogismo en el álgebra de
clases
|
132
|
|
|
28. Leyes del álgebra de clases
|
139
|
|
|
|
|
|
VI.
|
Lógica de las relaciones
|
145
|
|
|
29. La noción de relación
|
145
|
|
|
30. Nociones del álgebra de
relaciones
|
147
|
|
|
31. Leyes del álgebra de relaciones
|
149
|
|
|
32. Converso, producto relativo e
imagen
|
150
|
|
|
33. Propiedades de las relaciones
|
155
|
|
|
34. Funciones
|
157
|
|
|
|
|
|
VII.
|
Lógica cuantificacional superior
|
161
|
|
|
35. La ampliación del lenguaje
lógico
|
161
|
|
|
36. Las paradojas lógicas
|
163
|
|
|
37. Soluciones a las paradojas
lógicas
|
166
|
|
|
38. Teoría intensional de los tipos
|
168
|
|
|
39. Teoría extensional de los tipos
|
171
|
|
|
40. Las paradojas metalógicas
|
175
|
|
|
|
|
|
VIII.
|
Metalógica
|
181
|
|
|
41. Sintaxis
|
181
|
|
|
42. Algunos resultados en sintaxis
|
188
|
|
|
43. La aritmetización godeliana de la
sintaxis
|
192
|
|
|
44. El concepto de designación
|
194
|
|
|
45. La controversia sobre las entidades
abstractas
|
198
|
|
|
46. Los conceptos de validez y de
verdad
|
203
|
|
|
47. Pragmática
|
207
|
|
|
|
|
|
|
Apéndice: Bibliografía
|
211
|
