modelos filosoficos

En la !losofía, al igual que en muchas otras ciencias, una de las herramientas más poderosas con las que contamos
son los modelos. Al igual que en el resto de las ciencias, en !losofía usamos modelos cuando nos es difícil
mostrar o explicar algo de manera directa. A decir verdad, se puede decir que los argumentos que usan modelos
son un tipo de argumentos por analogía, ya que explotan laanalogía entre el fenómeno a estudiar y el modelo. La
idea detrás del uso de un modelo es muy sencilla. Un modelo es un objeto, concepto o sistema que representa el
fenómeno que nos interesa de manera tal que podemos estudiar ciertos aspectos de él a través de aspectos
análogos del modelo. Para dejar un poco más claro el papel que juegan los modelos en ciencia, piensen en el uso
de túnelesde viento en la ingeniería aeronáutica
Si queremos estudiar el los efectos del movimiento del aire alrededor de un tipo de avión, no usamos un
verdadero avión para nuestra prueba, sino un modelo a escala; y no lo ponemos a volar en el aire, sino que lo
observamos al interior de una cámara dentro de la cual hacemos pase aire a alta velocidad. Aunque no sea un
avión propiamente dicho, dichomodelo compartirá ciertas características con el tipo de avión que representa,
dependiendo de qué nos interese estudiar sobre él. Si nos interesa saber cómo afecta la forma de las alas la
1estabilidad de la nave, por ejemplo, es de suponer que reproduciremos dicha forma en el modelo. Es decir, es muy
sensato que el modelo tenga alas de la misma forma. Igualmente, el aire que corre por el túnelno es un viento
propiamente dicho, pero comparte las su!cientes características para que le sirva como modelo. En general,
queremos que el modelo sea lo su!cientemente similar a aquello que representa cómo para poder sacar
conclusiones sustanciales de su comportamiento; pero también queremos que sea diferente, en el sentido de que
sea más manejable, para que tenga sentido usarlo.
Lomismo sucede en !losofía, al estudiar la relación entre objetos (o, lo que es más común en el caso de la
!losofía, conceptos) también solemos echar mano de modelos. Los modelos más comunes en !losofía suelen ser
modelos formales, ya sean matemáticos o computacionales. El área que más ha explotado este tipo de modelos es
la lógica, dónde no solemos estudiar los argumentos o proposiciones demanera directa, sino a través de modelos
formales. Estos modelos funcionan, tan sólo en cuanto representan los aspectos relevantes del fenómeno a
estudiar, pero de una manera más manejable. En lógica, formalizar, en este sentido, signi!ca modelar
formalmente (es decir, producir un modelo formal de) una proposición, argumento, teoría o lenguaje, para
explicar o entender mejor sus propiedades yrelaciones lógicas como validez, consistencia, consecuencia lógica,
incompatibilidad, etc.
La formalización es una herramienta. La lógica es una ciencia !losó!ca. Sus teorías son teorías
!losó!cas, pero sus modelos son matemáticos. De esta manera, la lógica matemática es matemática en
el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, se usan modelosmatemáticos, pero ellas mismas no son matemáticas. Por principio de cuenta, las teorías de ambas
ciencias cargan un peso veri!cativo. Sus resultados no dependen de manera exclusiva de los principios
postulados por ellas mismas, sino en su capacidad de explicar, de manera cientí!ca, fenómenos que le
son externos e independientes. En la lógica, al igual que en la mayoría de las ciencias, no sólo existela
teoría, sino también la evidencia. Las teorías lógicas, como teorías cientí!cas de la lógica, no son teorías
matemáticas. Otra distinción importante que debe hacerse respecto al método matemático – de la
ciencia en general, y de la lógica en particular – es entre los sistemas lógicos formales, también llamados
teorías formales, y las teorías lógicas (!losó!cas) propiamente dichas. Un...