Una representación formal completa del teorema de imposibilidad de Arrow

Área de la Ciencia:

• Economía; Ciencia Política; Filosofía; Lógica Formal

Sus antecedentes:

• El teorema de imposibilidad de Arrow es una piedra angular en la teoría de la elección social, la economía y la ciencia política.; Las pruebas existentes a menudo priorizan la accesibilidad intuitiva sobre el rigor matemático.; El teorema tiene profundas implicaciones para la comprensión de la toma de decisiones colectivas y las funciones de bienestar social.

Objetivo del estudio:

• Desarrollar una prueba nueva y matemáticamente rigurosa del teorema de imposibilidad de Kenneth Arrow utilizando lógica formal.; Revelar la estructura global de la función de bienestar social central para el teorema.; Extender la aplicabilidad del teorema a una gama más amplia de relaciones de preferencia.

Principales métodos:

• Construcción de una prueba utilizando un cálculo de pruebas de lógica formal.; Desarrollo de una representación matemática completa del teorema.; Aplicación sistemática de técnicas de lógica formal a la demostración de teoremas.

Principales resultados:

• Una novedosa prueba del teorema de imposibilidad de Arrow con detalles matemáticos mejorados.; Identificación de la estructura global de la función de bienestar social.; Acomodación de un espectro más amplio de relaciones de preferencia más allá de los supuestos de racionalidad estándar.

Conclusiones:

• La lógica formal ofrece una poderosa contribución metodológica al estudio del teorema de imposibilidad de Arrow.; La nueva prueba mejora la comprensión de la estructura e implicaciones del teorema.; El marco apoya la integración de diversos patrones de comportamiento humano en la teoría de la elección social.