conceptual

Las fórmulas son modelos científicos y esto tiene profundas consecuencias en filosofía de la lógica, y de su didáctica. Por ejemplo, ¿qué decimos cuando decimos que la conjunción es conmutativa? ¿Qué tipo de hecho es éste? Si uno piensa que lo que dice la conmutación sobre la conjunción es que lo que está a la derecha pudo haber estado a la izquierda , entonces parece ser una ley sobre las fórmulas y no sobre su contenido, en tanto son solamente la fórmulas las que tienen izquierda o derecha, las proposiciones, la información, los hechos, no tienen izquierda y derecha. En el hecho de que Juan es apuesto y simpático, no hay ningún sentido en el que el que sea apuesto esté a su izquierda y el que sea simpático está a la derecha. En el enunciado “Juan es apuesto y simpático”, ahí sí el predicado “apuesto” está a la izquierda y “simpático” está a la derecha. En la fórmula “P&Q”, ahí sí la “P” está a la izquierda del operador “&” y la “Q” a la derecha.   Sin embargo, ...

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 ...