Índice General

3.

17

4.

19

5.

20

II.

Lógica sentencial

23

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