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
Universidad Católica de Colombia
La Universidad Católica de Colombia es una Institución de Educación Superior sujeta a inspección y vigilancia por el Ministerio de Educación, reconocida mediante Resolución Número 2271 de julio 7 de 1970 del Ministerio de Justicia.
Universidad Católica de Colombia © Copyright 2017
Universidad Católica de Colombia • PBX: (57 1) 3 27 73 00 - (57 1) 3 27 73 33
Bogotá, Avenida Caracas # 46 -72, sede Las Torres • Bogotá, Carrera 13 # 47 – 30, Sede 4​ • Bogotá, Diagonal 46 A # 15 B – 10, sede El Claustro
Bogotá, Carrera 13 # 47 – 49, sede Carrera 13