Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310

ISSN 1405-7743 FI-UNAM

(artculo arbitrado)

Lgica y abstraccin en la formacin de ingenieros:

una relacin necesaria
Logic and Abstraction in Engineering Education: A Necessary Relationship

Serna M. Edgar

Polo Jos Antonio

Instituto Tecnolgico Metropolitano, Medelln Colombia

Correo: edgarserna@itm.edu.co

Corporacin Universitaria Remington, Medelln Colombia

Correo: jose.polo@remington.edu.co

Informacin del artculo: recibido: febrero de 2013, aceptado: abril de 2013

Resumen
Este artculo se enfoca en la lgica y la abstraccin vistas como una relacin
necesaria en los procesos formativos de los ingenieros. Se describe la importancia y la necesidad de formar en esta rea del conocimiento y de la relacin
entre el ejercicio profesional de los ingenieros y el desarrollo y potencializacin de su capacidad lgico-interpretativa y abstractiva para la resolucin de
portancia de estos dos componentes, vistos estructuralmente desde el currculo. Es el producto de una primera fase de la investigacin sobre desarrollo
de la capacidad lgico-interpretativa y abstractiva como componente bsico
para el ejercicio profesional de los ingenieros.

Descriptores:





SURFHVRVIRUPDWLYRV
LQJHQLHUtD
SHQVDPLHQWROyJLFR
FDSDFLGDGDEVWUDFWLYD

Abstract
This article is about the logic and abstraction seen as a necessary relation in the
formative process engineers. It describes the importance and the need for training in
this area of knowledge and the relationship between professional exercise of the engineers and the development and/or potentiation of logical-interpretative and abstrac 
importance of these two components, viewed structurally from the curriculum. It is

abstractive as a basic component for professional exercise of the engineers.

Keywords:

training processes
engineering
logical thinking
ability abstractive

Lgica y abstraccin en la formacin de ingenieros: una relacin necesaria

Introduccin
En el mundo moderno la ingeniera se concibe como
una disciplina cada vez ms dominada por las tcnicas
de modelado, una prctica que requiere procesos como
comprender el problema, abstraer, modelar y construir,
as como evaluar los diseos antes de la fabricacin fsica de un producto. Adems, la mayora de los sectores
ciales para su ejercicio profesional, como pensamiento
lgico, resolucin de problemas y capacidad de abstraccin. Las personas se sienten atradas por la ingeniera porque les gusta aplicar la ciencia y usar sus

acuerdo con la revisin al estado del arte, la formacin
que se imparte en la mayora de programas de ingeniera no orienta a los estudiantes en pro de alcanzar ese
objetivo, por lo que la recomendacin es estructurar y

potencializacin de sus capacidades en lgica y abstraccin, con la meta de lograr profesionales creativos en
tos y operaciones necesarias para resolver los problemas de la sociedad de este siglo.
David Parnas, un pionero de la ingeniera de software, dijo alguna vez que para los ingenieros es esencial una slida formacin y comprensin de la lgica y
la abstraccin, porque junto a la ingeniera son reas
que no se pueden interpretar libremente. La ingeniera
trata los procesos necesarios para construir cosas, generalmente con un propsito preconcebido, y quien la
practica debe aplicar su ingenio para lograrlo. La abstraccin es un proceso mental para eliminar detalles
con el objetivo de centrarse en lo realmente importante
del problema para generar un modelo abstracto de la
solucin. Por otro lado, la lgica se enfoca en la esfera
de una verdad formal a priori, abarca las matemticas y
es crucial para la ingeniera porque es la base sobre la
delos abstractos o matemticos.
La capacidad para resolver problemas es un componente importante en el ejercicio profesional de los ingenieros, e inclusive puede ser el ncleo de su ejercicio.

siglo est dominando cada vez ms el contenido intelectual de esta rea del conocimiento y los principios de
la lgica y la abstraccin cobran especial importancia
para potencializarla. Las soluciones propuestas a los

en procedimientos y modelos construidos con fundamentos lgicos slidos, pero en los procesos formativos
la revolucin y aplicacin de la lgica apenas se prev y

300

la responsabilidad se delega a las matemticas como un

