Logica matematica.

Capa......Page 1
Contracapa......Page 230
Título......Page 5
Copyright......Page 6
Índice General......Page 225
Prólogo a la Primera Edición......Page 7
Nota a la Segunda Edición......Page 8
§1. El lenguaje lógico......Page 9
§2. Lenguaje y metalenguaje......Page 13
§3. Semiótica......Page 17
§4. Lógica deductiva y lógica inductiva......Page 19
§5. El formalismo en la lógica......Page 20
§6. Juicio, proposición y sentencia......Page 23
§7. Conectivas......Page 26
§8. Tablas de verdad......Page 30
§9. Tautologías. Leyes de la lógica sentencial......Page 40
§10. La prueba en la lógica sentencial......Page 45
§11. Cálculo sentencial......Page 51
§12. Lógicas polivalentes......Page 59
§13. Lógicas modales......Page 63
§14. Argumento y predicado......Page 67
§15. Los cuantificadores ‘todos’ y ‘algunos’......Page 72
§16. Leyes de la lógica cuantificacional......Page 78
§17. La prueba en la lógica cuantificacional......Page 92
§18. Cálculo cuantificacional......Page 96
§19. La deducción natural......Page 99
§20. El signo de identidad......Page 103
§21. Leyes de la lógica de la identidad......Page 105
§22. Cuantificadores numéricos......Page 108
§23. Descripciones......Page 111
§24. La noción de clase......Page 119
§25. Nociones del algebra de clases......Page 122
§26. Representación gráfica de las clases......Page 129
§27. El silogismo en el álgegra de clases......Page 132
§28. Leyes del álgebra de clases......Page 139
§29. La noción de relación......Page 145
§30. Nociones del álgebra de relaciones......Page 147
§31. Leyes del álgebra de relaciones......Page 149
§32. Converso, producto relativo e imagen......Page 150
§33. Propriedades de las relaciones......Page 155
§34. Funciones......Page 157
§35. La ampliación del lenguaje lógico......Page 161
§36. Las paradojas lógicas......Page 163
§37. Soluciones a las paradojas lógicas......Page 166
§38. Teoría intensional de los tipos......Page 168
§39. Teoría extensional de los tipos......Page 171
§40. Las paradojas metalógicas......Page 175
§41. Sintaxis......Page 181
§42. Algunos resultados en sintaxis......Page 188
§43. La aritmetización gödeliana de la sintaxis......Page 192
§44. El concepto de designación......Page 194
§45. La controversia sobre las entidades abstractas......Page 198
§46. Los conceptos de validez y de verdad......Page 203
§47. Pragmática......Page 207
Grupo I: Estudios de historia de la lógica......Page 211
Grupo II: Obras de interés histórico (de Leibniz a Russell)......Page 212
(a) Lógica general......Page 214
(f) Lógica combinatória......Page 215
(k) Lógica probabilitaria......Page 216
A-B-C......Page 219
D-E-F......Page 220
G-H-I-J-K-L......Page 221
M-N-O-P-Q-R......Page 222
S-T-U-V-W-Z......Page 223