TY - BOOK AU - Orman Quine, Willard Van TI - Los Métodos de la Lógica U1 - 160 / PY - 1969/// CY - Madrid, España PB - Ediciones Ariel KW - Lógica N2 - 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 ER -