Los Métodos de la Lógica
Orman Quine, Willard Van
Los Métodos de la Lógica - Madrid, España: Ediciones Ariel; 1969. - 362 Paginas: 22 cm.;
Funciones Veritativas.-- Negación, conjunción y disyunción.-- El condicional.-- Agrupación.-- Analisis veritativo- funcional.-- Consistencia y validez.-- Implicación.-- Palabras en símbolos.-- Equivalencias.-- Esquemas normales.-- Dualidad.-- Cuantificación uniforme.-- Enunciados categóricos.-- Diagramas de Venn.-- Silogismos.-- Limites de estos métodos.-- Cuantificación.-- Teoría general de la cuantificación.-- Generalización de la cuantificación.-- Valides de los esquemas cuantificacionales.-- Leyes de implicación.-- Perspectivas ulteriores.-- Existencias e inferencia singular.-- Términos singulares y términos generales.- - Identidad.-- Descripciones.-- Eliminación de términos singulares.-- Teorías de las clases, matemática y teoría de la mostración.-- Otras teorías de clases.
Lógica
160 / / Q73L / CG
Los Métodos de la Lógica - Madrid, España: Ediciones Ariel; 1969. - 362 Paginas: 22 cm.;
Funciones Veritativas.-- Negación, conjunción y disyunción.-- El condicional.-- Agrupación.-- Analisis veritativo- funcional.-- Consistencia y validez.-- Implicación.-- Palabras en símbolos.-- Equivalencias.-- Esquemas normales.-- Dualidad.-- Cuantificación uniforme.-- Enunciados categóricos.-- Diagramas de Venn.-- Silogismos.-- Limites de estos métodos.-- Cuantificación.-- Teoría general de la cuantificación.-- Generalización de la cuantificación.-- Valides de los esquemas cuantificacionales.-- Leyes de implicación.-- Perspectivas ulteriores.-- Existencias e inferencia singular.-- Términos singulares y términos generales.- - Identidad.-- Descripciones.-- Eliminación de términos singulares.-- Teorías de las clases, matemática y teoría de la mostración.-- Otras teorías de clases.
Lógica
160 / / Q73L / CG