El desarrollo de la lógica / William Kneale y Martha Kneale ; traducción : Javier Muguerza

Prefacio, XIII.-- Los comienzos, 1.-- La noción de validez, 1.-- La demostración geométrica, 2- La argumentación dialéctica y metafísica, 6.-- La erística y la sofistica, 11.-- Platón y la filosofía de la lógica, 15.-- El organon de Aristóteles, 22.-- El contenido del organon, 22.-- La doctrina de las categorías y sus consencuencias lógicas, 24.-- Los tópicos, 31.-- La teoría aristotélica del significado y la verdad, 42.-- Las cuatro formas del enunciado general, 52.-- La doctrina del silogismo, 64.-- La lógica modal aristotélica, 78.-- La lógica no-silogística en los Analíticos, 91.-- La escuela aristotélica : Teofrasto, 94.-- Los megáricos y los estoicos, 107.-- La filosofía megárica y los orígenes de la lógica estoica, 107.-- Teorías megáricas y estoica de la modalidad, 111.-- El debate en torno a la naturaleza de los condicionales, 121.-- La teoría estoica del significado y la verdad, 131.-- El sistema estoico de los esquemas de inferencia, 151.-- La lógica Romana y medieval, 168.-- De cicerón a Boecio, 168.-- De Alcuino a Abelardo, 186.-- La lógica de las universidades, 210.-- Propietates terminorum, 230.-- Consequentiae, 255.-- La lógica Postrenacentista, 276.-- El humanismo y el nacimiento de la ciencia natural, 276.-- Los intereses de Leibniz, 296.-- El «Calculus de continentibus et contentis» Jeibnziano, 310.-- De saccheri a Hamilton, 319.-- Bolzano y Mill, 331.-- La abstracción matemática, 351.-- Geometría y axiomática, 351.-- Números y funciones, 361.-- Boole y el álgebra de la lógica, 373.-- Ulteriores desarrollos del álgebra booleana, 389.-- La teoría de las relaciones : De Morgan y Peirce, 395. Números, conjuntos y series, 402.-- Frege y sus contemporáneos, 402.-- La teoría cantoriana de conjuntos, 405.-- Frege y sus predecesores, 409.-- Las definiciones fregeanas de los números naturales, 421.-- La serie numérica : Dedekind y peano, 431.-- EL DESARROLLO DE LA LÓGICA / La teoría general de Frege, 441.-- La begriffsschrift, 441.-- Sentido y referencia : objetos y funciones, 456.-- La lógica de los grundgesetze, 465.-- Balance de la contribución de Frege, 471.-- Desarrollos formales posteriores a Frege, 475.-- El simbolismo y sus variedades, 475.-- Métodos de presentación : axiomas y reglas, 486.-- Deducción natural y desenvolvimiento, 499.-- La lógica modal, 509.-- En torno a la posibilidad de lógicas alternativas, 528.-- La filosofía de la lógica después de Frege, 536.-- La teoría de las descripciones y las diversas especies de designación, 552.-- La problemática de la intencionalidad, 559.-- Identidad, funciones y clases, 575.-- Necesidad y lenguaje, 585.-- La filosofía de matemática después de Frege, 606.-- Las paradojas de la teoría de conjuntos, 606.-- La teoría russelliana de los tipos lógicos, 611.-- El intuicionismo de Brouwer, 625.-- El programa matemático hilbertiano, 633.-- La teoría de los sistemas deductivos, 641.-- La metateoría de la lógica primaria, 641.-- La metateoría de la lógica general, 653.-- La incompletabilidad de la aritmética formal, 663.-- El problema de la decisión, 674.-- El puesto de la lógica entre las ciencias, 685.-- Selección bibliográfica, 691.-- Índice de autores y materias, 697.