nico ncleo alrededor del cual giran los procesos ingenieriles.
Desarrollar la lgica de estos procesos debe ser una
etapa natural, porque permitir a los ingenieros apro
para resolver los problemas cada vez ms complicados
de la sociedad actual. Si bien la lgica y la abstraccin
son cuestiones necesarias para que un estudiante comprenda el mundo y potencialice sus competencias, la
mayora de contenidos curriculares apenas las mencionan, no se estructuran adecuadamente uno con otro ni
se proponen como fundamento para desarrollar competencias en los estudiantes, aunque esta posibilidad es
una parte importante de la motivacin para que decidan iniciar programas en esta rea de formacin.
En este artculo se describe la importancia y la necesidad de formar adecuadamente a los ingenieros en lgica y abstraccin, con el objetivo de capacitarlos para
comprender, analizar y modelar los problemas de la
informacin y el conocimiento en la sociedad actual, y

trabajo es producto de la primera fase del proyecto de
investigacin: desarrollo de la capacidad lgico-interpretativa y abstractiva como componente bsico para el
ejercicio profesional de los ingenieros.

Cuestiones clave
portantes que deben desarrollar los estudiantes en cual 
paga a los profesionales para resolver problemas y la
vida cotidiana gira constantemente alrededor de la resolucin de los mismos (Popper, 1999). Cada da nos
enfrentamos a problemas, grandes y pequeos, simples
y complejos, claros y confusos, pero paradjicamente
en las instituciones de formacin sus procesos parecen
ignorar en gran medida la necesidad de desarrollar y/o
potencializar la capacidad lgico-interpretativa y abstractiva en los estudiantes.
De acuerdo con la literatura revisada para el proyecto de investigacin, prcticamente no se encontraron
referencias de cmo desarrollar esa capacidad, y muy
poca informacin acerca del diseo instruccional orientado a la resolucin de problemas. En las primeras ediciones de su libro, Gagn (1960) se refera a la resolucin
de problemas, pero en ediciones posteriores al parecer
se dio por vencido
orden superior y se adentr en otros terrenos Por qu?
Si los problemas son pandmicos y solucionarlos es
esencial para la actividad cotidiana y profesional por

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

Serna M. Edgar, Polo Jos Antonio

y resolverlos adecuadamente?
 miento de la informacin de resolucin de problemas

el desarrollo de este tema. Ejemplos de ello son el General Problem Solver (Newell y Simon, 1972), un modelo

asociados con la capacidad para resolver problemas: 1)
queda; otro es el IDEAL (Bransford, 1993) que describe
la resolucin de problemas como un proceso uniforme

de solucin, 4) actuar de acuerdo con esas estrategias y

dades. Aunque este modelo supone que esos procesos
se aplican de manera diferente para cada problema no
qu hacer para
saber cmo
tacin del problema, 2) buscar soluciones y 3) aplicar y
puestas son tiles descriptivamente tienden a tratar de
la misma forma todos los problemas, en un esfuerzo
por articular un procedimiento generalizado. La culminacin de los conceptos de procesamiento de la infor
por articular una teora uniforme para solucionar problemas.

resolver problemas es un tipo especial de formacin
para ingenieros, que resulta de desarrollar la capacidad
lgico-interpretativa y abstractiva en los estudiantes.

dades y destrezas en lgica y abstraccin. Estas competencias son las que se adquieren al desarrollar esa
capacidad y las que capacitan a un estudiante para
adaptarse a una situacin problemtica, interpretarla,
comprenderla, modelarla y luego presentar una solu 
ingredientes necesarios para que los ingenieros resuel
resolucin de problemas. Los primeros se orientan a las
leyes, como la de conservacin de la masa, de los gases,

sivamente; las segundas incluyen el uso de modelos

juicio, las tcnicas de solucin de errores y los progra-


ambos principios se sustentan en bases slidas de lgica y abstraccin.
Adems, en general se reconoce que los ingenieros

y lgicas para realizar su funcin principal: resolver problemas

utilizan para correlacionar los diferentes componentes
 prender desde dos puntos de vista para seleccionar los
datos correlacionales necesarios: 1) con referencia a su

dos necesarios son:












y mtodos, los ingenieros necesitan desarrollar una capacidad lgico-interpretativa y abstractiva que les permita comprender los problemas para presentar una
solucin acorde. Esta caracterstica representa una marcada diferencia entre ellos y otros profesionales porque
son quienes ms la aplican, aunque diversas investigafesional en cualquier rea del conocimiento necesitar
en algn momento de ella. Ese proceso requiere la comunin constante entre tres reas clave: ingeniera, lgica y abstraccin, que deben formar parte de sus
procesos formativos para lograr los profesionales que
la sociedad de la informacin y conocimiento necesita.

