000			01980cam a2200229 4500
999			_c51828 _d51828
003			UAHC
005			20190731064641.0
008			190320s2005 sp |||| |||| 00| 0 spa d
020			_a8430937471
035			_aCENTRAL
040			_aUAHC_CL _cUAHC_CL _dUAHC_CL
082			_221 _a511.3 _bG241
100			_aGarrido, Manuel _d1925-2015 _97251
245			_aLógica simbólica _cManuel Garrido.
250			_a4a ed.
260			_aMadrid: _bTecnos, _c2005.
300			_a540 p.
440			_97253 _aFilosofía y ensayo
520			_aLa lógica simbólica es un instrumento que sirve de ayuda al ejercicio inteligente sel sentido común y a la práctica de la investigación científica y la reflexión filosófica. Forma parte del bagaje cultural del hombre del siglo XX, y el radi se sus aplicaciones comprende esferas tan diversas del saber como lamatemática, la lingüística, la informática, las ciencias naturales y sociales, la jurisprudencia y la filosofía. Este libro es una introducción a la lógica simbólica para personas de formación humanística. Su objetivo es facilitar a lectores que carezca de base matemática y científica, sin ayuda de profesor, un dominio de las técnicas modernas de deducción lógica, e introducir a los alumnos de humanidades en la compresión de las principales nociones teóricas que sirven de fundamento a la metodología de las ciencias educativas. A diferencia de la mayoría de manuales y tratados de lógica simbólica o matemática, esta obra toma también en consideración la lógica tradicional aristotélica; da cuenta completa, sin ceñirse a uno solo, de la pluralidad de métodos deductivos que enriquecen la lógica contemporánea; incluye un tratamiento de la automatización de la lógica y de sus conexiones con la informática, y explora sumariamente, a través de su historia, las relaciones de la lófica con la filosofía y con la ciencia matemática.
650		0	_97252 _aLógica matemática
942			_2ddc _cBK