Sobre el uso de herramientas formales en filosofía
1. Modelos Formales en Lógica y Filosofía En la filosofí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 filosofí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 la analogí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úneles de 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 verda