000 | 02645nam a22003377a 4500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20241219125640.0 | ||
008 | 230802b2008 xxu||||| |||| 00| 0 spa d | ||
020 | _a8429151508 | ||
040 |
_c00001 _aUnicoc _bspa _d00001 |
||
082 | _a160 | ||
100 |
_911491 _aSagüillo Fernández-Vega, José Miguel |
||
245 |
_aEl pensamiento lógico matemático _b: elementos de heurística y apodíctica demostrativa _c/ José Miguel Sagüillo Fernández-Vega |
||
250 | _a1 ed. | ||
260 |
_aBogotá : _bAkal , _c2008 |
||
300 | _a94 páginas | ||
440 |
_911492 _aHistoria del pensamiento y la cultura _v73 |
||
505 |
_tEl marco metalingüístico de la lógica de las ciencia deductivas. -- _tHipótesis; comprensión y juicio de las proposiciones matemáticas. -- _tEl método deductivo y el método hipotético-deductivo; pruebas, dedcucciones, falacias y paradojas - Sobre las relaciones entre la lógica, la matemática y la lógica matemática. -- _tAplicaciones elementales: aritmética y teoría de conjunto. -- _tLa práctica: heurística y apodíctica en fragmentos de ciencias deductivas. |
||
520 | _aEl pensamiento lógico-matemático reúne una serie de aspectos recurrentes que son identificables a lo largo de su historia. Desde los resultados incipientes de la aritmética pitagórica y de la geometría euclídea, hasta los desarrollos modernos de los correspondientes sistemas abstractos de la aritmética de Peano-Gödel y de la geometría de Hilbert, las ciencias deductivas exhiben una tradición de pensamiento sólidamente fundada en el valor epistémico de la prueba clásica. Esta progresión no ha estado exenta de crisis abruptas y convulsas derivadas de la tensión que origina el intento de expandir el conocimiento, como cuando un nuevo descubrimiento matemático pone en entredicho lo que hasta entonces era considerado verdadero. Paradojas tales como la derivada del descubrimiento de la inconmensurabilidad de la diagonal con el lado de un cuadrado en los tiempos pitagóricos, o las derivadas del descubrimiento de algunas contradicciones en la moderna teoría de conjuntos, dan cuenta también de esta tensión. | ||
526 | _5Unicoc | ||
546 | _aEspañol | ||
650 | 0 |
_96717 _aLóg̤ica simbólica y matemática. |
|
650 | 0 |
_911493 _ahHurística (Lógica) |
|
650 | 0 |
_910498 _aEnseñanza de las matemáticas |
|
650 | 0 |
_97108 _aMetodología de la investigación |
|
650 | 0 |
_99329 _aRazonamiento lógico |
|
658 | 0 |
_98008 _aPrograma de Derecho |
|
658 | 0 |
_98220 _aPrograma de Ingeniería de Sistemas |
|
658 | 0 |
_98260 _aPrograma de Ingeniería Industrial |
|
942 |
_2ddc _cLIBROS |
||
999 |
_c10277 _d10277 |