Lgica y abstraccin: estado del arte

La primera fase de la investigacin consisti en realizar
una amplia revisin de la literatura relacionada. Parte
de los conceptos y conocimientos encontrados se relacionan a continuacin.
En la dcada de los 60 varios investigadores evaluaron el nivel de comprensin, el alcance y las limitaciones de dominio que las personas logran a partir del
desarrollo de la lgica, donde citamos a Piaget (1957);

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

301

Lgica y abstraccin en la formacin de ingenieros: una relacin necesaria

 


bargo, estos estudios no reportaron en qu medida las


uso de los resultados para proponer cambios en los
procesos formativos. Del mismo modo, en la medida
que las edades de la poblacin se incrementan, tambin se requiere informacin ms detallada acerca de

que aplican.



conectores lgicos y de la lgica misma, con lo que contribuyeron a la acumulacin de informacin sistemtica


para que un programa de computadora fuera capaz de

actuar inteligentemente debe tener una representacin
general del mundo en trminos de las entradas que interpreta y para disearlo se requiere saber qu es y cmo
se obtiene el conocimiento, un proceso que requiere lgica y abstraccin. Sloam (1971) respondi a este traba
del uso de la intuicin en el razonamiento, relacionados
a travs de un concepto de representacin analgica
para problemas como la simulacin de la percepcin, la
resolucin de problemas y la generacin de conjuntos
tiles se deban estudiar considerando una manera es  

propuso requisitos ms generales. Pero en su trabajo no
mencion ni aplic la conceptualizacin lgico-abstractiva como base para lograrlo.
La capacidad para pensar de forma abstracta es una

es comn encontrar diferencias en la forma en que la

aplican los estudiantes, porque algunos la desarrollan
con mayor facilidad que otros e incluso algunos no lle
blemas, por lo que desarrollar esa capacidad debera
ser un objetivo de los procesos formativos. La capaciget (1972) como una de las etapas del desarrollo
cognitivo de los nios, y describi la cuarta y ltima
etapa de este proceso como de operacin formal, observando que solo alrededor de 35% de ellos la alcanza.

302

 cando modelos computacionales alrededor de las temticas de la resolucin de problemas, del modelado
cognitivo y de la memoria a largo plazo. Entre ellas se


et al. miento basado en casos puede ayudar en esa resolucin. De acuerdo con su modelo, la transferencia de
conocimientos entre casos est en gran medida guiada
por el proceso mismo de la resolucin, adems demostr las interacciones entre los procesos de resolucin y
sos para interpretar y resolver disputas de sentido
comn. El resultado de este trabajo fue un modelo de
razonamiento basado en casos que integran la solucin
de problemas, la comprensin y la memoria, pero que

lgico-abstractivo que las personan aplican para resolver esos problemas.
En la dcada siguiente se investig activamente
acerca del uso del razonamiento abductivo y se presen 
central fue el aprendizaje y el descubrimiento, el de Daguaje natural y el de Peng y Reggia (1990) relacionado
con el diagnstico de errores. Estos estudios les sirvie 
modelo con el objetivo de resolver problemas de diagnstico, fundamentado en el mecanismo de inferencia
abductiva y que se aplic para aadir algunas caracte cin de problemas de diagnstico. Estos investigadores
fueron los primeros en combinar las matemticas con
los algoritmos computacionales y sus resultados demostraron efectividad en la resolucin de los problemas de diagnstico, aunque no se acercaron a la lgica
jan desde la abduccin.
sas tcnicas de inferencia para un sistema de apoyo a
las decisiones inteligentes basadas en diagramas de

de la accin requiere varios niveles de representacin
e inferencia que dependen del nivel de incertidumbre
y de la complejidad, as como de la novedad de la si
inferencia de conocimientos de la lgica probabilstica, en el razonamiento terico de decisiones, en el tra

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

Serna M. Edgar, Polo Jos Antonio

de la solucin de problemas mediante tcnicas para el

anlisis probabilstico, la toma de decisiones bajo incertidumbre y la investigacin de operaciones, por l 

para sistemas de apoyo a las decisiones inteligentes.
Aunque en este trabajo se aplica la lgica desde la visin de las decisiones inteligentes, no cubre aspectos
como la interpretacin, el modelado de problemas o la
capacidad abstractiva de quien intenta tomar esas decisiones. Lo interesante de esta investigacin es la


