Ciencia Cognitiva

Páginas: 6 (1389 palabras) Publicado: 9 de febrero de 2013
DOCTORADO EN EDUCACIÓN TECNOLOGÍCA

CIENCIA COGNITIVA EN TECNOLOGÍA EDUCATIVA

ASESOR:
Alfonso Fernando Sánchez Muñoz

ACTIVIDAD 2
El cambio de la Educación en la actualidad

QUE PRESENTA:
ALBERTO ZAVALA ALMARAZ

Lagos de Moreno Jalisco, a 27 de enero de 2013
Línea del tiempo con los investigadores más importantes de la Ciencia Cognitiva y sus aportaciones.

|Año|Autor |Aportación a la Ciencia Cognitiva |
|siglo trece |Ramón Llull |Combinaba los razonamientos al azar mediante un mecanismo oriental llamado “zairja”. |
|1854 |Boole |Intentó realizar una formalización algebraica de las leyes del pensamiento mediante la teoría |
|| |de conjuntos al asociar propiedades a los objetos y agruparlos en clases según la presencia o |
| | |ausencia de cierta propiedad. Posteriormente asignó símbolos a las operaciones necesarias y |
| | |suficientes para combinar los elementos de esas clases para así tener una notaciónrápida en |
| | |su manejo. |
|1879 |Frege |Desarrolló un formalismo en el que expresar proposiciones más complejas que tuviesen en cuenta|
| | |situaciones más generales o abstractas llamado lógica de predicados, en elcual se asignaba o |
| | |“predicaba” un valor de verdad (verdadero o falso) a cierta proposición, y creó un cálculo |
| | |algebraico con ese formalismo. |
| |Garrido |Algo tan vital para un sistema deductivo como elcertificado de normalidad psiquiátrica para |
| | |un ciudadano respetable. La completitud de un sistema indica que todas las proposiciones |
| | |verdaderas que pueden expresarse en el sistema son formalmente deducibles de los axiomas. |
|1902 |Rusell |Le indicó a Frege la presencia de“paradojas” o contradicciones dentro de su sistema, con lo |
| | |que no se conseguía la perseguida formalización del pensamiento. |
|1910 |Russell y Whitehead |Publicaron los Principia Mathematica, donde se intentaba reducir las matemáticas a la lógica |
| | |mostrando cómo todas lasmatemáticas se siguen de premisas puramente lógicas y usan conceptos |
| | |solamente definibles en términos lógicos. |
| |Hilbert |Trabajando en la axiomatización de toda la matemática y en la demostración de la consistencia |
| | |de los sistemasformales |
| |Frege y Russell |Trataron de construir pruebas “absolutas” de consistencia, en las que no se necesitase |
| | |utilizar premisas y métodos de otro sistema que el que se quiere probar |
|1931 |Gödel|Demostró mediante métodos aritméticos finitistas, que había proposiciones válidas (bien |
| | |formadas) en el sistema de los Principia Mathematica y en general, en todo sistema axiomático |
| | |aritmetizable en el que toda expresión que se pudiera probar fuese correcta en cuanto a su |
| |...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Ciencias Cognitivas
  • Ciencia cognitiva
  • Ciencia Cognitiva
  • Ciencias Cognitivas
  • Ciencias Cognitivas
  • Ciencia Cognitiva
  • Ciencia Cognitiva
  • Ciencia Cognitiva

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS