La lógica pura te dice la verdad acerca de la lógica pura (suponiendo que lo hayas hecho correctamente, lo cual es en sí mismo un asunto polémico para argumentos no triviales, pero lo dejaremos pasar por el momento). Los teoremas de la lógica pura tienen el tipo de permanencia atemporal que se siente como La Verdad ( a priori , como lo llamó Kant), pero también es algo inútil, ya que simplemente permanece allí sin relacionarse con las cosas.
Puedes aplicar la lógica para construir y manipular una ontología. Es decir, puede construir un modelo del mundo utilizando la lógica pura, y si es un buen modelo, entonces las manipulaciones de las afirmaciones sobre el uso de la lógica en el mundo se asignarán una a una con hechos reales sobre el mundo.
Eso es todo tipo de abstruso, así que déjame dar un ejemplo. Tengo esto: Y esto:
Hago un modelo: represento el primero con “dos huevos”, y el último con “dos huevos”. Siguiendo las reglas de la lógica, deduzco que puedo aplicar el operador de suma y obtener “cuatro huevos”. Afirmo que el operador de adición imita lo que sucede en la operación en el mundo real de juntar los huevos. Puedo comprobar mi lógica contra el mundo:
Excelente: dos huevos más dos huevos son cuatro huevos.
Pero eso supone que he hecho mi mapeo correctamente. Pude haber decidido que “más” significa “rajarlos y revolverlos”, en cuyo caso “dos huevos más dos huevos” equivale a una tortilla, no a cuatro huevos. O podría intentar agregar los dos huevos de la primera imagen a los dos huevos de la primera imagen, lo que me da dos huevos. Las matemáticas me dan cuatro huevos, pero en el mundo real no puedo agregar algo a sí mismo de esa manera: no puedo duplicar los huevos.
- ¿Cuál es la probabilidad de que el universo sea una simulación por computadora?
- ¿Existe, como resultado de la era de la información digital, un término, campo, disciplina o teoría general que explora un origen unificado socialmente construido para el cambio de los modelos de conocimiento monopolizados a los modelos de conocimiento colectivo?
- Sin tus 5 (o más) sentidos, ¿sigues viviendo en la realidad?
- ¿Qué significa entenderse a uno mismo?
- ¿Qué significa para un ser ser?
Este es un ejemplo simple, trivial. Como puedes imaginar, el comportamiento complejo del mundo que involucra muchos objetos (objetos que a menudo no son tan fáciles de definir como “un huevo”) crea una lógica turbia. Cuando quiera comenzar a razonar acerca de, diga, “el derecho a votar” o “el conjunto de todos los conjuntos que no se contienen a sí mismos” o “ideas verdes incoloras durmiendo furiosamente”, debe ser muy, muy cuidadoso con lo que ‘ re aplicando la logica a.
En otras palabras, la lógica es verdadera en todo el sentido capitalizado que desea que sea, pero su validez tal como se aplica al mundo exterior ( a posteriori , como lo llamamos los filósofos pretenciosos) está circunscrita por la fidelidad del modelo. .
Yo diría que es un sueño de los físicos unificar un día el conocimiento a priori y a posteriori , derivando este último enteramente del primero (quizás con un solo axioma trivial), pero estamos muy lejos de eso y no es así. en absoluto claro que se puede hacer. Ni siquiera está claro que la lógica, tal como la entendemos, formará parte de ese programa.
Mientras tanto, sin embargo, la lógica es una herramienta valiosa de manera casi sospechosa y notable para modelar y predecir el mundo. También es una buena herramienta para crear modelos engañosos e inválidos que no predicen el mundo, pero (dado que los humanos son malos lógicos) convencen a la gente de todos modos. Sea escéptico: el mundo es lo único que es relevante para usted. El experimento es, al menos, una herramienta tan importante como la lógica para comprender la pequeña verdad del mundo real, y creo que es más importante que cualquier Verdad T grande.