razonamiento abstracto se desarrolla naturalmente y
cmo contribuyen a esto los procesos formativos. Su in
una formacin prolongada tiene en el desarrollo del razonamiento abstracto-deductivo y, concretamente, en
el desarrollo de la comprensin de la necesidad lgica.

en el meta-nivel de deduccin en un dominio de conocimiento puede mejorar el desarrollo del razonamiento
deductivo, tanto dentro como a travs de ese dominio.
minan el desarrollo de la comprensin de la necesidad
lgica en el razonamiento algebraico-deductivo y ver
que una formacin prolongada con nfasis en el metanivel de la deduccin algebraica contribuye al desarrollo de la comprensin de la necesidad lgica, tanto en el
razonamiento algebraico-deductivo como en el verbal.


procesos de formacin, no desarrollan naturalmente

una comprensin de esa necesidad lgica.
Pietarinen (2003) intent responder a la cuestin de
qu tienen en comn la lgica epistmica y la ciencia cognitiva
gicos epistmicos capturan las locuciones de identi
aplicaciones de la representacin de conocimiento
en sistemas multiagente y procesamiento paralelo,
2) el marco de la semntica de la teora de juegos para
las lgicas consiguientes tiene mayor credibilidad
cognitiva como una verdadera semntica para las
nociones epistmicas y
nados con las nociones de conocimiento y transfor
contribuyen a los estudios de lgica.

 tensiones de la lgica epistmica e incrementaron la

comprensin formal del procesamiento de la informacin inconsciente y consciente en el cerebro; con ello se
logr que el formalismo susceptible de representacin

adultos necesita un entorno especial para alcanzar la

cuarta etapa de desarrollo de Piaget, pero no es claro si
nen. Piaget describe esta etapa como la del uso lgico de
smbolos relacionados con conceptos abstractos, descripcin
que tambin se podra utilizar para referir la capacidad
de interpretar problemas y de producir modelos, una
caracterstica importante para el desarrollo profesional
de los ingenieros. Pietarinen (2004) argumenta que los

neuronales son contribuciones de las investigaciones en
lgica y que la fase temprana de la ciencia cognitiva
comparte races en la fenomenologa. En consecuencia,

en la lgica, la (IA) y las ciencias

computacionales. Otra conclusin a la que lleg es que
desde estas fases tambin se reconoce la importancia de
nocimiento en la cognicin comprensiva.
Aunque el aporte de este trabajo es importante para
reconocer las races de la discapacidad lgica en algunas
personas, los resultados no se aplican para indicar el
mismo proceso en personas sin esa discapacidad.
dad de pensar lgicamente est determinada por los
genes, a los que llama informalmente genes lgicos que


probable es: s, debido a que estos contribuyen en gran

 et al. 
et al. (2006), Popesco et al. (2006) y Reuter et al. (2006). Egorov pretende encontrar el origen de
la capacidad lgico-interpretativa de las personas y
aunque su aporte es importante no aplica el mismo procedimiento para la capacidad abstractiva, lo que no per
ambas capacidades.

estn equipados con un poderoso cerebro que los
-

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

303

Lgica y abstraccin en la formacin de ingenieros: una relacin necesaria


et al. (2002). Por otro lado, De
et al. tados sugieren que la conciencia como sistema de
namiento lgico, de lo que se puede concluir que el
ayuda a ese razonamiento. Los investigadores se basaron en esto para

depende en gran medida del procesamiento consciente y propusieron que la forma de probar esta teora sera logrando que las manipulaciones afecten
solo a uno u otro de los dos sistemas de procesamiento y que dejen al otro intacto.

