Contenido: Parte Primera: Funciones veritativas: 1. Negación, conjunción y disyunción. 2. Funciones veritativas. 3. El condicionaL 4. Agrupación. 5. Análisis veritativo-funcional. 6. Consistencia y validez. 7. Implicación. 8. Palabras en símbolos. 9. Equivalencia. 10. Esquemas normales. 11. Dualidad. Parte Segunda: Cuantificación uniforme: 12. Enunciados categóricos. 13. Diagramas de Venn. 14. Silogismos. 15. Límites de estos métodos. 16. Cuantificación. 17. ESquemas cuantificacionales uniformes. 18. Validez. 19. Equivalencia, esquemas canónicos. 20. Prueba de consistencia. 21. Prueba de implicación. Parte Tercera: Teoría general de la cuantificación: 22. Generalización de la cuantificación. 23. Esquemas cuantificacionales y predicados. 24. Validez de los esquemas cuantificacionales. 25. Sustitución en esquemas cuantificacionales. 26. Leyes de la implicación. 27. Deducción. 28. Perfeccionamiento del método. 29. Técnica deductiva. 30. Problemas poliádicos. 31. Aplicación. 32. Naturaleza de la teoría de la cuantificación. Parte Cuarta: 33. Existencia e inferencia singular. 34. Términos singulares y términos generales. 35. Identidad. 36. Descripciones. 37. Eliminación de términos generales. 38. Clases. 39. El número. 40. Relaciones. 41. Teoría de las clases, matemática y teoría de la demostración. 42. Otras teorías de clases. Apéndice: Completud de la teoría de la cuantificación. El teorema de Löwenheim. Bibliografía.
Atención NO ES UNA RESERVA!
Es solo a los efectos de disponer de los datos del ejemplar para solicitarlo a biblioteca.
Tenga presente también que puede seleccionar favoritos
(los documentos que le interesen) durante su
sesión y obtener una lista de ellos.
Formulario para Solicitud de Material
Quine, Williard van Orman
Los métodos de la lógica [ENSAYO]. -- Buenos Aires : Ariel, 1962
Contenido: Parte Primera: Funciones veritativas: 1. Negación, conjunción y disyunción. 2. Funciones veritativas. 3. El condicionaL 4. Agrupación. 5. Análisis veritativo-funcional. 6. Consistencia y validez. 7. Implicación. 8. Palabras en símbolos. 9. Equivalencia. 10. Esquemas normales. 11. Dualidad. Parte Segunda: Cuantificación uniforme: 12. Enunciados categóricos. 13. Diagramas de Venn. 14. Silogismos. 15. Límites de estos métodos. 16. Cuantificación. 17. ESquemas cuantificacionales uniformes. 18. Validez. 19. Equivalencia, esquemas canónicos. 20. Prueba de consistencia. 21. Prueba de implicación. Parte Tercera: Teoría general de la cuantificación: 22. Generalización de la cuantificación. 23. Esquemas cuantificacionales y predicados. 24. Validez de los esquemas cuantificacionales. 25. Sustitución en esquemas cuantificacionales. 26. Leyes de la implicación. 27. Deducción. 28. Perfeccionamiento del método. 29. Técnica deductiva. 30. Problemas poliádicos. 31. Aplicación. 32. Naturaleza de la teoría de la cuantificación. Parte Cuarta: 33. Existencia e inferencia singular. 34. Términos singulares y términos generales. 35. Identidad. 36. Descripciones. 37. Eliminación de términos generales. 38. Clases. 39. El número. 40. Relaciones. 41. Teoría de las clases, matemática y teoría de la demostración. 42. Otras teorías de clases. Apéndice: Completud de la teoría de la cuantificación. El teorema de Löwenheim. Bibliografía.
1. 160; 2. Lógica-métodos; 3. Lógica simbólica I. Sacristán, Manuel
Pérgamo OPAC Web