I.

Modelos mentales y modelos numricos

Como enfrentan los alumnos de la escuela media una situacin problemtica
en matemtica que -entre otras formas posibles-admite un planteo y solucin
algebraica? Que tcnicas de resolucin ponen en juego y como deciden acerca
de su utilizacin? Guardan tales estrategias alguna relacin con su edad o con
la escolarizacin? Durante mucho tiempo se ha considerado que, cuando las
personas se enfrentan a una situacin matemtica, primero entienden su
estructura y luego eligen que herramientas usar, como si la situacin se
interpretara primero idealmente con un esquema cualitativo, el cual a su vez
determina los procedimientos que aplican (Schwartz & Moore, 1998). Aunque
tal forma de ejecucin es una alternativa posible, no necesariamente sucede
asi, sobre todo cuando el sujeto no dispone de un esquema eficiente para
resolver una situacin problemtica que percibe como nueva. El propsito de
este trabajo es describir como se usan ciertos conocimientos matemticos para
comprender y como se les emplea para construir modelos mentales que
ayudan a tornar cognitivamente manejable una situacin compleja.

Que son los modelos mentales? Cuando y para que se utilizan? Cual es su
papel en el funcionamiento cognitivo? En principio, cabe sealar que el termino
modelo mental es polismico, de ah que varias posturas cognitivas aludan a el.
En este trabajo se adoptan las concepciones representacin mental y modelo
mental, formuladas por Johnson-Laird (1983), quien establece que los modelos
mentales son representaciones internas de carcter analgico construidas en la
memoria de trabajo y juegan un papel decisivo en los procesos de
comprensin, inferencia y prediccin. Johnson-Laird dice que el punto central
de la comprensin es la existencia de un working modelen la mente de quien
comprende; por tanto, todo nuestro conocimiento del mundo dependera de
nuestra capacidad para construir modelos mentales, que nos permiten
interpretar y evaluar el discurso de otros y las propias proposiciones como
verdaderas o falsas.

Los modelos mentales se pueden elaborar como producto de la percepcin, del

discurso, de la interaccin social o de la experiencia interna del sujeto. Debido
a que disponemos de una capacidad limitada de almacenamiento y de que, por
su carcter finito, el funcionamiento cognitivo se rige por un principio de
economa, construimos modelos mentales que derivan de un numero pequeo
de elementos, propiedades y operaciones recursivas sobre tales componentes.
Ahora bien, las restricciones para la construccin de esos modelos dependen
de como concebimos la estructura del mundo, de las relaciones conceptuales
que gobiernan la ontologa de lo real y de la necesidad de mantener el sistema
libre de contradicciones. Los modelos no solo representan al mundo, sino
tambin situaciones verdaderas para el sujeto, ya sean reales o imaginarias
(Johnson-Laird, 1983, p. 430).

Johnson-Laird (1983,1996) establece y fundamenta la existencia de un triple

cdigo representacional, conformado por proposiciones, imgenes y modelos
mentales. Estas tres clases tienen diferencias estructurales y funcionales, pero
los modelos mentales serian un constructo intermedio entre la representacin
proposicional y la analgica, ya que poseen propiedades comunes con los
otros dos tipos de representacin, de modo que un modelo mental puede
contener proposiciones e imgenes.

Una proposicin mental es una representacin interna que puede ser