buscar lgicamente la informacin que requieren, y
aunque se encuentre a su disposicin no son capaces
de leerla, analizarla ni evaluarla crticamente (Serna,

Giat (2009) desarrollaron un curso universitario con el
rramientas lgicas. El curso se desarroll para dos grupos de estudiantes diferentes, uno orientado a las reas
tudiar y comprender los sistemas lgicos basados en el
des en los razonamientos lgico y crtico de los estudiantes mejoraron con el tiempo, tanto objetiva como

a los campos de formacin en tecnologas de la informacin y comunicacionessamiento crtico.
De acuerdo con investigadores como Simon (1996);

nas relacionadas con la formacin en matemticas,

se derivan razonamientos como inductivo, deductivo,

abductivo, plausible y de transformacin. Caadas et
al (2009) consideraron la diferenciacin general entre
los razonamientos inductivo y deductivo desde la tra

por centrar su investigacin en el proceso del razona  

 cin. Concluyeron que los estudiantes aplican acciones
lgicas con mayor frecuencia en problemas cuyos ca

pasos del razonamiento inductivo, que previamente

304

 ques para abordar el problema de la omnisciencia lgica, es decir, cmo elegir un enfoque y construir un
modelo apropiado para su aplicabilidad potencial:





Aunque algunos investigadores aceptan que estos enfo
capturar todos los estados epistmicos, otros demues


base en el principio de la falta de omnisciencia lgica en
gen el proceso de cmo elegir un enfoque para una situacin modelo y concluyeron que el enfoque de
mundos imposibles es especialmente adecuado para representar un punto de vista subjetivo del mundo. Recientemente surgi el inters por investigar en la
recopilacin de pruebas acerca de los vnculos entre el
pensamiento abstracto y el desarrollo de la capacidad
abstractiva, y mientras algunas investigaciones concluyen que la lgica y la abstraccin son habilidades clave
para la formacin en ciencias computacionales e ingeniera
(Serna, 2011-2012), otras tratan de encontrar un vnculo

cursos de lgica computacional (Bennedsen y Caspersen, 2006; Armoni y Gal-Ezer, 2007), todas con logros
diferentes.

La capacidad lgico-interpretativa y abstractiva

De acuerdo con Andrews (2002), ser lgico presupone
tener:
zarlo efectivamente, porque la lgica y el lenguaje
son inseparables,
2) gran respeto por el escenario mundial, porque la lgica trata de la realidad y

relacionan con los objetos en el mundo, porque la

lgica trataverdad.
Desarrollar efectivamente estas capacidades, actitudes,
puntos de vistay modalidades prcticas le permite a

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

Serna M. Edgar, Polo Jos Antonio

cualquier persona preparar su mente para trabajar con




















pensamiento y se centra en la formulacin de teoras
normativas que establecen cmo se debe pensar correctamente y se relaciona no slo con el pensamiento abstracto sino tambin con el que se representa en forma de
oraciones y con el que manipula frases para generar un
nuevo pensamiento. Si la lgica es una formalizacin
de este tipo, entonces el mejor lugar para encontrarla
sera en el cerebro (Gibbs, 1994), pero limitar la observacin a su estructura y actividad sera como analizar el
hardware cuando el objetivo es el software o como tratar

el movimiento de las partculas atmicas, por esto se
recomienda utilizar el sentido comn y tener como base

Stein, 1993). El optimismo a ultranza puede llevar a que
se vea lo que se quiere ver en lugar de ver lo que real
De acuerdo con esto, cules seran las capacidades
lgico-abstractas de las que dependen las personas
para su desarrollo cognitivo? Cmo se pueden mejorar esas capacidades? Sera posible ensear
de pensamiento lgico-abstracto? Con base en algunos
 

prensin del desarrollo cognitivo. En su trabajo, derivaron cuatro etapas para este proceso: 1) senso-motriz, 2)
pre-operacional, 3) operacional concreto y 4) operacio-

nal formal. En las dos primeras, la inteligencia se demuestra primero mediante actividades motrices y
posteriormente con el lenguaje y la manipulacin temprana de smbolos; en la tercera se demuestra mediante
la comprensin de la conservacin de la materia y de la

utilizan smbolos relacionados con conceptos abstractos
y es una etapa crucial en la que el individuo es capaz de
tesis del progreso a travs de las tres primeras etapas,

formal operacional a medida que maduran. El desarrollo biolgico puede ser un pre-requisito, pero pruebas
realizadas en poblaciones de adultos indican que solo
entre 30% y 35% alcanza la etapa operacional formal
et al., 1977); adems, para que los adolescentes y
los adultos la alcancen pueden ser necesarias condiciones particulares provenientes del medio ambiente y de
procesos formativos.

mentales, porque se encuentra en todas las esferas de la

vida ordinaria. En estas esferas la capacidad lgica y

 
(1972) sostienen que la comprensin de reglas y regula

complicada como se presentan las relaciones lgicoabstractas. Para solucionar este inconveniente algunos
investigadores sugieren utilizar un rbol lgico en el

complejas entre las clusulas, porque son las que impiden la comprensin de las reglas lgico-interpretativas
y abstractivas involucradas.
Estos conceptos y principios constituyen la base
para desarrollar la capacidad lgico-interpretativa y
abstractiva de los estudiantes en ingeniera y, aunque

