Lógica formal. Tratado de lógica 2

Lógica formal. Tratado de lógica 2

Pentalfa Ediciones, España, 1982, Castellano, 15 x 22cm, 350pp.
Pentalfa ha asumido el proyecto de un Tratado de Lógica en cuatro volúmenes dedicados a: (I) Lógica filosófica, (II) Lógica formal, (III) Lógica material, (IV) Historia de la Lógica. Cada volumen es autónomo (desde el punto de vista de su inteligibilidad), si bien su pleno significado cuando se le considera como parte de un sistema de lógica más amplio. El presente libro constituye el volumen segundo de este Tratado: Lógica Formal. Un libro que constituye una exposición clara y original de las principales categorías lógico-formales –una exposición que contiene notables ampliaciones cuando se la compara con los manuales ordinarios (grupos de transformaciones, cotejo de conceptos hilbertianos y russellianos con conceptos escolásticos)–. La exposición de Julián Velarde está calculada también para facilitar el máximo rendimiento académico (ejercicios, bibliografía, &c.).

Julián Velarde Lombraña (Avellanedo, Cantabria 1945), estudió Filosofía en las Universidades de Oviedo y Valencia, doctorándose en ésta última con una tesis sobre la Teoría Lingüística de Chomsky. Ha colaborado en la revista Teorema y, luego, en la revista El Basilisco, en temas preferentemente de lógica. Es catedrático de Teoría del Conocimiento en la Universidad de Oviedo. Ha traducido obras de Platón (Protágoras, en esta editorial), Aristóteles, Caramuel, Leibniz (Monadología, Pentalfa) y Peano (Los principios de la Aritmética, Pentalfa 1979) y ha publicado Gnoseología de la Gramática Generativa (1981), Proyecto de lengua universal ideados por españoles (1987), Vida y Obra de Caramuel (Pentalfa 1988).

Normal. Leves manchas en los bordes.