Sarmiento Reyes, Juan Carlos

Lógica formal y lógica matemática : un texto-guía / Juan Carlos Sarmiento Reyes - 160 páginas ; 17 x 24 cm. 1 ejemplar - Cuadernos del CIDS. Serie II ; 7 .

I. El lenguaje y sus funciones. A. El origen de las lógicas no ortodoxas: la paradoja de Russell y la lógica paraconsistente. B. Los usos del lenguaje: explicaciones. II. Lógica de términos. A. La teoría del concepto. B. La teoría del juicio. C. La teoría del razonamiento. III. La lógica matemática. A. La representación de las proposiciones, su negación, sus conectores y sus agrupaciones en la lógica matemática proposicional. B. Las tablas de verdad. C. El análisis de certeza. D. Las inferencias tautológicas. E. Los dilemas. F. Las demostraciones inferenciales. G. Las equivalencias tautológicas. H. Las demostraciones mixtas. I. Un simulacro: inferenciasa tautológicas. IV. La lógica de la ciencia. A. Los propósitos de las ciencias nometéticas. B. Los productos de las ciencias nomotéticas. V. Algunas lecturas complementarias: lógicas alternativas y otros asuntos. A. El origen de las lógicas no clásicas. B. Las inconsistencias. C. El origen de las inconsistencias. D. La lógica paraconsistente: un tipo de pensamiento alternativo. E. La lógica dialéctica y la lógica de los mitos: un estudio desde la paraconsistencia.

Psicología



 9789587728972


LÓGICA SIMBÓLICA Y MATEMÁTICA
MATEMÁTICAS CONSTRUCTIVAS
FILOSOFÍA DE LAS MATEMÁTICAS
RAZONAMIENTO

511.3