expresada verbalmente. Comprender una proposicin es saber como seria el
mundo si fuese verdadera, mientras que su interpretacin y evaluacin se
realizan a travs de los modelos mentales. Las representaciones
proposicionales son indeterminadas, abstractas y generales, es decir,
equivalentes para diferentes estados de un mismo suceso. Por ejemplo, una
que refiera la expresin << un hombre reparti una suma de dinero entre sus
hijos >> ser independiente de que sean muchos o pocos hijos, de que se trate
de dlares o euros, de billetes o monedas, de que el hombre sea viejo o joven,
etc. Tales representaciones tienen alguna estructura de argumento de
predicados, en algn lxico sintactico desconocido, que captura la informacin
explicita de aserciones verbales y otras elocuciones (Johnson Laird, 1996, p
Inferencia Deductiva
Este ejemplo ilustra una inferencia de este tipo:
Premisas:

Todos los caballos son mamferos.

Todos los mamferos tienen pulmones.

se puede deducir la conclusin

Todos los caballos tienen pulmones.

"La caracterstica que define un argumento deductivo vlido es que es

imposible que sean verdaderas todas las premisas y la conclusin falsa,
porque la informacin contenida en la conclusin ya est almacenada en las
premisas, tomadas colectivamente". Los clculos matemticos son
inferencias deductivas.
"Las inferencias deductivas, sea cual sea su extensin, han sido
codificadas, y se han establecido reglas para su validez."
"Las explicaciones de ciertos resultados experimentales mediante teoras
utilizan inferencias inductivas."

Inferencia Inductiva
Esto es un ejemplo de este tipo de inferencia:
Premisas:

Todos los delfines observados son azules.

se puede inducir la conclusin

Todos los delfines, observados o no, son azules.

"La caracterstica que define un argumento inductivo es que la informacin

contenida en la conclusin va ms all de la informacin contenida en las
premisas. Por lo tanto, puede ser que los argumentos inductivos fallen por
ser verdaderas sus premisas y falsas las conclusiones."
"De hecho, tenemos conocimiento de que a veces las inferencias inductivas
han fallado. Existe el caso donde tras un estudio la premisa era "Todos los
cisnes observados son blancos", y por lo tanto se podra inducir "Todos los
cisnes son blancos", pero entonces se descubrieron cisnes negros en
Australia. "
"Las inferencias inductivas han resistido a la codificacin, y su validez es
controvertida."

"La justificacin de una teora mediante resultados experimentales utiliza

inferencias inductivas, aunque de un tipo ms complejo que el explicado
anteriormente."

Considrese el siguiente argumento:

1. Maana es mircoles o maana es jueves.
2. Maana no es jueves.

3. Por lo tanto, maana es mircoles.

Es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas
y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las
premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas
son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no
se debe al significado de las expresiones maana es mircoles y maana es jueves,
porque stas podran cambiarse por otras y el argumento permanecer vlido. Por
ejemplo:
1. Est soleado o est nublado.
2. No est nublado.

3. Por lo tanto, est soleado.

En cambio, la validez de estos dos argumentos depende del significado de las

expresiones o y no. Si alguna de estas expresiones se cambiara por otra, entonces
podra ser que los argumentos dejaran de ser vlidos. Por ejemplo:
1. Ni est soleado ni est nublado.
2. No est nublado.

3. Por lo tanto, est soleado.

Las expresiones de las que depende la validez de los argumentos se llaman constantes
lgicas. La lgica proposicional estudia el comportamiento de algunas de estas
expresiones, llamadas conectivas lgicas. En cuanto a las expresiones como "est
nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de
verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar
una expresin con valor de verdad cualquiera. A estas letras se las llama variables
proposicionales, y en general se toman del alfabeto latino, empezando por la letra p,
luego q, r, s, etc. As, los dos primeros argumentos de esta seccin podran reescribirse
as:
1. p o q
2. No q

3. Por lo tanto, p

Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as:

1. Ni p ni q
2. No q

3. Por lo tanto, p

[editar] Conectivas lgicas

Artculo principal: Conectiva lgica

A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la
lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los
smbolos que se utilizan para representarlas.

Expresin Smbolo
Smbolos
en el en
Conectiva Ejemplo alternativ
lenguaje este
os
natural artculo

Negacin no No est lloviendo.

Est lloviendo y est

Conjuncin y .
nublado.

Est lloviendo o est

Disyuncin o
soleado.

Condicional si... Si est soleado, entonces

material entonces es de da.
 Est nublado si y slo si
Bicondicional si y slo si
hay nubes visibles.

Negacin Ni est soleado ni est

ni... ni
conjunta nublado.

Disyuncin o bien... o O bien est soleado, o bien

excluyente bien est nublado.

En la lgica proposicional, las conectivas lgicas son tratados como funciones de

verdad. Es decir, como funciones que toman conjuntos de valores de verdad y
devuelven valores de verdad. Por ejemplo, la conectiva lgica no es una funcin que si
toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo
tanto, si se aplica la funcin no a una letra que represente una proposicin falsa, el
resultado ser algo verdadero. Si es falso que est lloviendo, entonces ser verdadero
que no est lloviendo.
El significado de las conectivas lgicas no es nada ms que su comportamiento como
funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de
verdad que devuelve frente a las distintas combinaciones de valores de verdad que
puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede
ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin
devuelve frente a todas las combinaciones posibles de valores de verdad que puede
recibir.
Negacin Conjuncin Disyuncin Condicional Bicondicional

[editar] Lmites de la lgica proposicional

La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez

de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son
intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica
proposicional. Por ejemplo, considrese el siguiente argumento:
1. Todos los hombres son mortales.
2. Scrates es un hombre.

3. Por lo tanto, Scrates es mortal.

Como este argumento no contiene ninguna de las conectvias no, y, o, etc., segn
la lgica proposicional, su formalizacin ser la siguiente:
1. p
2. q

3. Por lo tanto, r

Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que
el argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se
necesita investigar la estructura interna de las variables proposicionales. De esto se
ocupa la lgica de primer orden. Otros sistemas formales permiten teorizar sobre otros
tipos de argumentos. Por ejemplo la lgica de segundo orden, la lgica modal y la
lgica temporal.

DEFINICIN
Las preposiciones son partes invariables de la oracin (no tienen gnero ni nmero)
que
tienen la funcin de relacionar palabras (nombre, pronombre, adjetivo, verbo o
adverbio)
con su complemento. Pero su presencia es indispensable para el sentido de la
oracin.
Botella de cristal; mesa de madera; caf con leche; lejos de aqu; loco de atar; voy
hacia Pars.
2
LAS PREPOSICIONES PROPIAS
a, ante, bajo, cabe, con, contra, de, desde, en, entre, hacia, hasta, para, por,
segn,
sin, so, sobre, tras.
N
O
T
A
Cabe y so prcticamente no se usan en la lengua habitual. Es raro or frases
como:
Estudia, so pena de quedarte sin vacaciones.
Sola poner cabe s un jarrillo (junto a s mismo).