generalizada de reorientar los procesos formativos para



1) es una cuestin gentica,

2) es el resultado de procesos formativos focalizados y

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

305

Lgica y abstraccin en la formacin de ingenieros: una relacin necesaria

3) es una combinacin de las dos anteriores.

Aunque en la revisin no se encontr la validacin de
ninguna de ellas, es posible concluir que el desarrollo
de esta capacidad es un componente bsico para el ejercicio profesional de los ingenieros.

Desarrollo de la capacidad lgico-interpretativa y

abstractiva
Idealmente, la prctica de la ingeniera se puede describir como la solucin ptima de problemas fsico-prcticos mediante un anlisis lgico-abstracto y sistemtico

cientemente complejo como para que se agregue
invariantemente el juicio y la razn. El juicio es el objeto
cin del concepto de la ingeniera como un arte antes
que como una ciencia puramente lgica. El juicio es sin
duda un componente conocido de la prctica de esta
profesin, debido a que se deben considerar mltiples
factores que a menudo son intangibles. Pero es quiz
vel ms bajo de los clculos ingenieriles, donde slo se

puestos, que a su vez requieren el juicio y la razn.



gran parte de los procesos formativos se niegue a aceptarlo, la capacidad lgico-interpretativa y abstractiva
puede ser una contribucin tan importante a las conclusiones y las decisiones resultantes de un estudio de in
lgico en s, y esa falta de aceptacin de la importancia
de la lgica y el pensamiento abstracto impregna todos
los resultados de los procesos ingenieriles. Causa de
ello es que en el aula rara vez se discute y analiza la in
de razonamiento y en su lugar se acrecentan y potencializan las presunciones en las que se basa ese razona 
investigadores como un condimento de las presunciones
. En otras palabras, cuando un individuo piensa lgicamente pero

aquellas suposiciones que lgicamente lo llevan a la

conclusin que desea. Esto se podra evitar si en los
procesos formativos de los ingenieros se le da la impor-

306

tancia necesaria a la lgica y a la abstraccin, y si se estructuran currculos orientados a desarrollar o

potencializar la capacidad lgico-interpretativa y abs

de esta capacidad, el cual les puede servir a los disea

integracin de contenidos.

MODELADO

)LJXUD'HVDUUROORGHODFDSDFLGDGOyJLFRLQWHUSUHWDWLYD\
DEVWUDFWLYDHQLQJHQLHUtD

En esta forma de ver la relacin entre el ingeniero y el

universo, la mente del profesional es una estructura sintctica mediante la cual observa, comprende, modela,
ma como se espera que disee y presente soluciones a
los problemas que investiga o reconoce. Por otro lado,
el universo es una estructura semntica que incluye al
mientos. Adems, es dinmica porque cambia continua
tes en la mente y formular soluciones generales, des

solucionar la situacin problemtica previamente reconocida. El ingeniero observa los acontecimientos que
tienen lugar en el universo junto con las propiedades
que los inician y terminan, asimismo, utiliza su capacidad lgico-interpretativa y abstractiva para derivar

esas conclusiones son acciones instintivas provocadas
por asociaciones estmulo-respuesta, que tambin se


modelado y reevaluar los resultados para mejorar sus
conclusiones, previo a presentar y difundir nuevamen-

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

Serna M. Edgar, Polo Jos Antonio

te en el universo el modelo de una solucin que proces

Las consecuencias de esta secuencia de acciones

pueden depender no solo de sus propias acciones, sino
tambin de las acciones de otros agentes o condiciones
que estn fuera de su control. Aqu cobra importancia
una formacin estructurada en lgica y abstraccin,
porque el ingeniero puede no ser capaz de determinar
con certeza si esas condiciones se cumplen, pero s ser
capaz de juzgar la posibilidad o probabilidad de ocurrencia. Para lograrlo necesita utilizar las tcnicas de la
teora de decisiones y combinar sus juicios de probabilidad y utilidad para elegir el curso de accin que le

que puede utilizar para decidir entre las alternativas
para el cumplimiento de sus objetivos tiene a su dispo
universo. Aplicando su capacidad lgica para combinar
las diferentes alternativas podr comprender y apreciar
las con las de los dems, de esta manera podr evitar el
les y aportar el conocimiento adquirido para enriquecer
el conocimiento acumulado en el universo.

