JOSE A. ARNAZ
INICIACION A LA LOGICA SIMBOLICA
TRILLAS
Páginas: 106
Formato:
Peso: 0.22 kgs.
ISBN: 968243572-2
Encuadernación: TAPA SUAVE
Año de edición: 1990
Colección: TEMAS BASICOS. METODOLOGIA DE LA CIENCIA
La lógica formal se ocupa de determinar cuándo un argumento es correcto o incorrecto. Desde sus inicios hasta nuestros días, se ha desarrollado como ciencia rigurosa, con un lenguaje técnico elaborado y preciso, pues la utilización que hace del simbolismo le permite evitar las conclusiones y ambigüedades del lenguaje natural. A la lógica formal, en su actual estado de desarrollo, se le conoce como lógica simbólica o lógica matemática, denominaciones que hacen alusión a su uso sistemático del simbolismo y al parecido de sus procedimientos con la matemática, de la cual, sin embargo, no es una rama o disciplina. Los conceptos fundamentales de esta ciencia son expuestos con notable claridad y sencillez en este texto.
Unidad 1 - Lógica Proporcional
* El lenguaje de la lógica
proposicional
* Proposiciones simples y compuestas
* Argumentos en la lógica proposicional
Unidad 2 - Lógica cuantificacional
* Las partes de una proposición simple
* Las relaciones entre proposiciones
generales
* Argumentos en la lógica
cuantificacional