Si por lógica te refieres a la herramienta subyacente en la que todos confiamos para toda nuestra vida, ¿nos gusta?
Si por lógica te refieres al campo de las matemáticas dedicado al estudio de la axiomática y la teoría de la prueba, bueno, lo consideramos con desdén y superioridad.
Si bien eso es un poco hipérbole, no está lejos de la verdad. En mi experiencia, los matemáticos lo consideran un mal necesario, y lo evitan cuando sea posible con algunos ejemplos excepcionales:
- ¿Qué sabemos acerca de las cardinalidades mayores que [matemáticas] 2 ^ {\ aleph_ {0}} [/ matemáticas]?
- ¿Alguien está trabajando en una notación matemática más simple?
- ¿Cuál es el problema abierto más antiguo en matemáticas?
- Mientras 1 ^ 1 es 1, ¿1 ^ x = 1? (donde x es algo)? ¿Hay un valor para x para el cual 1 ^ x no es igual a 1?
- ¿A qué equivale [matemática] x ^ 1 + x ^ 3 + x ^ 5 + x ^ 7… + x ^ n [/ matemática]?
Teoría de la categoría: la teoría del gato está aumentando en popularidad y utilidad todo el tiempo. Sin embargo, cuanto más profundizas en él, más te acercas a la lógica pura. Los matemáticos todavía son conscientes y un poco temerosos del tipo de malentendidos fundamentales que Russell señaló, y muchos ven la teoría de categorías como una forma de esquivar estos malentendidos sin hacer ningún esfuerzo real para comprenderlos. Para muchos matemáticos, probar cosas usando la teoría de categorías es una forma de “cubrir nuestras bases” al confiar en un edificio que nos han informado que está reparado.
Teoría de la prueba formal: una forma infalible de que otros matemáticos se rían de ti es decir que estás interesado en la teoría de la prueba formal. No porque sea un objetivo que no se puede elogiar, solo porque generalmente se lo considera inútil. Para simples matemáticos mortales, probar algo formalmente está más allá de un sueño imposible. A menudo, los matemáticos esconderán esta desesperanza detrás de un aire de superioridad que hacen “matemáticas reales”.
Física fundamental: la mecánica cuántica es simplemente inquietante para muchos científicos en todos los ámbitos. Introduce una serie de complejidades filosóficas y ofrece pocas salidas. Uno de los muchos lugares donde esto se vuelve problemático es determinantemente. Muchos físicos, matemáticos físicos y filósofos han pasado tiempo pensando en las implicaciones lógicas relacionadas con estas ideas.
Otras lecturas:
sobre el tema de Russell y por qué la lógica nos asusta: Logicomix
sobre el tema de la teoría de la prueba formal: https://www.google.de/url?sa=t&r…
sobre mecánica cuántica, filosóficamente: Comprender la mecánica cuántica: Roland Omnès: 9780691004358: Amazon.com: Libros
El desafío cuántico, segunda edición: Investigación moderna sobre los fundamentos de la mecánica cuántica (física y astronomía): George Greenstein, Arthur G. Zajonc: 9780763724702: Amazon.com: Libros
Un famoso ejemplo de lo aterrador de la lógica en la mecánica cuántica: teorema del libre albedrío
¿Quién diablos soy para hablar por matemáticos?
Solo un imbécil que ha vadeado el fango. No confíes en mi palabra.