Conclusiones
Uno de los objetivos de los procesos formativos es preparar a los estudiantes para adaptarse a situaciones
problemticas cambiantes y nuevas. Algunos enfoques
pedaggicos buscan equivalencias, aunque su nica
mtrica de aprendizaje sea medir la capacidad que tienen los estudiantes para memorizar la informacin que
se les presenta de forma concreta. Las diferencias for
guraciones, es decir, a los que se enfrentan en la vida
profesional. Algunas caractersticas importantes de
esos procesos afectan la capacidad del estudiante para
transferir lo que aprende. Una de ellas es la cantidad y
riencia y capacidad para transferir conocimiento.
Los estudiantes de ingeniera se inclinan por los temas complejos y la resolucin de problemas, siempre y
cuando sean interesantes para ellos, adems y en teora,
por la oportunidad de utilizar sus conocimientos para

problemas no les llaman la atencin, se incrementa la
desmotivacin y decae su capacidad para comprender

estudios proponen una formacin utilizando estudios

de casos lo ms cercanos a la vida cotidiana, porque de
esta forma el estudiante desarrolla: 1) su capacidad lgica, para comprenderlos y 2) su capacidad de abstrac
que el ingeniero se forma es un agente importante para
lograr la transferencia de conocimiento. De acuerdo
con los resultados de la revisin a la literatura, es menos probable que un estudiante que se forma en un ni

esta manera tiene mayores posibilidades para comprender y abstraer las caractersticas relevantes del problema y para desarrollar una representacin ms

Si el objetivo de formar es ofrecer a la sociedad pro

damentalmente que solucionen problemas. La sociedad

tendencias actuales los nuevos profesionales no lo es

responder si el desarrollo de la capacidad lgico-interpretativa y abstractiva es una cuestin gentica o que se
adquiere a travs de procesos formativos, s se puede
asegurar que los modelos pedaggicos, los planes de
estudio y los programas actuales no estn estructura
por lo que se necesitan cambios importantes en cada
uno de ellos (Serna, 2012a).
Otra recomendacin es atender y estructurar soluciones formativas de acuerdo con las necesidades de

diferentes motivaciones formativas y diferentes ritmos

de aprendizaje y que se desenvuelve en diferentes ambientes al aprender. Por todo esto se necesitan procesos
e iniciativas para desarrollar su capacidad lgico-interpretativa y abstractiva, de tal forma que la pueda adap
individuales.

Agradecimientos

  
   


Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

307

Lgica y abstraccin en la formacin de ingenieros: una relacin necesaria

Referencias
Andrews P.B. An Introduction to Mathematical Logic and Type
Theory: To Truth Through Proof.
 
in Computer Science Studies. Computer Science Education, volumen 17 (nmero 4), 2007: 243-262.

of Success for Learning Object-Oriented Programming? SIGCSE Bulletin
  Psychological Science, volumen 13 (nmero 2),

 
cal Reasoning. Journal of Information Technology Education, vo
Bransford J.D., Stein B.S. The IDEAL Problem Solver: A Guide for
Improving Thinking, Learning, and Creativity  
1993.
Bransford J.D., Stein B.S. The Ideal Problem Solver: A Guide for Improving Thinking, Learning, and Creativity   


dents, Inductive Reasoning in Problem Solving. Electronic
Journal of Research in Educational Psychology, volumen 7 (nme
gence in Medicine
gical Reasoning Depends on Conscious Processing. Consciousness and Cognition
Design for How People Learn, USA, New Riders, 2012.
 Synthese
 Biomolecular Engineering, volumen 24, (nmero 3), 2007: 293-299.
 
    ning.  
39-76.


on Discovery and Use of Logical Symbols. British Journal of
Psychology
Conditions of Learning
ton, 1960.
Gibbs R.J. The Poetics of Mind: Figurative Thought, Language, and
Understanding, USA, Cambridge University Press, 1994.
   Educational Psychologist,


tems. Decision Support Systems
317-332.

308


Decision Support Systems, volumen
15, (nmero 1), 1995: 27-43.

Beyond Culture

    
  
pp. 255-266.

      pressiveness and Pragmatics.  , volumen

175, (nmero 1), 2011: 220-235.

ratory Studies. Research in Collegiate Mathematics Education,

A Study of the Logical Abilities of Children,

Doctoral Dissertation), Stanford University, 1961.


 Piagets Theory of Cognitive Development:
Educational Psychology Interactive    versity, 2003.


Piagets Theory of Cognitive Development, Edu     





The Study of Problem Solving and Thinking,
Handbook of Research Methods in Child Development
 cation and Seriation

        ment and its Central Role in Decision Support. Decision Support Systems
 Retrieval and Organizational Strategies in Conceptual
Memory: A Computer Model
 
of Cased-Based Reasoning in Problem Solving, en: Procee    

A Deduction Model of Belief   

 

    Genetic
Psychology Monographs
blem Solving Using Abductive Reasoning Based on Parsimo     
    


Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

Serna M. Edgar, Polo Jos Antonio

  
tributional Inference. Advances in Experimental Social Psychology, volumen 34, 2002: 199-249.
      Educational
Studies in Mathematics, volumen 41, (nmero 2), 2000: 165-190.
 
Students Learning Geometry in a Dynamic Computer Environment. Educational Studies in Mathematics, volumen 44, (n

Some Philosophical Problems from the Standpoint of AIMachine Intelligence 4


 British Journal of Educational Psychology, volumen 33, (nmero 1), 1963: 61-67.
 
 Science, volumen



     

lopmental Antecedents and Cognitive Consequences. Child
Development

Human Problem Solving

Automated Abduction and Machine Learning.Proceedings

of AAAI Symposium on Explanation-Based Learning, USA, Stan
 
 

 

PNAS, volumen 103, (nmero 47), 2006:

Abductive Inference Models for Diagnostic Problem-Solving, USA, Springer, 1990.
Piaget J. Logic and Psychology
Piaget J. The Psychology of the Child 
The Psychology of the Child 

Proceedings First International Workshop on Philosophy and Informatics (WSPI 04), Cologne, Germany, 2004.
 

Cognitive Systems Research, volumen 4, (nmero 3), 2003: 169-190.


  
-

   
Science, volumen 313, (nmero 5791), 2006: 1304-1307.
 All Life Is Problem Solving 
ce. Acta Philosophica Fennica
   

  
Candidate Genes for Creativity: a Pilot Study. Brain Research
Reviews, volumen 1069, (nmero 1), 2006: 190-197.


Cognitive Psychology
371-416.
Dynamic Memory, USA, Cambridge University Press,

     
Avances en Sistemas e Informtica

Logic in Computer Science, 2012, In press.

  The Need for a Paradigm Shift in the Current Education
System, 2012a, In Press.
      
 Educational Studies in Mathematics, volumen 30, (nmero 2), 1996: 197-210.
     
Intelligence.  , volumen 2, (nmeros 3-4),
1971: 209-225.
  A View from Biology    Toward a
 
 Strategies and Knowledge Representation,
The Nature of Reasoning,

cepts. Monographs of the Society for Research in Child Development, volumen 30, (nmero 1), 1965: 60-96.
cal Connectives. Journal of Experimental Child Psychology, volumen 12, (nmero 3), 1969: 304-317.
Psychology of Reasoning: Structure
and Content
 

 Brain Research Reviews, volumen 43, (nmero 1),
2003: 134-163.
         Journal of Educational Psychology, volumen 55, (nmero 6), 1964: 357-361.
 Journal of Educational
Psychology

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM

309

Lgica y abstraccin en la formacin de ingenieros: una relacin necesaria

Este artculo se cita:

Citacin estilo Chicago
6HUQD0(GJDU-RVH$QWRQLR3ROR/yJLFD\DEVWUDFFLyQHQODIRU
PDFLyQGHLQJHQLHURVXQDUHODFLyQQHFHVDULDIngeniera Investigacin y Tencologa;9
Citacin estilo ISO 690
6HUQD0(3ROR-$/yJLFD\DEVWUDFFLyQHQODIRUPDFLyQGHLQ
JHQLHURVXQDUHODFLyQQHFHVDULDIngeniera Investigacin y TencologaYROXPHQ;9Q~PHURDEULOMXQLR

Semblanza de los autores

Edgar Serna M. 
der de proyectos en sistemas de informacin y arquitecto de software. Es profesor
universitario con ms de 20 aos de trayectoria. Se encuentra vinculado al Instituto

reas de investigacin son la lgica, la ingeniera de software, las ciencias computa
libros y artculos, y presentacin de ponencias en varios eventos.
Jos Antonio Polo. 

de Ciencias Bsicas e Ingeniera. Es docente en las reas de lgica de programacin,

ingeniera de sistemas.

310

Ingeniera Investigacin y Tecnologa, volumen XV (nmero 2), abril-junio 2014: 299-310 ISSN 1405-7743 FI-UNAM